- From: Richard H. McCullough <rhm@cdepot.net>
- Date: Thu, 6 Mar 2003 20:24:26 -0800
- To: "KR-language at YahooGroups" <KR-language@yahoogroups.com>, "RDF-Interest" <www-rdf-interest@w3.org>
- Message-ID: <003901c2e461$79b7e250$bf7ba8c0@rhm8200>
Sorry about the previous email. I didn't notice Outlook Express had changed the font until after I clicked send. This copy should be a better reference. # KEHOME/doc/MKRintro.html # Mar/5/2003 #=======================# # MKR introduction # # version 5.1 # # # # Richard H. McCullough # #=======================# An MKR proposition has the format at context { sentence }; where context is space=s, time=t, view=v and sentence is subject verb object prepositionphrase; View names the context, which is a list of propositions. A context is normally stored in an entity-characteristic-proposition hierarchy. The details of sentence structure depend on the five types of sentence statement question command assignment control statement and the seven types of verb definition isa, iss, isu (uses preposition "with") alias is part haspart attribute has action do, do* (uses terminator "done") relation isa, iss, isu interaction causes There are many other MKR relations, not shown here. The basic seven statements are subject isa object with essential characteristics; subject is object; subject haspart part = partvalue; subject has attribute = value; subject do action = event with action characteristics out action products od action direct objects from initial characteristics to final characteristics done; subject rel object; event:1 causes event:2 The question format is the same as a statement, with one or more elements replaced by a question mark. For example subject has ?; subject do ? done; The command format is the same as an action statement, with the subject omitted. For example do classify od unknown to view done; The assignment format is the same as an attribute statement, with the subject omitted, and "has" replace by "set" or "unset". For example set charformat = column; unset debug; The two control statement formats are if propositionlist:1 then propositionlist:2 else propositionlist:3 fi; every variable rel concept { propositionlist }; There are special definition formats for method relation (n-ary) hierarchy which are not shown here. The comment format begins with "#" and extends to end of line. For example MKRintro.html has # this document author="Richard H. McCullough", # dc:creator date="March 5, 2003"; # today For more details see KEHOME/doc/MKRgrammar.html KEHOME/doc/MKRtoken.html KEHOME/doc/MKEtutorial.html ============ Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition list;
Received on Friday, 7 March 2003 02:26:50 UTC