- From: Ivan Herman <ivan@w3.org>
- Date: Mon, 22 Sep 2008 12:13:20 +0200
- To: Uli Sattler <sattler@cs.man.ac.uk>
- CC: Bijan Parsia <bparsia@cs.man.ac.uk>, Sandro Hawke <sandro@w3.org>, public-owl-wg@w3.org
- Message-ID: <48D76FC0.4020400@w3.org>
Thanks (to both Bijan and you:-). Ivan Uli Sattler wrote: > > On 19 Sep 2008, at 16:29, Ivan Herman wrote: > >> Ah! So the remark could be translated as 'there is nothing DL specific >> in it'. Right? This makes sense... >> > > indeed, this is what I tried to say, cheers, Uli > >> Ivan >> >> Bijan Parsia wrote: >>> >>> On 19 Sep 2008, at 16:03, Ivan Herman wrote: >>> >>>> Can somebody (eg, Uli:-) explain what is meant by the remark: >>>> >>>> "DL Semantics" and "RDF-Based Semantics" (But Uli says it's not DL.) >>>> >>>> I know she said that on the call, but I did not really grasp that at >>>> the >>>> time either... >>> >>> Let me hazard a guess and test my understanding. >>> >>> The RDF-Based semantics are worth calling such because they depart >>> significantly from standard first order logic style model theory. (Yes, >>> it's first order, but it is definitely not Ye Old Principa Model >>> Theory.) Whereas the "DL semantics" are just regular old first order >>> semantics. (Really more propositional modalish in presentation, but in >>> the structures it's plain old normal semantics). >>> >>> Someone coming to the documents with a model theory background is in for >>> far far far less of a shock (if any) when confronting the "DL" >>> semantics. Indeed, it would be confusing because it would suggest >>> something DLish about them. The name "RDF-Based" does the right thing by >>> signaling that there *is* something different and giving a cue where >>> to go. >>> >>> Cheers, >>> Bijan. >>> >> >> -- >> >> Ivan Herman, W3C Semantic Web Activity Lead >> Home: http://www.w3.org/People/Ivan/ >> PGP Key: http://www.ivan-herman.net/pgpkey.html >> FOAF: http://www.ivan-herman.net/foaf.rdf > -- Ivan Herman, W3C Semantic Web Activity Lead Home: http://www.w3.org/People/Ivan/ PGP Key: http://www.ivan-herman.net/pgpkey.html FOAF: http://www.ivan-herman.net/foaf.rdf
Received on Monday, 22 September 2008 10:13:53 UTC