A theory of diagnosis from first principles
Artificial Intelligence
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
Tractable reasoning via approximation
Artificial Intelligence
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
The Chimaera Ontology Environment
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The Description Logic Handbook
The Description Logic Handbook
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Debugging Incoherent Terminologies
Journal of Automated Reasoning
Computing minimum cost diagnoses to repair populated DL-based ontologies
Proceedings of the 17th international conference on World Wide Web
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Acquisition of OWL DL Axioms from Lexical Resources
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Applying Logical Constraints to Ontology Matching
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Learning Disjointness for Debugging Mappings between Lightweight Ontologies
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Using Semantic Distances for Reasoning with Inconsistent Ontologies
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Explanation in the DL-Lite Family of Description Logics
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Ontology Learning and Reasoning -- Dealing with Uncertainty and Inconsistency
Uncertainty Reasoning for the Semantic Web I
Learning Expressive Ontologies
Proceedings of the 2008 conference on Ontology Learning and Population: Bridging the Gap between Text and Knowledge
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Supporting manual mapping revision using logical reasoning
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Ontology matching with semantic verification
Web Semantics: Science, Services and Agents on the World Wide Web
Repairing the Missing is-a Structure of Ontologies
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Combining the semantic web with the web as background knowledge for ontology mapping
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Forgetting for knowledge bases in DL-Lite
Annals of Mathematics and Artificial Intelligence
A system for debugging missing is-a structure in networked ontologies
DILS'10 Proceedings of the 7th international conference on Data integration in the life sciences
Enriching ontologies by learned negation: or how to teach ontologies vegetarianism
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Inductive learning of disjointness axioms
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part II
Repairing unsatisfiable concepts in OWL ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
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
Matching unstructured vocabularies using a background ontology
EKAW'06 Proceedings of the 15th international conference on Managing Knowledge in a World of Networks
Debugging is-a structure in networked taxonomies
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences
Advocatus diaboli --- exploratory enrichment of ontologies with negative constraints
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
Hi-index | 0.00 |
Ontologies are the backbone of the Semantic Web as they allow one to share vocabulary in a semantically sound way. For ontologies, specified in OWL or a related web ontology language, Description Logic reasoner can often detect logical contradictions. Unfortunately, there are two drawbacks: they lack in support for debugging incoherence in ontologies, and they can only be applied to reasonably expressive ontologies (containing at least some sort of negation). In this paper, we attempt to close these gaps using a technique called pinpointing. In pinpointing we identify minimal sets of axioms which need to be removed or ignored to turn an ontology coherent. We then show how pinpointing can be used for debugging of web ontologies in two typical cases. More unusual is the application of pinpointing in the semantic clarification of underspecified web ontologies which we experimentally evaluate on a number of well-known web-ontologies. Our findings are encouraging: even though semantic ambiguity remains an issue, we show that pinpointing can be useful for debugging, and that it can significantly improve the quality of our semantic enrichment in a fully automatic way.