| Publication | Date of Publication | Type |
|---|
From monotonic graph neural networks to Datalog and back: expressive power and practical applications
Artificial Intelligence | 2026-07-24 | Paper |
The stable model semantics of Datalog with metric temporal operators
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
Finite Materialisability of Datalog Programs with Metric Temporal Operators
Journal of Artificial Intelligence Research | 2023-03-13 | Paper |
The delay and window size problems in rule-based stream reasoning
Artificial Intelligence | 2022-04-11 | Paper |
The Complexity and Expressive Power of Limit Datalog
Journal of the ACM | 2022-03-31 | Paper |
Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
Artificial Intelligence | 2021-11-02 | Paper |
| 15 years of consequence-based reasoning | 2020-06-04 | Paper |
Foundations of ontology-based data access under bag semantics
Artificial Intelligence | 2019-08-28 | Paper |
Logical foundations of linked data anonymisation
Journal of Artificial Intelligence Research | 2019-03-04 | Paper |
Logical foundations of information disclosure in ontology-based data integration
Artificial Intelligence | 2019-01-18 | Paper |
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions
Journal of Artificial Intelligence Research | 2018-11-30 | Paper |
Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies
Artificial Intelligence | 2016-05-19 | Paper |
Module extraction in expressive ontology languages via Datalog reasoning
The Journal of Artificial Intelligence Research (JAIR) | 2016-03-03 | Paper |
| Large-scale interactive ontology matching: algorithms and implementation | 2015-12-11 | Paper |
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner
Journal of Artificial Intelligence Research | 2015-11-25 | Paper |
\(\mathcal{EL}\)-ifying ontologies
Automated Reasoning | 2014-09-26 | Paper |
Acyclicity notions for existential rules and their application to query answering in ontologies
The Journal of Artificial Intelligence Research (JAIR) | 2013-09-06 | Paper |
Reasoning over ontologies with hidden content: the import-by-query approach
Journal of Artificial Intelligence Research | 2012-12-03 | Paper |
Completeness guarantees for incomplete ontology reasoners: theory and practice
The Journal of Artificial Intelligence Research (JAIR) | 2012-05-16 | Paper |
Incremental classification of description logics ontologies
Journal of Automated Reasoning | 2010-05-26 | Paper |
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence | 2009-09-14 | Paper |
Extracting Modules from Ontologies: A Logic-Based Approach
Lecture Notes in Computer Science | 2009-06-09 | Paper |
Ontology Integration Using ε-Connections
Lecture Notes in Computer Science | 2009-06-09 | Paper |
