loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Megan Katsumi and Michael Grüninger

Affiliation: University of Toronto, Canada

ISBN: 978-989-8425-29-4

Keyword(s): Ontology design, Verification, Theorem proving, First-order logic.

Related Ontology Subjects/Areas/Topics: Applications and Case-studies ; Artificial Intelligence ; Data Engineering ; Enterprise Information Systems ; Information Systems Analysis and Specification ; Knowledge Engineering and Ontology Development ; Knowledge Representation ; Knowledge-Based Systems ; Ontologies and the Semantic Web ; Ontology Engineering ; Symbolic Systems

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.

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.163.19.57

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.