- From: Ivan Herman <ivan@w3.org>
- Date: Fri, 16 Nov 2012 09:32:43 -0500
- To: Richard Cyganiak <richard@cyganiak.de>
- Cc: Pat Hayes <phayes@ihmc.us>, Pierre-Antoine Champin <pierre-antoine.champin@liris.cnrs.fr>, Antoine Zimmermann <antoine.zimmermann@emse.fr>, RDF Working Group WG <public-rdf-wg@w3.org>
On Nov 16, 2012, at 09:28 , Richard Cyganiak wrote: [snip] > > Background: This should make it possible to take the informative entailment rules out of Semantics, and put those for Simple Entailment and RDF-with-literals Entailment as an appendix into RDF Concepts, and those for RDFS Entailment into RDF Schema, each time with a clear statement that the normative form is the model theory found in RDF Semantics. > Yes, but is this a good idea? I thought we discussed having all the rules in a separate document (as a Note); what is wrong with that? Ivan > Best, > Richard ---- Ivan Herman, W3C Semantic Web Activity Lead Home: http://www.w3.org/People/Ivan/ mobile: +31-641044153 FOAF: http://www.ivan-herman.net/foaf.rdf
Received on Friday, 16 November 2012 14:33:10 UTC