W3C home > Mailing lists > Public > public-owl-wg@w3.org > January 2008

bnode skolemization during parsing?

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Wed, 23 Jan 2008 15:00:00 +0000
Message-ID: <47975670.2060009@hpl.hp.com>
To: "Web Ontology Language ((OWL)) Working Group WG" <public-owl-wg@w3.org>


This is to fulfil ACTION-68 to respond to:

[[
Boris Motik: assume we're defining b-nodes in data as skolems... how to 
implement? not a matter of changing semantics doc, maybe a change for 
parsing doc?

Boris Motik: every b-node should be mapped onto an element of graph -> 
individual, etc.

Boris Motik: this may provide solution = on semantic level, b-nodes are 
existential vars, but there can be a switch to say that when parsing 
rdf, they should be treated as skolems... up to user/app to decide... 
could be?
]]

I may have misunderstood, but parsing RDF/XML is defined by the RDF 
specs and in these bnodes are bnodes and are treated as existentials.

It may be possible to treat bnodes differently in the mapping document 
(maybe that's what you mean), but I am not sure that buys very much.

The skolemization could be specified in the mapping from RDF to 
functional syntax, but then you have to recognise the skolemized 
variables and map them to bnodes when going the other way. Moreover you 
have to do this so that skolemizing the same file twice gives different 
skolem values each time.

Jeremy
Received on Wednesday, 23 January 2008 15:10:23 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 23 January 2008 15:10:23 GMT