|
|
|
CHAVEZ GONZALEZ, ANTONIA MªPerfil en ORCID: 0000-0002-6098-1707 Perfil en Scopus: 6506215140\ Perfil en Dialnet: 4395156 Grupos de Investigación - LOGICA, COMPUTACION E INGENIERIA DEL CONOCIMIENTO
Responsable de los siguientes proyectos/ayudas en la USParticipa los siguientes proyectos/ayudas en la USProyectos: - Lógica Computacional para la Ciencia del Dato ( TIN2013-41086-P - Investigador/a).
- CONCEPTOS EMERGENTES EN SISTEMAS COMPLEJOS. APLICACIONES EN ENTORNOS URBANOS Y EN COMPLEJIDAD CULTURAL ( P10-TIC-6065 - Investigador/a).
- MODELO LÓGICO-COMPUTACIONAL PARA LA EVOLUCIÓN DE TEORÍAS SOBRE CONCEPTOS FORMALES ( TIN2009-09492 - Investigador/a).
- SISTEMAS VERIFICADOS PARA RAZONAMIENTO EN LA WEB SEMÁNTICA ( TIN2004-03884 - Investigador/a).
Contratos: - 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 ).
- PROYECTO MINERVA "PLATAFORMA DE SERVICIOS EN MOVILIDAD CARTUJA-93" WETEVE ( OG-003/08 - Investigador/a ).
Ayudas: - AYUDA A LA CONSOLIDACIÓN DEL GRUPO DE INVESTIGACIÓN TIC-137 ( 2007/TIC-137 - Investigador/a ).
- AYUDA A LA CONSOLIDACIÓN DEL GRUPO DE INVESTIGACIÓN TIC-137 ( 2006/TIC-137 - Investigador/a ).
- AYUDA A LA CONSOLIDACIÓN DEL GRUPO DE INVESTIGACIÓN TIC-137 ( 2005/TIC-137 - Investigador/a ).
PublicacionesLibros: - 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. ISBN
Capítulo de 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. Pag. 105 - 130. En: Data Management in the Semantic Web. NOVA. 2013. ISBN - 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 . Pag. 739 - 744. En: Cognitive Infocommunications (CogInfoCom), 2012 IEEE 3rd International Conference on. IEEE Xplore. 2012. ISBN 978-1-4673-5187-4 - Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
INCONSISTENCY, LOGIC DATABASES AND ONTOLOGIES. Pag. 452 - 459. En: HANDBOOK OF RESEARCH ON INNOVATIONS IN DATABASE TECHNOLOGIES AND APPLICATIONS: CURRENT AND FUTURE TRENDS. Igi Global. 2009. ISBN 978-1-60566-242-8 - Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
ANOMALÍAS EN ONTOLOGÍAS PROVISIONALES. Pag. 159 - 167. En: VIII CONGRESO ISKO-ESPAÑA. LA INTERDISCIPLINARIEDAD Y LA TRANSDISCIPLINARIEDAD EN LA ORGANIZACIÓN DEL CDONOCIMIENTO CIENTÍFICO. S. E. UNIVERSIDAD DE LEÓN. 2007. ISBN - Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª, Aranda-Corral, Gonzalo A.:
LEARNING SERVICES BASED ON FORMAL CONCEPT REASONING. Pag. 1 - 10. En: ACTAS DEL MCCSIS 2001: MULTI CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS. IADIS PRESS PUBLISHER. 2007. ISBN - Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
FUSION AUTOMATIZADA DE ONTOLOGIAS: APLICACIÓN AL RAZONAMIENTO ESPACIAL CUALITATIVO. Pag. 91 - 102. En: UNA PERSPECTIVA DE LA INTELIGENCIA ARTIFICIAL EN SU 50 ANIVERSARIO. UNIVERSIDAD DE CASTILLA LA MANCHA. 2006. ISBN 84-689-9561-4 - Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
LOGIC DATABASES AND INCONSISTGENCY HANDLING. Pag. 336 - 340. En: ENCYCLOPEDIA OF DATABASES TECHNOLOGIES AND APPLICATIONS. IDEA GROUP REFERENCE. 2006. ISBN 1-59140-560-2 - Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
EXTENSION OF ONTOLOGIES ASSITED BY AUTOMATED REASONING SYSTEMS. Pag. 143 - 144. En: ENCYCLOPEDIA OF DATABASES TECHNOLOGIES AND APPLICATIONS. IDEA GROUP REFERENCE. 2006. ISBN 1-59140-560-2 - Chavez-Gonzalez, Antonia Mª:
Towards a tool for ontology engineering. Pag. 193 - 198. En: INTELLIGENT AUTOMATIONS AND CONTROL: TRENDS, PRINCIPLES AND APPLICATIONS. TSI PRESS. 2004. ISBN 1-889335-22-3 - 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. Pag. 1806 - 1811. En: IECON 2002. IEEE INDUSTRIAL ELECTRONIC SOCIETY. 2002. ISBN 0-7803-7475-4 - 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. Pag. 23 - 32. En: PROCEEDINGS OF THE MEETING OF ANDALUSIAN MATHEMATICIANS. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES, SEVILLE; FUNDACIÓN EL MONTE, SEVILLE. 2001. ISBN 84-472-0290-9 - Alonso-Jimenez, Jose Antonio, Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
ESTRATEGIAS PARA LA DEMOSTRACIÓN AUTOMÁTICA DE TEOREMAS. Pag. 276 - 283. En: LIBRO DE ACTAS CINTE'00. SERVICIO DE PUBLICACIONES DE LA UNIVERSIDAD DE CÁDIZ. 2000. ISBN
Publicaciones en Revistas: - 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. En: Revista de Humanidades Digitales. 2017. Vol. 1. Núm. . Pag. 379-407 https://doi.org/10.5944/rhd.vol.1.2017.16633 - Chavez-Gonzalez, Antonia Mª:
Semantics for Incident Identification and Resolucion Reports. En: Interest Group in Pure and Applied Logics. Logic Journal. 2016. Vol. 24. Núm. 6. Pag. 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. En: Lecture Notes in Computer Science. 2014. Vol. LNAI 8480. Núm. . Pag. 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. En: Advances in Intelligent Systems and Computing. 2014. Vol. 299. Núm. . Pag. 355-366 - Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
SEMANTIC GEODEMOGRAPHY AND URBAN INTEROPERABILITY. En: Communications in Computer and Information Science. 2012. Vol. . Núm. 343. Pag. 1-12 10.1007/978-3-642-35233-I - Chavez-Gonzalez, Antonia Mª:
MEREOTOPOLOGICAL PATTERNS FOR ONTOLOGY EVOLUTION AND DEBUGGING. En: Image-A. 2010. Vol. 1. Núm. 3. Pag. 151-158 - Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
USING COGNITIVE ENTROPY TO MANAGE UNCERTAIN CONCEPTS IN FORMAL ONTOLOGIES. En: Lecture Notes in Computer Science. 2008. Vol. . Núm. . Pag. 315-329 - Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
A FORMAL FOUNDATION FOR KNOWLEDGE INTEGRATION OF DEFFICENT INFORMATION IN THE SEMANTIC WEB. En: Lecture Notes in Computer Science. 2007. Vol. . Núm. 4739. Pag. 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. En: IEEE Intelligent Systems and Their Applications. 2006. Vol. 21. Núm. 1. Pag. 42-52 - Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
CONTROLLING ONTOLOGY EXTENSION BY UNCERTAIN CONCEPTS THROUGH COGNITIVE ENTROPY. En: CEUR Workshop Proceedings. 2006. Vol. 173. Núm. . Pag. 1-10 - Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
VISUAL ONTOLOGY CLEANING: COGNITIVE PRINCIPLES AND APPLICABILITY. En: Lecture Notes in Computer Science. 2006. Vol. 4011. Núm. . Pag. 317-331 - Borrego-Diaz, Joaquin, Chavez-Gonzalez, Antonia Mª:
EXTENSION OF ONTOLOGIES ASSISTED BY AUTOMATED REASONING SYSTEMS. En: Lecture Notes in Computer Science. 2005. Vol. 3643. Núm. . Pag. 247-253 - Chavez-Gonzalez, Antonia Mª, Borrego-Diaz, Joaquin, Alonso-Jimenez, Jose Antonio:
ONTOLOGY CLEANING BY MEREOTOPOLOGICAL REASONING. En: International Workshop on Database and Expert Systems Applications. 2004. Vol. . Núm. . Pag. 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. En: Lecture Notes in Computer Science. 2003. Vol. 2718. Núm. . Pag. 789-798
Otra participación en Libros de Actas: - Chavez-Gonzalez, Antonia Mª:
JENUI 2011. 2011. ISBN 978-84-694-5156-40.
Aportaciones a Congresos: - 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 - 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ª:
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 - 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ª:
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 - 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ª, 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 - 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ª, 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
|
