W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > July to September 2006

Re: What is "the serious bug in entailment semantics" found by J. Perez"?

From: Enrico Franconi <franconi@inf.unibz.it>
Date: Tue, 8 Aug 2006 16:31:48 +0200
Message-Id: <DBB9C6C8-575C-4C87-8302-C2272B42D7B8@inf.unibz.it>
To: RDF Data Access Working Group <public-rdf-dawg@w3.org>

On 8 Aug 2006, at 15:31, Seaborne, Andy wrote:
> I can only find this as:
> http://lists.w3.org/Archives/Public/public-rdf-dawg-comments/ 
> 2006Jun/0052

yeah, it is the same example.

> The first thing is to decide what the desirable right answer should  
> be.
> S(?q = <a>) seems desirable from a user's perspective.

It is desirable since this is the way implementations work (subgraph  
matching): this was for me the prerequisite in finding a semantics -  
i.e., it should reflect what implementors have done.
That's why I would propose to change the semantics while keeping the  
prerequisite that the implementation should be based on subgraph  

Received on Tuesday, 8 August 2006 14:32:10 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:00:51 UTC