loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Megan Katsumi and Michael Grüninger

Affiliation: University of Toronto, Canada

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.

CC BY-NC-ND 4.0

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 13.59.134.65

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 (IC3K 2010) - KEOD; ISBN 978-989-8425-29-4; ISSN 2184-3228, SciTePress, 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 (IC3K 2010) - KEOD},
year={2010},
pages={37-49},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003076400370049},
isbn={978-989-8425-29-4},
issn={2184-3228},
}

TY - CONF

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic