Updating inconsistent description logic knowledge bases

MaRDI QIDQ3455572zbMATH OpenFDO

Authors Maurizio Lenzerini, Domenico Fabio Savo

Publication date 11 December 2015

Full work available at URL http://ebooks.iospress.nl/volumearticle/7025

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Inconsistency-Tolerant Querying of Description Logic Knowledge Bases
• DL-Lite contraction and revision
• Foundations of instance level updates in expressive description logics
• On Instance-level Update and Erasure in Description Logic Ontologies
• Inconsistency-tolerant instance checking in tractable description logics

Cited in

(12)

• Semantically guided evolution of \(\mathcal{SHI}\) ABoxes
• A prioritized assertional-based revision for DL-Lite knowledge bases
• Inconsistency-Tolerant Querying of Description Logic Knowledge Bases
• Computing and explaining query answers over inconsistent DL-Lite knowledge bases
• On Instance-level Update and Erasure in Description Logic Ontologies
• Putting ABox updates into action
• Foundations of instance level updates in expressive description logics
• Dynamic updates of non-monotonic knowledge bases
• An abductive framework for computing knowledge base updates
• Instance-level update in DL-Lite ontologies through first-order rewriting
• Inconsistency-tolerant instance checking in tractable description logics
• DL-Lite contraction and revision

This page was built for publication: Updating inconsistent description logic knowledge bases

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