Re: RDF-ISSUE-97 (interpretations-depends-on-V): Should the semantics of RDF graphs be dependent on a vocabulary? [RDF Semantics]

Le 12/09/2012 23:35, Peter F. Patel-Schneider a écrit :
> I don't think that this is a problem.
>
> The dependence on vocabulary is a technical trick, and any time you are
> talking about entailment you should include the entire vocabulary.
>
> So, the entailment below is valid, as the only interpretations that
> matter interpret the entire relevant vocabulary, ....

The spec does not define "interpretations that matter".

>
> Maybe there should be wording to this effect in some document, however.

It can be fixed in different ways, but it's not just editorial as it 
changes the semantics.


>
> peter
>
>
>
> On 09/12/2012 05:03 PM, RDF Working Group Issue Tracker wrote:
>> RDF-ISSUE-97 (interpretations-depends-on-V): Should the semantics of
>> RDF graphs be dependent on a vocabulary? [RDF Semantics]
>>
>> http://www.w3.org/2011/rdf-wg/track/issues/97
>>
>> Raised by: Antoine Zimmermann
>> On product: RDF Semantics
>>
>> Currently, all notions of "interpretation" in RDF Semantics depend on
>> a vocabulary V. An interpretation of a vocabulary V cannot interpret
>> terms that are not in V. This leads to certain unexpected
>> non-entailments, for instance:
>>
>>   { :s :p "2"^^xsd:integer }
>>
>> does not XSD-entail:
>>
>>   { :s :p "+2"^^xsd:integer }
>>
>> or, in RDFS semantics, the triple:
>>
>>   { ex:s  rdf:type  rdfs:Resource }
>>
>> is not true in all graphs.
>>
>>
>>
>
>
>


-- 
Antoine Zimmermann
ISCOD / LSTI - Institut Henri Fayol
École Nationale Supérieure des Mines de Saint-Étienne
158 cours Fauriel
42023 Saint-Étienne Cedex 2
France
Tél:+33(0)4 77 42 83 36
Fax:+33(0)4 77 42 66 66
http://zimmer.aprilfoolsreview.com/

Received on Wednesday, 12 September 2012 22:20:57 UTC