Now showing items 1-20 of 22

    • Icon

      A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web  [Presentation]

      Borrego Díaz, Joaquín; Chávez González, Antonia María (Springer, 2007)
      Maintenance of logical robustness in Information Integration represents a major challenge in the envisioned Semantic Web. In this framework, it is previsible unprecise information (with respect to an ontology) is retrieved ...
    • Icon

      A methodology for the computer-aided cleaning of complex knowledge databases  [Presentation]

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María; Gutiérrez Naranjo, Miguel Ángel; Navarro Marín, Jorge D. (IEEE Computer Society, 2002)
      In environments with complex cognitive structure (such as semantic web or sophisticated spatial databases for geographical information systems), classical methods for detecting anomalies can be inadequate. In this paper ...
    • Icon

      Anomalías en Ontologías Provisionales.  [Presentation]

      Borrego Díaz, Joaquín; Chávez González, Antonia María (Universidad de León, Servicio de Publicaciones, 2007)
    • Icon

      Una aplicación de las tecnologías de la web semántica al estudio del periodismo de la Edad Moderna  [Article]

      Baena Sánchez, Francisco; Chávez González, Antonia María (2017)
      En el presente trabajo explicamos el diseño de la ontología Early Modern News, fruto del trabajo interdisciplinar entre las áreas de la Historia del Periodismo y la Ingeniería del Conocimiento. Dicha ontología conceptualiza ...
    • Icon

      Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy  [Presentation]

      Borrego Díaz, Joaquín; Chávez González, Antonia María (CEUR-WS, 2005)
    • Icon

      Deducción Automática en Anillos Ternarios: Algunos Métodos de Procesamiento del Conocimiento Matemático  [Presentation]

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María (Universidad de Sevilla - Fundación El Monte, 2001)
    • Icon

      Extending Qualitative Spatial Theories with Emergent Spatial Concepts: An Automated Reasoning Approach  [Presentation]

      Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Chávez González, Antonia María (Springer, 2014)
      Qualitative Spatial Reasoning is an exciting research field of the Knowledge Representation and Reasoning paradigm whose application often requires the extension, refinement or combination of existent theories (as well ...
    • Icon

      Extension of Ontologies Assisted by Automated Reasoning Systems  [Presentation]

      Borrego Díaz, Joaquín; Chávez González, Antonia María (Springer, 2005)
      A method to extend ontologies with the assistance of automated reasoning systems and preserving a kind of completeness with respect to their associate conceptualizations is presented. The use of such systems makes ...
    • Icon

      Foundational Challenges in Automated Data and Ontology Cleaning in the Semantic Web  [Article]

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María; Martín Mateos, Francisco Jesús (IEEE Computer Society, 2006)
      The application of automated reasoning systems to data cleaning in the Semantic Web raises many challenges on the foundational basis of cleaning agent design. The authors discuss some of them. They finally argue that ...
    • Icon

      Fusión Automatizada de Ontologías: Aplicación al Razonamiento Espacial Cualitativo  [Presentation]

      Borrego Díaz, Joaquín; Chávez González, Antonia María (Universidad de Castilla-La Mancha, Departamento de Sistemas Informáticos, 2006)
      La evolución de las ontologías es un problema clave en la Integración del Conocimiento, cuya resolución es imprescindible en el proyecto de la Web Semántica. Algunas aproximaciones adolecen de confianza lógica, y otras ...
    • Icon

      Learning Services Based on Formal Concept Reasoning  [Presentation]

      Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Chávez González, Antonia María (IADIS: International Association for Development of the Information Society, 2007)
      A formal foundation of automated service discovering for Semantic Web is proposed. The approach is based on the formalization of the problem using an agent oriented programming language (ConGolog), as well as on the use ...
    • Icon

      Mereotopological Patterns for Ontology Evolution and Debugging  [Article]

      Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Chávez González, Antonia María (Universidad de Sevilla, 2010)
      In this paper the foundational principles and the application of a mereotopological theory, the Region Connection Calculus, for controlling the revision of formal ontologies by means of visual arrangements is presented. ...
    • Icon

      On the Use of Automated Reasoning Systems in Ontology Integration.  [Presentation]

      Borrego Díaz, Joaquín; Chávez González, Antonia María (CEUR-WS, 2009)
      Ontology Integration is a challenge in the field of Knowledge Engineering, whose solution is indispensable for the envisioned Semantic Web. Some approximations suffer from logical confidence, and others are hard to ...
    • Icon

      Ontology Cleaning by Mereotopological Reasoning  [Presentation]

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María (IEEE Computer Society, 2004)
      A mereotopological semantics to manage ontologies is presented. The aim is to provide a formal basis for ontology cleaning. It allows us to arrange, in a consistent manner, the concepts in early steps of the building ...
    • Icon

      Razonamiento mereotopológico automatizado para la depuración de ontologías  [PhD Thesis]

      Chávez González, Antonia María (2005)
      La presente memoria se estructura en tres grandes bloques: I Tratamiento automatizado de la teoría RCC y métodos asistidos por SRA para obtener extensiones de dicha teoría. Generalizaciones del retículo de relaciones ...
    • Icon

      Semantic Geodemography and Urban Interoperability  [Presentation]

      Borrego Díaz, Joaquín; Chávez González, Antonia María; Martín Pérez, Mónica A.; Zamora Aguilera, José A. (Springer, 2012)
      Nowadays there exists an increasing interest on the use of the information collected by cities coming from different resources as data with dynamic nature like the one provided by sensor networks, as static data associated ...
    • Icon

      Semantics for incident identification and resolution reports  [Article]

      Borrego Díaz, Joaquín; Chávez González, Antonia María; Pro Martín, José Luis; Matos Arana, Virginia (Oxford Academic, 2016)
      In order to achieve a safe and systematic treatment of security protocols, organizations release a number of technical briefings describing how to detect and manage security incidents. A critical issue is that this document ...
    • Icon

      Specifying and Verifying Meta-Security by Means of Semantic Web Methods  [Presentation]

      Borrego Díaz, Joaquín; Chávez González, Antonia María; Pro Martín, José Luis; Matos Arana, Virginia (Springer, 2014)
      In order to achieve a systematic treatment of security protocols, organizations release a number of technical briefings for describing how security incidents have to be managed. These documents can suffer semantic ...
    • Icon

      Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases  [Presentation]

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María; Gutiérrez Naranjo, Miguel Ángel; Navarro Marín, Jorge D. (Springer, 2003)
      Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We must then deal withinconsistencies and, in general, withanomalies of several types. In this paper we ...
    • Icon

      Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases  [Presentation]

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María; Gutiérrez Naranjo, Miguel Ángel; Navarro Marín, Jorge D. (Springer, 2003)
      Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We must then deal withinconsistencies and, in general, withanomalies of several types. In this paper we ...