[DL] Formalising real numbers

[Uli Sattler]

Hi Steve,

instead of axiomatizing structures like real numbers, these are  
traditionally 'integrated' in form of so-called concrete domains (in  
OWL, a weak form of those is supported in form of 'datatypes'): have a  
look at

  C. Lutz. Description Logics with Concrete Domains—A Survey. In  
Advances in Modal Logics Volume 4. World Scientific Publishing Co.  
Pte. Ltd., 2003.

F. Baader and P. Hanschke. A Scheme for Integrating Concrete Domains  
into Concept Languages. In Proceedings of the 12th International Joint  
Conference on Artificial Intelligence, IJCAI-91, pages 452–457, Sydney  
(Australia), 1991.

Cheers, Uli

On 11 Apr 2010, at 01:22, Steve W wrote:

> Hi,
>
> Does anyone know if it's possible to formalise the real numbers in  
> DL? I know the supremum property requires at least second-order  
> logic, but can it somehow be reformualted and still fit in FOL or  
> even DL? Has there been any attempt?
>
> Thanks
> Steve
> ---
> **  You received this mail via the description logic mailing list;  
> for more  **
> **  information, visit the description logic homepage at http://dl.kr.org/ 
> .  **