Authors:
Carmen Chui
and
Michael Grüninger
Affiliation:
University of Toronto, Canada
Keyword(s):
DOLCE, First-order logic, Ontology Merging, Ontology Repositories, Ontology Verification, PSL, Upper Ontologies.
Related
Ontology
Subjects/Areas/Topics:
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
;
Ontology Matching and Alignment
;
Ontology Sharing and Reuse
;
Symbolic Systems
Abstract:
In this paper, we examine the relationships between the axiomatization of participation in two upper ontologies, the Process Specification Language (PSL) and the Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE).We discuss the obstacles faced to formalize the relationships between these ontologies and provide an overview of the methodology undertaken to merge the ontologies together. We introduce new ontologies that serve to bridge the PSL and DOLCE ontologies together to allow us to specify the mappings between them. We illustrate how ontology verification is used to show faithful interpretations between the two upper ontologies.