- From: pat hayes <phayes@ai.uwf.edu>
- Date: Tue, 20 Aug 2002 03:06:03 -0700
- To: www-webont-wg@w3.org
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 06:05:24 UTC