W3C home > Mailing lists > Public > www-rdf-logic@w3.org > September 2005

Re: RDF/OWL Mtriples language

From: Richard H. McCullough <rhm@volcano.net>
Date: Tue, 20 Sep 2005 18:17:49 -0700
Message-ID: <000201c5be4a$73cbf190$0100000a@rhm8200>
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 GMT

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