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
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.


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)


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" 
and later/previous versions after the Metalog page
reachable from the RDF page

Thanks, and apologies for the (never elegant) self-citation,

| 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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:32 UTC