- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Thu, 15 Aug 2002 13:41:36 +0200
- To: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
- Cc: Dan Connolly <connolly@w3.org>, "Peter F. "Patel-Schneider <pfps@research.bell-labs.com>, Guus Schreiber <schreiber@swi.psy.uva.nl>, www-webont-wg@w3.org
[corrected reply]
[...]
> > Folks should keep in mind that while entailment 1 doesn't work,
>
> indeed
>
> > this analog does:
> >
> > John in the intersection of Student and Employee
> > C is the intersection of Employee and Student
> > entails
> > John is in C.
>
> OK, we have tested that
> http://www.w3.org/2002/03owlt/intersectionOfP
> OWL-entails
> http://www.w3.org/2002/03owlt/intersectionOfC
>
> > and this analog is what you acutally need to deal with the
> > case where one ontology gives the intersection in one
> > order and the other does it the other way.
>
> true
I've actually redone above testcase to better reflect
that particular aspect of more than one ontology (*)
http://www.w3.org/2002/03owlt/intersectionOfP
http://www.w3.org/2002/03owlt/intersectionOfX
OWL-entails
http://www.w3.org/2002/03owlt/intersectionOfC
using a resolution based algorithm we have
found the proof of that as part of the proof
http://www.agfa.com/w3c/euler/etc5-proof.n3
(actually at the end of that file)
-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
(*) we should also put the .rdf files at
http://www.w3.org/2002/03owlt/
but cwm is producing daml lists
Received on Thursday, 15 August 2002 07:42:15 UTC