Two Phase Description Logic Reasoning for Efficient Information Retrieval

Author Zsolt Zombori

Thumbnail PDF


  • Filesize: 270 kB
  • 5 pages

Document Identifiers

Author Details

Zsolt Zombori

Cite AsGet BibTex

Zsolt Zombori. Two Phase Description Logic Reasoning for Efficient Information Retrieval. In Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. 296-300, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


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.
  • description logic
  • knowledge representation


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail