- From: Benjamin Nowack <bnowack@appmosphere.com>
- Date: Fri, 27 Aug 2004 17:16:34 +0200
- To: Pierre-Antoine Champin <swlists-040405@champin.net>
- Cc: www-rdf-logic@w3.org
On 27.08.2004 16:00:49, Pierre-Antoine Champin wrote: > >On Fri, 2004-08-27 at 15:26, Benjamin Nowack wrote: >> >More precisely, is the following ontology in OWL Lite/DL or OWL Full? >> > >> > :p a owl:ObjectProperty . >> > :p owl:equivalentProperty owl:sameAs . >> > >> >I would have thougt it is OWL Full because owl:sameAs is no ordinary >> >property. >> >(...) >> This should not be allowed in OWL Lite/DL as you are using an owl >> property as an individual/object in a statement, which, I think, turns >> your ont into the Full space. > >Not exactly: a property is expected after owl:equivalentProperty, not an >individual. In a triple context and from a certain point of view, objects of triples are always individuals. ;) >However, as I stated, owl:sameAs does not look like an ordinary property >to me... right, _any_ owl:* property is part of the language, and using one in a Lite/DL-friendly way as an object is limited (or maybe not possible at all). cheers, benjamin (surely not an owl expert) -- Benjamin Nowack Kruppstr. 100 45145 Essen, Germany http://www.appmosphere.com/
Received on Friday, 27 August 2004 15:16:53 UTC