- From: Massimo Marchiori <massimo@w3.org>
- Date: Fri, 28 Sep 2001 06:12:42 -0400
- To: phayes@ai.uwf.edu, www-rdf-interest@w3.org
<quote> 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-seman tics.html I apologize for this omission, which will be corrected in the next update. <snip/> 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) </quote> Pat, if you're talking about lack of acknowledging previous related work here, then please note also that the first paper describing such a natural transform appeared well back in '98 , at QL'98, cf. "Query + Metadata + Logic = Metalog" http://www.w3.org/TandS/QL/QL98/pp/metalog.html and later/previous versions after the Metalog page http://www.w3.org/RDF/Metalog/ reachable from the RDF page http://www.w3.org/RDF/ Thanks, and apologies for the (never elegant) self-citation, -Massimo /---------------------------------------------------------------\ | Massimo Marchiori | | The World Wide Web Consortium (W3C) | | MIT Laboratory for Computer Science Fax: + 1 617 2585999 | | University of Venice Fax: +39 041 2908419 | | WWW: http://w3.org/People/Massimo Tel: +39 041 2908423 | | Email: massimo@w3.org | \---------------------------------------------------------------/
Received on Friday, 28 September 2001 06:12:42 UTC