Towards closed world reasoning in dynamic open worlds

DOI10.1017/S147106841000027XzbMATH Open1209.68099OpenAlexW3102659918MaRDI QIDQ3585167FDOQ3585167

Authors: Martin Slota, João Leite 

Publication date: 19 August 2010

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s147106841000027x

Recommendations

• On updates of hybrid knowledge bases composed of ontologies and rules
• Splitting and updating hybrid knowledge bases
• Three methods for revising hybrid knowledge bases
• Reasoning about evolving nonmonotonic knowledge bases
• Reasoning about evolving nonmonotonic knowledge bases

zbMATH Keywords

rulesanswer set programmingbelief changedescription logicsontologiessemantic webbelief updatehybrid knowledge bases

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Internet topics (68M11)

Cites Work

• On the logic of theory change: Partial meet contraction and revision functions
• Strongly equivalent logic programs
• Title not available (Why is that?)
• Propositional belief base update and minimal change
• Dynamic updates of non-monotonic knowledge bases
• Semantic forgetting in answer set programming
• Revision programming
• The refinement extension principle for semantics of dynamic logic programming

Cited In (9)

• Logic Programming
• A Unifying Perspective on Knowledge Updates
• Splitting and updating hybrid knowledge bases
• On combining ontologies and rules
• Three methods for revising hybrid knowledge bases
• On updates of hybrid knowledge bases composed of ontologies and rules
• Exploring the action landscape via trial world-lines
• Normative systems represented as hybrid knowledge bases
• A semantic approach for web reasoning

This page was built for publication: Towards closed world reasoning in dynamic open worlds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3585167)