W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > October to December 2010

Re: Proposed change to the OWL-2 Direct Semantics entailment regime

From: Enrico Franconi <franconi@inf.unibz.it>
Date: Tue, 30 Nov 2010 16:22:52 +0100
Cc: Lee Feigenbaum <lee@thefigtrees.net>, SPARQL Working Group <public-rdf-dawg@w3.org>
Message-Id: <07ED4428-060F-4E59-9BDD-80ED573B38FE@inf.unibz.it>
To: Bijan Parsia <bparsia@cs.man.ac.uk>

On 30 Nov 2010, at 16:00, Bijan Parsia wrote:

> On 30 Nov 2010, at 14:29, Lee Feigenbaum wrote:
> [snip]
>> Hi Enrico,
>> 
>> Are there existing implementations of SPARQL that incorporate OWL Direct Semantics in the manner you're proposing?
>> 
>> Bijan, Birte -- do the systems that you're familiar with currently implement SPARQL with OWL Direct Semantics in the manner that's in the current entailment document, or is it not yet implemented at all?
> 
> 
> I've not checked the exact details of the document recently, but systems which have the semantics that is very close to the current spec (wrt to not supporting non-distinguished variables):
> 
> Racer, KAON2, HermiT, SHER.
> Pellet supports limited non-distinguished variables, but many people don't use them.

The problem for these OWL2-DL-DS systems is to return bnodes.
I would be surprised that anybody would want to hack their systems to actually return bnodes.

--e.
Received on Tuesday, 30 November 2010 15:23:26 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:44 GMT