- From: Richard H. McCullough <rhm@volcano.net>
- Date: Sun, 18 Sep 2005 12:40:52 -0700
- 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
http://rhm.cdepot.net/src/chartype.icn
Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://rhm.cdepot.net/
> 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