ANTONIA MARIA CHAVEZ GONZALEZ

Categoría
Profesor Contratado Doctor

Contacto

Teléfono
Correo electrónico
Área
Ciencia de la Computación e Inteligenc. Artificial

Investigación

Grupo de investigación

LOGICA, COMPUTACION E INGENIERIA DEL CONOCIMIENTO (LOCIC)

Proyectos y contratos de investigación

SISTEMAS VERIFICADOS PARA RAZONAMIENTO EN LA WEB SEMÁNTICA (TIN2004-03884 - Investigador/a)
MODELO LÓGICO-COMPUTACIONAL PARA LA EVOLUCIÓN DE TEORÍAS SOBRE CONCEPTOS FORMALES (TIN2009-09492 - Investigador/a)
PROYECTO MINERVA "PLATAFORMA DE SERVICIOS EN MOVILIDAD CARTUJA-93" WETEVE (OG-003/08 - Investigador/a)
El Corredor de la Carretera N-340 como Eje Histórico del Litoral Andaluz: Metodologías de Caracterización y Estrategias para su Patrimonialización y R (2040/0701 - Investigador/a)
Lógica Computacional para la Ciencia del Dato (TIN2013-41086-P - Investigador/a)

Libros publicados

Alonso-Jimenez, Jose Antonio;Riscos-Nuñez, Agustin;Valencia-Cabrera, Luis;Aranda-Corral, Gonzalo A.;Chavez-Gonzalez, Antonia Mª;Cordon-Franco, Andres;Hidalgo-Doblado, Maria Jose;Martín-mateos, Francisco Jesús;Martínez-del-Amor, Miguel Ángel;Pérez-Hurtado De Mendoza, Ignacio;Quesada-Moreno, Jose Francisco:
Exámenes de Programación funcional con Haskell (2009-2015). OpenLibra. 2015.

Capítulos en Libros

Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
Computational Logic and Knowledge Representation Issues in Data Annalysis for the Semantic Web. Pág. 105-130. NOVA. NOVA. 2013.
Aranda-Corral, Gonzalo A.;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
Repairing conceptual relations in ontologies by means of an interactive visual reasoning: Cognitive and design principles . Pág. 739-744. En: 1. IEEE Xplore. IEEE Xplore. 2012.
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
INCONSISTENCY, LOGIC DATABASES AND ONTOLOGIES. Pág. 452-459. En: 2. Igi Global. Igi Global. 2009.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
ANOMALÍAS EN ONTOLOGÍAS PROVISIONALES. Pág. 159-167. S. E. UNIVERSIDAD DE LEÓN. S. E. UNIVERSIDAD DE LEÓN. 2007.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª;Aranda-Corral, Gonzalo A.:
LEARNING SERVICES BASED ON FORMAL CONCEPT REASONING. Pág. 1-10. IADIS PRESS PUBLISHER. IADIS PRESS PUBLISHER. 2007.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
EXTENSION OF ONTOLOGIES ASSITED BY AUTOMATED REASONING SYSTEMS. Pág. 143-144. IDEA GROUP REFERENCE. IDEA GROUP REFERENCE. 2006.
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
LOGIC DATABASES AND INCONSISTGENCY HANDLING. Pág. 336-340. IDEA GROUP REFERENCE. IDEA GROUP REFERENCE. 2006.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
FUSION AUTOMATIZADA DE ONTOLOGIAS: APLICACIÓN AL RAZONAMIENTO ESPACIAL CUALITATIVO. Pág. 91-102. UNIVERSIDAD DE CASTILLA LA MANCHA. UNIVERSIDAD DE CASTILLA LA MANCHA. 2006.
Chavez-Gonzalez, Antonia Mª:
Towards a tool for ontology engineering. Pág. 193-198. TSI PRESS. TSI PRESS. 2004.
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª;Navarro-Marín,Jorge D.:
A METHODOLOGY FOR THE COMPUTER-AIDED CLEANING OF COMPLEX KNOWLEDGE DATABASES. Pág. 1806-1811. IEEE INDUSTRIAL ELECTRONIC SOCIETY. IEEE INDUSTRIAL ELECTRONIC SOCIETY. 2002.
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
DEDUCCION AUTOMATICA EN ANILLOS TERNARIOS: ALGUNOS MÉTODOS DE PROCESAMIENTO DEL CONOCIMIENTO MATEMÁTICO. Pág. 23-32. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES, SEVILLE; FUNDACIÓN EL MONTE, SEVILLE. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES, SEVILLE; FUNDACIÓN EL MONTE, SEVILLE. 2001.
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
ESTRATEGIAS PARA LA DEMOSTRACIÓN AUTOMÁTICA DE TEOREMAS. Pág. 276-283. SERVICIO DE PUBLICACIONES DE LA UNIVERSIDAD DE CÁDIZ. SERVICIO DE PUBLICACIONES DE LA UNIVERSIDAD DE CÁDIZ. 2000.

Participación en congresos

Chavez-Gonzalez, Antonia Mª:
Congreso Virtual EN RUTA LITORAL DESTINO: N-340. España. 2015

Asistencia a congresos

Baena-Sanchez, Francisco;Chavez-Gonzalez, Antonia Mª:
La formalización de la emergencia del discurso periodístico en España como desafío multidisciplinar en las Humanidades Digitales. Comunicación en congreso. II Congreso Internacional de Humanidades Digitales Hispánicas. Innovación, globalización e impacto. UNED MADRID, ESPAÑA. 2015
Chavez-Gonzalez, Antonia Mª:
La fuerza crítica de los datos en el análisis multiescalar territorial ] Sistematización necesaria, potencial creativo, integración de conocimiento. F. Mesa redonda de Congreso. Congreo virtual EN RUTA LITORAL . DESTINO N-340. SEVILLA. 2015
Chavez-Gonzalez, Antonia Mª:
Semantic geodemography for smartcities. Comunicación en congreso. Smart City Expo World Congress. Fira Barcelona. 2014
Pro, José Luis;Chavez-Gonzalez, Antonia Mª;Borrego-Diaz, Joaquin:
Specifying and Verifying Meta-Security by Means of Semantic Web Methods. Comunicación en congreso. CISIS. International Conference on Computational Intelligence in Security for Information Systems.. Bilbao, Spain.. 2014
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª;Aranda-Corral, Gonzalo A.:
MEREOTOPOLOGICAL PATTERNS FOR ONTOLOGY EVOLUTION AND DEBUGGING. Comunicación en congreso. CTIC 2010 WORKSHOP ON COMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT, CHIPIONA (CÁDIZ), 2010). CHIPIONA, CÁDIZ. 2010
Chavez-Gonzalez, Antonia Mª:
ON THE USE OF AUTOMATED REASONING SYSTEMS IN ONTOLOGY INTEGRATION. Comunicación en congreso. THIRD INTERNATIONAL WORKSHOP ON ONTOLOGY, CONCEPTUALIZATION AND EPISTEMOLOGY FOR INFORMATION SYSTEMS, SOFTWARE ENGINEERING AND SERVICE SCIENCE () (.20. AMSTERDAM, HOLANDA. 2009
Chavez-Gonzalez, Antonia Mª:
LEARNING SERVICES BASED ON FORMAL CONCEPT REASONING.. Comunicación en congreso. IADIS MULTICONFERENCE ON COPMUTER SCIENCE AND INFORMATION SYSTEMS. LISBOA, PORTUGAL. 2007
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
ANOMALIAS EN ONTOLOGIAS PROVISIONALES. Comunicación en congreso. VIII CONGRESO ISKO ESPAÑA. LEÓN, ESPAÑA. 2007
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
A FORMAL FOUNDATION FOR KNOWLEDGE INTEGRATION OF DEFFICENT INFORMATION IN THE SEMANTIC WEB. Comunicación en congreso. INTERNATIONAL CONFERENCE ON COMPUTER AIDED SYSTEMS THEORY. LAS PALMAS DE GRAN CANARIA, SPAIN. 2007
Paredes-Moreno, Antonio;Alonso -jimenez, José Antonio ;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
La ontología empresarial: Un motor lógico de renovación del sistema de información de la empresa.. Comunicación en congreso. INTERTIC () (.2007.OPORTO, PORTUGAL). . 2007
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
FUSION AUTOMATIZADA DE ONTOLOGIAS : APLICACIÓN AL RAZONAMIENTO ESPACIAL CUALITATIVO. Comunicación en congreso. CAMPUS MULTIDISCIPLINAR EN PERCEPCIÓN E INTELIGENCIA (CMPI 2006) () (.2006.ALBACETE, ESPAÑA). ALBACETE, ESPAÑA. 2006
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
VISUAL ONTOLOGY CLEANING: COGNITIVE PRINCIPLES AND APPLICABILITY. Comunicación en congreso. EUROPEAN SEMANTIC WEB CONFERENCE ESWC 2006 () (.2006.BUDVA, MONTENEGRO). BUDVA, MONTENEGRO. 2006
Chavez-Gonzalez, Antonia Mª:
EXTENSION OF ONTOLOGIES ASSISTED BY AUTOMATED REASONING SYSTEMS. Comunicación en congreso. INTERNATIONAL CONFERENCE ON COMPUTER AIDED SYSTEMS THEORY (10) (10.2005.LAS PALMAS DE GRAN CANARIA, ESPAÑA). LAS PALMAS DE GRAN CANARIA, ESPAÑA. 2005
Chavez-Gonzalez, Antonia Mª;Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin:
ONTOLOGY CLEANING BY MEREOTOPOLOGICAL REASONING. Comunicación en congreso. INTERNATIONAL WORKSHOP ON WEB SEMANTICS. WEBS 2004. (DEXA 2004) (3) (3.2004.ZARAGOZA, ESPAÑA). ZARAGOZA, ESPAÑA. 2004
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
EXTENSION OF ONTOLOGIES ASSISTED BY AUTOMATED REASONING SYSTEMS. Conferencia Congreso no publicada. CONGRESO DE TIPOGRAFIA (1.2004.VALENCIA, ESPAÑA). VALENCIA, ESPAÑA. 2004
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
TOWARDS A TOOL FOR ONTOLOGY ENGINEERING. Comunicación en congreso. WORLD AUTOMATION CONGRESS () (.2004.SEVILLA, SPAIN). SEVILLA, SPAIN. 2004
Chavez-Gonzalez, Antonia Mª;Borrego-Diaz, Joaquin;Alonso-Jimenez, Jose Antonio:
TOWARDS A PRACTICAL ARGUMENTATIVE REASONING WITH QUALITATIVE SPATIAL DATABASES (IEA/AIE 2003). Comunicación en congreso. IEA/AIE 2003 () (.2003.LOUGHBOROUGH, UNITED KINGDOM). LOUGHBOROUGH, UNITED KINGDOM. 2003
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª;Gutierrez-Naranjo, Miguel Angel:
TOWARDS A PRACTICAL ARGUMENTATIVE REASONING WITH QSD. Comunicación en congreso. I TALLER IBEROAMERICANO SOBRE DEDUCCION AUTOMATICA E INTELIGENCIA ARTIFICIAL. Santander (ESPAÑA). 2002
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª;Gutierrez-Naranjo, Miguel Angel;Navarro-Marín,Jorge D.:
A METHODOLOGY FOR THE COMPUTER-AIDED CLEANING OF COMPLEX KNOWLEDGE DATABASES. Comunicación en congreso. INDUSTRIAL ELECTRONICS CONFERENCE (.2002.SEVILLA). . 2002
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª;Navarro-Marín,Jorge D.:
A METHODOLOGY FOR THE COMPUTER-AIDED CLEANING OF COMPLEX KNOWLEDGE DATABASES. Comunicación en congreso. THE 28TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS SOCIETY (.2002.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2002

Artículos publicados

Baena-Sanchez, Francisco;Chavez-Gonzalez, Antonia Mª:
Una aplicación de las tecnologías de la web semántica al estudio del periodismo de la Edad Moderna. Revista de Humanidades Digitales. 2017. Vol: 1. Pág. 379-407. https://doi.org/10.5944/rhd.vol.1.2017.16633.
Chavez-Gonzalez, Antonia Mª:
Semantics for Incident Identification and Resolucion Reports. Interest Group in Pure and Applied Logics. Logic Journal. 2016. Vol: 24. Núm: 6. Pág. 916-632.
Chavez-Gonzalez, Antonia Mª;Aranda-Corral, Gonzalo A.;Borrego-Diaz, Joaquin:
Extending Qualitative Spatial Theories with Emergent Spatial Concepts. An Automated Reasoning Approach. Lecture Notes in Computer Science. 2014. Vol: LNAI 8480. Pág. 427-438. 10.1007/978-3-319-07617-1_38.
Chavez-Gonzalez, Antonia Mª:
Specifying and Verifying Meta-Security by Means of Semantic Web Methods. Advances in Intelligent Systems and Computing. 2014. Vol: 299. Pág. 355-366.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
SEMANTIC GEODEMOGRAPHY AND URBAN INTEROPERABILITY. Communications in Computer and Information Science. 2012. Núm: 343. Pág. 1-12. 10.1007/978-3-642-35233-I.
Chavez-Gonzalez, Antonia Mª:
MEREOTOPOLOGICAL PATTERNS FOR ONTOLOGY EVOLUTION AND DEBUGGING. Image-A. 2010. Vol: 1. Núm: 3. Pág. 151-158.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
USING COGNITIVE ENTROPY TO MANAGE UNCERTAIN CONCEPTS IN FORMAL ONTOLOGIES. Lecture Notes in Computer Science. 2008. Pág. 315-329.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
A FORMAL FOUNDATION FOR KNOWLEDGE INTEGRATION OF DEFFICENT INFORMATION IN THE SEMANTIC WEB. Lecture Notes in Computer Science. 2007. Núm: 4739. Pág. 305-312.
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª;Martin-Mateos, Francisco Jesus:
FOUNDATIONAL CHALLENGES IN AUTOMATED SEMANTIC WEB DATA AND ONTOLOGY CLEANING. IEEE Intelligent Systems and Their Applications. 2006. Vol: 21. Núm: 1. Pág. 42-52.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
VISUAL ONTOLOGY CLEANING: COGNITIVE PRINCIPLES AND APPLICABILITY. Lecture Notes in Computer Science. 2006. Vol: 4011. Pág. 317-331.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
CONTROLLING ONTOLOGY EXTENSION BY UNCERTAIN CONCEPTS THROUGH COGNITIVE ENTROPY. CEUR Workshop Proceedings. 2006. Vol: 173. Pág. 1-10.
Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª:
EXTENSION OF ONTOLOGIES ASSISTED BY AUTOMATED REASONING SYSTEMS. Lecture Notes in Computer Science. 2005. Vol: 3643. Pág. 247-253.
Chavez-Gonzalez, Antonia Mª;Borrego-Diaz, Joaquin;Alonso-Jimenez, Jose Antonio:
ONTOLOGY CLEANING BY MEREOTOPOLOGICAL REASONING. International Workshop on Database and Expert Systems Applications. 2004. Pág. 132-137.
Alonso-Jimenez, Jose Antonio;Borrego-Diaz, Joaquin;Chavez-Gonzalez, Antonia Mª;Gutierrez-Naranjo, Miguel Angel;Navarro-Marín,Jorge D.:
TOWARDS A PRACTICAL ARGUMENTATIVE REASONING WITH QUALITATIVE SPATIAL DATABASES. Lecture Notes in Computer Science. 2003. Vol: 2718. Pág. 789-798.