THEOREM PROVING IN THE ONTOLOGY LIFECYCLE

Megan Katsumi, Michael Grüninger

2010

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.

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