On updates of hybrid knowledge bases composed of ontologies and rules

DOI10.1016/j.artint.2015.07.008zbMath1344.68231OpenAlexW1142444543MaRDI QIDQ900304

Theresa Swift, Martin Slota, João Leite

Publication date: 22 December 2015

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2015.07.008

zbMATH Keywords

ruleslogic programshybrid knowledge basesdescription logicsbelief changeontologiesstable modelsupdateanswer sets

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (4)

On the logic of theory change iteration of KM-update ⋮ On combining ontologies and rules ⋮ Reactive multi-context systems: heterogeneous reasoning in dynamic environments ⋮ Forgetting in ASP: The Forgotten Properties

Uses Software

• NoHR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Capturing model-based ontology evolution at the instance level: the case of DL-Lite
• Local closed world reasoning with description logics under the well-founded semantics
• Reasoning with infinite stable models
• Frames in the space of situations
• Modal languages and bounded fragments of predicate logic
• Reversing the Levi identity
• Minimal belief and negation as failure
• Revision programming
• Propositional belief base update and minimal change
• The refinement extension principle for semantics of dynamic logic programming
• Towards Reactive Multi-Context Systems
• Belief Change in Nonmonotonic Multi-Context Systems
• Handbook on Ontologies
• A Unifying Perspective on Knowledge Updates
• The rise and fall of semantic rule updates based onSE-models
• Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
• A Model-Theoretic Approach to Belief Change in Answer Set Programming
• Query-Driven Procedures for Hybrid MKNF Knowledge Bases
• On Semantic Update Operators for Answer-Set Programs
• Back and Forth between Rules and SE-Models
• Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)
• Splitting and updating hybrid knowledge bases
• Normative Systems Represented as Hybrid Knowledge Bases
• On Instance-level Update and Erasure in Description Logic Ontologies
• Reconciling description logics and rules
• Towards closed world reasoning in dynamic open worlds
• A program-level approach to revising logic programs under the answer set semantics
• Modularity Aspects of Disjunctive Stable Models
• Putting ABox Updates into Action
• On the logic of theory change: Partial meet contraction and revision functions
• The well-founded semantics for general logic programs
• Dynamic updates of non-monotonic knowledge bases
• Strong equivalence made easy: nested expressions and weight constraints
• An abductive framework for computing knowledge base updates
• Module theorem for the general theory of stable models
• Logic program-based updates
• Updates in answer set programming: An approach based on basic structural properties
• The Description Logic Handbook
• A goal-directed implementation of query answering for hybrid MKNF knowledge bases
• A Preference-Based Framework for Updating Logic Programs
• Logic Programming and Nonmonotonic Reasoning
• Strongly equivalent logic programs

This page was built for publication: On updates of hybrid knowledge bases composed of ontologies and rules