Inconsistency-tolerant reasoning with OWL DL

DOI10.1016/j.ijar.2013.09.005zbMath1316.68155OpenAlexW2066249453MaRDI QIDQ2353974

Xiaowang Zhang, Jan Van den Bussche, Zuoquan Lin, Guohui Xiao

Publication date: 10 July 2015

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2013.09.005

zbMATH Keywords

description logicsparaconsistent reasoningquasi-classical logicinconsistency-toleranceOWL DL

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Paraconsistent logics (03B53)

Related Items

Quasi-classical reasoning in paraconsistent databases, A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite

Uses Software

• Pellet
• KAON2
• HermiT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized fuzzy rough description logics
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• A syntax-based approach to measuring the degree of inconsistency for belief bases
• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
• Computational Aspects of Quasi-Classical Entailment
• Reasoning with contradictory information using quasi-classical logic
• A sequent calculus for reasoning in four-valued Description Logics
• DESCRIPTION LOGICS OVER LATTICES