- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Wed, 24 Oct 2007 17:23:13 +0100
- To: public-owl-wg@w3.org
Boris [[ Imagine that your ontology O contains all the following triples: (1) <X rdf:type owl:ObjectProperty> (2) <X rdf:type owl:DataProperty> (3) <Y rdf:type owl:ObjectProperty> (4) <Y rdf:type owl:DataProperty> (5) <X rdfs:subPropertyOf Y> Note that triples (1) and (2), and (3) and (4) are allowed because you can have punning in OWL 1.1; hence, you can use the same name as both object and a data property. If you now try to produce an axiom that corresponds to triple (5), you have a problem: is this axiom representing inclusions between the object property X and the object property Y, or between the data property X and the data property Y? ]] i.e. punning is an unhelpful idea. The OWL Full treatment of a URI used as both a DataProperty and an ObjectProperty is that it represents a single property. This treatment is in OWL 1.0 Full, and extensively deployed (for example in the RDF subset of OWL). Jeremy
Received on Wednesday, 24 October 2007 16:23:42 UTC