An empirical comparison of scalable part–whole ontology engineering patterns
Laurent Lefort
CSIRO ICT Centre, GPO Box 664, Canberra, ACT 2601, AustraliaE-mail: [email protected]
Search for more papers by this authorKerry Taylor
CSIRO ICT Centre, GPO Box 664, Canberra, ACT 2601, AustraliaE-mail: [email protected]
Search for more papers by this authorDavid Ratcliffe
CSIRO ICT Centre, GPO Box 664, Canberra, ACT 2601, AustraliaE-mail: [email protected]
Search for more papers by this authorLaurent Lefort
CSIRO ICT Centre, GPO Box 664, Canberra, ACT 2601, AustraliaE-mail: [email protected]
Search for more papers by this authorKerry Taylor
CSIRO ICT Centre, GPO Box 664, Canberra, ACT 2601, AustraliaE-mail: [email protected]
Search for more papers by this authorDavid Ratcliffe
CSIRO ICT Centre, GPO Box 664, Canberra, ACT 2601, AustraliaE-mail: [email protected]
Search for more papers by this authorAbstract
Abstract: To enhance aerospace applications such as supply chain management or maintenance tracking and reliability assessment, aircraft manufacturers need to enrich their electronic documentation systems with better conceptualizations of the aerospace domain. Because of the number and diversity of products and parts in an aircraft, ontologies to model this domain can potentially be very large. Therefore, it is critical to have scalable ontology generation approaches, along with an understanding of how the design of these ontologies has an impact on the performance of description logic reasoners that can operate over them. In this paper, we investigate how to achieve this goal though the application of best practice ontology engineering patterns. In particular, we examine two types of ontology engineering patterns used to instantiate large-scale ontologies based on part–whole relations. The first approach is a direct implementation of the part–whole guidelines published by W3C. The second approach uses right-identity axioms supported by the EL+ description logic. The results of our empirical evaluation show the benefits of the latter approach, whereby the CEL reasoner is able to perform the task of classification over large ontologies significantly faster than the description logic reasoners FaCT++, RACER and Pellet that operate over comparable ontologies designed using the W3C pattern.
References
- Artale, A., E. Franconi, N. Guarino and L. Pazzi (1996) Part–whole relations in object-centered systems: an overview, Data and Knowledge Engineering, 20 (3), 347–383.
- Baader, F. (2003) Appendix 1: Description Logics Terminology, in The Description Logic Handbook: Theory, Implementation, and Applications, F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi and P.F. Patel-Schneider (eds), New York: Cambridge University Press, 485–495.
- Baader, F. and U. Sattler (1999) Expressive number restrictions in description logics, Journal for Logic and Computation, 9 (3), 319–350.
- Baader, F., S. Brandt and C. Lutz (2005) Pushing the EL envelope, in Proceedings of the 19th International Joint Conference on Artificial Intelligence, San Mateo, CA: Morgan Kaufmann.
- Baader, F., C. Lutz and B. Suntisrivaraporn (2006) CEL – a polynomial-time reasoner for life science ontologies (system description), in Proceedings of the 3rd International Joint Conference on Automated Reasoning, Lecture Notes in Artificial Intelligence 4130, Berlin: Springer, 287–291.
- Bechhofer, S. (2003) The DIG description logic interface: DIG/1.1, in Proceedings of Description Logics 2003 Workshop, CEUR Workshop Proceedings 81, http://ceur-ws.org.
- Cuenca Grau, B. (ed.) (2006) Tractable Fragments of the OWL 1.1 Extension to the W3C OWL Web Ontology Language, Editor's Draft, June, University of Manchester; available at http://owl1-1.cs.manchester.ac.uk/Tractable.html.
- Dameron, O., D. Rubin and M. Musen (2005) Challenges in converting frame-based ontology into OWL: the foundational model of anatomy case-study, in Proceedings of the American Medical Informatics Association Annual Symposium, Bethesda, MD: American Medical Informatics Association, 181–185.
- Dean, M. and G. Schreiber (2004) OWL Web Ontology Language Reference, W3C Recommendation, February; available at http://www.w3.org/TR/owl-ref/.
- FAA (2001) FAA Flight Standard Service: FAA Service Difficulty Reporting, Version 2.0; available at http://av-info.faa.gov/isdr/.
- FAA (2002) Joint Aircraft System/Component Code Table and Definitions, Federal Aviation Administration, Flight Data Services, Regulatory Support Division, Aviation Data Systems Branch AFS-620, Oklahoma City, OK; available at http://av-info.faa.gov/isdr/.
- GAIN (2004) Updated List of Major Current or Planned Government Aviation Safety Information Collection Programs, Global Aviation Information Network; available at http://204.108.6.79/products/products_GST.cfm.
- Gardiner, T., D. Tsarkov and I. Horrocks (2006) Framework for an automated comparison of description logic reasoners, in Proceedings of the 2006 International Semantic Web Conference, Lecture Notes in Computer Science 4273, Berlin: Springer, 654–667.
- Guo, Y., Z. Pan and J. Heflin (2004) An evaluation of knowledge base systems for large OWL datasets, in Proceedings of the 3rd International Semantic Web Conference, Lecture Notes in Computer Science 3298, Berlin: Springer, 274–288.
- Haarslev, V. and R. Möller (2001) RACER system description, in Proceedings of the 1st International Joint Conference on Automated Reasoning, Lecture Notes in Computer Science 2083, Berlin: Springer, 701–706.
- Haarslev, V., R. Möller and M. Wessel (2005) Description logic inference technology: lessons learned in the trenches, in Proceedings of the 2005 International Workshop on Description Logics, CEUR Workshop Proceedings 147, http://ceur-ws.org.
- Horrocks, I. and U. Sattler (2003) Decidability of SHIQ with complex role inclusion axioms, Artificial Intelligence, 160 (1–2), 79–104.
- Kay, M. (2007) XSL Transformations (XSLT) Version 2.0, W3C Recommendation, January; available at http://www.w3.org/TR/xslt20/.
- Knublauch, H., R.W. Fergerson, N.F. Noy and M.A. Musen (2004) The Protégé OWL Plugin: an open development environment for semantic web applications, in The Semantic Web – Proceedings of the 3rd International Semantic Web Conference, Lecture Notes in Computer Science 3298, Berlin: Springer, 229–243.
- Lefort, L. and K. Taylor (2005) Large scale colour ontology generation with XO, in Proceedings of the Australasian Ontology Workshop, Conferences in Research and Practice in Information Technology 58, Sydney: Australian Computer Society, 47–52.
- Lefort, L., K. Taylor and D. Ratcliffe (2006) Towards scalable ontology engineering patterns: lessons learned from an experiment based on W3C's part–whole guidelines, in Proceedings of the Australasian Ontology Workshop, Conferences in Research and Practice in Information Technology 72, Sydney: Australian Computer Society, 31–40.
- Luxhøj, J.T. (1999) Trending of equipment inoperability for commercial aircraft, Reliability Engineering and System Safety, 64 (3), 365–381.
- Motik, B. (2006) Reasoning in description logics using resolution and deductive databases, PhD thesis, University of Karlsruhe, Germany.
- Motik, B., R. Volz and A. Maedche (2002) Optimizing query answering in description logics using disjunctive deductive databases, in Proceedings of the 10th International Workshop on Knowledge Representation Meets Databases, CEUR Workshop Proceedings 79, 39–50, http://ceur-ws.org.
- Nicolai, T., T. Sindt, H. Kenn and H. Witt (2005) Case study of wearable computing for aircraft maintenance, in Proceedings of the 2nd International Forum on Applied Wearable Computing (IFAWC), Zürich, Switzerland, 17–18 March, O. Herzog, M. Lawo, P. Lukowicz and J. Randall (eds), Berlin: VDE.
- Rector, A. (2003) Modularisation of domain ontologies implemented in description logics and related formalisms including OWL, in Proceedings of the 2nd International Conference on Knowledge Capture, New York: ACM Press, 121–128.
- Rector, A. and J. Rogers (2004) Patterns, properties and minimizing commitment: reconstruction of the GALEN upper ontology in OWL, in Proceedings of the EKAW*04 Workshop on Core Ontologies in Ontology Engineering, CEUR Workshop Proceedings 118, http://ceur-ws.org.
- Rector, A. and C. Welty (eds) (2005) Simple Part–Whole Relations in OWL Ontologies, W3C Editor's Draft, Version 1.5, August; available at http://www.w3.org/2001/sw/BestPractices/OEP/SimplePartWhole/index.html.
- Reiss, M., M. Moal, Y. Barnard, J.-P. Ramu and A. Froger (2006) Using ontologies to conceptualize the aeronautical domain, in Proceedings of the International Conference on Human–Computer Interaction in Aeronautics, Toulouse: Cépaduès-Editions, 56–63.
- Sirin, E., B. Parsia, B. Cuenca Grau, A. Kalyanpur and Y. Katz (2005) Pellet: a practical OWL-DL reasoner, Technical Report 2005–68, University of Maryland Institute for Advanced Computer Studies.
- Sirin, E., B. Cuenca Grau and B. Parsia (2006) From wine to water: optimizing description logic reasoning for nominals, in Principles of Knowledge Representation and Reasoning: Proceedings of the 10th International Conference (KR2006), P. Doherty, J. Mylopoulos and C. Welty (eds), Menlo Park, CA: AAAI Press, 90–99.
- Spackman, K.A. (2000) Managing clinical terminology hierarchies using algorithmic calculation of subsumption: experience with SNOMED-RT, Journal of the American Medical Informatics Association, Fall Symposium, Special Issue.
- Tsarkov, D. and I. Horrocks (2005) Optimised classification for taxonomic knowledge bases, in Proceedings of the 2005 Description Logic Workshop, CEUR Workshop Proceedings 147, http://ceur-ws.org.
- Tsarkov, D. and I. Horrocks (2006) FaCT++ description logic reasoner: system description, in Proceedings of the 3rd International Joint Conference on Automated Reasoning, Lecture Notes in Artificial Intelligence 4130, Berlin: Springer, 292–297.
- Turhan, A.-Y., S. Bechhofer, A. Kaplunova, T. Liebig, M. Luther, R. Möller, O. Noppens, P. Patel-Schneider, B. Suntisrivaraporn and T. Weithöner (2006) DIG 2.0 – Towards a flexible interface for description logic reasoners, in Proceedings of the 2nd International Workshop OWL: Experiences and Directions, CEUR Workshop Proceedings 216, http://ceur-ws.org.
- Uschold, M. and S. Callahan (2004) Unifying knowledge and product data, in Proceedings of the NASA Workshop on the Knowledge Integrating Virtual Iron Bird, Monterey, CA; available at http://ic.arc.nasa.gov/vib/.
- Wagelaar, D. (2004) Context-driven model refinement, in Proceedings of the Model Driven Architecture: Foundations and Applications Workshop, Lecture Notes in Computer Science 3599, Berlin: Springer, 189–203.
- Winston, M.E., R. Chaffin and D. Herrmann (1987) A taxonomy of part–whole relations, Cognitive Science, 11, 417–444.
- W3C (2006) Semantic Web Best Practice and Deployment Working Group, October; available at http://www.w3.org/2001/sw/BestPractices/.
- Zolin, E. (2006) Complexity of reasoning in description logics; available at http://www.cs.man.ac.uk/~ezolin/logic/complexity.html.