Re: revised version of semantics document

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 UTC