Tractable reasoning via approximation
Artificial Intelligence
The description logic handbook
Resource-Bounded Paraconsistent Inference
Annals of Mathematics and Artificial Intelligence
Debugging Incoherent Terminologies
Journal of Automated Reasoning
A revision-based approach to handling inconsistency in description logics
Artificial Intelligence Review
Computing minimum cost diagnoses to repair populated DL-based ontologies
Proceedings of the 17th international conference on World Wide Web
Theory and Practice of Logic Programming
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lexicographical Inference over Inconsistent DL-Based Ontologies
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Using Semantic Distances for Reasoning with Inconsistent Ontologies
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Ontology Learning and Reasoning -- Dealing with Uncertainty and Inconsistency
Uncertainty Reasoning for the Semantic Web I
Semantic information integration and question answering based on pervasive agent ontology
Expert Systems with Applications: An International Journal
A Tableau Algorithm for Handling Inconsistency in OWL
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
RaDON -- Repair and Diagnosis in Ontology Networks
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Dealing with Inconsistencies in DL-Lite Ontologies
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
On Temporal Properties of Knowledge Base Inconsistency
Transactions on Computational Science V
Inconsistencies, negations and changes in ontologies
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
An Argument-Based Approach to Using Multiple Ontologies
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Inconsistency: the good, the bad, and the ugly
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Paraconsistent Reasoning for OWL 2
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Unifying Web-Scale Search and Reasoning from the Viewpoint of Granularity
AMT '09 Proceedings of the 5th International Conference on Active Media Technology
A Conflict-Based Operator for Mapping Revision
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Heterogeneity and Context in Semantic-Web-Enabled HCLS Systems
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
A Relevance-Directed Algorithm for Finding Justifications of DL Entailments
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Consistent query answering over description logic ontologies
RR'07 Proceedings of the 1st 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
Scalable cleanup of information extraction data using ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Aspects of inconsistency resolution in modular ontologies
Canadian AI'08 Proceedings of the Canadian Society for computational studies of intelligence, 21st conference on Advances in artificial intelligence
The OAEI food task: An analysis of a thesaurus alignment task
Applied Ontology
Quantifying knowledge base inconsistency via fixpoint semantics
Transactions on computational science II
An argumentation-based approach to handling inconsistencies in DL-Lite
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Building multi-agent systems for workflow enactment and exception handling
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Inconsistency-tolerant semantics for description logics
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Plato: a compiler for interactive web forms
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
A tableau algorithm for paraconsistent and nonmonotonic reasoning in description logic-based system
APWeb'11 Proceedings of the 13th Asia-Pacific web conference on Web technologies and applications
Reasoning with noisy semantic data
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Query rewriting for inconsistent DL-lite ontologies
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Contrastive Reasoning with Inconsistent Ontologies
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
Consistency and provenance in rule processing
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
A framework for handling inconsistency in changing ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Knowledge base revision in description logics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Repairing and reasoning with inconsistent and uncertain ontologies
Advances in Engineering Software
Argumentation-Based reasoning with inconsistent knowledge bases
AI'10 Proceedings of the 23rd Canadian conference on Advances in Artificial Intelligence
Inferring with inconsistent OWL DL ontology: a multi-valued logic approach
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Towards a paradoxical description logic for the semantic web
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
The OAEI food task: An analysis of a thesaurus alignment task
Applied Ontology
Towards ABox Modularization of semi-expressive Description Logics
Applied Ontology - Modularity in Ontologies
A method of contrastive reasoning with inconsistent ontologies
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
ONTOarg: A decision support framework for ontology integration based on argumentation
Expert Systems with Applications: An International Journal
Semantic precision and recall for evaluating incoherent ontology mappings
AMT'12 Proceedings of the 8th international conference on Active Media Technology
Inconsistency-Induced Learning for Perpetual Learners
International Journal of Software Science and Computational Intelligence
Approximating Linear Order Inference in OWL 2 DL by Horn Compilation
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
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
Paraconsistent query answering over DL-Lite ontologies
Web Intelligence and Agent Systems
Hi-index | 0.00 |
In this paper we present a framework of reasoning with inconsistent ontologies, in which pre-defined selection functions are used to deal with concept relevance. We examine how the notion of "concept relevance" can be used for reasoning with inconsistent ontologies. We have implemented a prototype called PION (Processing Inconsistent ONtologies), which is based on a syntactic relevance-based selection function. In this paper, we also report the experiments with PION.