Hybrid MKNF Knowledge Bases
From ONTOLORE
We have established a local closed world reasoning paradigm based on a well-founded semantics for hybrid MKNF knowledge bases. The result is a language which combines open- and closed-world features, description logics (i.e. OWL), and rules in the logic programming style. If the underlying description logic is tractable, like EL++ or ELP, then our paradigm is of tractable data complexity.
Publications
- Matthias Knorr, Jose Alferes, Pascal Hitzler, A Coherent Well-founded model for Hybrid MKNF knowledge bases. 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. 99-103.
- Matthias Knorr, Jose Alferes, Pascal Hitzler, Towards Tractable Local Closed World Reasoning for the Semantic Web. In: Jose Neves, Manuel Filipe Santos, Jose Machado (Eds.): Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Guimaraes, Portugal, December 3-7, 2007, Proceedings. Lecture Notes in Computer Science 4874, Springer 2007, pp. 3-14.
- Matthias Knorr, Jose Julio Alferes, Pascal Hitzler. A Well-founded Semantics for Hybrid MKNF Knowledge Bases. In: Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris, Proceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, June 2007. CEUR Workshop Proceedings, Vol-250, 2007.
- up: <ask>Hybrid MKNF Knowledge Bases</ask>
- see also: Circumscriptive Description Logics, EL++, ELP
