Bernardo Cuenca Grau

Available identifiers

zbMath Open cuenca-grau.bernardoMaRDI QIDQ286086

List of research outcomes

Publication	Date of Publication	Type
Finite Materialisability of Datalog Programs with Metric Temporal Operators	2023-03-13	Paper
The delay and window size problems in rule-based stream reasoning	2022-04-11	Paper
The Complexity and Expressive Power of Limit Datalog	2022-03-31	Paper
Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)	2021-11-02	Paper
15 years of consequence-based reasoning	2020-06-04	Paper
Foundations of ontology-based data access under bag semantics	2019-08-28	Paper
Logical Foundations of Linked Data Anonymisation	2019-03-04	Paper
Logical foundations of information disclosure in ontology-based data integration	2019-01-18	Paper
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions	2018-11-30	Paper
Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies	2016-05-19	Paper
Module extraction in expressive ontology languages via Datalog reasoning	2016-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q3457248	2015-12-11	Paper
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner	2015-11-25	Paper
$\mathcal{EL}$ -ifying Ontologies	2014-09-26	Paper
Acyclicity notions for existential rules and their application to query answering in ontologies	2013-09-06	Paper
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach	2012-12-03	Paper
Completeness guarantees for incomplete ontology reasoners: theory and practice	2012-05-16	Paper
Incremental classification of description logics ontologies	2010-05-26	Paper
Representing ontologies using description logics, description graphs, and rules	2009-09-14	Paper
Ontology Integration Using ε-Connections	2009-06-09	Paper
Extracting Modules from Ontologies: A Logic-Based Approach	2009-06-09	Paper

Research outcomes over time

This page was built for person: Bernardo Cuenca Grau