Extracting justifications from bioportal ontologies

Authors:
Matthew Horridge;Bijan Parsia;Ulrike Sattler
Affiliations:
Stanford University, California;The University of Manchester, Manchester, UK;The University of Manchester, Manchester, UK
Venue:
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Year:
2012

Citing 16
Cited 1

A theory of diagnosis from first principles

Artificial Intelligence
Debugging and repair of owl ontologies

Debugging and repair of owl ontologies
Debugging Incoherent Terminologies

Journal of Automated Reasoning
Laconic and Precise Justifications in OWL

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
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
Finding maximally satisfiable terminologies for the description logic ALC

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Scalable semantic retrieval through summarization and refinement

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Non-standard reasoning services for the debugging of description logic terminologies

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A Relevance-Directed Algorithm for Finding Justifications of DL Entailments

ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Axiom Pinpointing in General Tableaux

Journal of Logic and Computation
History matters: incremental ontology reasoning using modules

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
Integrated metamodeling and diagnosis in OWL 2

ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Elimination of redundancy in ontologies

ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
The OWL API: A Java API for OWL ontologies

Semantic Web

Toward cognitive support for OWL justifications

Knowledge-Based Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an evaluation of state of the art black box justification finding algorithms on the NCBO BioPortal ontology corpus. This corpus represents a set of naturally occurring ontologies that vary greatly in size and expressivity. The results paint a picture of the performance that can be expected when finding all justifications for entailments using black box justification finding techniques. The results also show that many naturally occurring ontologies exhibit a rich justificatory structure, with some ontologies having extremely high numbers of justifications per entailment.