Bernardo Cuenca Grau

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
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
Ontology Integration Using ε-Connections Lecture Notes in Computer Science	2009-06-09	Paper
Extracting Modules from Ontologies: A Logic-Based Approach Lecture Notes in Computer Science	2009-06-09	Paper

Research outcomes over time

This page was built for person: Bernardo Cuenca Grau