Linkless normal form for ALC concepts
Claudia Schon · 2010
Knowledge compilation is a common technique for propo- sitional logic knowledge bases. A given knowledge base is transformed into a normal form, for which queries can be answered eciently. This precompilation step is expensive, but it only has to be performed once. We apply this technique to concepts dened in the Description Logic ALC. We introduce a normal form called linkless normal form for ALC concepts and discuss an ecient satisability test for concepts given in this normal form. Furthermore, we will show how to eciently calculate uniform interpolants of precompiled concepts w.r.t. a given signature.