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

RE: Annotations in 1.0-DL and 1.1-DL

From: Michael Schneider <schneid@fzi.de>
Date: Tue, 8 Apr 2008 10:32:51 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0803D40@judith.fzi.de>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: <public-owl-wg@w3.org>
Peter F. Patel-Schneider answered to me:

>>    Conditions on interpretations:
>>    ------------------------------
>>      EC(Individual([i] 
>>  -->   annotation(p1 o1) ... annotation(pk ok)
>>        type(c1) ... type(cm) 
>>        pv1 ... pvn)
>>      ) 
>>      is nonempty
>> But here I am confused: The function "EC(.)" isn't defined 
>for individuals
>> at all. And I also am not sure whether I understand what the intended
>> semantics is here.
>From [1, 3.2]
>	EC is extended to the syntactic constructs of descriptions, data
>	ranges, individuals, values, and annotations as in the EC
>	Extension Table.
>EC turns Individual constructs into sets, possibly empty.  Individual
>constructs with a name are singleton sets if the denotation of the name
>satisfies the conditions, empty otherwise.

Ok. Thanks!

>Individual constructs without names can have larger cardinality.

Hm, this is not clear to me. How can there be larger cardinalities?
Shouldn't individual constructs, either named or not, only denote singletons
at max?

Further, shouldn't the "Conditions on interpretations" table entry above
provide additional assertions of the form:

  S(i) in EC(annotation(p1 o1)) ... S(i) in EC(annotation(pk ok))

in the same way as these assertions exist for classes:

>    Conditions on interpretations:
>    ------------------------------
>  --> S(c) in EC(annotation(p1 o1)) ... S(c) in EC(annotation(pk ok))
>      EC(c) subset EC(descr1) ^ ... ^ EC(descrn)


At least under the condition that EC(Individual(i ...)) is non-empty?


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 Tuesday, 8 April 2008 08:33:29 UTC

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