- From: Richard Cyganiak <richard@cyganiak.de>
- Date: Sat, 16 Apr 2011 23:53:14 +0100
- To: Pat Hayes <phayes@ihmc.us>
- Cc: Ivan Herman <ivan@w3.org>, RDF Working Group WG <public-rdf-wg@w3.org>
Pat, On 16 Apr 2011, at 22:50, Pat Hayes wrote: >> This part of SPARQL is successful and useful despite being disconnected from the RDF Model Theory. RDF Datasets as they are defined in SPARQL have no impact on entailments, and therefore do not require a relation to the RDF Model Theory. > > The model theory is the semantics of RDF. Yes, that's what it says on top of the document. > It bears on any operation on RDF that is sensitive to the meanings of URIs or triples or literals. It is not purely concerned with entailments. What operations, beside inference, are you talking about? My understanding is that the RDF Model Theory exists to define which inferences are valid, given an RDF graph. What other purpose does it serve? >> “RDF content” is the triples in the data model. > > No, RDF content is the semantic content of the triples in the data model. We'll have to agree to disagree here. > The RDF model theory is normative. It is not something that can be handily ignored just because someone does not like it. *Reality* is normative. It is not something that can be handily ignored just because someone doesn't like it. The RDF model theory, on the other hand, *is* being ignored by most if not all recent successful RDF-based technologies. This does not appear to be to their detriment. Best, Richard
Received on Saturday, 16 April 2011 22:53:43 UTC