| Publication | Date of Publication | Type |
|---|
SHACL validation in the presence of ontologies: semantics and rewriting techniques
Artificial Intelligence | 2026-03-23 | Paper |
| Towards practicable defeasible reasoning for ABoxes | 2025-12-15 | Paper |
Datalog rewritability and data complexity of \(\mathcal{ALCHOIQ}\) with closed predicates
Artificial Intelligence | 2024-07-03 | Paper |
A short introduction to SHACL for logicians
Logic, Language, Information, and Computation | 2024-02-28 | Paper |
Actions over core-closed knowledge bases
(available as arXiv preprint) | 2022-12-07 | Paper |
Ontology focusing: knowledge-enriched databases on demand
(available as arXiv preprint) | 2021-07-06 | Paper |
| Rewriting guarded existential rules into small Datalog programs | 2020-08-06 | Paper |
Pebble-intervals automata and \(\text{FO}^2\) with two orders
(available as arXiv preprint) | 2020-07-27 | Paper |
Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog
Artificial Intelligence | 2020-02-26 | Paper |
Managing Change in Graph-Structured Data Using Description Logics
ACM Transactions on Computational Logic | 2018-03-22 | Paper |
| Verification of evolving graph-structured data under expressive path constraints | 2017-07-14 | Paper |
Ontology-Mediated Query Answering with Data-Tractable Description Logics
Reasoning Web. Web Logic Rules | 2017-03-30 | Paper |
Regular path queries in lightweight description logics: complexity and algorithms
Journal of Artificial Intelligence Research | 2015-08-25 | Paper |
Answering regular path queries in expressive description logics via alternating tree-automata
Information and Computation | 2014-07-18 | Paper |
Reasoning about explanations for negative query answers in \textit{DL-Lite}
The Journal of Artificial Intelligence Research (JAIR) | 2013-11-28 | Paper |
Reasoning and query answering in description logics
Lecture Notes in Computer Science | 2012-11-08 | Paper |
Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots
Journal of Computer and System Sciences | 2012-05-11 | Paper |
Query Answering in Description Logics: The Knots Approach
Logic, Language, Information and Computation | 2009-07-02 | Paper |
Reasoning Using Knots
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Extending Carin to the Description Logics of the $\mathcal{SH}$ Family
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Data complexity of query answering in expressive description logics via tableaux
Journal of Automated Reasoning | 2008-09-10 | Paper |
Strong Negation and Equivalence in the Safe Belief Semantics
Journal Of Logic And Computation | 2007-12-12 | Paper |
