W3C home > Mailing lists > Public > www-rdf-logic@w3.org > August 2004

Re: Is this OWL Full or OWL DL ?

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
Message-Id: <1093615248.2610.2.camel@amalou>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:49 GMT