On the Use of Automated Reasoning Systems in Ontology Integration.

Borrego Díaz, Joaquín; Chávez González, Antonia María

Ponencia

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

Ficheros	Tamaño	Formato	Ver	Descripción
paper04.pdf	162.3Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Ponencias (Ciencias de la Computación e Inteligencia Artificial)

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Atribución-NoComercial-SinDerivadas 3.0 Estados Unidos de América