2026-07-20T11:45:59Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3190 2024-03-06T10:33:56Z ddc:004 open_access

Two Phase Description Logic Reasoning for Efficient Information Retrieval Zombori, Zsolt description logic knowledge representation 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Zsolt Zombori 2011 Is Part Of LIPIcs, Volume 11, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (2011) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICLP.2011.296 urn:nbn:de:0030-drops-31906 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.296 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode