- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Thu, 27 Sep 2001 15:30:41 -0500
- To: www-rdf-logic@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:30:45 UTC