Re: Layering bug?

>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 ??

Sure, such as

owl:Class rdf:type owl:Class .

which (under the identities assumed in Full) is both RDFS-valid and 
an OWL-inconsistency.  Welcome the wonderful world of layering :-)

Pat

>
>--
>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


-- 
---------------------------------------------------------------------
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 18:49:43 UTC