Re: Agenda request: characterize the diffs between subgraph-matching and E-entailment

On Mon, Oct 09, 2006 at 04:21:05PM +0200, Eric Prud'hommeaux wrote:
> 
> On Mon, Oct 09, 2006 at 10:11:19AM +0100, Bijan Parsia wrote:
> > The first line contains descriptive text with a link. the descriptive  
> > text is:
> > 
> > 	""Open Issue: Should blank nodes be treated differently than  
> > variables in the query pattern?."""
> > 
> > The linked to text is:
> > 
> > 	"""entailmentFramework
> > 	I'm collecting all the issues related to entailment and SPARQL here  
> > till either a
> > 
> > 	theme emerges or they get broken into separate issues.
> > 
> > 	Neatly summarized by FredZ here
> > 	FredZ's request re: entailment framework and bnode scope
> > 		others that are related here but lumped under separate heads 
> > above..."""
> > 
> > So the first thing to recognize is that this is a catch all issue  
> > rather than a specific focused issue, as is indicated by the last  
> > line. So, it is confusing to have it "distilled" into a single  
> > question, especially when that question is not broad but exceedingly  
> > narrow.
> 
> Per Danbri's comments [DAN], if we will have Pat, Bijan and Fred, I
> propose we work on some E-entailment semantics issues:
> 
>    1. does E-entailment support counting semantics?
> 
>    2. can we an express the differences between subgraph matching and
>       E-entailment semantics in test cases?
> 
> Issues list identifier: entailmentFramework [ENT]
> 
> OWL example leaning on non-distinguished variables: [OWL]
> Reduced version written as a test case: rdfSemantics/owl-lunch [LCH]
> 
> Some test cases to characterize the behavoir of the language
> apparently not captured in the current semantics:
> 
>   bnode-type-var [CNT]: can we count duplicate results?
> 
>   bNode-constraint [BCN]: are bNode labels allowed in FILTERs?
> 
>   bNode-join [BJN]: do bNode lables bridge basic graph patterns?
> 
> 
> [DAN] http://www.w3.org/mid/452622B3.9090202@danbri.org
> [ENT] http://www.w3.org/2001/sw/DataAccess/issues#entailmentFramework
> [OWL] http://www.w3.org/mid/20060713162342.GA12357@w3.org
> [LNH] http://www.w3.org/2001/sw/DataAccess/tests/data/rdfSemantics/owl-lunch.ttl
>       http://www.w3.org/2001/sw/DataAccess/tests/data/rdfSemantics/owl-lunch.rq
> [CNT] http://www.w3.org/2001/sw/DataAccess/tests/#rdfsemantics-bnode-type-var

ARG, forgot that the names are LC'd

[BCN] http://www.w3.org/2001/sw/DataAccess/tests/#rdfsemantics-bnode-constraint
[BJN] http://www.w3.org/2001/sw/DataAccess/tests/#rdfsemantics-bnode-join
> -- 
> -eric
> 
> home-office: +1.617.395.1213 (usually 900-2300 CET)
> 	    +33.1.45.35.62.14
> cell:       +33.6.73.84.87.26
> 
> (eric@w3.org)
> Feel free to forward this message to any list for any purpose other than
> email address distribution.

-- 
-eric

home-office: +1.617.395.1213 (usually 900-2300 CET)
	    +33.1.45.35.62.14
cell:       +33.6.73.84.87.26

(eric@w3.org)
Feel free to forward this message to any list for any purpose other than
email address distribution.

Received on Monday, 9 October 2006 14:45:13 UTC