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

RE: completeness

From: Michael Schneider <schneid@fzi.de>
Date: Fri, 29 Feb 2008 10:04:11 +0100
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0751395@judith.fzi.de>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: <public-owl-wg@w3.org>
Hi Peter!

>> >Nor does
>> >
>> >p r q .
>> >
>> >pD* entail
>> >
>> >p rdf:type _:e .
>> >_:e owl:hasValue q .
>> >_:e owl:onProperty r .
>> This entailment is actually explicitly supported by pD*. In 
>this case even
>> the converse entailment exists (a rare case of 
>"iff"-semantics in pD*). The
>> respective semantic condition is given by Definition 5.1 in [10]:
>>   If 
>>     (a, b) in E_I(I(hasValue)) 
>>     and (a, p) in E_I(I(onProperty)), 
>>   then 
>>       x in CE_I(a) 
>>     if and only if 
>>       (x, b) in E_I(p),
>> where "E_I(.)" denotes a property extention, and "CE_I(.)" 
>denotes a class
>> extention.
>The entailment does not go through because there need not be a,b,p such
>	(a, b) in E_I(I(hasValue)) 
>	(a, p) in E_I(I(onProperty))
>in models of
>	p r q .

("x p b" for some given x).

Yes, you are right! The existence of the class a, which is defined by the HasValue restriction, doesn't result alone from the stated triple. I must have confused the situation here with OWL-Full, where there is a comprehension principle, which gives me this class alone from having the property p and the value b.

After reading your answer, I first thought that this semantic condition of pD* must thus be pretty useless, since the need for explicitly stating HasValue restrictions looked cumbersome to me. However, I found that it has its benefits, anyway. For example, I can state TBox axioms such as

  _:x rdf:type owl:Restriction .
  _:x owl:onProperty zoo:hasBodyPart .
  _:x owl:hasValue zoo:fur .
  _:x rdfs:subClassOf zoo:Mammal .

Now, if the RDF graph contains the triple

  :chita zoo:hasBodyPart zoo:fur .

then pD* allows me to entail

  :chita rdf:type zoo:Mammal .

IMHO not bad for a language with such weakly defined semantics. :)


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 Friday, 29 February 2008 09:04:44 UTC

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