THEOREM PROVING IN THE ONTOLOGY LIFECYCLE

Megan Katsumi, Michael Grüninger

Abstract

In this paper we present a methodology for the verification of first-order logic ontologies, and provide a lifecycle in which itmay be implemented to develop a correct ontology. We discuss the need for a methodology to address development issues and illustrate the way in which this characterization of the ontology lifecycle supports the design and deployment of ontologies within software applications. Theorem proving plays a critical role in the specification of requirements, design, and verification of the ontology. We illustrate the application of theorem proving in the lifecycle using examples from the PSL Ontology.

References

  1. Bock, C. and Grüninger, M. (2004). PSL: A semantic domain for flow models. Software and Systems Modeling, 4:209-231.
  2. Fernández, M., Gómez-Pérez, A., and Juristo, N. (1997). Methontology from ontological art towards ontological engineering. In Symposium on Ontological Engineering of AAAI.
  3. Gómez-Pérez, A., Corcho, O., and Fernández-Lopez, M. (2004). Ontological Engineering : with examples from the areas of Knowledge Management, e-Commerce and the Semantic Web. First Edition (Advanced Information and Knowledge Processing). Springer.
  4. Grau, B., Parsia, B., and Sirin, E. (2009). Ontology integration using e-connections. In Modular Ontologies, pages 293-320. Springer-Verlag, Berlin.
  5. Grüninger, M. (2003). Ontology of the process specification language. In Handbook of Ontologies, pages 599-618. Springer-Verlag, Berlin.
  6. Grüninger, M. (2009a). The ontological stance for a manufacturing scenario. Journal of Cases in Information Systems, 11:1-25.
  7. Grüninger, M. (2009b). Using the PSL ontology. In Handbook of Ontologies, pages 419-431. Springer-Verlag, Berlin.
  8. Gruninger, M. and Fox, M. S. (1994). The role of competency questions in enterprise engineering. In Proceedings of the IFIP WG5.7 Workshop on Benchmarking - Theory and Practice.
  9. Grüninger, M. and Fox, M. S. (1995). Methodology for the design and evaluation of ontologies. In International Joint Conference on Artificial Inteligence (IJCAI95), Workshop on Basic Ontological Issues in Knowledge Sharing.
  10. Pinto, H. S., Tempich, C., and Staab, S. (2003). Ontology engineering and evolution in a distributed world using diligent. In Handbook on Ontologies, International Handbooks on Information Systems, pages 153-176. Springer.
  11. Sure, Y., Staab, S., Studer, R., and Gmbh, O. (2003). Onto-knowledge methodology (otkm). In Handbook on Ontologies, International Handbooks on Information Systems, pages 117-132. Springer.
  12. Uschold, M. and Grüninger, M. (1996). Ontologies: Principles, methods and applications. Knowledge Engineering Review, 11:93-136.
  13. Uschold, M. and King, M. (1995). Towards a methodology for building ontologies. In In Workshop on Basic Ontological Issues in Knowledge Sharing, held in conjunction with IJCAI-95.
Download


Paper Citation


in Harvard Style

Katsumi M. and Grüninger M. (2010). THEOREM PROVING IN THE ONTOLOGY LIFECYCLE . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010) ISBN 978-989-8425-29-4, pages 37-49. DOI: 10.5220/0003076400370049


in Bibtex Style

@conference{keod10,
author={Megan Katsumi and Michael Grüninger},
title={THEOREM PROVING IN THE ONTOLOGY LIFECYCLE},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010)},
year={2010},
pages={37-49},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003076400370049},
isbn={978-989-8425-29-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2010)
TI - THEOREM PROVING IN THE ONTOLOGY LIFECYCLE
SN - 978-989-8425-29-4
AU - Katsumi M.
AU - Grüninger M.
PY - 2010
SP - 37
EP - 49
DO - 10.5220/0003076400370049