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@[]>
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 

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

Pat Hayes

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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:07:37 UTC