English
Related papers

Related papers: Query Expressibility and Verification in Ontology-…

200 papers

We challenge existing query-based ontology fault localization methods wrt. assumptions they make, criteria they optimize, and interaction means they use. We find that their efficiency depends largely on the behavior of the interacting…

Artificial Intelligence · Computer Science 2022-08-05 Patrick Rodler

In process mining, a log exploration step allows making sense of the event traces; e.g., identifying event patterns and illogical traces, and gaining insight into their variability. To support expressive log exploration, the event log can…

Databases · Computer Science 2024-09-10 William Van Woensel

The search for joinable data is pivotal for numerous applications, such as data integration, data augmentation, and data analysis. Although there have been many successful joinable search studies for table discovery, the study of finding…

Databases · Computer Science 2024-12-11 Wenzhe Yang , Sheng Wang , Zhiyu Chen , Yuan Sun , Zhiyong Peng

This paper addresses the harmonization of metadata from diverse repositories of language resources (LRs). Leveraging linked data and RDF techniques, we integrate data from multiple sources into a unified model based on DCAT and META-SHARE…

Computation and Language · Computer Science 2025-01-13 Zixuan Liang

The generative capabilities of LLM models offer opportunities for accelerating tasks but raise concerns about the authenticity of the knowledge they produce. To address these concerns, we present a computational approach that evaluates the…

Artificial Intelligence · Computer Science 2025-03-25 Ahmed Abdeen Hamed , Alessandro Crimi , Magdalena M. Misiak , Byung Suk Lee

The construction of an ontology of scientific knowledge objects, presented here, is part of the development of an approach oriented towards the visualization of scientific knowledge. It is motivated by the fact that the concepts that are…

Artificial Intelligence · Computer Science 2021-07-15 Vincenzo Daponte , Gilles Falquet

The benefit of using ontologies, defined by the respective data standards, is shown. It is presented how ontologies can be used for the semantic enrichment of data and how this can contribute to the vision of the semantic web to become…

Databases · Computer Science 2009-12-16 Gerhard Mayer

Data outsourcing is a cost-effective solution for data owners to tackle issues such as large volumes of data, huge number of users, and intensive computation needed for data analysis. They can simply upload their databases to a cloud and…

Databases · Computer Science 2020-11-24 Masoud Nosrati , Ying Cai

Ontology-based approaches for predicting gene-disease associations include the more classical semantic similarity methods and more recently knowledge graph embeddings. While semantic similarity is typically restricted to hierarchical…

Machine Learning · Computer Science 2021-06-01 Susana Nunes , Rita T. Sousa , Catia Pesquita

Scientometric techniques have been remarkably successful at mapping science but they face important difficulties when mapping research for societal problems possibly because they they are derived only from scientific documents and thus do…

Computers and Society · Computer Science 2017-12-11 Montserrat Estañol , Francesco Masucci , Alessandro Mosca , Ismael Ràfols

Poor information retrieval performance has often been attributed to the query-document vocabulary mismatch problem which is defined as the difficulty for human users to formulate precise natural language queries that are in line with the…

Computation and Language · Computer Science 2020-04-24 Bhawani Selvaretnam , Mohammed Belkhatir

Recent years have witnessed the successful application of low-dimensional vector space representations of knowledge graphs to predict missing facts or find erroneous ones. However, it is not yet well-understood to what extent ontological…

Artificial Intelligence · Computer Science 2018-08-22 Víctor Gutiérrez-Basulto , Steven Schockaert

Data integration is considered a classic research field and a pressing need within the information science community. Ontologies play a critical role in such a process by providing well-consolidated support to link and semantically…

Artificial Intelligence · Computer Science 2024-05-30 Inès Osman , Salvatore F. Pileggi , Sadok Ben Yahia

Multiple choice questions (MCQs) that can be generated from a domain ontology can significantly reduce human effort & time required for authoring & administering assessments in an e-Learning environment. Even though here are various methods…

Artificial Intelligence · Computer Science 2016-07-05 Vinu E. , Tahani Alsubait , P. Sreenivasa Kumar

We studied the hyperlogic HyperQPTL, which combines the concepts of trace relations and $\omega$-regularity. We showed that HyperQPTL is very expressive, it can express properties like promptness, bounded waiting for a grant, epistemic…

Logic in Computer Science · Computer Science 2021-01-19 Bernd Finkbeiner , Christopher Hahn , Jana Hofmann , Leander Tentrup

We introduce ontology-mediated planning, in which planning problems are combined with an ontology. Our formalism differs from existing ones in that we focus on a strong separation of the formalisms for describing planning problems and…

Artificial Intelligence · Computer Science 2024-08-15 Tobias John , Patrick Koopmann

HyperLTL, the extension of Linear Temporal Logic by trace quantifiers, is a uniform framework for expressing information flow policies by relating multiple traces of a security-critical system. HyperLTL has been successfully applied to…

Logic in Computer Science · Computer Science 2019-12-17 Corto Mascle , Martin Zimmermann

Aiming at ontology-based data access to temporal data, we design two-dimensional temporal ontology and query languages by combining logics from the (extended) DL-Lite family with linear temporal logic LTL over discrete time (Z,<). Our main…

Logic in Computer Science · Computer Science 2022-10-24 Alessandro Artale , Roman Kontchakov , Alisa Kovtunova , Vladislav Ryzhikov , Frank Wolter , Michael Zakharyaschev

The fitting problem for conjunctive queries (CQs) is the problem to construct a CQ that fits a given set of labeled data examples. When a fitting CQ exists, it is in general not unique. This leads us to proposing natural refinements of the…

Databases · Computer Science 2025-09-25 Balder ten Cate , Victor Dalmau , Maurice Funk , Carsten Lutz

Query optimization has been studied using machine learning, reinforcement learning, and, more recently, graph-based convolutional networks. Ontology, as a structured, information-rich knowledge representation, can provide context,…

Databases · Computer Science 2025-11-11 Songhui Yue , Yang Shao , Sean Hayes