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: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Tue, 30 Nov 2010 15:00:19 +0000
Cc: Enrico Franconi <franconi@inf.unibz.it>, SPARQL Working Group <public-rdf-dawg@w3.org>
Message-Id: <8F17C710-E422-43F4-9BFC-195E314FD6CA@cs.man.ac.uk>
To: Lee Feigenbaum <lee@thefigtrees.net>
On 30 Nov 2010, at 14:29, Lee Feigenbaum wrote:
> 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.

Received on Tuesday, 30 November 2010 15:01:08 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:01:02 UTC