- From: Pierre-Antoine Champin <swlists-040405@champin.net>
- Date: Fri, 27 Aug 2004 16:00:49 +0200
- To: Benjamin Nowack <bnowack@appmosphere.com>
- Cc: www-rdf-logic@w3.org
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. However, as I stated, owl:sameAs does not look like an ordinary property to me... > Did you try using manchester's owl > validator [1]? I found it in another case (owl:imports) more precise > than pellet. No I didn't, but I will soon. Thanks a lot for the pointer. Pierre-Antoine Champin
Received on Friday, 27 August 2004 14:01:28 UTC