Home › Miembros › Sergio Alejandro Gomez

Sergio Alejandro Gomez

Profesor del Departamento de Ciencias e Ingeniería de la Computación – Universidad Nacional del Sur
Email: sag at cs.uns.edu.ar
Teléfono: +54 (291) 459-5135 int. 2625
Fax: +54 (291) 459-5136
Sitios web: http://cs.uns.edu.ar/~sag

Temas de Investigación

  • Razonamiento con ontologías:
    Una ontología es una formalización de una parte de un dominio de aplicación dando una visión conceptual de los repositorios de datos y que se ha venido haciendo más y más popular desde el 2001 aproximadamente, en particular en las áreas de la Integración de Aplicaciones Empresariales, la Integración de Datos y la Web Semántica. Una ontología declara un conjunto de clases o conceptos, relaciones o roles y un conjunto de individuos tanto intencional como extensionalmente. Resultan de interés los lenguajes de representación de conocimiento aptos para modelar ontologías.
  • Acceso a datos basado en ontologías:
    El acceso a datos basado en ontologías (OBDA) es un ingrediente clave en la nueva generación de sistemas de información. En el paradigma de OBDA, una ontología define un esquema global de alto nivel de fuentes de datos (existentes) y brinda un vocabulario para consultas de usuario. Un sistema de OBDA reescribe tales consultas y ontologías en el vocabulario de las fuentes de datos y luego delega la evaluación real de la consulta a un sistema adecuado como por ejemplo una base de datos relacional o un motor Datalog. Resultan de interés los formalismos de interés como su implementabilidad y aplicación en áreas relacionadas
  • Manejo de inconsistencia en ingeniería de ontologías:
    Una ontología puede adolecer de al menos tres problemas: insatisfacibilidad, incoherencia e inconsistencia. Una clase o concepto es insatisfacible cuando su especificación describe una imposibilidad. Una ontología es incoherente cuando si tiene clases con nombre que son insatisfacibles. Una ontología es inconsistente si hay individuos declarados perteneciendo a una clase incoherente. Resultan de interés la detección de tales anomalías, y las formas de corregirlas junto con mecanismos de razonamiento novedosos para lidiar con ellas.

Publicaciones


Refereed Articles
13 results
[13]Iberoamerican Journal of Artificial Intelligence, Vol 11, No 35 (2007) (, and ), In . [bibtex]
2017
[12]Towards Information Quality Assurance in Spanish: Wikipedia (, , , , , and ), In Journal of Computer Science & Technology, volume 17, . [bibtex]
2016
[11]Assuring safety in air traffic control systems with argumentation and model checking (, , and ), In Expert Systems with Applications, Elsevier, volume 44, . [bibtex]
2015
[10]Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions (), In Journal of Computer Science & Technology, volume 15, . [bibtex]
[9]Integración de argumentación rebatible y ontologías en el contexto de la web semántica: formalización y aplicaciones (), In , . [bibtex]
2013
[8]Merging of Ontologies Using Belief Revision and Defeasible Logic Programming. ( and ), In Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, volume 16, . [bibtex]
[7]ONTOarg: A decision support framework for ontology integration based on argumentation (, and ), In Expert Systems with Applications, Elsevier, volume 40, . [bibtex]
2011
[6]Local-as-View Integration of Ontologies Through Argumentation (, and ), In ARCOE-11, . [bibtex]
2010
[5]A defeasible logic programming approach to the integration of rules and ontologies (, and ), In Journal of Computer Science & Technology, volume 10, . [bibtex]
2008
[4]Defeasible reasoning in web-based forms through argumentation (, and ), In International Journal of Information Technology & Decision Making, World Scientific, volume 7, . [bibtex]
2007
[3]Inconsistent ontology handling by translating description logics into defeasible logic programming (, and ), In , Citeseer, . [bibtex]
2004
[2]Integrating defeasible argumentation and machine learning techniques ( and ), In arXiv preprint cs/0402057, . [bibtex]
[1]Integrating defeasible argumentation with fuzzy art neural networks for pattern classification ( and ), In Journal of Computer Science & Technology, 2004, vol. 4, núm. 1, p. 45-51, Iberoamerican Science & Technology Education Consortium, . [bibtex]
Refereed Conference Papers
26 results
2019
[26]A Framework for OBDA: Current State and Perspectives ( and ), In XXV Congreso Argentino de Ciencias de la Computación (CACIC)(Universidad Nacional de Río Cuarto, Córdoba, 14 al 18 de octubre de 2019), . [bibtex]
[25]Materialization of OWL Ontologies from Relational Databases: A Practical Approach ( and ), In Argentine Congress of Computer Science, . [bibtex]
2018
[24]Towards a framework for ontology-based data access: materialization of OWL ontologies from relational databases ( and ), In XXIV Congreso Argentino de Ciencias de la Computación (La Plata, 2018), . [bibtex]
2016
[23]On the Assessment of Information Quality in Spanish Wikipedia (, , , , and ), In XXII Congreso Argentino de Ciencias de la Computación (CACIC 2016)., . [bibtex]
[22]A Preliminary Ontology for Spermatozoa Analysis (, , , and ), In II Simposio Argentino de Ontologías y sus Aplicaciones (SAOA 2016)-JAIIO 45 (Tres de Febrero, 2016), . [bibtex]
[21]On the Application of Argument Accrual to Reasoning with Inconsistent Possibilistic Ontologies (), In XXII Congreso Argentino de Ciencias de la Computación (CACIC 2016)., . [bibtex]
[20]Towards a practical implementation of a reasoner for inconsistent possibilistic description logic programming ontologies (), In II Simposio Argentino de Ontologías y sus Aplicaciones (SAOA 2016)-JAIIO 45 (Tres de Febrero, 2016), . [bibtex]
2015
[19]A preliminary framework for reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions (), In XXI Congreso Argentino de Ciencias de la Computación (Junín, 2015), . [bibtex]
2014
[18]Some Classical Problems of Inheritance Networks in the Light of Defeasible Ontology Reasoning (), In XX Congreso Argentino de Ciencias de la Computación (Buenos Aires, 2014), . [bibtex]
[17]An argumentative approach to assessing safety in medical device software using defeasible logic programming (, and ), In International Conference on Advancements of Medicine and Health Care through Technology; 5th–7th June 2014, Cluj-Napoca, Romania, . [bibtex]
[16]A preliminary approach towards a logic for warrant ( and ), In XX Congreso Argentino de Ciencias de la Computación (Buenos Aires, 2014), . [bibtex]
[15]Assuring safety in an air traffic control system with defeasible logic programming (, and ), In XLIII Jornadas Argentinas de Informática e Investigación Operativa (43JAIIO)-XV Argentine Symposium on Artificial Intelligence (ASAI)(Buenos Aires, 2014), . [bibtex]
2012
[14]Ontology merging using belief revision and defeasible logic programming ( and ), In XVIII Congreso Argentino de Ciencias de la Computación, . [bibtex]
2011
[13]Reasoning with inconsistent ontologies in possibilistic defeasible logic programming (, and ), In XVII Congreso Argentino de Ciencias de la Computación, . [bibtex]
2010
[12]Local-as-view integration of ontologies in defeasible logic programming (, and ), In XVI Congreso Argentino de Ciencias de la Computación, . [bibtex]
2009
[11]Integration of rules and ontologies with defeasible logic programming (, and ), In XV Congreso Argentino de Ciencias de la Computación, . [bibtex]
2008
[10]Integration of web-based forms with ontologies in the semantic web (, and ), In XIV Congreso Argentino de Ciencias de la Computación, . [bibtex]
2006
[9]An approach to handling inconsistent ontology definitions based on the translation of description logics into defeasible logic programming (, and ), In XII Congreso Argentino de Ciencias de la Computación, . [bibtex]
2005
[8]A first approach to combining ontologies and defeasible argumentation for the semantic web (, and ), In XI Congreso Argentino de Ciencias de la Computación, . [bibtex]
[7]Incorporating defeasible knowledge and argumentative reasoning in web-based forms (, and ), In In 19th Intl. Joint Conf. in Artificial Intelligence (IIJCAI 2005). Edimburgh, UK, . [bibtex]
2004
[6]Modelling derivation in defeasible logic programming with perceptron-based neural networks (), In X Congreso Argentino de Ciencias de la Computación, . [bibtex]
[5]A Hybrid Approach To Pattern Classification Using Neural Networks and Defeasible Argumentation. ( and ), In Flairs conference, . [bibtex]
2003
[4]Using golog for programming charles to pick candies in the fantastic city (), In IX Congreso Argentino de Ciencias de la Computación, . [bibtex]
[3]Combining argumentation and clustering techniques in pattern classification problems ( and ), In IX Congreso Argentino de Ciencias de la Computación, . [bibtex]
2001
[2]Querando!: Un agente de filtrado de documentos web ( and ), In VII Congreso Argentino de Ciencias de la Computación, . [bibtex]
1999
[1]Una taxonomía de cambios para el grafo de espacios de nombres contextuales para sistemas multi-agente en contextos múltiples (), In V Congreso Argentino de Ciencias de la Computación, . [bibtex]
Refereed Workshop Papers
20 results
2017
[20]Completitud de los métodos de acceso a datos basado en ontologías: enfoques, propiedades y herramientas ( and ), In XIX Workshop de Investigadores en Ciencias de la Computación, . [bibtex]
2016
[19]Entornos argumentativos dinámicos (, , , and ), In XVIII Workshop de Investigadores en Ciencias de la Computación (WICC 2016, Entre Ríos, Argentina), . [bibtex]
2015
[18]Aplicaciones de argumentación rebatible: retrospectiva anual y expectativas (), In XVII Workshop de Investigadores en Ciencias de la Computación (Salta, 2015), . [bibtex]
2014
[17]Towards an argumentative approach for repair of hybrid logics models (, , and ), In Eleventh International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2014), . [bibtex]
[16]ARGSAFE: usando argumentación para garantizar seguridad en Sistemas Técnicos Complejos (, , , , and ), In XVI Workshop de Investigadores en Ciencias de la Computación, . [bibtex]
2012
[15]Extensiones a la programación en lógica rebatible para modelar reglas con disyunciones en la cabeza: aplicaciones al razonamiento con ontologías potencialmente inconsistentes ( and ), In XIV Workshop de Investigadores en Ciencias de la Computación, . [bibtex]
2011
[14]Razonamiento con ontologías inconsistentes: reporte de avance (, , , and ), In XIII Workshop de Investigadores en Ciencias de la Computación, . [bibtex]
2010
[13]Ontologías, reglas, inconsistencias y argumentación rebatible en la web semántica (, and ), In XII Workshop de Investigadores en Ciencias de la Computación, . [bibtex]
2009
[12]Procesamiento de ontologías inconsistentes en la Web semántica usando argumentación rebatible: reporte de progreso (, and ), In XI Workshop de Investigadores en Ciencias de la Computación, . [bibtex]
2008
[11]Hacia la solución del problema de chequeo de instancia en ontologías inconsistentes usando argumentación rebatible (, and ), In X Workshop de Investigadores en Ciencias de la Computación, . [bibtex]
[10]An argumentative approach to reasoning with inconsistent ontologies (, and ), In Proceedings of the KR Workshop on Knowledge Representation and Ontologies, . [bibtex]
2007
[9]Hacia una integración de argumentación rebatible y ontologías en la web semántica (, and ), In IX Workshop de Investigadores en Ciencias de la Computación, . [bibtex]
[8]Modelado de inferencia y preferencias en sistemas multiagentes utilizando argumentación (, , , , , , and ), In IX Workshop de Investigadores en Ciencias de la Computación, . [bibtex]
2006
[7]Problems and challenges for ontology integration in the SemanticWeb (, and ), In VIII Workshop de Investigadores en Ciencias de la Computación, . [bibtex]
2005
[6]Embedding Defeasible Argumentation in the Semantic Web: an ontology-based approach (, and ), In VII Workshop de Investigadores en Ciencias de la Computación, . [bibtex]
2004
[5]Desarrollo de herramientas inteligentes para la web semántica (, , , , , , , , , and ), In VI Workshop de Investigadores en Ciencias de la Computación, . [bibtex]
[4]Combining counterpropagation neural networks and defeasible logic programming for text classification ( and ), In VI Workshop de Investigadores en Ciencias de la Computación, . [bibtex]
2003
[3]The golog programming language and agency (), In V Workshop de Investigadores en Ciencias de la Computación, . [bibtex]
[2]Integrating defeasible argumentation and machine learning techniques: A preliminary report ( and ), In In Procs. V Workshop of Researchers in Comp. Science, . [bibtex]
2001
[1]Aplicación de redes neuronales al filtrado de documentos ( and ), In III Workshop de Investigadores en Ciencias de la Computación, . [bibtex]
Other Publications
1 result
2001
[1]Un agente para clasificación y filtrado de páginas web (), PhD thesis, Facultad de Informática, . [bibtex]

Docencia


Cursos primer cuatrimestre [insert_php]print date(«Y»); [/insert_php]:
[7655] Estructuras de Datos

Cursos segundo cuatrimestre [insert_php]print date(«Y»); [/insert_php]:
[7655] Estructuras de Datos

Cursos anteriores:

  • Resolución de Problemas y Algoritmos
  • Programación Orientada a Objetos
  • Estructuras de Datos y Algoritmos
  • Elementos de Programación
  • Lógica para Ciencias de la Computación
  • Fundamentos de Ciencias de la Computación