W3C home > Mailing lists > Public > www-webont-wg@w3.org > August 2002

Re: revised version of semantics document

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 21 Aug 2002 20:45:36 -0400
To: jos.deroo.jd@belgium.agfa.com
Cc: phayes@ai.uwf.edu, www-webont-wg@w3.org
Message-Id: <20020821204536R.pfps@research.bell-labs.com>

From: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
Subject: Re: revised version of semantics document
Date: Thu, 22 Aug 2002 02:04:53 +0200

> [couldn't wait till after my holiday and a pity to miss the telecon]
> 
> > The revised version of the semantics document also has serious flaws, at
> > least as far as I can see.
> >
> >
> > For example, as far as I can see
> >
> >       John rdf:type Student .
> >       John rdf:type Employee .
> >
> > does not entail
> >
> >       John rdf:type _:x .
> >       _:x intersectionOf _:l1 .
> >       _:l1 owl:first Student .
> >       _:l1 owl:rest _:l2 .
> >       _:l2 owl:first Employee .
> >       _:l2 owl:rest owl:nil .
> >
> > because there is no requirement that there be an element of the domain of
> > discourse whose class extension is the intersection of Student and
> > Employee.
> 
> the one that I can go with is
> 
>   :John a :Student .
>   :John a :Employee .
>   :C owl:intersectionOf ( :Student :Employee ) .
> OWL-entails
>   :John a :C .
> 
> as all models of the premis are also models of the conclusion
> and no new existentials are introduced in the entailment rules
> (the lists in the conclusions are identical clones)

Do you have a complete way of transforming from the natural entailment to
this entailment?  

> Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

peter
Received on Wednesday, 21 August 2002 20:45:55 GMT

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