RE: Annotations in 1.0-DL and 1.1-DL

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?

Cheers,
Michael

--
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