Perfil del autor: Chávez González, Antonia María
Datos institucionales
Nombre | Chávez González, Antonia María |
Departamento | Ciencias de la Computación e Inteligencia Artificial |
Área de conocimiento | Ciencia de la Computación e Inteligencia Artificial |
Categoría profesional | Profesora Contratada Doctora |
Correo electrónico | Solicitar |
Estadísticas
-
Nº publicaciones
24
-
Nº visitas
2682
-
Nº descargas
3287
Publicaciones |
---|
Artículo
Una aplicación de las tecnologías de la web semántica al estudio del periodismo de la Edad Moderna
(2017)
En el presente trabajo explicamos el diseño de la ontología Early Modern News, fruto del trabajo interdisciplinar entre ... |
Artículo
Semantics for incident identification and resolution reports
(Oxford Academic, 2016)
In order to achieve a safe and systematic treatment of security protocols, organizations release a number of technical briefings ... |
Ponencia
Extending Qualitative Spatial Theories with Emergent Spatial Concepts: An Automated Reasoning Approach
(Springer, 2014)
Qualitative Spatial Reasoning is an exciting research field of the Knowledge Representation and Reasoning paradigm whose ... |
Ponencia
Specifying and Verifying Meta-Security by Means of Semantic Web Methods
(Springer, 2014)
In order to achieve a systematic treatment of security protocols, organizations release a number of technical briefings ... |
Ponencia
Repairing Conceptual Relations in Ontologies by means of an Interactive Visual Reasoning: Cognitive and Design Principles
(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
(Springer, 2012)
Nowadays there exists an increasing interest on the use of the information collected by cities coming from different ... |
Artículo
Mereotopological Patterns for Ontology Evolution and Debugging
(Universidad de Sevilla, 2010)
In this paper the foundational principles and the application of a mereotopological theory, the Region Connection Calculus, ... |
Ponencia
On the Use of Automated Reasoning Systems in Ontology Integration.
(CEUR-WS, 2009)
Ontology Integration is a challenge in the field of Knowledge Engineering, whose solution is indispensable for the envisioned ... |
Capítulo de Libro
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies
(Springer, 2008)
A logical formalism to support the insertion of uncertain concepts in formal ontologies is presented. It is based on the ... |
Ponencia
Anomalías en Ontologías Provisionales.
(Universidad de León, Servicio de Publicaciones, 2007)
|
Ponencia
Learning Services Based on Formal Concept Reasoning
(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
A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web
(Springer, 2007)
Maintenance of logical robustness in Information Integration represents a major challenge in the envisioned Semantic Web. ... |
Ponencia
Fusión Automatizada de Ontologías: Aplicación al Razonamiento Espacial Cualitativo
(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 ... |
Artículo
Foundational Challenges in Automated Data and Ontology Cleaning in the Semantic Web
(IEEE Computer Society, 2006)
The application of automated reasoning systems to data cleaning in the Semantic Web raises many challenges on the foundational ... |
Ponencia
Visual Ontology Cleaning: Cognitive Principles and Applicability
(Springer, 2006)
In this paper we connect two research areas, the Qualitative Spatial Reasoning and visual reasoning on ontologies. We ... |
Tesis Doctoral
Razonamiento mereotopológico automatizado para la depuración de ontologías
(2005)
La presente memoria se estructura en tres grandes bloques: I Tratamiento automatizado de la teoría RCC y métodos asistidos ... |
Ponencia
Extension of Ontologies Assisted by Automated Reasoning Systems
(Springer, 2005)
A method to extend ontologies with the assistance of automated reasoning systems and preserving a kind of completeness ... |
Ponencia |
Ponencia
Towards a tool for ontology engineering
(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
Ontology Cleaning by Mereotopological Reasoning
(IEEE Computer Society, 2004)
A mereotopological semantics to manage ontologies is presented. The aim is to provide a formal basis for ontology cleaning. ... |
Ponencia
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases
(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
(Springer, 2003)
Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We ... |
Ponencia
A methodology for the computer-aided cleaning of complex knowledge databases
(IEEE Computer Society, 2002)
In environments with complex cognitive structure (such as semantic web or sophisticated spatial databases for geographical ... |
Ponencia
Deducción Automática en Anillos Ternarios: Algunos Métodos de Procesamiento del Conocimiento Matemático
(Universidad de Sevilla - Fundación El Monte, 2001)
|