- From: Uli Sattler <sattler@cs.man.ac.uk>
- Date: Mon, 22 Sep 2008 11:10:47 +0100
- To: Ivan Herman <ivan@w3.org>
- Cc: Bijan Parsia <bparsia@cs.man.ac.uk>, Sandro Hawke <sandro@w3.org>, public-owl-wg@w3.org
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
Received on Monday, 22 September 2008 10:10:45 UTC