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

Re: RDF semantics

From: Massimo Marchiori <massimo@w3.org>
Date: Fri, 28 Sep 2001 06:12:42 -0400
Message-Id: <200109281012.GAA30722@tux.w3.org>
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 GMT

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