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)

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

zbMATH Keywords

ontologysplitting theoremupdatelogic programhybrid knowledge base

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• 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)