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:48:56 +0000
Cc: Enrico Franconi <franconi@inf.unibz.it>, Birte Glimm <birte.glimm@comlab.ox.ac.uk>, SPARQL Working Group <public-rdf-dawg@w3.org>
Message-Id: <65BE9C16-2DE8-4059-B855-8636E35EFB9F@cs.man.ac.uk>
To: Bijan Parsia <bparsia@cs.man.ac.uk>
On 30 Nov 2010, at 15:29, Bijan Parsia wrote:

> On 30 Nov 2010, at 14:51, Enrico Franconi wrote:
> 
>> On 30 Nov 2010, at 15:45, Birte Glimm wrote:
>> 
>>> Yes, and going from one regime to a more expressive one should just
>>> give you more answers I think.
>> 
>> Any logical, philosophical, formal argument for this?
[snip]
> Thus, from a overall usability perspective, I don't think violating this principle, esp. on a common operation, is a good idea. There should be a large user gain for that pain. Thus far, I have only one bit of hearsay evidence (from you) that there are any users of any OWL profile who make routine good use of non-distinguished variables. I would be interested to know more about such users.

WRT non-distinguished variables, this aligns SPARQL with the dominant form of rules for OWL, i.e., DL Safe rules, which is also a good.

Cheers,
Bijan.
Received on Tuesday, 30 November 2010 15:49:13 GMT

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