REASONING WITH INCONSISTENT ONTOLOGIES THROUGH ARGUMENTATION

Authors:
Sergio Alejandro Gomez;Carlos Ivan Chesnevar;Guillermo Ricardo Simari
Affiliations:
Artificial Intelligence Research and Development Laboratory, Department of Computer Science and Engineering, Universidad Nacional del Sur, Bahia Blanca, Argentina;Artificial Intelligence Research and Development Laboratory, Department of Computer Science and Engineering, Universidad Nacional del Sur, Bahia Blanca, Argentina,CONICET (National Council of Scie ...;Artificial Intelligence Research and Development Laboratory, Department of Computer Science and Engineering, Universidad Nacional del Sur, Bahia Blanca, Argentina
Venue:
Applied Artificial Intelligence - Knowledge Representation and Ontology Research
Year:
2010

Citing 0
Cited 8

An argumentation machinery to reason over inconsistent ontologies

IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Consistency and provenance in rule processing

RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Developing an intelligent parking management application based on multi-agent systems and semantic web technologies

HAIS'10 Proceedings of the 5th international conference on Hybrid Artificial Intelligence Systems - Volume Part I
Towards pragmatic argumentative agents within a fuzzy description logic framework

ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Web@IDSS - Argumentation-enabled Web-based IDSS for reasoning over incomplete and conflicting information

Knowledge-Based Systems
ONTOarg: A decision support framework for ontology integration based on argumentation

Expert Systems with Applications: An International Journal
An argumentation framework for description logic ontology reasoning and management

Journal of Intelligent Information Systems
Inconsistency-tolerant reasoning with OWL DL

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

Standard approaches to reasoning with description logics (DL) ontologies require them to be consistent. However, as ontologies are complex entities and sometimes built upon other imported ontologies, inconsistencies can arise. In this article, we present δ-ontologies, a framework for reasoning with inconsistent DL ontologies. Our proposal involves expressing DL ontologies as defeasible logic programs (DeLP). Given a query posed w.r.t. an inconsistent ontology, a dialectical analysis will be performed on a DeLP program obtained from such an ontology, where all arguments in favor and against the final answer of the query will be taken into account. We also present an application to ontology integration based on the global-as-view approach.