Efficient Reasoning in EL+

  title={Efficient Reasoning in EL+},
  author={Franz Baader and Carsten Lutz and Boontawee Suntisrivaraporn},
  booktitle={Description Logics},
The early dream of a description logic (DL) system that offers both sound and complete polynomial-time algorithms and expressive means that allow its use in real-world applications has since the 1990ies largely been considered to be a pipe dream. This was, on the one hand, due to complexity results showing intractability even in very inexpressive DLs [5], in particular in the presence of TBoxes [13]. On the other hand, many of the applications considered then required more expressive power… CONTINUE READING
Highly Influential
This paper has highly influenced 12 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 72 citations. REVIEW CITATIONS
50 Citations
16 References
Similar Papers


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

73 Citations

Citations per Year
Semantic Scholar estimates that this publication has 73 citations based on the available data.

See our FAQ for additional information.


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

An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on

  • F. Baader, E. Franconi, B. Hollunder, B. Nebel, H.-J. Profitlich
  • Applied Artificial Intelligence,
  • 1994
Highly Influential
4 Excerpts

Optimization and implementation of subsumption algorithms for the description logic EL with cyclic TBoxes and general concept inclusion axioms

  • B. Suntisrivaraporn
  • Master thesis, TU Dresden, Germany,
  • 2005
1 Excerpt

Similar Papers

Loading similar papers…