Splitting and Updating Hybrid Knowledge Bases (Extended Version)
Martin Slota, Jo\~ao Leite, Terrance Swift

TL;DR
This paper introduces a new update operator for hybrid knowledge bases that allows both Description Logic axioms and rules to be dynamically updated, addressing limitations of previous approaches.
Contribution
It extends existing update operators to handle both DL axioms and rules, providing a modular semantics and practical applicability for dynamic hybrid knowledge bases.
Findings
Proposed a splitting sequence and theorem for hybrid knowledge bases.
Defined a modular update semantics for both DL and rule components.
Illustrated the approach with a realistic cargo import example.
Abstract
Over the years, nonmonotonic rules have proven to be a very expressive and useful knowledge representation paradigm. They have recently been used to complement the expressive power of Description Logics (DLs), leading to the study of integrative formal frameworks, generally referred to as hybrid knowledge bases, where both DL axioms and rules can be used to represent knowledge. The need to use these hybrid knowledge bases in dynamic domains has called for the development of update operators, which, given the substantially different way Description Logics and rules are usually updated, has turned out to be an extremely difficult task. In [SL10], a first step towards addressing this problem was taken, and an update operator for hybrid knowledge bases was proposed. Despite its significance -- not only for being the first update operator for hybrid knowledge bases in the literature, but…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
