Title :
Geo-ontology integration based on category theory
Author :
Hu, Ling ; Wang, Jianxiong
Author_Institution :
Sch. of Comput. Sci., Neijiang Normal Univ., Neijiang, China
Abstract :
Ontology is an effective means to overcome semantic barrier, Geo-ontology integration between semantic is fundamental that realize the geographic information semantic interoperability, Category theory as a highly abstract mathematical theory, to describe the relationship between objects provides a solid theoretical foundation and analytical tools. According to the definition of category theory, the objects of category represent ontology and morphisms between them describe ontology mapping, pushout describe ontology merging, Designed based on the geographical scope of the theory of ontology merging methods, the methods that merged semantically similar and includes different concepts, and keep the original structure unchanged. As a formal structure of pushout that ensures containment is complete, unique (up to isomorphism) and minimal. With the river ontologies in the hydrology of different classification as an example, the paper finally verifies the method of ontology semantic merging and analyzes the experimental results.
Keywords :
category theory; geographic information systems; ontologies (artificial intelligence); open systems; abstract mathematical theory; category theory; geo-ontology integration; geographic information semantic interoperability; hydrology; ontology mapping; ontology semantic merging method; river ontology; Computer science; Educational institutions; Geographic Information Systems; Hydroelectric power generation; Hydrology; Information analysis; Merging; Ontologies; Rivers; Water resources; Geo-ontology; category theory; integration; pushout; semantic;
Conference_Titel :
Computer Design and Applications (ICCDA), 2010 International Conference on
Conference_Location :
Qinhuangdao
Print_ISBN :
978-1-4244-7164-5
Electronic_ISBN :
978-1-4244-7164-5
DOI :
10.1109/ICCDA.2010.5540941