2013 | OriginalPaper | Buchkapitel
Automated Reasoning Support for Ontology Development
verfasst von : Megan Katsumi, Michael Grüninger
Erschienen in: Knowledge Discovery, Knowledge Engineering and Knowledge Management
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.