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 revisionhere-and-there logichybrid knowledge baseslogic programsontologiessemantic web

Mathematics Subject Classification ID

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

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

(8)

• Reasoning and revision in hybrid representation systems
• Splitting and updating hybrid knowledge bases
• Constructive reasoning for semantic wikis
• Towards closed world reasoning in dynamic open worlds
• scientific article; zbMATH DE number 1500647 (Why is no real title available?)
• scientific article; zbMATH DE number 1453039 (Why is no real title available?)
• \(\mho\)-resolution and hybrid knowledge bases
• On updates of hybrid knowledge bases composed of ontologies and rules

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)