W3C home > Mailing lists > Public > public-rdf-wg@w3.org > September 2012

Re: Monotonicity of semantic extensions

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Wed, 12 Sep 2012 11:31:28 -0400
Message-ID: <5050AAD0.9010700@gmail.com>
To: Richard Cyganiak <richard@cyganiak.de>
CC: Antoine Zimmermann <antoine.zimmermann@emse.fr>, public-rdf-wg@w3.org

On 09/12/2012 11:19 AM, Richard Cyganiak wrote:
> Hi Antoine,

>> With the direct graph semantics you propose, it is a non-monotonic extension because when you switch this semantics on, the entailments you could do with the "minimal" semantics are not valid anymore.
>> I don't think that's how people think of an extension. They probably do not expect that extensions make you lose what you had before.
> Well, yes, there are cases where the minimal semantics says that A entails B, and the “direct graph” semantics says that A contradicts B.

Note that this last statement does not in itself indicate that there are 
entailments in the minimal semantics that are not entailments in the direct 
graph semantics.   It could just be the case that A is inconsistent in the 
direct graph semantics.

Received on Wednesday, 12 September 2012 15:32:03 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 22:02:07 UTC