Inconsistency-tolerant instance checking in tractable description logics

DOI10.1007/978-3-319-61252-2_15MaRDI QIDQ5086209zbMATH OpenOpenAlexFDO

Authors Rafael Peñaloza

Publication date 1 July 2022

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

Full work available at URL http://hdl.handle.net/10281/233839

Mathematics Subject Classification ID

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

Recommendations

• Inconsistency-Tolerant Querying of Description Logic Knowledge Bases
• Computing and explaining query answers over inconsistent DL-Lite knowledge bases
• Inconsistency-tolerant query answering: rationality properties and computational complexity analysis
• Updating inconsistent description logic knowledge bases
• Inconsistency handling in Datalog\(+/-\) ontologies

Cited in

(8)

• Understanding the complexity of axiom pinpointing in lightweight description logics
• Investigating the mapping between default logic and inconsistency-tolerant semantics
• Inconsistency-tolerant query answering: rationality properties and computational complexity analysis
• Computing and explaining query answers over inconsistent DL-Lite knowledge bases
• On Instance-level Update and Erasure in Description Logic Ontologies
• Handling inconsistency in partially preordered ontologies: the Elect method
• Updating inconsistent description logic knowledge bases
• Query Rewriting for DL Ontologies Under the ICAR Semantics

This page was built for publication: Inconsistency-tolerant instance checking in tractable description logics

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