English
Related papers

Related papers: Provenance for the Description Logic ELHr

200 papers

Querying large datasets with incomplete and vague data is still a challenge. Ontology-based query answering extends standard database query answering by background knowledge from an ontology to augment incomplete data. We focus on…

Logic in Computer Science · Computer Science 2018-08-07 Rafael Peñaloza , Veronika Thost , Anni-Yasmin Turhan

Recommender systems learn about user preferences over time, automatically finding things of similar interest. This reduces the burden of creating explicit queries. Recommender systems do, however, suffer from cold-start problems where no…

Machine Learning · Computer Science 2007-05-23 Stuart E. Middleton , Harith Alani , David C. De Roure

In temporal interaction networks, vertices correspond to entities, which exchange data quantities (e.g., money, bytes, messages) over time. Tracking the origin of data that have reached a given vertex at any time can help data analysts to…

Databases · Computer Science 2021-10-12 Chrysanthi Kosyfaki Nikos Mamoulis

Increasingly modern data science platforms today have non-intrusive and extensible provenance ingestion mechanisms to collect rich provenance and context information, handle modifications to the same file using distinguishable versions, and…

Databases · Computer Science 2018-10-17 Hui Miao , Amol Deshpande

Ontologies have become essential in today's digital age as a way of organising the vast amount of readily available unstructured text. In providing formal structure to this information, ontologies have immense value and application across…

Computation and Language · Computer Science 2025-11-11 Dekai Zhang , Simone Conia , Antonio Rago

We consider the problem of finding plausible knowledge that is missing from a given ontology, as a generalisation of the well-studied taxonomy expansion task. One line of work treats this task as a Natural Language Inference (NLI) problem,…

Computation and Language · Computer Science 2024-03-27 Na Li , Thomas Bailleux , Zied Bouraoui , Steven Schockaert

Ontologies are widely used for representing domain knowledge and meta data, playing an increasingly important role in Information Systems, the Semantic Web, Bioinformatics and many other domains. However, logical reasoning that ontologies…

Artificial Intelligence · Computer Science 2025-04-08 Jiaoyan Chen , Olga Mashkova , Fernando Zhapa-Camacho , Robert Hoehndorf , Yuan He , Ian Horrocks

Consequence-based reasoning can be used to construct proofs that explain entailments of description logic (DL) ontologies. In the literature, one can find multiple consequence-based calculi for reasoning in the $\mathcal{EL}$ family of DLs,…

Logic in Computer Science · Computer Science 2025-07-30 Christian Alrabbaa , Stefan Borgwardt , Philipp Herrmann , Markus Krötzsch

Knowledge graphs (KGs) have increasingly become the backbone of many critical knowledge-centric applications. Most large-scale KGs used in practice are automatically constructed based on an ensemble of extraction techniques applied over…

Databases · Computer Science 2020-07-30 Garima Gaur , Arnab Bhattacharya , Srikanta Bedathur

As users become confronted with a deluge of provenance data, dedicated techniques are required to make sense of this kind of information. We present Aggregation by Provenance Types, a provenance graph analysis that is capable of generating…

Databases · Computer Science 2015-04-13 Luc Moreau

In the realm of Digital Humanities, the management of cultural heritage metadata is pivotal for ensuring data trustworthiness. Provenance information - contextual metadata detailing the origin and history of data - plays a crucial role in…

Digital Libraries · Computer Science 2025-07-29 Arcangelo Massari , Silvio Peroni , Francesca Tomasi , Ivan Heibi

Many real-world planning domains involve diverse information sources, external entities, and variable-reliability agents, all of which may impact the confidence, risk, and sensitivity of plans. Humans reviewing a plan may lack context about…

Artificial Intelligence · Computer Science 2020-11-04 Scott E. Friedman , Robert P. Goldman , Richard G. Freedman , Ugur Kuter , Christopher Geib , Jeffrey Rye

We study the problem of fitting a description logic (DL) ontology to a given set of positive and negative examples that take the form of an ABox and a Boolean query. While previous work has investigated this problem for the expressive DLs…

Logic in Computer Science · Computer Science 2026-05-01 Marvin Grosser , Carsten Lutz

Do LMs infer the semantics of text from co-occurrence patterns in their training data? Merrill et al. (2022) argue that, in theory, sentence co-occurrence probabilities predicted by an optimal LM should reflect the entailment relationship…

Computation and Language · Computer Science 2024-07-18 William Merrill , Zhaofeng Wu , Norihito Naka , Yoon Kim , Tal Linzen

Ontology embeddings map classes, roles, and individuals in ontologies into $\mathbb{R}^n$, and within $\mathbb{R}^n$ similarity between entities can be computed or new axioms inferred. For ontologies in the Description Logic…

Artificial Intelligence · Computer Science 2026-02-24 Olga Mashkova , Fernando Zhapa-Camacho , Robert Hoehndorf

Data provenance is essential for debugging query results, auditing data in cloud environments, and explaining outputs of Big Data analytics. A well-established technique is to represent provenance as annotations on data and to instrument…

Databases · Computer Science 2017-01-20 Xing Niu , Boris Glavic

Inconsistency handling is an important issue in knowledge management. Especially in ontology engineering, logical inconsistencies may occur during ontology construction. A natural way to reason with an inconsistent ontology is to utilize…

Artificial Intelligence · Computer Science 2026-03-10 Keyu Wang , Site Li , Jiaye Li , Guilin Qi , Qiu Ji

We propose an analysis of corrections which models some of the requirements corrections place on context. We then show that this analysis naturally extends to the interaction of corrections with pronominal anaphora on the one hand, and…

cmp-lg · Computer Science 2008-02-03 Claire Gardent , Michael Kohlhase , Noor van Neusen

To assist non-specialists in formulating database queries, multiple frameworks that automatically infer queries from a set of examples have been proposed. While highly useful, a shortcoming of the approach is that if users can only provide…

Databases · Computer Science 2016-05-17 Daniel Deutch , Amir Gilad

The quality of ontologies in terms of their correctness and completeness is crucial for developing high-quality ontology-based applications. Traditional debugging techniques repair ontologies by removing unwanted axioms, but may thereby…

Artificial Intelligence · Computer Science 2023-06-01 Ying Li , Patrick Lambrix