Some theoretical considerations on integration of ontlogies

In this paper, we discuss integration of multiple ontologies in a formal way. First, we formalize ontology as combination of logical theories with modality. We introduce two types of integration. Combination aspect connects heterogeneous aspects in which aspect theories are simply merged. On the other hand, category aspect connects homogeneous aspects in which aspect theories are connected with possibility modality. In the above formalization, inter-aspect theories are de ned syntactically but no semantical indication are given. Then we introduce abduction as a heuristics to nd inter-aspect theories. Abduction can produce hypothesis which may integrate di erent aspects. To ensure integration of aspects in hypothesis, we use superposition of hypothesis which try to minimalize instances in hypothesis.

[1]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[2]  Nicola Guarino,et al.  Formalizing ontological commitments , 1994, AAAI 1994.

[3]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[4]  C. Hartshorne,et al.  Collected Papers of Charles Sanders Peirce , 1935, Nature.

[5]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[6]  P. Pandurang Nayak,et al.  Representing Multiple Theories , 1994, AAAI.

[7]  Carole D. Hafner,et al.  The State of the Art in Ontology Design: A Comparative Review , 1997 .

[8]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[9]  Hideaki Takeda,et al.  Ontology-Based Information Gathering and Categorization from the Internet , 1996, IEA/AIE.

[10]  R. Guha.  Contexts: a formalization and some applications , 1992 .

[11]  K. T. Fann.  Peirce's theory of abduction , 1970 .

[12]  Philip T. Cox,et al.  Causes for Events: Their Computation and Applications , 1986, CADE.

[13]  Hector J. Levesque,et al.  A Knowledge-Level Account of Abduction , 1989, IJCAI.

[14]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[15]  Bob J. Wielinga,et al.  Using explicit ontologies in KBS development , 1997, Int. J. Hum. Comput. Stud..

[16]  M. Genesereth,et al.  RESIDUE: a deductive approach to design synthesis , 1985 .

[17]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..