DL Rules
From ONTOLORE
DL Rules describe rules which can be added to many DLs without jeopardising decidability. If added to known tractable fragments of OWL, e.g. DLP or EL++, tractability is retained.
Literature
- Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler, Description Logic Rules. In: Malik Ghallab, ConstantineD. 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, 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.
- Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, All Elephants are Bigger than All Mice. In: Franz Baader, Carsten Lutz, Boris Motik, Proceedings of the 21st International Workshop on Description Logics, DL2008, Dresden, Germany, May 2008. CEUR Workshop Proceedings Vol. 353, 2008. Extended technical report.
