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

Re: revised version of semantics document

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Tue, 20 Aug 2002 14:37:12 +0100
Message-ID: <15714.17928.188883.259451@galahad.cs.man.ac.uk>
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 GMT

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