Three methods for revising hybrid knowledge bases

DOI10.1007/978-3-319-61252-2_4zbMATH Open1490.68214DBLPconf/ruleml/BinnewiesZW17OpenAlexW2625380761WikidataQ62045644 ScholiaQ62045644MaRDI QIDQ5086205FDOQ5086205

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

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

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)

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)