W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2003

Re: Agenda/Logistics, Oct 2 telecon

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 02 Oct 2003 16:44:23 +0100
Message-ID: <3F7C47D7.1090103@hplb.hpl.hp.com>
To: Jos De_Roo <jos.deroo@agfa.com>
Cc: pfps@research.bell-labs.com, jjc@hpl.hp.com, www-webont-wg@w3.org


That test case is precisely the one we are trying to change.

After the last decision in this space I cam up with test case
Ontology-002 nd Ontology-003 which are the same except one is positive and 
one is negative, and one is Full and the other DL.

To respect semantic layering one of them needs to change - it does not 
matter which.

Jeremy

Jos De_Roo wrote:

> 
> Peter:
> 
>>From: Jeremy Carroll <jjc@hpl.hp.com>
>>Subject: Re: Agenda/Logistics, Oct 2 telecon
>>Date: Wed, 1 Oct 2003 16:07:50 +0300
>>
>>
>>>On
>>>C/ Semantic layering bug
>>>
>>>again
>>>
>>>I am beginning to understand ...
>>>
>>>with this suggestion we would have
>>>
>>>*empty*
>>>
>>>does not entail
>>>
>>>_:b rdf:type owl:Ontology
>>>
>>>in both DL and Full?
>>>
>>Yes.
>>
> 
> Then how's the reasoning for testcase Ontology-002 [2]?
> i.e.
> 
> {
> :Automobile rdf:type owl:Class .
> :Car rdf:type owl:Class .
> :Car owl:equivalentClass first:Automobile .
> :car rdf:type owl:Thing .
> :car rdf:type first:Car .
> :auto rdf:type owl:Thing .
> :auto rdf:type first:Automobile .
> }
> 
> OWL Lite entails
> 
> {
> :Automobile rdf:type owl:Class .
> :Car rdf:type owl:Class .
> :car rdf:type owl:Thing .
> :car rdf:type :Automobile .
> :auto rdf:type owl:Thing .
> :auto rdf:type first:Car .
> _:b rdf:type owl:Ontology .
> }
> 
> 
> --
> Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
> 
> [2] http://www.w3.org/2002/03owlt/Ontology/Manifest002
> 
> 
> 
Received on Thursday, 2 October 2003 12:01:41 GMT

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