Presentation
On the Use of Automated Reasoning Systems in Ontology Integration.
Author/s | 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 |
Publication Date | 2009 |
Deposit Date | 2018-06-01 |
Published in |
|
ISBN/ISSN | 1613-0073 |
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 ... 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. |
Funding agencies | Junta de Andalucía |
Project ID. | WeTeVe 2C/040 |
Citation | 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. |
Files | Size | Format | View | Description |
---|---|---|---|---|
paper04.pdf | 162.3Kb | [PDF] | View/ | |