W3C home > Mailing lists > Public > semantic-web@w3.org > September 2005

Re: RDF/OWL properties and MKR verbs

From: Richard H. McCullough <rhm@volcano.net>
Date: Sun, 18 Sep 2005 12:40:52 -0700
Message-ID: <001401c5bc89$4fec12e0$0100000a@rhm8200>
To: "KR-language" <KR-language@YahooGroups.com>
Cc: <semantic-web@w3c.org>, "www-rdf-logic at W3C" <www-rdf-logic@w3.org>

I inadvertently added "definitions" to the simplified triple language.
For the second line of the final example, I should have said

    ClassOfAbstractObject isu intersection;

P.S. If you want a little more detail, the current implementation
of prop2verb() and related info. is available at

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
> Now for a final example.  This is a short excerpt
> from an ISO standards document written in
> simplified RDF/OWL triples (AKA MKR).
>    ClassOfAbstractObject ismem owl:Class;
>    ClassOfAbstractObject is group with gtype=intersection;
>    ClassOfAbstractObject isand ClassOfClass,
>        ClassOfRelationship, ClassOfMultiDimensionalObject;
>    ClassOfAbstractObject rel owl:disjointWith = ClassOfIndividual;
>    ClassOfAbstractObject has rdfs:comment += "\n
>        DEFINITION A ClassOfAbstractObject is a Class\n
>        whose members classify members of AbstractObject";
Received on Sunday, 18 September 2005 19:47:14 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:44:54 UTC