OWL for OWL

• From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
• Date: Sat, 11 Jan 2003 12:26:25 +0100
• To: www-webont-wg@w3.org
• Message-ID: <OFB84535F0.CCCA7821-ONC1256CAB.003E79D9-C1256CAB.003EDD2D@agfa.be>

not sure if I got the idea of that, but
for OWL/Full we actually assume that

owl:Class owl:sameClassAs rdfs:Class.
owl:Thing owl:sameClassAs rdfs:Resource.
owl:Nothing owl:oneOf rdf:nil.
owl:complementOf rdf:type owl:InverseFunctionalProperty.
owl:complementOf rdf:type owl:SymmetricProperty.
owl:differentFrom rdf:type owl:SymmetricProperty.
owl:disjointWith rdf:type owl:SymmetricProperty.
owl:intersectionOf rdf:type owl:InverseFunctionalProperty.
owl:inverseOf rdf:type owl:SymmetricProperty.
owl:oneOf rdf:type owl:InverseFunctionalProperty.
owl:sameClassAs rdf:type owl:SymmetricProperty.
owl:sameClassAs rdf:type owl:TransitiveProperty.
owl:samePropertyAs rdf:type owl:SymmetricProperty.
owl:samePropertyAs rdf:type owl:TransitiveProperty.
owl:unionOf rdf:type owl:InverseFunctionalProperty.

(especially the first 2, which became clearer
after a f2f with Peter and DanC)

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Saturday, 11 January 2003 06:27:02 UTC