- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Tue, 20 Aug 2002 14:37:12 +0100
- To: pat hayes <phayes@ai.uwf.edu>
- Cc: www-webont-wg@w3.org
Pat, I can't look at your semantics document because the pointer you give below is now redirected to [1]. http://www.coginst.uwf.edu/users/index.php Ian On August 20, pat hayes writes: > > The semantics document at > http://www.coginst.uwf.edu/users/phayes/RDFS2OWL.html > has been extensively updated. In particular there is now an account > in it of an OWL MT which is also fully compatible with the RDF MT and > does not require any 'darkening'. > > I only just read Peter's comments, but I do not follow them. Both of > the entailments that he says are not present: > E1/ John in Student intersect Employee > entails > John in Employee intersect Student > E2/ John in atleast 2 friend > entails > John in atleast 1 friend > are in fact supported by the MT in the document, seems to me. Since > the basic semantic conditions are transcribed from his OWL MT this > should not be hard to see. If Im missing something, please tell me > what. > > Indeed not all RDFS graphs are GHOWL graphs. The list and triplet > conditions have now been made explicit. > > This document is still not in finished form, obviously. > > Pat > > -- > --------------------------------------------------------------------- > IHMC (850)434 8903 home > 40 South Alcaniz St. (850)202 4416 office > Pensacola, FL 32501 (850)202 4440 fax > phayes@ai.uwf.edu > http://www.coginst.uwf.edu/~phayes >
Received on Tuesday, 20 August 2002 09:33:32 UTC