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

Re: Survey on titles for OWL2 Semantics documents

From: Ivan Herman <ivan@w3.org>
Date: Mon, 22 Sep 2008 12:13:20 +0200
Message-ID: <48D76FC0.4020400@w3.org>
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
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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:07 UTC