An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols

Hybrid Knowledge Bases based on Lifschitz's logic of Minimal with Negation as Failure are a successful approach to combine the expressivity Description Logics and Logic Programming in single language. Their syntax, defined by Motik Rosati, disallows function symbols. In order define well-founded semantics for MKNF HKBs, Knorr et al. partition modal atoms occurring it, called alternating fixpoint partition. this paper, we propose an iterated HKBs We prove that our extends al.'s, that, function-free it coincides its The proposed lends itself well probabilistic extension distribution semantic approach, which is subject future work.