003. Факультет інформатики

Permanent URI for this community

https://ekmair.ukma.edu.ua/handle/123456789/24

Browse

Browsing 003. Факультет інформатики by Author "Borrego-Díaz, Joaquín"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    A Logical-Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
    (2024) Aranda-Corral, Gonzalo; Borrego-Díaz, Joaquín; Chávez-González, Antonia; Gulayeva, Nataliya
    In ontology engineering, reusing (or extending) ontologies poses a significant challenge, requiring revising their ontological commitments and ensuring accurate representation and coherent reasoning. This study aims to address two main objectives. Firstly, it seeks to develop a methodological approach supporting ontology extension practices. Secondly, it aims to demonstrate its feasibility by applying the approach to the case of extending qualitative spatial reasoning (QSR) theories. Key questions involve effectively interpreting spatial extensions while maintaining consistency. The framework systematically analyzes extensions of formal ontologies, providing a reconstruction of a qualitative calculus. Reconstructed qualitative calculus demonstrates improved interpretative capabilities and reasoning accuracy. The research underscores the importance of methodological approaches when extending formal ontologies, with spatial interpretation serving as a valuable case study.
  • Thumbnail Image
    Item
    Selection noise in genetic algorithms
    (Національний університет "Києво-Могилянська академія", 2024) Gulayeva, Nataliya; Borrego-Díaz, Joaquín; Sancho-Caparrini, F.
    In this study, authors concentrate on the selection noise characteristic of SSs. Recall that genetic drift, a well-known phenomenon in population genetics, is observed in GAs due to the stochastic nature of SSs. In a finite size population, a random selection among individuals of equal fitness leads to a disproportion between the expected and actual number of copies of an individual in the mating pool. We study selection noise of the most popular SSs used in generational GAs.