RDF semantics

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:30:45 UTC