License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICLP.2011.296
URN: urn:nbn:de:0030-drops-31906
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2011/3190/
Go to the corresponding LIPIcs Volume Portal

Zombori, Zsolt

Two Phase Description Logic Reasoning for Efficient Information Retrieval

pdf-format:
33.pdf (0.3 MB)

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.

BibTeX - Entry

@InProceedings{zombori:LIPIcs:2011:3190,
  author =	{Zsolt Zombori},
  title =	{{Two Phase Description Logic Reasoning for Efficient Information Retrieval }},
  booktitle =	{Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) },
  pages =	{296--300},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-31-6},
  ISSN =	{1868-8969},
  year =	{2011},
  volume =	{11},
  editor =	{John P. Gallagher and Michael Gelfond},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2011/3190},
  URN =		{urn:nbn:de:0030-drops-31906},
  doi =		{10.4230/LIPIcs.ICLP.2011.296},
  annote =	{Keywords: description logic, knowledge representation}
}

Keywords: description logic, knowledge representation
Collection: Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)
Issue Date: 2011
Date of publication: 27.06.2011

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI