Three methods for revising hybrid knowledge bases

DOI10.1007/978-3-319-61252-2_4MaRDI QIDQ5086205zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang

Publication date 1 July 2022

Published in Rules and Reasoning (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10072/346471

zbMATH Keywords

belief revisionontologiessemantic weblogic programshere-and-there logichybrid knowledge bases

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• On updates of hybrid knowledge bases composed of ontologies and rules
• Towards closed world reasoning in dynamic open worlds
• A glance at revision and updating in knowledge bases
• Propositional knowledge base revision and minimal change
• scientific article; zbMATH DE number 1487803

Cited in

(5)

• Splitting and updating hybrid knowledge bases
• \(\mho\)-resolution and hybrid knowledge bases
• Towards closed world reasoning in dynamic open worlds
• On updates of hybrid knowledge bases composed of ontologies and rules
• Constructive reasoning for semantic wikis

This page was built for publication: Three methods for revising hybrid knowledge bases

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