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

Re: revised version of semantics document

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 22 Aug 2002 03:20:45 +0200
To: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
Cc: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, phayes@ai.uwf.edu, www-webont-wg@w3.org
Message-ID: <OF96A0E603.73B99D3C-ONC1256C1D.00073F25@agfa.be>

[...]

> well Peter, I don't know what you mean with "natural entailment"
> I guess it's the one that you wanted to hold i.e.
>    :John a :Student .
>    :John a :Employee .
>  OWL-entails
>    :John owl:intersectionOf ( :Student :Employee ) .

oops... I meant
   :John a [ owl:intersectionOf ( :Student :Employee ) ] .

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

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