Abstract
“[Reasoner] performance can be scary, so much so, that we cannot deploy the technology in our products.” – Michael Shepard. 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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
D’Agostino, M., Endriss, U.: Winke: A proof assistant for teaching logic. Proceedings of the First International Workshop on Labelled Deduction, 1998 (1998)
Fermüller, C., Leitsch, A., Salzer, G.: Automated model building as future research topic
Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modularity of ontologies. In: IJCAI 2007. Proceedings of the Twentieth International Joint Conference on Artificail Intelligence (2007)
Heer, J., Card, S.K., Landay, J.A.: Prefuse: a toolkit for interactive information visualization. In: CHI 2005. Proceedings of the Conference On Human Factors In Computing Systems (2005)
Hladik, J.: A generator for description logic formulas. In: Proceedings of the International Workshop on Description Logics, 2005 (2005)
Horrocks, I., Patel-Schneider, P.F.: Comparing subsumption optimizations. In: DL 1998. Proc. of the 1998 Description Logic Workshop. CEUR, vol. 11, pp. 90–94 (1998), http://ceur-ws.org/
Horrocks, I., Sattler, U.: Optimised reasoning for shiq. In: ECAI 2002. Proceedings of the 15th European Conference on Artificial Intelligence (2002)
Hustadt, U., Motik, B., Sattler, U.: Reducing shiq description logic to disjunctive datalog programs. In: KR 2004. Proceedings of the 9th International Conference on Knowledge Representation and Reasoning (2004)
Hustadt, U., Schmidt, R.A.: Mspass: Modal reasoning by translation and first-order resolution. In: Automated Reasoning with analytic Tableaux and Related Methods (2000)
Jeffery, C.L.: Program Monitoring and Visualization. Springer, Heidelberg (1999)
Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B.: Repairing unsatisfiable concepts in owl ontologies. In: ESWC 2006 (2006)
Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in owl ontologies. Journal of Web Semantics (2005)
McGuinness, D.: Explaining Reasoning in Description Logics. PhD thesis, New Brunswick, New Jersey (1996)
Tsarkov, D., Horrocks, I.: Efficient reasoning with range and domain constraints. In: Proceedings of the 2004 Description Logics Workshop (2004)
Wang, T.D., Parsia, B., Hendler, J.: A survey of the web ontology landscape. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, T.D., Parsia, B. (2007). Ontology Performance Profiling and Model Examination: First Steps. In: Aberer, K., et al. The Semantic Web. ISWC ASWC 2007 2007. Lecture Notes in Computer Science, vol 4825. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76298-0_43
Download citation
DOI: https://doi.org/10.1007/978-3-540-76298-0_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76297-3
Online ISBN: 978-3-540-76298-0
eBook Packages: Computer ScienceComputer Science (R0)