A four-valued semantics for terminological logics
Artificial Intelligence
Tractable reasoning via approximation
Artificial Intelligence
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Artificial Intelligence
A Semantic Tableau Version of First-Order Quasi-Classical Logic
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Sequent Calculus for Reasoning in Four-Valued Description Logics
TABLEAUX '97 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Measuring inconsistency in knowledge via quasi-classical models
Eighteenth national conference on Artificial intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
WWW '05 Proceedings of the 14th international conference on World Wide Web
How to act on inconsistent news: ignore, resolve, or reject
Data & Knowledge Engineering
Measuring inconsistency in knowledgebases
Journal of Intelligent Information Systems
Algorithms for Paraconsistent Reasoning with OWL
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Reasoning with inconsistent ontologies
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Reducing OWL entailment to description logic satisfiability
Web Semantics: Science, Services and Agents on the World Wide Web
Approaches to measuring inconsistent information
Inconsistency Tolerance
A revision-based approach to handling inconsistency in description logics
Artificial Intelligence Review
Analysing inconsistent first-order knowledgebases
Artificial Intelligence
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Dealing with Inconsistencies in DL-Lite Ontologies
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Paraconsistent Reasoning for OWL 2
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Measuring incompleteness under multi-valued semantics by partial MaxSAT solvers
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Approaches to measuring inconsistency for stratified knowledge bases
International Journal of Approximate Reasoning
Hi-index | 0.00 |
In this paper, we present an approach for measuring inconsistency in a knowledge base. We first define the degree of inconsistency using a four-valued semantics for the description logic $\mathcal{ALC}$. Then an ordering over knowledge bases is given by considering their inconsistency degrees. Our measure of inconsistency can provide important information for inconsistency handling.