- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Wed, 23 Jan 2008 15:00:00 +0000
- 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 UTC