W3C home > Mailing lists > Public > public-rdf-wg@w3.org > March 2013

Re: semantic extension

From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
Date: Thu, 07 Mar 2013 17:23:27 +0100
Message-ID: <5138BEFF.8000006@emse.fr>
To: public-rdf-wg@w3.org
Ah yes, that covers it indeed, I did not see that.
So just make it clearer in the section on semantic extension.

--AZ

Le 07/03/2013 17:14, Peter Patel-Schneider a écrit :
> *Isn't this covered by:
>
> General monotonicity lemma*. Suppose that S, S' are sets of RDF graphs with
> every member of S a subset of some member of S'. Suppose that Y indicates a
> semantic extension of  X, S X-entails E, and S and E satisfy any syntactic
> restrictions of Y. Then S' Y-entails E.
>
> I agree that the possibility of syntactic restrictions should be mentioned
> more prominently than it currently is.
>
> peter
>
>
> On Thu, Mar 7, 2013 at 7:20 AM, Antoine Zimmermann<
> antoine.zimmermann@emse.fr>  wrote:
>
>> Pat,
>>
>>
>> In your draft, you define semantic extension a bit differently from RDF
>> 2004. In RDF 2004, the definition was such that OWL DL was a semantic
>> extension of RDF by allowing extensions to make syntactic restrictions on
>> graphs. This is not the case anymore.
>>
>> It makes the new definition cleaner, but then one may wonder what is the
>> status of OWL DL. If we want to have:
>>
>> "if A simply entails B then A must also entail B under any extended notion
>> of entailment"
>>
>> then OWL DL is not a semantic extension and somehow violate the conditions.
>>
>> So, I'm wondering: does it matter? do we go back to the text in 2004? or
>> do we simply add a note that says that, of course, A and B in the sentence
>> above must be in the language of the extension, otherwise A entails B under
>> that semantic extension does not even mean anything.
>>
>>
>> Best,
>> --
>> 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 66 03
>> Fax:+33(0)4 77 42 66 66
>> http://zimmer.**aprilfoolsreview.com/<http://zimmer.aprilfoolsreview.com/>
>>
>>
>

-- 
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 66 03
Fax:+33(0)4 77 42 66 66
http://zimmer.aprilfoolsreview.com/
Received on Thursday, 7 March 2013 16:24:06 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:25:54 GMT