- From: Richard H. McCullough <rhm@volcano.net>
- Date: Tue, 20 Sep 2005 18:17:49 -0700
- To: <semantic-web@w3.org>, "www-rdf-logic at W3C" <www-rdf-logic@w3.org>
- Cc: "KR-language" <KR-language@YahooGroups.com>
Correction: {myverb isu verb;} is not quite right.
You actually need to use
myverb isu verb with ctype=binary relation;
And just what does "binary relation" mean?
It means that your Mtriple
subject myverb object;
is expressing a binary relation between subject
and object.
The full MKR language has many higher "arity" verbs.
For example, one of the internal representations of
"myverb" uses the ternary MKR verb "rel".
Specifically, the statement above becomes
subject rel myverb = object;
The "object of rel" is the nvphrase myverb=object.
Most MKR formats allow a list of nvphrases, or nvlist.
The granddaddy of all the MKR verbs (and one of the
most significant features of MKR) is "do". Its
general format is
at nvlist (
subjectlist do nvlist
out nvlist
of nvlist
with nvlist
od nvlist
from nvlist
to nvlist
done;
};
The "arity" of "do" depends on how you decide to
count these variable length lists, but I'd have
to say the arity is at least 17.
Now you can see why I didn't allow definitions
in Mtriples. The definition format is
subject is genus with nvlist;
(nvlist is the differentia) which has an arity of
at least 4.
Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://rhm.cdepot.net/
Received on Wednesday, 21 September 2005 01:19:15 UTC