Knowledge compilation for description logics

U Furbach, C Obermaier - 2007 - kola.opus.hbz-nrw.de
U Furbach, C Obermaier
2007kola.opus.hbz-nrw.de
Knowledge compilation is a common technique for propositional logic knowledge bases.
The idea is to transform a given knowledge base into a special normal form ([MR03],[DH05]),
for which queries can be answered efficiently. This precompilation step is very expensive but
it only has to be performed once. We propose to apply this technique to knowledge bases
defined in Description Logics. For this, we introduce a normal form, called linkless concept
descriptions, for ALC concepts. Further we present an algorithm, based on path dissolution …
Abstract
Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[DH05]), for which queries can be answered efficiently. This precompilation step is very expensive but it only has to be performed once. We propose to apply this technique to knowledge bases defined in Description Logics. For this, we introduce a normal form, called linkless concept descriptions, for ALC concepts. Further we present an algorithm, based on path dissolution, which can be used to transform a given concept description into an equivalent linkless concept description. Finally we discuss a linear satisfiability test as well as a subsumption test for linkless concept descriptions.
kola.opus.hbz-nrw.de
Showing the best result for this search. See all results