|Title||A Well-founded Semantics for Hybrid MKNF Knowledge Bases|
|Publication Type||Conference Paper|
|Year of Publication||2007|
|Authors||Matthias Knorr, Jose Julio Alferes, Pascal Hitzler|
|Publisher||the 2007 International Workshop on Description Logics (DL-2007)|
In , hybrid MKNF knowledge bases have been proposed for combining open and closed world reasoning within the logics of minimal knowledge and negation as failure (). For this powerful framework, we define a three-valued semantics and provide an alternating fixpoint construction for nondisjunctive hybrid MKNF knowledge bases. We thus provide a well-founded semantics which is a sound approximation of the cautious MKNF model semantics, and which also features improved computational properties. We also show that whenever the DL knowledge base part is empty, then the alternating fixpoint coincides with the classical well-founded model.
|Full Text|| |
Matthias Knorr, Jose Julio Alferes and Pascal Hitzler, 'A Well-founded Semantics for Hybrid MKNF Knowledge Bases,' Proceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, June 2007.