Repositorio de producción científica de la Universidad de Sevilla

On the Use of Automated Reasoning Systems in Ontology Integration.

 

Advanced Search
 
Opened Access On the Use of Automated Reasoning Systems in Ontology Integration.
Cites
Show item statistics
Icon
Export to
Author: Borrego Díaz, Joaquín
Chávez González, Antonia María
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2009
Published in: ONTOSE 2009: Third International Workshop on Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science held in conjunction with CAiSE'09 Conference (2009), p 37-48
ISBN/ISSN: 1613-0073
Document type: Presentation
Abstract: Ontology Integration is a challenge in the field of Knowledge Engineering, whose solution is indispensable for the envisioned Semantic Web. Some approximations suffer from logical confidence, and others are hard to mechanize. In this paper a method – assisted by Automated Reasoning Systems – to solve a subproblem, the merging of ontologies, is presented. A case study of application is drawn from the field of Qualitative Spatial Reasoning.
Cite: Borrego Díaz, J. y Chávez González, A.M. (2009). On the Use of Automated Reasoning Systems in Ontology Integration.. En ONTOSE 2009: Third International Workshop on Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science held in conjunction with CAiSE'09 Conference (37-48), Amsterdam, The Netherlands: CEUR-WS.
Size: 162.3Kb
Format: PDF

URI: https://hdl.handle.net/11441/75557

See editor´s version

This work is under a Creative Commons License: 
Atribución-NoComercial-SinDerivadas 3.0 Estados Unidos de América

This item appears in the following Collection(s)