- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Thu, 3 Jul 2003 22:33:15 +0200
- To: "pat hayes <phayes" <phayes@ihmc.us>
- Cc: Jeremy Carroll <jjc@hplb.hpl.hp.com>, www-webont-wg@w3.org, www-webont-wg-request@w3.org
It is painful, but I will try again to live with
owl:Class owl:equivalentClass rdfs:Class.
owl:Thing owl:equivalentClass rdfs:Resource.
and consider
owl:Thing owl:oneOf _:x.
as an inconsistent OWL Full document.
I guess there are also inconsistent statements
about owl:Class ??
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
pat hayes
<phayes@ihmc.us> To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Sent by: cc: www-webont-wg@w3.org
www-webont-wg-req Subject: Re: Layering bug?
uest@w3.org
2003-07-03 07:55
PM
>Jeremy Carroll wrote:
>
>>
>>
>>How about this:
>>
>>eg:c rdf:type owl:Class .
>>eg:d rdf:type owl:Class .
>>eg:ap rdf:type AnnotationProperty .
>>owl:Thing owl:oneOf rdf:nil .
>>
>>entails
>>
>>eg:c eg:ap eg:d .
>>
>>
>>====
>>
>>I think this holds in OWL Full but not in OWL DL, yet it is within
>>the syntactic subset.
>
>
>
>As Mehrdad points out this is actually an OWL DL entailment,
>since owl:Thing is non-empty.
>
>Updated problem case is:
>
>eg:p rdf:type owl:ObjectProperty .
>eg:q rdf:type owl:ObjectProperty .
>owl:Thing owl:oneOf _:b .
> _:b rdf:first eg:i .
> _:b rdf:rest rdf:nil.
> eg:i rdf:type owl:Thing.
>eg:i eg:p eg:i .
>
> entails
>
>eg:i eg:q eg:i .
>
>True in OWL full, since the universe has only one element thus eg:q
>and eg:p are the same property.
Well, but the universe also contains all the RDFS properties and
classes and rdf:nil and all literal values, for example. So things
are a lot weirder than this example might suggest, since it would
also follow that for example:
rdf:type owl:sameAs owl:Thing .
(choose your favorite zany identity) and God alone knows what the
consequences of all these would be. Certainly this would be
inconsistent in any datatyped interpretation, eg consider
xsd:string owl:sameAs xsd:integer .
Pat
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32501 (850)291 0667 cell
phayes@ihmc.us http://www.ihmc.us/users/phayes
Received on Thursday, 3 July 2003 16:34:35 UTC