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

revised version of semantics document

From: pat hayes <phayes@ai.uwf.edu>
Date: Tue, 20 Aug 2002 03:06:03 -0700
Message-Id: <p05111b00b987c36cf65b@[]>
To: www-webont-wg@w3.org

The semantics document at
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
	    John in Employee intersect Student
    	E2/ John in atleast 2 friend
	    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 

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.


IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Tuesday, 20 August 2002 06:05:24 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:33 UTC