Annotea: an open RDF infrastructure for shared Web annotations
Proceedings of the 10th international conference on World Wide Web
The Chimaera Ontology Environment
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Implementation and optimization techniques
The description logic handbook
Explaining reasoning in description logics
Explaining reasoning in description logics
WWW '05 Proceedings of the 14th international conference on World Wide Web
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
The two cultures: mashing up web 2.0 and the semantic web
Proceedings of the 16th international conference on World Wide Web
Semantic web: the story so far
W4A '07 Proceedings of the 2007 international cross-disciplinary conference on Web accessibility (W4A)
Debugging Incoherent Terminologies
Journal of Automated Reasoning
Text-based domain ontology building using tf-idf and metric clusters techniques
The Knowledge Engineering Review
Computing minimum cost diagnoses to repair populated DL-based ontologies
Proceedings of the 17th international conference on World Wide Web
Ontologies and the semantic web
Communications of the ACM - Surviving the data deluge
Logical Analysis of Mappings between Medical Classification Systems
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
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 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
Finding maximally satisfiable terminologies for the description logic ALC
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Repairing the Missing is-a Structure of Ontologies
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
A Relevance-Directed Algorithm for Finding Justifications of DL Entailments
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
OBO and OWL: leveraging semantic web technologies for the life sciences
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
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
The modular structure of an ontology: an empirical study
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Logical Ontology Validation Using an Automatic Theorem Prover
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on 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
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
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
Root justifications for ontology repair
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
The justificatory structure of the NCBO bioportal ontologies
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
The cognitive complexity of OWL justifications
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Finding all justifications of OWL entailments using TMS and MapReduce
Proceedings of the 20th ACM international conference on Information and knowledge management
An algorithm for axiom pinpointing in EL+ and its incremental variant
Proceedings of the 20th ACM international conference on Information and knowledge management
Repairing unsatisfiable concepts in OWL ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Description logic reasoning with syntactic updates
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
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
Context-dependent views to axioms and consequences of Semantic Web ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Debugging is-a structure in networked taxonomies
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences
A generic approach for correcting access restrictions to a consequence
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
Semantic querying over knowledge in biomedical text corpora annotated with multiple ontologies
Proceedings of the ACM Conference on Bioinformatics, Computational Biology and Biomedicine
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
An argumentation framework for description logic ontology reasoning and management
Journal of Intelligent Information Systems
On The Potential Integration of an Ontology-Based Data Access Approach in NoSQL Stores
International Journal of Distributed Systems and Technologies
Toward cognitive support for OWL justifications
Knowledge-Based Systems
Hi-index | 0.00 |
As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the ontologies become more complicated, finding the cause of errors becomes an extremely hard task even for experts. Existing ontology development environments provide some limited support, in conjunction with a reasoner, for reporting errors in OWL ontologies. Typically, these are restricted to the mere detection of, for example, unsatisfiable concepts. However, the diagnosis and resolution of the bug is not supported at all. For example, no explanation is given as to why the error occurs (e.g., by pinpointing the root clash, or axioms in the ontology responsible for the clash) or how dependencies between classes cause the error to propagate (i.e., by distinguishing root from derived unsatisfiable classes). In the former case, information from the internals of a description logic tableaux reasoner can be extracted and presented to the user (glass box approach); while in the latter case, the reasoner can be used as an oracle for a certain set of questions and the asserted structure of the ontology can be used to help isolate the source of the problems (black box approach). Based on the two approaches, we have integrated a number of debugging cues generated from our reasoner, Pellet, in our hypertextual ontology development environment, Swoop. A conducted usability evaluation demonstrates that these debugging cues significantly improve the OWL debugging experience, and point the way to more general improvements in the presentation of an ontology to users.