W3C home > Mailing lists > Public > www-rdf-interest@w3.org > March 2003

MKR language introduction (two pages)

From: Richard H. McCullough <rhm@cdepot.net>
Date: Wed, 5 Mar 2003 20:02:09 -0800
Message-ID: <000b01c2e395$3399e0b0$bf7ba8c0@rhm8200>
To: "RDF-Interest" <www-rdf-interest@w3.org>, "KR-language at YahooGroups" <KR-language@yahoogroups.com>
Cc: "Clinton L. Jeffery" <jeffery@cs.nmsu.edu>, "Robert Parlett" <r.parlett@zen.co.uk>
# KEHOME/doc/MKRintro.txt
# 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 
 control statement
and the seven types of verb
 definition isa, iss, isu (& preposition "with")
 alias  is
 part  haspart
 attribute has
 action  do, do*  (& 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
 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 classfiy 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
 every variable rel concept { propositionlist };

There are special definition formats for
 relation (n-ary) 
which are not shown here.

The comment format begins with "#" and extends to end of line.
For example
 MKRintro.txt has                   # this document
   author="Richard H. McCullough",  # dc:creator
   date="March 5, 2003";            # today

For more details see
Dick McCullough 
knowledge := man do identify od existent done;
knowledge haspart proposition list;
Received on Wednesday, 5 March 2003 23:02:34 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:41 UTC