A theory of diagnosis from first principles
Artificial Intelligence
Evaluating ontological decisions with OntoClean
Communications of the ACM - Ontology: different ways of representing the same concept
Creating Semantic Web Contents with Protégé-2000
IEEE Intelligent Systems
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Debugging unsatisfiable classes in OWL ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Swoop: A Web Ontology Editing Browser
Web Semantics: Science, Services and Agents on the World Wide Web
Finding and ranking knowledge on the semantic web
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Debugging and semantic clarification by pinpointing
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
A methodology for asynchronous multi-user editing of semantic web ontologies
Proceedings of the 4th international conference on Knowledge capture
KnoFuss: a comprehensive architecture for knowledge fusion
Proceedings of the 4th international conference on Knowledge capture
Computing minimum cost diagnoses to repair populated DL-based ontologies
Proceedings of the 17th international conference on World Wide Web
Ontology change: Classification and survey
The Knowledge Engineering Review
Measuring Inconsistencies in Ontologies
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Towards Ontology Evolution in Physics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Lexicographical Inference over Inconsistent DL-Based Ontologies
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Using Fuzzy DLs to Enhance Semantic Image Analysis
SAMT '08 Proceedings of the 3rd International Conference on Semantic and Digital Media Technologies: Semantic Multimedia
Using the Dempster-Shafer Theory of Evidence to Resolve ABox Inconsistencies
Uncertainty Reasoning for the Semantic Web I
Ontology Learning and Reasoning -- Dealing with Uncertainty and Inconsistency
Uncertainty Reasoning for the Semantic Web I
Dynamic Change Evaluation for Ontology Evolution in the Semantic Web
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Usability Issues in Description Logic Knowledge Base Completion
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
A catalogue of OWL ontology antipatterns
Proceedings of the fifth international conference on Knowledge capture
Completing description logic knowledge bases using formal concept analysis
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Repairing the Missing is-a Structure of Ontologies
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Evidential reasoning for the treatment of incoherent terminologies
Proceedings of the 2010 ACM Symposium on Applied Computing
A framework for handling revisions in distributed ontologies
Proceedings of the 2010 ACM Symposium on Applied Computing
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
Finding all justifications of OWL DL entailments
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Measuring incoherence in description logic-based ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Ontology performance profiling and model examination: first steps
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
A fine-grained approach to resolving unsatisfiable ontologies
Journal on data semantics X
Controlled English for reasoning on the semantic web
Semantic techniques for the web
Inconsistent ontology revision based on ontology constructs
Expert Systems with Applications: An International Journal
Investigating fuzzy DLs-based reasoning in semantic image analysis
Multimedia Tools and Applications
Forgetting for knowledge bases in DL-Lite
Annals of Mathematics and Artificial Intelligence
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Model driven engineering with ontology technologies
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Supporting concurrent ontology development: Framework, algorithms and tool
Data & Knowledge Engineering
Identifying and eliminating inconsistencies in mappings across hierarchical ontologies
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II
Query strategy for sequential ontology debugging
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
ORE - a tool for repairing and enriching knowledge bases
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
Measuring and repairing inconsistency in probabilistic knowledge bases
International Journal of Approximate Reasoning
The cognitive complexity of OWL justifications
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Induction of robust classifiers for web ontologies through kernel machines
Web Semantics: Science, Services and Agents on the World Wide Web
Debugging the missing is-a structure of networked ontologies
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Interactive ontology debugging: Two query strategies for efficient fault localization
Web Semantics: Science, Services and Agents on the World Wide Web
An algorithm for adapting cases represented in ALC
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Detecting and revising flaws in OWL object property expressions
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach
Journal of Information Technology Research
An argumentation framework for description logic ontology reasoning and management
Journal of Intelligent Information Systems
Toward cognitive support for OWL justifications
Knowledge-Based Systems
| Hi-index | 0.00 |
In this paper, we investigate the problem of repairing unsatisfiable concepts in an OWL ontology in detail, keeping in mind the user perspective as much as possible. We focus on various aspects of the repair process – improving the explanation support to help the user understand the cause of error better, exploring various strategies to rank erroneous axioms (with motivating use cases for each strategy), automatically generating repair plans that can be customized easily, and suggesting appropriate axiom edits where possible to the user. Based on the techniques described, we present a preliminary version of an interactive ontology repair tool and demonstrate its applicability in practice.