Antonia M. Chávez

Ciencias de la Computación e Inteligencia Artificial

Universidad de Sevilla

Antonia Mª Chávez González

Antonia M. Chávez González

Correo electrónico:tchavez (arroba) us (punto) es

Líneas de investigación

Representación del conocimiento, Ontologías, Inteligencia Artificial

Datos y Participación en Proyectos de investigación

Ver participación en proyectos, contratos y ayudas

Profesora Contratada Doctora

Perfil en ORCID: 0000-0002-6098-1707

Perfil en Dialnet: 4395156

Grupo de Investigación: Lógica, Computación e Ingeniería del Conocimiento

Cursos de máster impartidos

Participa en la docencia de la asignatura "Representación del Conocimiento en la Web" del Máster Universitario en Lógica, Computación e Inteligencia Artificial (MULCIA) desde el curso 2010/11

Imparte la asignatura "Representación del Conocimiento y razonamiento en el ámbito de la Salud" en el Máster en Ingeniería Biomédica y Salud Digital de la Escuela Técnica Superior de Ingeniería Informática de la Universidad de Sevilla desde su inicio en el curso 2020/21

Publicaciones y contribuciones a congresos

TinyPaella: A formal tool for FCA contexts debugging. Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Antonia M. Chávez-González y Juan Galán-Páez. Mi agradecimiento a Gonzalo Aranda en el 11th European Symposium on Computational Intelligence and Mathematics. Del 2 al 5 de Octubre de 2019, en Toledo.
Una aplicación de las tecnologías de la Web Semántica al estudio del periodismo en la Edad Moderna. F. Baena-Sánchez, A. M. Chávez-González. La Revista de Humanidades Digitales Año 1. Vol 1. (2017). Humanidades Digitales Hispánicas. Innovación, globalización e impacto. pp.: 379-407.
Semantics for incident identification and resolution reports. J. Borrego-Díaz, A. M. Chávez-González, J. L. Pro-Martín and V. Matos-Arana. Revista científica de la UNED. Oxford Journals. Logic Journal of the IGPL. Agosto 2016 24 (4)

La formalización de la emergencia del discurso periodístico en España como desafío multidisciplinar en las Humanidades Digitales F. Baena Sánchez, A.M. Chávez González, U. Martín Mendiguren y P. Varo Herrero. Actas del Congreso Humanidades Digitales Hispánicas. HDH 2015. II Congreso Internacional Innovación, Globalización e Impacto. Madrid, UNED 5-7 Octubre 2015.
Specifying and Verifying Meta-Security by Means of Semantic Web Methods. Joaquín Borrego-Díaz, Antonia M. Chávez-González, José L. Pro-Martín and Virginia Matos-Arana. Advances in Intelligent Systems and Computing. Vol 299.J. Gaviria, I. García, P. García, F. Klett, A. Abraham, A. C.P.L.F. Carvalho, Ã. Herrero, B. Baruque, H. Quintián, E. Corchado (Eds.), pp.355-366, 2014. ISSN 2194-5357. 7th Computational Intelligence in Security for Information Systems, CISIS 2014.
Extending Qualitative Spatial Theories with Emergent Spatial Concepts. An Automated Reasoning Approach. J. Borrego-Díaz, A. M. Chávez-González and G. Aranda-Corral. LNAI 8480. M. Polycarpou, A.C.P.L.F. de Carvalho, J.Pan, M. Wozniak, H. Quintián, E. Corchado (Eds.), pp.427-438, 2014. ISSN 0302-9743. 9th International Conference Hybrid Artificial Intelligence Systems, HAIS 2014.
Repairing conceptual relations in ontologies by means of an interactive visual reasoning: Cognitive and design principles. G. A. Aranda-Corral, J. Borrego-Díaz, A.M. Chávez-González. Hybrid Artificial Intelligence Systems, vol.8480, pp.427, 2014
Semantic geodemography for smartcities. J. Borrego-Díaz, A. M. Chávez-González, M.A. Martín-Pérez, J.A. Zamora-Aguilera. Smart City World Congress 2012.
Semantic Geodemography and Urban Interoperability. J. Borrego-Díaz, A. M. Chávez-González, M.A. Martín-Pérez, J.A. Zamora-Aguilera. Proc. Metadata and Semantic Research 6th International Conference, MTSR 2012.
Computational Logic and Knowledge Representation Issues in Data Analysis for the Semantic Web. J.A. Alonso-Jiménez, Joaquín Borrego-Díaz, A. M. Chávez-González, F.J. Martín-Mateos. Data Management in the Semantic Web (NOVA Pub.) 2011, pp. 105-130.
Mereotopological Patterns for Ontology Evolution and Debugging. G. A. Aranda-Corral, Joaquín Borrego-Díaz, A. M. Chávez-González. IMAGE-A, 1: 151-158 (2010).
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies. URSW 2005-2007 Uncertainty Reasoning form the Semantic Web. Lecture Notes in Artificial Intelligence. P.C.G. da Costa et al. (Eds.): URSW 2005-2007, LNAI 5327, pp. 315-329, 2008. Springer-Verlag Berlin Heideberg 2008. ISSN: (En colaboración con J. Borrego-Díaz).
Learning Services Based on Formal Concept Reasoning. IADIS International Conference Intelligent Systems and Agents 2007, (IADIS'07). ISBN: 978-972-8924-39-3.(2007). (En colaboración con J. Borrego-Díaz y G. Aranda-Corral).
Anomalías en Ontologías Provisionales. Actas del VIII Congreso ISKO España. Interdisciplinarity and Transdisciplinarity in the Organization of Scientific Knowledge, (ISKO'07). ISBN: 978-84-9773-333-5.(2007). (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
A Formal Foundation for Knowledge Integration of Deficient Information in the Semantic Web. The 10th International Conference on Computer Aided Systems Theory. Lecture Notes in Computer Science. R. Moreno Diaz et al. (Eds.): EUROCAST 2007, LNCS 4739, pp. 305-312, 2007. Springer-Verlag Berlin Heideberg 2007. ISSN: 0302-9743 (En colaboración con J. Borrego-Díaz).
Fusión Automatizada de Ontologías: Aplicación al Razonamiento Espacial Cualitativo. Actas del congreso 50 Años de Inteligencia Artificial. Campus Multidisciplinar en Percepción e Inteligencia, (CMPI'06). ISBN:84-689-9561-4.(2006). (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
Visual Ontology Cleaning: Cognitive Principles and Applicability. 3th European Semantic Web Conference ESWC'06. Lecture Notes in Computer Science. R. Moreno Diaz et al. (Eds.): , LNCS 4011,The Semantic Web: Research and applications pp. 317-331, 2006. Springer-Verlag Berlin Heideberg 2006. ISBN:0302-9743 (En colaboración con J. Borrego-Díaz).
Foundational Challenges in Automated Data and Ontology Cleaning in the Semantic Web. IEEE Intelligent Systems, Special Issue: AI, Agents and the Web. ISSN:1541-1672 (2006). (En colaboración con J.A. Alonso-Jiménez, J. Borrego-Díaz y F.J. Martín-Mateos).
Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy. 4th International Semantic Web Conference, Workshop on Uncertainty Reasoning for the Semantic Web. Noviembre 2005. Galway, Irlanda. (En colaboración con J. Borrego-Díaz).
Razonamiento Mereotopológico Automatizado para la Depuración de Ontologías. Tesis Doctoral dirigida por el Prof. Dr. D. Joaquín Borrego Díaz. Dept. Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla. Junio 2005.
Logic Databases and Inconsistency Handling. L.C. Rivero, J. H. Doorn y V. E. Ferraggine (Eds.) Encyclopedia of Database Technologies and Applications, pp. 336-340, 2005. Idea Group Reference. ISBN: 1-59140-560-2. (2005). (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
Extension of Ontologies Assisted by Automated Reasoning Systems. The 10th International Conference on Computer Aided Systems Theory. Lecture Notes in Computer Science. R. Moreno Diaz et al. (Eds.): EUROCAST 2005, LNCS 3643, pp. 247-253, 2005. Springer-Verlag Berlin Heideberg 2005.ISBN:3-540-29002-8 (En colaboración con J. Borrego-Díaz).
Towards a Tool for Ontology Engineering. Proc. of World Automation Congress (WAC'04). ISBN:1-889335-20-7. IEEE Press (2004). (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
Ontology Cleaning by Mereotopological Reasoning. Proc. of DEXA Workshop on Web Semantics (WebS'04), pp. 132-137. IEEE Computer Society (2004). ISBN: 0-7695-2195-9 (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases. Developments in Applied Artificial Intelligence. Lecture Notes in Artificial Intelligence, LNAI 2718, pp. 789-798. Springer-Verlag (2003). (En colaboración con J.A. Alonso-Jiménez, J. Borrego-Díaz y J.D. Navarro Marín).
A Methodology for the Computer-Aided Cleaning of Complex Knowledge Databases. Proc. of The 28th Annual Conference of the IEEE Industrial Electrocnics Society (IECON 2002), pp. 1806-1812. IEEE Press. ISBN:0-7803-7475-4 (2002). (En colaboración con J.A. Alonso-Jiménez, J. Borrego-Díaz, M.A. Gutiérrez-Naranjo y J.D. Navarro-Marín).
Estrategias para la demostración automática de teoremas. IV Jornadas Científicas en Tecnologías de la Información CINTE'00, Libro de Actas pp. 132-137. (2000). ISBN/DL:CA-883/2000 (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
Deducción Automática en Anillos Ternarios: Algunos Métodos de procesamiento del conocimiento matemático. Primer Encuentro de Matemáticos Andaluces (EMA 2000). Libro de Actas pp. 23-32 Universidad de Cádiz. (2000). ISBN/DL:CA-84-472-0290-0 (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).

Última modificación: 15 de julio de 2021