Re: Monotonicity of semantic extensions

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.

peter

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