Efficient Description Logic Reasoning in Prolog: The DLog system

  title={Efficient Description Logic Reasoning in Prolog: The DLog system},
  author={Gergely Luk{\'a}csy and P{\'e}ter Szeredi},
Traditional algorithms for description logic (DL) instance retrieval are inefficient for large amounts of underlying data. As description logic is becoming popular in areas such as the Semantic Web and information integration, it is very important to have systems that can reason efficiently over large data sets. In this paper we present an approach to transform description logic axioms described in the SHIQ DL language into a Prolog program. This transformation is done without any knowledge on… CONTINUE READING
Highly Cited
This paper has 42 citations. REVIEW CITATIONS
25 Citations
40 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 25 extracted citations


Publications referenced by this paper.
Showing 1-10 of 40 references

Resolution based DL reasoning (in hungarian)

  • Z. Zombori
  • Report, Budapest University of Technology and…
  • 2007
Highly Influential
4 Excerpts

Using logic programs for description logic reasoning

  • G. Lukácsy, Z. Nagy, P. Szeredi
  • In proceedings of the Semantic Systems in the…
  • 2006
Highly Influential
2 Excerpts

Similar Papers

Loading similar papers…