Attributive concept descriptions with complements
Artificial Intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Integrating Ontology Languages and Answer Set Programming
DEXA '03 Proceedings of the 14th International Workshop on Database and Expert Systems Applications
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
An Argument-Based Approach to Using Multiple Ontologies
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Modelling well-structured argumentation lines
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
An argumentation-based approach to handling inconsistencies in DL-Lite
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Hi-index | 0.00 |
With the development of semantic web technology, ontology level reasoning among various agents has become an important topic. To handle the inconsistency between different knowledge bases, a non-monotonic reasoning method is always in need. However, for most approaches to non-monotonic ontology reasoning, new mechanism must be added into the reasoning procedure. In this paper, we will try to perform a type of ontology level non-monotonic reasoning by using argumentation theory, and show that such argumentation framework can be completely carried out under description logic. Also, the framework we present can be used for other types of reasoning, for example, inductive reasoning.