scholarly journals Query and Predicate Emptiness in Ontology-Based Data Access

2016 ◽  
Vol 56 ◽  
pp. 1-59 ◽  
Author(s):  
Franz Baader ◽  
Meghyn Bienvenu ◽  
Carsten Lutz ◽  
Frank Wolter

In ontology-based data access (OBDA), database querying is enriched with an ontology that provides domain knowledge and additional vocabulary for query formulation. We identify query emptiness and predicate emptiness as two central reasoning services in this context. Query emptiness asks whether a given query has an empty answer over all databases formulated in a given vocabulary. Predicate emptiness is defined analogously, but quantifies universally over all queries that contain a given predicate. In this paper, we determine the computational complexity of query emptiness and predicate emptiness in the EL, DL-Lite, and ALC-families of description logics, investigate the connection to ontology modules, and perform a practical case study to evaluate the new reasoning services.

2020 ◽  
Vol 34 (4) ◽  
pp. 533-537 ◽  
Author(s):  
Leif Sabellek

AbstractAn ontology-mediated query (OMQ) consists of a database query paired with an ontology. When evaluated on a database, an OMQ returns not only the answers that are already in the database, but also those answers that can be obtained via logical reasoning using rules from ontology. There are many open questions regarding the complexities of problems related to OMQs. Motivated by the use of ontologies in practice, new reasoning problems which have never been considered in the context of ontologies become relevant, since they can improve the usability of ontology enriched systems. This thesis deals with various reasoning problems that emerge from ontology-mediated querying and it investigates the computational complexity of these problems. We focus on ontologies formulated in Horn description logics, which are a popular choice for ontologies in practice. In particular, the thesis gives results regarding the data complexity of OMQ evaluation by completely classifying complexity and rewritability questions for OMQs based on an EL ontology and a conjunctive query. Furthermore, the query-by-example problem, and the expressibility and verification problem in ontology-based data access are introduced and investigated.


Information ◽  
2021 ◽  
Vol 12 (8) ◽  
pp. 304
Author(s):  
Sadeer Beden ◽  
Qiushi Cao ◽  
Arnold Beckmann

This paper introduces the Steel Cold Rolling Ontology (SCRO) to model and capture domain knowledge of cold rolling processes and activities within a steel plant. A case study is set up that uses real-world cold rolling data sets to validate the performance and functionality of SCRO. This includes using the Ontop framework to deploy virtual knowledge graphs for data access, data integration, data querying, and condition-based maintenance purposes. SCRO is evaluated using OOPS!, the ontology pitfall detection system, and feedback from domain experts from Tata Steel.


2021 ◽  
Vol 7 (4) ◽  
pp. 64
Author(s):  
Tanguy Ophoff ◽  
Cédric Gullentops ◽  
Kristof Van Beeck ◽  
Toon Goedemé

Object detection models are usually trained and evaluated on highly complicated, challenging academic datasets, which results in deep networks requiring lots of computations. However, a lot of operational use-cases consist of more constrained situations: they have a limited number of classes to be detected, less intra-class variance, less lighting and background variance, constrained or even fixed camera viewpoints, etc. In these cases, we hypothesize that smaller networks could be used without deteriorating the accuracy. However, there are multiple reasons why this does not happen in practice. Firstly, overparameterized networks tend to learn better, and secondly, transfer learning is usually used to reduce the necessary amount of training data. In this paper, we investigate how much we can reduce the computational complexity of a standard object detection network in such constrained object detection problems. As a case study, we focus on a well-known single-shot object detector, YoloV2, and combine three different techniques to reduce the computational complexity of the model without reducing its accuracy on our target dataset. To investigate the influence of the problem complexity, we compare two datasets: a prototypical academic (Pascal VOC) and a real-life operational (LWIR person detection) dataset. The three optimization steps we exploited are: swapping all the convolutions for depth-wise separable convolutions, perform pruning and use weight quantization. The results of our case study indeed substantiate our hypothesis that the more constrained a problem is, the more the network can be optimized. On the constrained operational dataset, combining these optimization techniques allowed us to reduce the computational complexity with a factor of 349, as compared to only a factor 9.8 on the academic dataset. When running a benchmark on an Nvidia Jetson AGX Xavier, our fastest model runs more than 15 times faster than the original YoloV2 model, whilst increasing the accuracy by 5% Average Precision (AP).


2021 ◽  
Vol 13 (1) ◽  
pp. 392
Author(s):  
Estibaliz Sáez de Cámara ◽  
Idoia Fernández ◽  
Nekane Castillo-Eguskitza

Since the United Nations (UN) approved the Agenda 2030 for Sustainable Development in 2015, higher education institutions have increasingly demonstrated their commitment by supporting several initiatives. Although a great deal of progress has been made, there is still a lack of integrative approaches to truly implement Sustainable Development Goals (SDGs) in higher education. This paper presents a practical case that illustrates how to design and articulate SDGs within an institutional setting adopting a holistic approach: EHUagenda 2030 plan of the University of the Basque Country (UPV/EHU). It is based on empirical inquiry into global and holistic sustainable transformation and a real experience to move towards a verifiable and pragmatic contribution to sustainability. This plan describes the contribution to 12 of the 17 SDGs, along with three sectorial plans (Equality Campus, Inclusion Campus and Planet Campus), as well as the refocus of the UPV/EHU’s Educational Model and the panel of sustainable development indicators, which addresses the technical aspects of monitoring the SDGs. The methodology (mapping; mainstreaming; diagnosis and definition and, finally, estimation) is systematic and replicable in other universities yet to embark upon this integration. This case study makes a contribution towards the understanding of the complexity of the changes in Higher Education and the ways to approach it.


Author(s):  
Violeta Cabello ◽  
David Romero ◽  
Ana Musicki ◽  
Ângela Guimarães Pereira ◽  
Baltasar Peñate

AbstractThe literature on the water–energy–food nexus has repeatedly signaled the need for transdisciplinary approaches capable of weaving the plurality of knowledge bodies involved in the governance of different resources. To fill this gap, Quantitative Story-Telling (QST) has been proposed as a science for adaptive governance approach that aims at fostering pluralistic and reflexive research processes to overcome narrow framings of water, energy, and food policies as independent domains. Yet, there are few practical applications of QST and most run on a pan-European scale. In this paper, we apply the theory of QST through a practical case study regarding non-conventional water sources as an innovation for water and agricultural governance in the Canary Islands. We present the methods mixed to mobilize different types of knowledge and analyze interconnections between water, energy, and food supply. First, we map and interview relevant knowledge holders to elicit narratives about the current and future roles of alternative water resources in the arid Canarian context. Second, we run a quantitative diagnosis of nexus interconnections related to the use of these resources for irrigation. This analysis provides feedback to the narratives in terms of constraints and uncertainties that might hamper the expectations posed on this innovation. Thirdly, the mixed analysis is used as fuel for discussion in participatory narrative assessment workshops. Our experimental QST process succeeded in co-creating new knowledge regarding the water–energy–food nexus while addressing some relational and epistemological uncertainties in the development of alternative water resources. Yet, the extent to which mainstream socio-technical imaginaries surrounding this innovation were transformed was rather limited. We conclude that the potential of QST within sustainability place-based research resides on its capacity to: (a) bridge different sources of knowledge, including local knowledge; (b) combine both qualitative and quantitative information regarding the sustainable use of local resources, and (c) co-create narratives on desirable and viable socio-technical pathways. Open questions remain as to how to effectively mobilize radically diverse knowledge systems in complex analytical exercises where everyone feels safe to participate.


Author(s):  
Richen Liu ◽  
Hailong Wang ◽  
Chuyu Zhang ◽  
Xiaojian Chen ◽  
Lijun Wang ◽  
...  

Abstract Motivation Narrative visualization for scientific data explorations can help users better understand the domain knowledge, because narrative visualizations often present a sequence of facts and observations linked together by a unifying theme or argument. Narrative visualization in immersive environments can provide users with an intuitive experience to interactively explore the scientific data, because immersive environments provide a brand new strategy for interactive scientific data visualization and exploration. However, it is challenging to develop narrative scientific visualization in immersive environments. In this paper, we propose an immersive narrative visualization tool to create and customize scientific data explorations for ordinary users with little knowledge about programming on scientific visualization, They are allowed to define POIs (point of interests) conveniently by the handler of an immersive device. Results Automatic exploration animations with narrative annotations can be generated by the gradual transitions between consecutive POI pairs. Besides, interactive slicing can be also controlled by device handler. Evaluations including user study and case study are designed and conducted to show the usability and effectiveness of the proposed tool. Availability Related information can be accessed at: https://dabigtou.github.io/richenliu/


Sign in / Sign up

Export Citation Format

Share Document