- From: Enrico Franconi <franconi@inf.unibz.it>
- Date: Mon, 23 Jan 2006 18:38:32 +0100
- To: Pat Hayes <phayes@ihmc.us>
- Cc: Andy Seaborne <andy.seaborne@hp.com>, RDF Data Access Working Group <public-rdf-dawg@w3.org>
On 23 Jan 2006, at 18:17, Pat Hayes wrote: >> "In the case of simple entailment, if the scoping graph G' is such >> that it does not share blank nodes with BGP, then the above >> definition can be simplified to take the union between G' and BGP, >> instead of an OrderedMerge." > > This works for any kind of entailment, No. It does not work for the extension with told-bnodes, unless you make exceptions :-) ...which hampers the smooth extensibility. --e.
Received on Monday, 23 January 2006 17:38:44 UTC