| Publication | Date of Publication | Type |
|---|
Datalog rewritability and data complexity of \(\mathcal{ALCHOIQ}\) with closed predicates
Artificial Intelligence | 2024-07-03 | Paper |
Ontology focusing: knowledge-enriched databases on demand
| 2021-07-06 | Paper |
Rewriting guarded existential rules into small Datalog programs
| 2020-08-06 | Paper |
Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog
Artificial Intelligence | 2020-02-26 | Paper |
The triguarded fragment of first-order logic
EPiC Series in Computing | 2019-07-04 | Paper |
The impact of active domain predicates on guarded existential rules
Fundamenta Informaticae | 2018-05-03 | Paper |
Extending \(\mathcal{ALCQIO}\) with trees
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | 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 |
The impact of active domain predicates on guarded existential rules
Web Reasoning and Rule Systems | 2017-06-20 | Paper |
The challenge of optional matching in SPARQL
Lecture Notes in Computer Science | 2016-05-19 | Paper |
Linking open-world knowledge bases using nonmonotonic rules
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
FDNC: decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Regular path queries in lightweight description logics: complexity and algorithms
Journal of Artificial Intelligence Research | 2015-08-25 | 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 |
Datalog and Its Extensions for Semantic Web Databases
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 |
$\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
