|
Abstract : |
We summarize the results we obtained on the extensions of ALC with composition-based role inclusion axioms of the form ST v R 1 t tR n. A set of these role axioms is called a role box. The original motivation for this work was to develop a description logic suitable for qualitative spatial reasoning problems. We quickly dene and discuss the DLs ALCRA, ALC RA, ALCRASG and ALCNRASG. All but ALCRASG are shown to be undecidable, and ALCRASG is of limited utility, even though it is still as expressive as ALC R ALCRASG has shown to be EXPTIME-complete,, |
