Re: Minimal dataset semantics

Ivan,

On 24 Aug 2012, at 11:16, Ivan Herman wrote:
>> So the second sentence rules out any semantic extensions that make a dataset's truth dependent on the content of some named graph, right?
> 
> No. At least that is certainly not the intention, though maybe the formalization in English is not ideal.

Okay. Let me make a meta-comment. It's difficult to talk about semantics in anything but mathematics. All the interest is in the details, and the details require formal maths. Sketching a semantics in English is counter-productive IMO. For sketching, test cases are much better than English IMO.

We can always show some datasets and tell if the relationship between them is entailment, non-entailment, equivalence, or contradiction. I think that would be a decent way of making progress, actually.

> (I presume that, in your argumentation, a=b and a≠b means in the sense of mutually inferring through simple entailment.)

No; it meant equality and non-equality, in the standard mathematical sense. But anyways, yeah, I think that the mathematics do not say what you mean to say, but I think I understand what you mean to say.

> Antoine provided some sort of a short sentence of what is happening:
> 
> "All RDF graphs in an RDF dataset don't mean the same thing. To be explicit about what they mean, we provide a vocabulary that specify the semantics of each graph. We call the semantics assigned to a <name,graph> pair its entailment regime, because it determines what entailments are valid for that pair. For example ..."

I won't support a proposal that involves vocabulary for selecting the semantics on a per-graph basis. This is *much* too complicated for my taste.

> Personally, I am little bit afraid of the complexity of the thing to be honest. Hence it may not fly.

+1.

Richard

Received on Friday, 24 August 2012 10:52:56 UTC