Splitting and updating hybrid knowledge bases

DOI10.1017/S1471068411000317zbMath1218.68165MaRDI QIDQ3087461

João Leite, Martin Slota, Terrance Swift

Publication date: 16 August 2011

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

zbMATH Keywords

splitting theoremontologyupdatelogic programhybrid knowledge base

Mathematics Subject Classification ID

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

Related Items (4)

A Unifying Perspective on Knowledge Updates ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ On combining ontologies and rules ⋮ Normative Systems Represented as Hybrid Knowledge Bases

Cites Work

• A Preference-Based Framework for Updating Logic Programs
• Unnamed Item

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