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

Autor:	Marco Alberti, Riccardo Zese, Fabrizio Riguzzi, Evelina Lamma
Jazyk:	angličtina
Rok vydání:	2022
Předmět:	FOS: Computer and information sciences Computer Science - Logic in Computer Science I.2.4 Logic in Computer Science (cs.LO)
Popis:	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. In Proceedings ICLP 2022, arXiv:2208.02685
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e07c7ec9ccd383ff64a27e6b51be1bd http://arxiv.org/abs/2208.03092 Zobrazit plný text záznamu