Two Phase Description Logic Reasoning for Efficient Information Retrieval

Zombori, Zsolt

doi:10.4230/LIPIcs.ICLP.2011.296

Document

Two Phase Description Logic Reasoning for Efficient Information Retrieval

Author Zsolt Zombori

Part of: Volume: Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (ICLP 2011)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Logic Programming (ICLP)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2011-06-27

PDF

File

PDF

LIPIcs.ICLP.2011.296.pdf

Filesize: 270 kB
5 pages

Document Identifiers

DOI: 10.4230/LIPIcs.ICLP.2011.296
URN: urn:nbn:de:0030-drops-31906

Subject Classification

Keywords

description logic
knowledge representation

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get 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) https://doi.org/10.4230/LIPIcs.ICLP.2011.296

Author Details

Zsolt Zombori

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