[DL] Formalising real numbers
sattler at cs.man.ac.uk
Wed Apr 14 11:57:53 CEST 2010
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
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
On 11 Apr 2010, at 01:22, Steve W wrote:
> 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?
> ** You received this mail via the description logic mailing list;
> for more **
> ** information, visit the description logic homepage at http://dl.kr.org/
> . **
More information about the dl