Inconsistency-tolerant reasoning with OWL DL
From MaRDI portal
Publication:2353974
DOI10.1016/J.IJAR.2013.09.005zbMATH Open1316.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
Knowledge representation (68T30) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A syntax-based approach to measuring the degree of inconsistency for belief bases
- Reasoning within fuzzy description logics
- Generalized fuzzy rough description logics
- DESCRIPTION LOGICS OVER LATTICES
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
- On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
- A sequent calculus for reasoning in four-valued Description Logics
- Reasoning with contradictory information using quasi-classical logic
- Computational Aspects of Quasi-Classical Entailment
Cited In (6)
- Quasi-classical reasoning in paraconsistent databases
- Integrity constraints in OWL ontologies based on grounded circumscription
- A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
- Reasoning with Uncertain and Inconsistent OWL Ontologies
- Title not available (Why is that?)
- An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas
Uses Software
Recommendations
This page was built for publication: Inconsistency-tolerant reasoning with OWL DL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2353974)
