论文信息 - Comparing and Merging Ontologies: A Concept Type Hierarchy Approach

Comparing and Merging Ontologies: A Concept Type Hierarchy Approach

In this paper we explore the issue of using some aspects of the Conceptual Graph Theory formalism to define functions on ontologies. We exploit the formal definitions of type hierarchy and projection to define operations on an ontology. We discuss the definition of an ontology, and demonstrate that projection as defined in Conceptual Graph Theory can then be used for comparing and merging ontologies. We then explore how these formal definitions can be used to implement merging and comparison of ontologies.

Dan Corbett

[1] William M. Tepfenhart. Ontologies and Conceptual Structures , 1998, ICCS.

[2] D. Corbett. Reasoning and Unification over Conceptual Graphs , 2003, Springer US.

[3] Guy W. Mineau. A First Step toward the Knowledge Web : Interoperability Issues among Conceptual Graph Based Software Agents, Part I , 2002, ICCS.

[4] Mike Uschold,et al. A Framework for Understanding and Classifying Ontology Applications , 1999 .

[5] Francesco Buccafurri,et al. A User Behavior-Based Agent for Improving Web Usage , 2002, CoopIS/DOA/ODBASE.

[6] Dan Corbett. Conceptual graphs with constrained reasoning , 2001 .

[7] Hassan Aït-Kaci,et al. LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

[8] H. Sofia Pinto,et al. Some Issues on Ontology Integration , 1999, IJCAI 1999.

[9] Kevin Knight,et al. Unification: a multidisciplinary survey , 1989, CSUR.

[10] Rose Dieng,et al. A Viewpoint Model for Cooperative Building of an Ontology , 2002, ICCS.

[11] M. Mugnier,et al. Représenter des connaissances et raisonner avec des graphes , 1996 .

[12] Dan Corbett,et al. Unification over Constraints in Conceptual Graphs , 1999, ICCS.

[13] Michael Kifer,et al. Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases , 2002, OTM.