W3C home > Mailing lists > Public > www-rdf-interest@w3.org > November 2002

KR queries & KR logic

From: Richard H. McCullough <rhm@cdepot.net>
Date: Fri, 8 Nov 2002 08:14:24 -0800
Message-ID: <001901c28741$e80d87a0$bd7ba8c0@rhm8200>
To: "RDF-Interest" <www-rdf-interest@w3.org>
Cc: "Richard S. Latimer" <latimer1@att.net>, "Aaron Swartz" <me@aaronsw.com>
FYI
1. queries: KR uses "form-based questions"
Starting from the basic statement format
    subject has predicate = object
the following are legal questions
    subject has predicate = object ?    # true-false
    subject has predicate = ?              # object
    subject has ?                               # all predicates & objects
    ? has predicate = object                # all subjects
    ? has predicate                             # all subjects & objects
    ? has ?                                         # all subjects & predicates & objects 

2. logic: KR uses "if-then-else-fi"
    if sentence
    then sentence list
    else sentence list
    fi
where sentence is a statement, question, command or assignment

BTW, KR also has loops, methods, 
and several other kinds of statements.
============ 
Dick McCullough 
knowledge := man do identify od existent done
knowledge haspart list of proposition
Received on Friday, 8 November 2002 11:14:41 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:57 GMT