Antonia María Chávez González
Telefono: 954553864
Email: Solicitar correo
Perfil en ORCID: 0000-0002-6098-1707
Perfil en Scopus: 6506215140
Perfil en Dialnet: 4395156

Grupo de Investigación: Logica, Computacion e Ingenieria del Conocimiento
Departamento/Unidad: Ciencias de la Computación e Inteligencia Artificial
Situación profesional: Profesor Contratado Doctor

Participa en los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • Lógica Computacional para la Ciencia del Dato (TIN2013-41086-P - Equipo de Investigación)
  • Conceptos Emergentes en Sistemas Complejos. Aplicaciones en Entornos Urbanos y en Complejidad Cultural (P10-TIC-6064 - Investigador)
  • Modelo lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492 - Investigador)
  • Sistemas verificados para razonamiento en la Web semántica (TIN2004-03884 - Investigador)
  
  
• Contrato con empresas (Arts. 68/83 LOU):
  • 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 regeneración sostenible (2040/0701 - Investigador)
  • Proyecto Minerva "Plataforma de servicios en movilidad Cartuja-93" Weteve (OG-003/08 - Investigador)
  
  
• Ayuda a la investigación:
  • Incentivo al Grupo de Investigación TIC-137 (2017/TIC-137 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2007/TIC-137 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2006/TIC-137 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2005/TIC-137 - Investigador)
  
  

Cobertura de la base de datos de proyectos, véase aqui

Publicaciones:

Libros

Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Chavez Gonzalez, Antonia Mª, Cordon Franco, Andres, Hidalgo Doblado, Maria Jose, et. al.:
Exámenes de Programación funcional con Haskell (2009-2015). OpenLibra. 2015. 602

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. Pag. 105-130. En: Data Management in the Semantic Web. 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. Vol. 1. 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. Vol. 2. Pag. 452-459. En: Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends. Hershey Pa. Igi Global. 2009. ISBN 978-1-60566-242-8

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. Lisboa, Portugal. Iadis Press Publisher. 2007

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. Leon, España. S. E. Universidad de León. 2007

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. Hershey (Pennsylvania), Estados Unidos. Idea Group Reference. 2006. ISBN 1-59140-560-2

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. Albacete, España. 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. Hershey (Pennsylvania), Estados Unidos. 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. Alburquerque (Nuevo Méjico), Estados Unidos. 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. Santander (ESPAÑA). 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. Santander (ESPAÑA). 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. Cadiz. Servicio de Publicaciones de la Universidad de Cádiz. 2000

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. 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ª:
Specifying and Verifying Meta-Security by Means of Semantic Web Methods. En: Advances in Intelligent Systems and Computing. 2014. Vol. 299. Pag. 355-366

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. Pag. 427-438. 10.1007/978-3-319-07617-1_38

Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Semantic Geodemography and Urban Interoperability. En: Communications in Computer and Information Science. 2012. 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. 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. 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ª:
Visual Ontology Cleaning: Cognitive Principles and Applicability. En: Lecture Notes in Computer Science. 2006. Vol. 4011. Pag. 317-331

Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Controlling Ontology Extension by Uncertain Concepts Through Cognitive Entropy. En: CEUR Workshop Proceedings. 2006. Vol. 173. Pag. 1-10

Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Extension of Ontologies Assisted by Automated Reasoning Systems. En: Lecture Notes in Computer Science. 2005. Vol. 3643. 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. 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. Pag. 789-798

Chavez Gonzalez, Antonia Mª:
Igpgl

Otra participación en Libros de Actas

Chavez Gonzalez, Antonia Mª (Coeditor/a):
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. Fuentes documentales, bases de datos, cartografías, diagramas y mapeos. Limitaciones del sistema, propuestas. Mesa redonda de Congreso. Congreo virtual EN RUTA LITORAL . DESTINO N-34. 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 impact. UNED Madrid, España. 2015

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

Chavez Gonzalez, Antonia Mª:
Semantic geodemography for smartcities. Comunicación en congreso. Smart City Expo World Congress. Fira Barcelona. 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. Amsterdam, Holanda. 2009. Proceedings of the Third International Workshop on Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science. 37. 48

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

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. Computer Aided Systems Theory - Eurocast 2007. 305. 312

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. Iadis Multiconference on Computer Science and Information Systems. 1. 7

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. Actas del VIII Congreso Isko España. 159. 167

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. Albacete, España. 2006. 50 Años de la Inteligencia Artificial. 91. 102

Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Visual Ontology Cleaning: Cognitive Principles and Applicability. Comunicación en congreso. European Semantic Web Conference Eswc 2006. Budva, Montenegro. 2006. The Semantic Web: Research and Applications. 317. 331

Chavez Gonzalez, Antonia Mª:
Extension of Ontologies Assisted by Automated Reasoning Systems. Comunicación en congreso. International Conference on Computer Aided Systems Theory. Las Palmas de Gran Canaria, España. 2005. Cats and Tools for Robotics, Vehicular and Communication Systems. Extended Abstracts. 247. 253

Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Towards a Tool for Ontology Engineering. Comunicación en congreso. World Automation Congress. Sevilla, Spain. 2004. World Automation Congress: Advances in Robotics, Manufacturing, Automation, Control, Soft Computing, Multimedia, Biomedicine, Image Processing and Financial Engineering. Vol. IV. 1. 100

Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Extension of Ontologies Assisted by Automated Reasoning Systems. Conferencia Congreso no publicada. Congreso de Tipografia. Valencia, España. 2004. Cast and Tools for Robotics, Vehicular and Communication Systems. 143. 144

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. Zaragoza, España. 2004. Database and Expert Systems Applications. Webs 2004. 132. 137

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. Loughborough, United Kingdom. 2003. Libro de Actas del 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (Iea/Aie 2003). 789. 798

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. Santander (ESPAÑA). 2002. Proc. of the 28th Annual Conference of IEEE Industrial Electronics Society. 1806. 1811

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. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. 111. 120

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