EL++
From ONTOLORE
EL++ is a tractable fragment of OWL 2, also known as OWL EL.
Literature
- Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler, ELP: Tractable Rules for OWL 2. In: A Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan (eds.), The Semantic Web - ISWC 2008, 7th International Semantic Web Conference. Springer Lecture Notes in Computer Science Vol. 5318, 2008, pp. 649-664. Extended technical report.
- Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler, Description Logic Rules. In: Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris (eds.), Proceedings of the 18th European Conference on Artificial Intelligence, ECAI2008, Patras, Greece, July 2008. IOS Press, 2008, pp. 80-84. Extended technical report.
- Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler, Conjunctive Queries for a Tractable Fragment of OWL 1.1. In: Karl Aberer, Key-Sun Choi, Natasha Fridman Noy, Dean Allemang, Kyung-Il Lee, Lyndon J. B. Nixon, Jennifer Golbeck, Peter Mika, Diana Maynard, Riichiro Mizoguchi, Guus Schreiber, Philippe Cudre-Mauroux (Eds.): The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Lecture Notes in Computer Science 4825, Springer 2007, pp. 310-323.
- Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler, Complexity Boundaries for Horn Description Logics. In: Proceedings of the 22nd AAAI Conference on Artficial Intelligence. AAAI Press, Vancouver, British Columbia, Canada, 2007, pp. 452-457.
- Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler, On the Complexity of Horn Description Logics. In: Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, Evan Wallace (eds.), Proceedings of the Second Workshop OWL - Experiences and Directions, OWLED2006, Athens, Georgia, November 2006. CEUR Workshop Proceedings Vol. 216. ISSN 1613-0073.