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

Re: summary of current position with respect to semantics proposals (was Re: WOWG: agenda Aug 15 telecon)

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 15 Aug 2002 01:23:03 +0200
To: Dan Connolly <connolly@w3.org>
Cc: "Peter F. "Patel-Schneider <pfps@research.bell-labs.com>, Guus Schreiber <schreiber@swi.psy.uva.nl>, www-webont-wg@w3.org
Message-ID: <OF7AEB5BC0.1369FADA-ONC1256C15.007F7F47@agfa.be>

[...]

> 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

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 14 August 2002 19:23:40 GMT

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