- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Thu, 02 Oct 2003 16:44:23 +0100
- 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 UTC