- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Ponencias (Ciencias de la Computación e Inteligencia Artificial)
- Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por autor
Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por autor "Chávez González, Antonia María"
Mostrando ítems 1-18 de 18
-
Ponencia
A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web
Borrego Díaz, Joaquín; Chávez González, Antonia María (Springer, 2007)Maintenance of logical robustness in Information Integration represents a major challenge in the envisioned Semantic Web. ...
-
Ponencia
A methodology for the computer-aided cleaning of complex knowledge databases
Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María; Gutiérrez Naranjo, Miguel Ángel; Navarro Marín, Jorge D. (IEEE Computer Society, 2002)In environments with complex cognitive structure (such as semantic web or sophisticated spatial databases for geographical ...
-
Ponencia
Anomalías en Ontologías Provisionales.
Borrego Díaz, Joaquín; Chávez González, Antonia María (Universidad de León, Servicio de Publicaciones, 2007) -
Ponencia
Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy
Borrego Díaz, Joaquín; Chávez González, Antonia María (CEUR-WS, 2005) -
Ponencia
Deducción Automática en Anillos Ternarios: Algunos Métodos de Procesamiento del Conocimiento Matemático
Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María (Universidad de Sevilla - Fundación El Monte, 2001) -
Ponencia
Extending Qualitative Spatial Theories with Emergent Spatial Concepts: An Automated Reasoning Approach
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Chávez González, Antonia María (Springer, 2014)Qualitative Spatial Reasoning is an exciting research field of the Knowledge Representation and Reasoning paradigm whose ...
-
Ponencia
Extension of Ontologies Assisted by Automated Reasoning Systems
Borrego Díaz, Joaquín; Chávez González, Antonia María (Springer, 2005)A method to extend ontologies with the assistance of automated reasoning systems and preserving a kind of completeness ...
-
Ponencia
Fusión Automatizada de Ontologías: Aplicación al Razonamiento Espacial Cualitativo
Borrego Díaz, Joaquín; Chávez González, Antonia María (Universidad de Castilla-La Mancha, Departamento de Sistemas Informáticos, 2006)La evolución de las ontologías es un problema clave en la Integración del Conocimiento, cuya resolución es imprescindible ...
-
Ponencia
Learning Services Based on Formal Concept Reasoning
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Chávez González, Antonia María (IADIS: International Association for Development of the Information Society, 2007)A formal foundation of automated service discovering for Semantic Web is proposed. The approach is based on the formalization ...
-
Ponencia
On the Use of Automated Reasoning Systems in Ontology Integration.
Borrego Díaz, Joaquín; Chávez González, Antonia María (CEUR-WS, 2009)Ontology Integration is a challenge in the field of Knowledge Engineering, whose solution is indispensable for the ...
-
Ponencia
Ontology Cleaning by Mereotopological Reasoning
Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María (IEEE Computer Society, 2004)A mereotopological semantics to manage ontologies is presented. The aim is to provide a formal basis for ontology cleaning. ...
-
Ponencia
Repairing Conceptual Relations in Ontologies by means of an Interactive Visual Reasoning: Cognitive and Design Principles
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Chávez González, Antonia María (IEEE Computer Society, 2012)The technologies of visual representation are a great help for understanding items of information and the relations among ...
-
Ponencia
Semantic Geodemography and Urban Interoperability
Borrego Díaz, Joaquín; Chávez González, Antonia María; Martín Pérez, Mónica A.; Zamora Aguilera, José A. (Springer, 2012)Nowadays there exists an increasing interest on the use of the information collected by cities coming from different ...
-
Ponencia
Specifying and Verifying Meta-Security by Means of Semantic Web Methods
Borrego Díaz, Joaquín; Chávez González, Antonia María; Pro Martín, José Luis; Matos Arana, Virginia (Springer, 2014)In order to achieve a systematic treatment of security protocols, organizations release a number of technical briefings ...
-
Ponencia
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases
Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María; Gutiérrez Naranjo, Miguel Ángel; Navarro Marín, Jorge D. (Springer, 2003)Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We ...
-
Ponencia
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases
Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María; Gutiérrez Naranjo, Miguel Ángel; Navarro Marín, Jorge D. (Springer, 2003)Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We ...
-
Ponencia
Towards a tool for ontology engineering
Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María (IEEE Computer Society, 2004)A tool based on a spatial representation of provisional ontologies is designed. The tool allows the cleming of Knowledge Bases, aa well to induce new concepts in early steps of the building of an ontology.
-
Ponencia
Visual Ontology Cleaning: Cognitive Principles and Applicability
Borrego Díaz, Joaquín; Chávez González, Antonia María (Springer, 2006)In this paper we connect two research areas, the Qualitative Spatial Reasoning and visual reasoning on ontologies. We ...