- From: Pat Hayes <phayes@ihmc.us>
- Date: Mon, 21 Mar 2011 14:35:32 -0500
- To: Enrico Franconi <franconi@inf.unibz.it>
- Cc: Dieter Fensel <dieter.fensel@sti2.at>, Hugh Glaser <hg@ecs.soton.ac.uk>, Mark Wallace <mwallace@modusoperandi.com>, Alan Ruttenberg <alanruttenberg@gmail.com>, Reto Bachmann-Gmuer <reto.bachmann@trialox.org>, Ivan Shmakov <oneingray@gmail.com>, Ivan Shmakov <ivan@main.uusia.org>, "<semantic-web@w3.org>" <semantic-web@w3.org>
Thanks for the pointer, Enrico. The actual logic of ground RDF is trivial, of course. I was meaning only to write a document which focussed on how much simpler the various specs become when bnodes are eliminated. Pat On Mar 20, 2011, at 3:33 PM, Enrico Franconi wrote: > > On 18 Mar 2011, at 22:14, Pat Hayes wrote: > >> As a fallback, I am thinking of writing up a spec-like document defining 'ground RDF', to show how much simpler everything is when you don't have them. It would cover RDF, RDFS, OWL and SPARQL. What do you think? > > In [1] we have formally explored this case. > --e. > > [1] Jos de Bruijn, Enrico Franconi, Sergio Tessaris (2005). Logical Reconstruction of normative RDF. Proc. of the Workshosp on OWL Experiences and Directions (OWLED 2005), Galway, Ireland, November 2005. <http://www.inf.unibz.it/~franconi/papers/owled-05.pdf> > ------------------------------------------------------------ IHMC (850)434 8903 or (650)494 3973 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32502 (850)291 0667 mobile phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes
Received on Monday, 21 March 2011 19:38:47 UTC