Inferring with inconsistent OWL DL ontology: a multi-valued logic approach

Authors:
Yue Ma;Zuoquan Lin;Zhangang Lin
Affiliations:
Department of Information Science, Peking University, Beijing, China;Department of Information Science, Peking University, Beijing, China;Department of Information Science, Peking University, Beijing, China
Venue:
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Year:
2006

Citing 8
Cited 4

A four-valued semantics for terminological logics

Artificial Intelligence
Nonmonotonic reasoning, conditional objects and possibility theory

Artificial Intelligence
The value of the four values

Artificial Intelligence
Modeling Paraconsistent Reasoning by Classical Logic

FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
A stratification-based approach for handling conflicts in access control

Proceedings of the eighth ACM symposium on Access control models and technologies
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
Four-Valued semantics for default logic

AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence

Algorithms for Paraconsistent Reasoning with OWL

ESWC '07 Proceedings of the 4th European 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
Approaches to inconsistency handling in description-logic based ontologies

OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Paraconsistent query answering over DL-Lite ontologies

Web Intelligence and Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Web ontology language OWL DL has two-valued model theory semantics so that ontologies expressed by it become trivial when contradictions occur. Based on classical description logic $\mathcal{SHOIN(D)}$, we propose the four-valued description logic $\mathcal{SHOIN(D)}{\it 4}$ which has the ability to reason with inconsistencies. By transformation technic, we convert the reasoning problems of $\mathcal{SHOIN(D)}{\it 4}$ to the counterparts of $\mathcal{SHOIN(D)}$. So $\mathcal{SHOIN(D)}{\it 4}$ provides us with an approach to deal with contradictions by classical reasoning mechanism.