Re: semantic extension

On Mar 7, 2013, at 9:20 AM, Antoine Zimmermann 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.

Yes, this should be fixed. I made the mistake of starting with a blank canvas rather than trying to edit the old document. Thanks for noticing. 

> 
> 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?

I think we should, yes, or something very similar. Treat this as an editorial slip which I will fix (soon). 

> 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.

I like that. I will try to find a wording that is easy to understand but covers the necessary case. (As you can maybe tell, I am trying to keep the text as simple and readable as possible, eliminating all the schoolmasterish  "Note carefully that ..." stuff.)

Pat

> 
> 
> 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/
> 

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes