- 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
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