LIPIcs - Leibniz International Proceedings in Informatics. Technical Communications of the 27th International Conference on Logic Programming (ICLP\u2711)
Doi
Abstract
Description Logics are used more and more frequently for knowledge
representation, creating an increasing demand for efficient automated
DL reasoning. However, the existing implementations are inefficient in
the presence of large amounts of data. This paper summarizes the
results in transforming DL axioms to a set of function-free clauses of
first-order logic which can be used for efficient, query oriented data
reasoning. The described method has been implemented in a module of
the DLog reasoner openly available on SourceForge to download