Ontology performance profiling and model examination: first steps

Authors:
Taowei David Wang;Bijan Parsia
Affiliations:
Department of Computer Science, University of Maryland, College Park, MD;School of Computer Science, University of Manchester, UK
Venue:
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Year:
2007

Citing 8
Cited 6

Program Monitoring and Visualization: An Exploratory Approach

Program Monitoring and Visualization: An Exploratory Approach
MSPASS: Modal Reasoning by Translation and First-Order Resolution

TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Explaining reasoning in description logics

Explaining reasoning in description logics
prefuse: a toolkit for interactive information visualization

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A logical framework for modularity of ontologies

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Debugging unsatisfiable classes in OWL ontologies

Web Semantics: Science, Services and Agents on the World Wide Web
Repairing unsatisfiable concepts in OWL ontologies

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
A survey of the web ontology landscape

ISWC'06 Proceedings of the 5th international conference on The Semantic Web

Polishing Diamonds in OWL 2

EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
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
Ontology RepresentationDesign Patterns and Ontologies that Make Sense

Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
JustBench: a framework for OWL benchmarking

ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Performance heterogeneity and approximate reasoning in description logic ontologies

ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Predicting reasoning performance using ontology metrics

ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

"[Reasoner] performance can be scary, so much so, that we cannot deploy the technology in our products." - Michael Shepard1. What are typical OWL users to do when their favorite reasoner never seems to return? In this paper, we present our first steps considering this problem. We describe the challenges and our approach, and present a prototype tool to help users identify reasoner performance bottlenecks with respect to their ontologies. We then describe 4 case studies on synthetic and real-world ontologies. While the anecdotal evidence suggests that the service can be useful for both ontology developers and reasoner implementors, much more is desired.