W3C home > Mailing lists > Public > public-owl-wg@w3.org > September 2008

Re: Survey on titles for OWL2 Semantics documents

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Fri, 19 Sep 2008 16:13:45 +0100
Message-Id: <BD371EBF-8727-45C7-B537-27669872B271@cs.man.ac.uk>
Cc: Sandro Hawke <sandro@w3.org>, public-owl-wg@w3.org
To: Ivan Herman <ivan@w3.org>

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.

Received on Friday, 19 September 2008 15:11:14 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:41:52 UTC