Splitting and updating hybrid knowledge bases

DOI10.1017/S1471068411000317zbMATH Open1218.68165MaRDI QIDQ3087461FDOQ3087461

Authors Martin Slota, João Leite, Terrance Swift 

Publication date 16 August 2011

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

zbMATH Keywords

ontologysplitting theoremupdatelogic programhybrid knowledge base

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Recommendations

• On updates of hybrid knowledge bases composed of ontologies and rules
• Towards closed world reasoning in dynamic open worlds
• A Unifying Perspective on Knowledge Updates
• Three methods for revising hybrid knowledge bases
• Dynamic updates of non-monotonic knowledge bases

Cites Work

• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• A Preference-Based Framework for Updating Logic Programs

Cited In (6)

• A Unifying Perspective on Knowledge Updates
• On combining ontologies and rules
• Reasoning about action and change
• Towards closed world reasoning in dynamic open worlds
• On updates of hybrid knowledge bases composed of ontologies and rules
• Normative systems represented as hybrid knowledge bases

This page was built for publication: Splitting and updating hybrid knowledge bases

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