License
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://drops.dagstuhl.de/opus/volltexte/2011/3190/
Go to the corresponding LIPIcs Volume Portal


Zombori, Zsolt

Two Phase Description Logic Reasoning for Efficient Information Retrieval

pdf-format:
Document 1.pdf (271 KB)


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 =		{http://dx.doi.org/10.4230/LIPIcs.ICLP.2011.296},
  annote =	{Keywords: description logic, knowledge representation}
}

Keywords: description logic, knowledge representation
Seminar: 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 Published by LZI