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

Re: Agenda/Logistics, Oct 2 telecon

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Thu, 2 Oct 2003 10:47:07 +0200
To: pfps@research.bell-labs.com
Cc: jjc@hpl.hp.com, www-webont-wg@w3.org
Message-ID: <OFB01D83B3.EA0E52CE-ONC1256DB3.002E732B-C1256DB3.00304C7A@agfa.be>


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 04:48:14 GMT

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