Linkless Normal Formfor ALC Concepts

Knowledge compilation is a common technique for propositionallogic knowledge bases. A given knowledge base is transformedinto a normal form, for which queries can be answered efficiently. Thisprecompilation step is expensive, but it only has to be performed once.We apply this technique to concepts dened in the Description LogicALC. We introduce a normal form called linkless normal form for ALCconcepts and discuss an efficient satisability test for concepts given inthis normal form. Furthermore, we will show how to efficiently calculateuniform interpolants of precompiled concepts w.r.t. a given signature.[...]