Efficient Reasoning in EL

Monitoring and Indicators of Forest Biodiversity – from Ideas to Operationality

Franz Baader ; Carsten Lutz ; Boontawee Suntisrivaraporn

Others  :  http://CEUR-WS.org/Vol-189/submission_8.pdf
PID  :  378

来源: CEUR

【 摘 要 】

The early dream of a description logic (DL) system that o®ers 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 rather than less, which led to the development of more and more expressive DLs. The use of such intractable DLs in applications was made possible by the fact that highly-optimized tableau-based reasoners for them behaved quite well in practice.[first paragraph]