Abstract
The design and evaluation of ontologies in first-order logic poses many challenges, many of which focus on the specification of the intended models for the ontology’s concepts and the relationship between these models and the models of the ontology’s axioms. In this paper we present a methodology for the verification of first-order logic ontologies, and provide a lifecycle in which it may be implemented to develop a correct ontology. Automated reasoning plays a critical role in the specification of requirements, design, and verification of the ontology. The application of automated reasoning in the lifecycle is illustrated by examples from the PSL Ontology.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bock, C., Grüninger, M.: PSL: A semantic domain for flow models. Software and Systems Modeling 4, 209–231 (2004)
Fernández, M., Gómez-Pérez, A., Juristo, N.: Methontology from ontological art towards ontological engineering. In: Symposium on Ontological Engineering of AAAI (1997)
Gómez-Pérez, A., Corcho, O., Fernández-Lopez, M.: Ontological Engineering: with examples from the areas of Knowledge Management. In: e-Commerce and the Semantic Web, 1st edn. Advanced Information and Knowledge Processing. Springer, Heidelberg (2004), http://www.worldcat.org/isbn/1852335513
Cuenca Grau, B., Parsia, B., Sirin, E.: Ontology Integration using ε-Connections. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol. 5445, pp. 293–320. Springer, Heidelberg (2009)
Grüninger, M., Fox, M.S.: Methodology for the design and evaluation of ontologies. In: International Joint Conference on Artificial Inteligence (IJCAI 1995), Workshop on Basic Ontological Issues in Knowledge Sharing (1995)
Grüninger, M., Hahmann, T., Hashemi, A., Ong, D.: Ontology verification with repositories. In: Conference on Formal Ontology in Information Systems (FOIS 2010), pp. 317–333. IOS Press (2010)
Grüninger, M.: Using the PSL ontology. In: Handbook of Ontologies, pp. 419–431. Springer, Berlin (2009)
Gruninger, M., Fox, M.S.: The role of competency questions in enterprise engineering. In: Proceedings of the IFIP WG5.7 Workshop on Benchmarking – Theory and Practice (1994)
Guarino, N., Oberle, D., Staab, S.: What is an ontology? In: Handbook of Ontologies, pp. 1–17. Springer, Berlin (2009)
Pinto, H.S., Tempich, C., Staab, S.: Ontology engineering and evolution in a distributed world using diligent. In: Handbook on Ontologies, International Handbooks on Information Systems, pp. 153–176. Springer, Heidelberg (2003)
Sure, Y., Staab, S., Studer, R., Gmbh, O.: On-to-knowledge methodology (otkm). In: Handbook on Ontologies, International Handbooks on Information Systems, pp. 117–132. Springer, Heidelberg (2003)
Uschold, M., Grüninger, M.: Ontologies: Principles, methods and applications. Knowledge Engineering Review 11, 93–136 (1996)
Uschold, M., King, M.: Towards a methodology for building ontologies. In: Workshop on Basic Ontological Issues in Knowledge Sharing, held in conjunction with IJCAI 1995 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Katsumi, M., Grüninger, M. (2013). Automated Reasoning Support for Ontology Development. In: Fred, A., Dietz, J.L.G., Liu, K., Filipe, J. (eds) Knowledge Discovery, Knowledge Engineering and Knowledge Management. IC3K 2010. Communications in Computer and Information Science, vol 272. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29764-9_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-29764-9_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29763-2
Online ISBN: 978-3-642-29764-9
eBook Packages: Computer ScienceComputer Science (R0)