Two Phase Description Logic Reasoning for Efficient Information Retrieval

Zsolt Zombori
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...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.