On updates of hybrid knowledge bases composed of ontologies and rules
From MaRDI portal
Publication:900304
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
ruleslogic programshybrid knowledge basesdescription logicsbelief changeontologiesstable modelsupdateanswer sets
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
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
