Well-Founded Operators for Normal Hybrid MKNF Knowledge Bases

07/06/2017
by   Jianmin Ji, et al.
0

Hybrid MKNF knowledge bases have been considered one of the dominant approaches to combining open world ontology languages with closed world rule-based languages. Currently, the only known inference methods are based on the approach of guess-and-verify, while most modern SAT/ASP solvers are built under the DPLL architecture. The central impediment here is that it is not clear what constitutes a constraint propagator, a key component employed in any DPLL-based solver. In this paper, we address this problem by formulating the notion of unfounded sets for nondisjunctive hybrid MKNF knowledge bases, based on which we propose and study two new well-founded operators. We show that by employing a well-founded operator as a constraint propagator, a sound and complete DPLL search engine can be readily defined. We compare our approach with the operator based on the alternating fixpoint construction by Knorr et al [2011] and show that, when applied to arbitrary partial partitions, the new well-founded operators not only propagate more truth values but also circumvent the non-converging behavior of the latter. In addition, we study the possibility of simplifying a given hybrid MKNF knowledge base by employing a well-founded operator, and show that, out of the two operators proposed in this paper, the weaker one can be applied for this purpose and the stronger one cannot. These observations are useful in implementing a grounder for hybrid MKNF knowledge bases, which can be applied before the computation of MKNF models. The paper is under consideration for acceptance in TPLP.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/24/2021

Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT

Approximation fixpoint theory (AFT) provides an algebraic framework for ...
research
02/25/2021

Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases

Combining the closed-world reasoning of answer set programming (ASP) wit...
research
07/04/2012

A Revision-Based Approach to Resolving Conflicting Information

In this paper, we propose a revision-based approach for conflict resolut...
research
08/05/2022

A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases

The logic of hybrid MKNF (minimal knowledge and negation as failure) is ...
research
05/02/2011

Splitting and Updating Hybrid Knowledge Bases (Extended Version)

Over the years, nonmonotonic rules have proven to be a very expressive a...
research
03/31/2016

Distributing Knowledge into Simple Bases

Understanding the behavior of belief change operators for fragments of c...
research
01/10/2013

Graphical readings of possibilistic logic bases

Possibility theory offers either a qualitive, or a numerical framework f...

Please sign up or login with your details

Forgot password? Click here to reset