dc.creator | Borrego Díaz, Joaquín | es |
dc.creator | Chávez González, Antonia María | es |
dc.date.accessioned | 2018-06-01T10:11:26Z | |
dc.date.available | 2018-06-01T10:11:26Z | |
dc.date.issued | 2009 | |
dc.identifier.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. | |
dc.identifier.issn | 1613-0073 | es |
dc.identifier.uri | https://hdl.handle.net/11441/75557 | |
dc.description.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. | es |
dc.description.sponsorship | Junta de Andalucía Minerva Services in Mobility Platform Project WeTeVe (2C/040) | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | CEUR-WS | es |
dc.relation.ispartof | 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 | |
dc.rights | Atribución-NoComercial-SinDerivadas 3.0 Estados Unidos de América | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Ontology merging | es |
dc.subject | Lattice categorical theory | es |
dc.subject | Formal ontology building | es |
dc.title | On the Use of Automated Reasoning Systems in Ontology Integration. | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.projectID | WeTeVe 2C/040 | es |
dc.relation.publisherversion | http://ceur-ws.org/Vol-460/ | es |
dc.contributor.group | Universidad de Sevilla. TIC137: Logica, Computacion e Ingenieria del Conocimiento | es |
idus.format.extent | 12 | es |
dc.publication.initialPage | 37 | es |
dc.publication.endPage | 48 | es |
dc.eventtitle | 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 | es |
dc.eventinstitution | Amsterdam, The Netherlands | es |
dc.relation.publicationplace | Aachen University | es |
dc.contributor.funder | Junta de Andalucía | |