English
Related papers

Related papers: Provenance for the Description Logic ELHr

200 papers

Scientists today collect, analyze, and generate TeraBytes and PetaBytes of data. These data are often shared and further processed and analyzed among collaborators. In order to facilitate sharing and data interpretations, data need to carry…

Instrumentation and Methods for Astrophysics · Physics 2010-05-18 Ewa Deelman , Bruce Berriman , Ann Chervenak , Oscar Corcho , Paul Groth , Luc Moreau

Provenance is a record that describes how entities, activities, and agents have influenced a piece of data; it is commonly represented as graphs with relevant labels on both their nodes and edges. With the growing adoption of provenance in…

Machine Learning · Computer Science 2021-09-16 David Kohan Marzagão , Trung Dong Huynh , Ayah Helal , Sean Baccas , Luc Moreau

Ontology embeddings map classes, relations, 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 2024-06-27 Olga Mashkova , Fernando Zhapa-Camacho , Robert Hoehndorf

The paper introduces a framework for representation and acquisition of knowledge emerging from large samples of textual data. We utilise a tensor-based, distributional representation of simple statements extracted from text, and show how…

Artificial Intelligence · Computer Science 2012-10-12 Vit Novacek

Provenance graphs model causal system-level interactions from logs, enabling anomaly detectors to learn normal behavior and detect deviations as attacks. However, existing approaches rely on brittle, manually engineered rules to build…

Cryptography and Security · Computer Science 2026-03-19 Kushankur Ghosh , Mehar Klair , Kian Kyars , Euijin Choo , Jörg Sander

Relational data sources are still one of the most popular ways to store enterprise or Web data, however, the issue with relational schema is the lack of a well-defined semantic description. A common ontology provides a way to represent the…

Machine Learning · Computer Science 2018-01-31 Natalia Ruemmele , Yuriy Tyshetskiy , Alex Collins

LLMs have achieved remarkable fluency and coherence in text generation, yet their widespread adoption has raised concerns about content reliability and accountability. In high-stakes domains, it is crucial to understand where and how the…

Computation and Language · Computer Science 2025-06-02 Junnan Zhu , Min Xiao , Yining Wang , Feifei Zhai , Yu Zhou , Chengqing Zong

Provenance in scientific workflows is essential for understand- ing and reproducing processes, while in business processes, it can ensure compliance and correctness and facilitates process mining. However, the provenance of process…

Cryptography and Security · Computer Science 2025-10-08 Ludwig Stage , Mirela Riveni , Raimundas Matulevičius , Dimka Karastoyanova

Generating vector representations (embeddings) of OWL ontologies is a growing task due to its applications in predicting missing facts and knowledge-enhanced learning in fields such as bioinformatics. The underlying semantics of OWL…

Logic in Computer Science · Computer Science 2024-11-07 Fernando Zhapa-Camacho , Robert Hoehndorf

Ontologies are a popular way of representing domain knowledge, in particular, knowledge in domains related to life sciences. (Semi-)automating the process of building an ontology has attracted researchers from different communities into a…

Artificial Intelligence · Computer Science 2021-03-26 Ana Ozaki

In many scenarios, complete and incomplete information coexist. For this reason, the knowledge representation and database communities have long shown interest in simultaneously supporting the closed- and the open-world views when reasoning…

Artificial Intelligence · Computer Science 2019-12-17 Shqiponja Ahmetaj , Magdalena Ortiz , Mantas Simkus

We study a logic-based approach to versioning of ontologies. Under this view, ontologies provide answers to queries about some vocabulary of interest. The difference between two versions of an ontology is given by the set of queries that…

Logic in Computer Science · Computer Science 2014-01-24 Boris Konev , Michel Ludwig , Dirk Walther , Frank Wolter

Machine Learning (ML) has become essential in several industries. In Computational Science and Engineering (CSE), the complexity of the ML lifecycle comes from the large variety of data, scientists' expertise, tools, and workflows. If data…

We study FO-rewritability of conjunctive queries in the presence of ontologies formulated in a description logic between EL and Horn-SHIF, along with related query containment problems. Apart from providing characterizations, we establish…

Artificial Intelligence · Computer Science 2020-11-20 Meghyn Bienvenu , Peter Hansen , Carsten Lutz , Frank Wolter

Ontology-based data access is concerned with querying incomplete data sources in the presence of domain-specific knowledge provided by an ontology. A central notion in this setting is that of an ontology-mediated query, which is a database…

Databases · Computer Science 2013-06-07 Meghyn Bienvenu , Balder ten Cate , Carsten Lutz , Frank Wolter

Explaining why an answer is in the result of a query or why it is missing from the result is important for many applications including auditing, debugging data and queries, and answering hypothetical questions about data. Both types of…

Databases · Computer Science 2017-01-23 Seokki Lee , Sven Koehler , Bertram Ludaescher , Boris Glavic

Modern AI systems are complex workflows containing multiple components and data sources. Data provenance provides the ability to interrogate and potentially explain the outputs of these systems. However, provenance is often too detailed and…

Human-Computer Interaction · Computer Science 2025-07-25 Jan-Christoph Kalo , Fina Polat , Shubha Guha , Paul Groth

Educational Data Mining (EDM) shows interesting scientific results lately. However, little has been discussed about philosophical questions regarding the type of knowledge produced in this area. This paper aims to present two…

Computers and Society · Computer Science 2019-09-05 Esdras Lins Bispo

We study the enumeration of answers to ontology-mediated queries (OMQs) where the ontology is a set of guarded TGDs or formulated in the description logic ELI and the query is a conjunctive query (CQ). In addition to the traditional notion…

Databases · Computer Science 2022-03-18 Carsten Lutz , Marcin Przybyłko

Provenance is a critical ingredient for establishing trust of published scientific content. This is true whether we are considering a data set, a computational workflow, a peer-reviewed publication or a simple scientific claim with…

Digital Libraries · Computer Science 2013-12-10 Paolo Ciccarese , Stian Soiland-Reyes , Khalid Belhajjame , Alasdair J G Gray , Carole Goble , Tim Clark
‹ Prev 1 3 4 5 6 7 10 Next ›