DMCA
Spatial Reasoning with Description Logics:
BibTeX
@MISC{Ra_spatialreasoning,
author = {Undecidability Of Alc Ra and Michael Wessel and Michael Wessel},
title = {Spatial Reasoning with Description Logics:},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper presents the new description logic ALCRA⊖. ALCRA ⊖ combines the well-known standard description logic ALC with compositionbased role axioms of the form S ◦ T ⊑ R1 ⊔ · · · ⊔ Rn. We argue that these axioms are nearly indispensable components in a description logic framework suitable for qualitative spatial reasoning tasks. An ALCRA ⊖ spatial reasoning example is presented, and the relationships to other descriptions logics are discussed (namely ALCRA, ALCR +, ALC⊕, ALCHR +). Unfortunately, the satisfiability problem of this new logic is undecidable. Due to the high relevance of role axioms of the proposed form for all kinds of qualitative reasoning tasks, the undecidability of ALCRA⊖ is an important result. 1
Keyphrases
description logic new logic role axiom form r1 rn compositionbased role axiom important result high relevance description logic framework satisfiability problem well-known standard description logic alc indispensable component qualitative reasoning task new description logic alcra qualitative spatial reasoning task
