Efficient Reasoning in EL
Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn · 2006
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