research
∙
06/07/2023
Revisiting Inferential Benchmarks for Knowledge Graph Completion
Knowledge Graph (KG) completion is the problem of extending an incomplet...
share
research
∙
05/11/2023
Enhancing Datalog Reasoning with Hypertree Decompositions
Datalog reasoning based on the seminaïve evaluation strategy evaluates r...
research
∙
01/26/2023
Box^2EL: Concept and Role Box Embeddings for the Description Logic EL++
Representation learning in the form of semantic embeddings has been succ...
research
∙
05/19/2022
Minimal Explanations for Neural Network Predictions
Explaining neural network predictions is known to be a challenging probl...
research
∙
12/05/2021
BERTMap: A BERT-based Ontology Alignment System
Ontology alignment (a.k.a ontology matching (OM)) plays a critical role ...
research
∙
09/08/2021
On Event-Driven Knowledge Graph Completion in Digital Factories
Smart factories are equipped with machines that can sense their manufact...
research
∙
07/01/2021
Computing CQ lower-bounds over OWL 2 through approximation to RSA
Conjunctive query (CQ) answering over knowledge bases is an important re...
research
∙
02/26/2021
Knowledge-aware Zero-Shot Learning: Survey and Perspective
Zero-shot learning (ZSL) which aims at predicting classes that have neve...
research
∙
09/30/2020
OWL2Vec*: Embedding of OWL Ontologies
Semantic embedding of knowledge graphs has been widely studied and used ...
research
∙
01/19/2020
Correcting Knowledge Base Assertions
The usefulness and usability of knowledge bases (KBs) is often limited b...
research
∙
08/27/2019
Datalog Reasoning over Compressed RDF Knowledge Bases
Materialisation is often used in RDF systems to derive, in a preprocessi...
research
∙
06/26/2019
Canonicalizing Knowledge Base Literals
Ontology-based knowledge bases (KBs) like DBpedia are very valuable reso...
research
∙
06/24/2019
Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange
Several centralised RDF systems support datalog reasoning by precomputin...
research
∙
05/30/2019
Learning Semantic Annotations for Tabular Data
The usefulness of tabular data such as web tables critically depends on ...
research
∙
11/06/2018
Modular Materialisation of Datalog Programs
The seminaïve algorithm can materialise all consequences of arbitrary da...
research
∙
11/04/2018
ColNet: Embedding the Semantics of Web Tables for Column Type Prediction
Automatically annotating column types with knowledge base (KB) concepts ...
research
∙
08/07/2018
The Window Validity Problem in Rule-Based Stream Reasoning
Rule-based temporal query languages provide the expressive power and fle...
research
∙
07/22/2018
Knowledge-based Transfer Learning Explanation
Machine learning explanation can significantly boost machine learning's ...
research
∙
05/03/2018
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
We present a consequence-based calculus for concept subsumption and clas...
research
∙
04/25/2018
Stratified Negation in Limit Datalog Programs
There has recently been an increasing interest in declarative data analy...
research
∙
11/10/2017
Stream Reasoning in Temporal Datalog
In recent years, there has been an increasing interest in extending trad...
research
∙
11/10/2017
Optimised Maintenance of Datalog Materialisations
To efficiently answer queries, datalog systems often materialise all con...
research
∙
05/19/2017
The Bag Semantics of Ontology-Based Data Access
Ontology-based data access (OBDA) is a popular approach for integrating ...
research
∙
05/19/2017
Foundations of Declarative Data Analysis Using Limit Datalog Programs
Motivated by applications in declarative data analysis, we study Datalog...
research
∙
07/18/2016
Towards Analytics Aware Ontology Based Access to Static and Streaming Data (Extended Version)
Real-time analytics that requires integration and aggregation of heterog...
research
∙
02/14/2016
Extending Consequence-Based Reasoning to SRIQ
Consequence-based calculi are a family of reasoning algorithms for descr...
research
∙
11/19/2014
Ontology Module Extraction via Datalog Reasoning
Module extraction - the task of computing a (preferably small) fragment ...
research
∙
11/13/2014
Handling owl:sameAs via Rewriting
Rewriting is widely used to optimise owl:sameAs reasoning in materialisa...
research
∙
02/04/2014
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
Answering conjunctive queries (CQs) over a set of facts extended with ex...
research
∙
01/18/2014
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
To achieve scalability of query answering, the developers of Semantic We...
research
∙
01/15/2014
Hypertableau Reasoning for Description Logics
We present a novel reasoning calculus for the description logic SHOIQ^+-...
research
∙
04/04/2013
Computing Datalog Rewritings beyond Horn Ontologies
Rewriting-based approaches for answering queries over an OWL 2 DL ontolo...
research
∙
03/29/2013
Introducing Nominals to the Combined Query Answering Approaches for EL
So-called combined approaches answer a conjunctive query over a descript...
research
∙
01/19/2012
A Description Logic Primer
This paper provides a self-contained first introduction to description l...
research
∙
10/31/2011
Conjunctive Query Answering for the Description Logic SHIQ
Conjunctive queries play an important role as an expressive query langua...
research
∙
05/10/2000
Practical Reasoning for Expressive Description Logics
Description Logics (DLs) are a family of knowledge representation formal...
research
∙
05/09/2000
Practical Reasoning for Very Expressive Description Logics
Description Logics (DLs) are a family of knowledge representation formal...
research
∙
05/09/2000