A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
The acceptability semantics for logic programs
Proceedings of the eleventh international conference on Logic programming
Normal forms for defeasible logic
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
ACM Computing Surveys (CSUR)
Cognitive Carpentry: A Blueprint for how to Build a Person
Cognitive Carpentry: A Blueprint for how to Build a Person
Foundations of Logic Programming
Foundations of Logic Programming
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The Role of Logic in Computational Models of Legal Argument: A Critical Survey
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Agent-Mediated Interaction. From Auctions to Negotiation and Argumentation
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
A Defeasible Ontology Language
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Argument-based applications to knowledge engineering
The Knowledge Engineering Review
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
Argumentation-based negotiation
The Knowledge Engineering Review
A logic programming framework for possibilistic argumentation with vague knowledge
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
A mapping system for the integration of OWL-DL ontologies
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Frame-based argumentation for group decision task generation and identification
Decision Support Systems - Special issue: Collaborative work and knowledge management
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
Argument-based critics and recommenders: a qualitative perspective on user support systems
Data & Knowledge Engineering - Special issue: WIDM 2004
Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues
CBMS '07 Proceedings of the Twentieth IEEE International Symposium on Computer-Based Medical Systems
Argumentation in artificial intelligence
Artificial Intelligence
Harnessing Ontologies for Argument-Based Decision-Making in Breast Cancer
ICTAI '07 Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence - Volume 02
Laconic and Precise Justifications in OWL
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
On the Issue of Contraposition of Defeasible Rules
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Argumentation in Artificial Intelligence
Argumentation in Artificial Intelligence
Reasoning with inconsistent ontologies
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Base Revision for Ontology Debugging
Journal of Logic and Computation
REASONING WITH INCONSISTENT ONTOLOGIES THROUGH ARGUMENTATION
Applied Artificial Intelligence - Knowledge Representation and Ontology Research
Argumentation-Supported information distribution in a multiagent system for knowledge management
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Modelling power and trust for knowledge distribution: an argumentative approach
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Knowledge distribution in large organizations using defeasible logic programming
AI'05 Proceedings of the 18th Canadian Society conference on Advances in Artificial Intelligence
Measuring and analyzing agents' uncertainty in argumentation-based negotiation dialogue games
Expert Systems with Applications: An International Journal
| Hi-index | 12.05 |
Description Logic Programming (DLP) is a well-known approach to reason with Description Logic (DL) ontologies, translating them into the language of logic programming (LP). Even though DLP offers several advantages in terms of efficiency and reuse of existing logic programming tools (such as Prolog environments), a major hindrance of this approach is its limitation for reasoning in the presence of inconsistent ontologies. Recent research has led to the use of defeasible argumentation to model different DL reasoning capabilities when handling inconsistent ontologies, resulting in so-called @d-ontologies. In this article we present ONTOarg, a decision support framework for performing local-as-view integration of possibly inconsistent and incomplete ontologies in terms of Defeasible Logic Programming (DeLP). We show how to reason on Description Logics (DL) ontologies in an ontology integration system by performing a dialectical analysis in order to determine the membership of individuals to concepts. We present formal definitions of a framework for ontology integration of DL ontologies based on DeLP along with a case study and review some of the properties of the approach.