A logic-based theory of deductive arguments
Artificial Intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Inconsistencies, negations and changes in ontologies
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Finding maximally satisfiable terminologies for the description logic ALC
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Terminological cycles in a description logic with existential restrictions
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
REASONING WITH INCONSISTENT ONTOLOGIES THROUGH ARGUMENTATION
Applied Artificial Intelligence - Knowledge Representation and Ontology Research
Hi-index | 0.00 |
Widely accepted argumentation techniques are adapted to define a non-standard description logic (DL) reasoning machinery. A DL-based argumentation framework is introduced to reason about potentially inconsistent ontologies. Arguments in this framework can handle different DL families like ALC, εL, and DL-Lite. Afterwards, we propose an algorithm based on debugging techniques and classical tableau-based ALC satisfiability to build arguments, and discuss about the computational cost of reasoning through the proposed machinery.