DeepAI AI Chat
Log In Sign Up

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

by   Marco Alberti, et al.

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


page 1

page 2

page 3

page 4


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

Approximation fixpoint theory (AFT) provides an algebraic framework for ...

Axiomatizing logics of fuzzy preferences using graded modalities

The aim of this paper is to propose a many-valued modal framework to for...

Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics

The distribution semantics is one of the most prominent approaches for t...

Horn Clauses in Hybrid-Dynamic First-Order Logic

We propose a hybrid-dynamic first-order logic as a formal foundation for...

Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems

A wide variety of nonmonotonic semantics can be expressed as approximato...

Montague Semantics for Lambek Pregroups

Lambek pregroups are algebraic structures modelling natural language syn...

The positivication of coalgebraic logics

We present positive coalgebraic logic in full generality, and show how t...