Towards closed world reasoning in dynamic open worlds

DOI10.1017/S147106841000027XMaRDI QIDQ3585167zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

rulesanswer set programmingbelief changedescription logicsontologiessemantic webbelief updatehybrid knowledge bases

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• Dynamic updates of non-monotonic knowledge bases
• On the logic of theory change: Partial meet contraction and revision functions
• Propositional belief base update and minimal change
• Revision programming
• Semantic forgetting in answer set programming
• Strongly equivalent logic programs
• The refinement extension principle for semantics of dynamic logic programming

Cited in

(9)

• A Unifying Perspective on Knowledge Updates
• Logic Programming
• 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)