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

RE: [ACTION-78] What it means to define OWL-1.1-Full as a "delta" to OWL-1.0-Full

From: Michael Schneider <schneid@fzi.de>
Date: Mon, 18 Feb 2008 10:57:36 +0100
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0750D3A@judith.fzi.de>
To: "Alan Ruttenberg" <alanruttenberg@gmail.com>
Cc: <public-owl-wg@w3.org>
Hi Alan!

Alan Ruttenberg wrote:

>Hi Michael,
>This is a nice explanation - I've added it to http://www.w3.org/2007/ 


>I'll make a minor comment - the language of if/then rules and firing,  
>evokes the idea that the semantic conditions can be implemented by a  
>rule engine - but the conditions, such as "ICEXT(x), is a subset of  
>ICEXT(y)" are not the usual sorts of consequents one sees in such  
>systems - so the analogy might confusing a bit, in addition to the  
>benefit it brings in helping explain how the conditions work.

Feel free to make this comment! It's true that not all semantic conditions
"encode" rules. 

AFAICT, this can be compared to some degree with the semantics of OWL-DL:

   Axiom            | Condition  
   SubClassOf(C D)  | C^Ic SUBSET D^Ic

It looks to me that this is not so much different from an OWL-Full semantic
condition (IFF condition), approximately:

       I( SubClassOf(C D) ) = true  # "I(.)" is interpretation function
       I(C), I(D) in I(owl:Class)
       I(C) subset I(D)

And, in fact, there shouldn't be a big difference, since both semantics are
model-theoretic. The difference is more in "architecture" ("layered" or
"accumulative" for Full, vs. "direct" for DL). And of course the semantics
themself are different, because Full semantics has all the RDFS semantics
with it.

Btw.: I found out in the meanwhile that the very last statement I made in my
example is wrong: One get's the transitive triple with "if-then" RDFS
semantics, too, i.e. one does not need OWL-Full's iff-semantics for this.
But this is IMHO a minor bug. :)


>On Feb 12, 2008, at 10:12 AM, Michael Schneider wrote:
>> == 4. An example of a semantic condition ==
>> Here is an example for how the layered approach works. The  
>> semantics for
>> subclassing axioms in RDFS and OWL-Full is discussed by 
>looking at the
>> respective semantic conditions involved. The following semantic  
>> condition is
>> given in the RDFS semantics spec [4]:
>>   IF
>>       <x,y> is in IEXT(I(rdfs:subClassOf))
>>   THEN
>>       x and y are in IC
>>     AND
>>       ICEXT(x) is a subset of ICEXT(y)

Dipl.-Inform. Michael Schneider
FZI Forschungszentrum Informatik Karlsruhe
Abtl. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: Michael.Schneider@fzi.de
Web  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555

FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts
Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus

Received on Monday, 18 February 2008 09:57:57 UTC

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