|
Abstract : |
This paper presents the new description logic ALC RA ?. ALC RA ? 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 ALC RA ? spatial reasoning example is presented, and the relationships to other descriptions logics are discussed (namely ALCRA, ALC R +, ALC?, ALCH R +). 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 ALC RA ? is an important result. 1, |
