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

On 30 November 2010 14:51, Enrico Franconi <franconi@inf.unibz.it> 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?

Just that I find it hard to explain or conceive why you should get
less answers with a more expressive logical formalism, e.g., you can
have the same graph and query giving you less answers under the OWL DS
regime than in any other regime with the changed semantics.

Birte

> --e.
>



-- 
Dr. Birte Glimm, Room 309
Computing Laboratory
Parks Road
Oxford
OX1 3QD
United Kingdom
+44 (0)1865 283520

Received on Tuesday, 30 November 2010 14:59:10 UTC