W3C home > Mailing lists > Public > www-rdf-interest@w3.org > September 2001

RDF semantics

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Thu, 27 Sep 2001 15:32:06 -0500
Message-Id: <p05101008b7d93d0c8585@[205.160.76.184]>
To: www-rdf-interest@w3.org
The model theory working paper http://www.w3.org/TR/rdf-mt/ I 
announced a few days ago has an unfortunate omission, in that it 
fails to refer to the formalization of RDF/S created by Richard Fikes 
and Deborah McGuinness as part of their axiomatic semantics for 
DAML+OIL 
http://www.ksl.Stanford.EDU/people/dlm/daml-semantics/abstract-axiomatic-semantics.html

I apologize for this omission, which will be corrected in the next update.


Pat Hayes

PS
The model theory document mentions a simple meaning-preserving 
transformation from RDF into first-order logic which amounts to the 
following mapping from N-triples to ISO-KIF (ignoring anonymous 
nodes, which map into existentially quantified variables):

aaa bbb ccc .   --->    (bbb aaa ccc)

and points out that a more conventional logical notation would 
require the use of a 'dummy' relation like 'holds':

aaa bbb ccc .  --->    (holds bbb aaa ccc)

Fikes and McGuiness use a similar technique, with the following translation:

aaa bbb ccc .   --->   (PropertyValue bbb aaa ccc)


-- 
---------------------------------------------------------------------
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 Thursday, 27 September 2001 16:32:08 GMT

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