[DL] Semantics of Number restriction: small issue (?)

[Umberto Straccia]

Dear Colleagues,
it appears to me that the semantics of number restrictions concepts in DLs may need a minor fix, as the notion of "the cardinal of a set" is defined for sets that are equipollent to ordinal numbers only. Isn't it?

Cheers,

-Umberto Straccia



          ---------------------------------------------------
         |   Umberto Straccia, PhD                           |
         |   ISTI                                            | 
         |   Italian National Research Council               |
         |   Via G. Moruzzi,1                                |
         |   I-56124 Pisa (PI), ITALY                        | 
         | ------------------------------------------------  |
         | WWW   : http://www.umberto-straccia.name          |
         | E-mail: Umberto.Straccia at isti.cnr.it              |
       / ) Phone : +39.050.315 2894                          (\
      /  ) Fax   : +39.050.315 3464                          ( \
   _ (  (|___    ___________________________________________ )  )_ 
   (((\  \)  /  )                                    /  )  /  /)))
   (\\\\  \_/  /                                     \  \_/  ////)      
    \         /                                       \         /                 
     \      _/                                         \_      /   
-----/     /---------------------------------------------\     \--------
    /     /                                               \     \ 





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20120309/3027bd5a/attachment.htm>