Mereotopological Analysis of Formal Concepts in Security Ontologies

In this paper an analysis of security ontologies, using an mereotopological interpretation of the relationship amongst their classes, based on the entailment in the ontology, is presented. The analysis is carried out by means of a graphical tool (called Paella) that implements such an interpretation and it can suggest the potential debugging of anomalies. The analysis also suggests how to interpret the representational anomalies.Ministerio de Ciencia e Innovación TIN2009-0949

Applying the Dynamic Region Connection Calculus to Exploit Geographic Knowledge in Maritime Surveillance

Proceedings of: 15th International Conference on Information Fusion (FUSION 2012), Singapore, 9-12 July 2012.Concerns about the protection of the global transport network have risen the need of new security and surveillance systems. Ontology-based and fusion systems represent an attractive alternative for practical applications focused on fast and accurate responses. This paper presents an architecture based on a geometric model to efficiently predict and calculate the topological relationships between spatial objects. This model aims to reduce the number of calculations by relying on a spatial data structure. The goal is the detection of threatening behaviors next to points of interest without a noticeable loss of efficiency. The architecture has been embedded in an ontology-based prototype compliant with the Joint Directors of Laboratories (JDL) model for Information Fusion. The prototype capabilities are illustrated by applying international protection rules in maritime scenarios.This work was supported in part by Projects CICYT TIN2011-28620-C02-01, CICYT TEC2011-28626-C02-02, CAM CONTEXTS (S2009/TIC-1485) and DPS2008-07029- C02-02.Publicad

Метод принятия решений на основе анализа ситуаций и семантических технологий

Предлагается подход к построению систем автоматизированного анализа ситуаций, основанный на стеке технологий Semantic Web. Описание подхода включает формальную модель описания ситуаций, описание базовых онтологий, реализующих её, и описание архитектуры системы анализа ситуаций. Приводится пример описания ситуации при помощи интерпретации предлагаемой формальной модели в терминах OWL-онтологий

Ontological Representation of Light Wave Camera Data to Support Vision-Based AmI

This article belongs to the Special Issue Sensors and Wireless Sensor Networks for Novel Concepts of Things, Interfaces and Applications in Smart SpacesRecent advances in technologies for capturing video data have opened a vast amount of new application areas in visual sensor networks. Among them, the incorporation of light wave cameras on Ambient Intelligence (AmI) environments provides more accurate tracking capabilities for activity recognition. Although the performance of tracking algorithms has quickly improved, symbolic models used to represent the resulting knowledge have not yet been adapted to smart environments. This lack of representation does not allow to take advantage of the semantic quality of the information provided by new sensors. This paper advocates for the introduction of a part-based representational level in cognitive-based systems in order to accurately represent the novel sensors' knowledge. The paper also reviews the theoretical and practical issues in part-whole relationships proposing a specific taxonomy for computer vision approaches. General part-based patterns for human body and transitive part-based representation and inference are incorporated to an ontology-based previous framework to enhance scene interpretation in the area of video-based AmI. The advantages and new features of the model are demonstrated in a Social Signal Processing (SSP) application for the elaboration of live market researches.This work was supported in part by Projects CICYT TIN2011-28620-C02-01, CICYT TEC2011-28626-C02-02, CAM CONTEXTS (S2009/TIC-1485) and DPS2008-07029-C02-02.Publicad

Automatically Updating a Dynamic Region Connection Calculus for Topological Reasoning

Proceedings of: Workshop on User-Centric Technologies and Applications (CONTEXTS 2011), Salamanca, Spain, April 6-8, 2011During the last years ontology-based applications have been thought without taking in account their limitations in terms of upgradeability. In parallel, new capabilities such as topological sorting of instances with spatial characteristics have been developed. Both facts may lead to a collapse in the operational capacity of this kind of applications. This paper presents an ontology-centric architecture to solve the topological relationships between spatial objects automatically. The capability for automatic assertion is given by an object model based on geometries. The object model seeks to prioritize the optimization using a dynamic data structure of spatial data. The ultimate goal of this architecture is the automatic storage of the spatial relationships without a noticeable loss of efficiency.This work was supported in part by Projects CICYT TIN2008-06742-C02-02/TSI, CICYT TEC2008-06732-C02-02/TEC, CAM CONTEXTS (S2009/ TIC-1485) and DPS2008-07029-C02-02.Publicad

Mereotopological Patterns for Ontology Evolution and Debugging

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. The visual representation of logical relationships between concepts of an ontology is defined, and it is computed by means of an automated theorem prover. The user can recognize mereotopological patterns in the visual representation, particularly those representing anomalies in the ontology. An intelligent tool called Paella is designed and implemented for this task. Also, the extension to this formalism for managing uncertainty in concept reasoning is described

AN AUTOMATIC SYSTEM FOR THE ANALYSIS OF INTERCELLULAR COMMUNICATION AND EARLY CARCINOGENESIS

International audienceSome recent works on intercellular communication pointed out an impaired trafficking of Cx43 proteins in early carcinogenesis. In collaboration with biologists, we propose an automatic system for the analysis of spatial protein configurations within cells at early tumor stages. This system is an essential step towards the future development of a computer-aided diagnosis tool and the statistical validation of biological hypotheses about Cx43 expressions and configurations during tumorogenesis. The proposed system contains two dependent part: a segmentation part in which the cell structures of interest are automatically located on images and a characterization part in which some spatial features are computed for the classification of cells. Using immunofluorescent images of cells, the nucleus, cytoplasm and proteins structures within the cell are extracted. Then, some spatial features are computed to characterize spatial configurations of the proteins with regard to the nucleus and cytoplasm areas in the image. Last, the 3D cell images are classified into pathogenic or viable classes. The system has been quantitatively evaluated over 60 cell images acquired by a deconvolution high-resolution microscope and whose ground truth has been manually given by a biologist expert. As a perspective, a 3D spatial reasoning and visualization module is currently under development

Towards Interactive Geodata Analysis through a Combination of Domain-Specific Languages and 3D Geo Applications in a Web Portal Environment

Urban planning processes affect a wide range of stakeholders including decision makers, urban planners, business companies as well as citizens. ICT-enabled tools supporting urban planning are considered key to successful and sustainable urban management. Based on previous work in the areas of web-based participation tools for urban planning, rule-based geospatial processing as well as 3D virtual reality applications we present a tool that supports experts from municipalities in planning and decision making but also provides a way for the public to engage in urban planning processes. The main contribution of this work is in the combination of 3D visualization and interaction components with a new ontology-driven rule editor based on domain-specific languages. The 3D visualization, on the one hand, enables stakeholders to present and discuss urban plans. On the other hand, the rule editor particularly targets expert users who need to perform spatial analyses on urban data or want to configure the 3D scene according to custom rules. Compared to previous approaches we propose a portable and interactive solution. Our tool is web-based and uses HTML5 technology making it accessible by a broad audience

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

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 as the associated calculus). This paper addresses the issue of the sound spatial interpretation of formal extensions of such theories; particularly the interpretation of the extension and the desired representational features. The paper shows how to interpret certain kinds of extensions of Region Connection Calculus (RCC) theory. We also show how to rebuild the qualitative calculus of these extensions.Junta de Andalucía TIC-606