22 citations · 42 across the 4 of their papers we have counts for
4 papers
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies
Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev +1
We study confidentiality enforcement in ontologies under the Controlled Query Evaluation framework, where a policy specifies the sensitive information and a censor ensures that que…
Computing Horn Rewritings of Description Logics Ontologies
Mark Kaminski, Bernardo Cuenca Grau
We study the problem of rewriting an ontology O1 expressed in a DL L1 into an ontology O2 in a Horn DL L2 such that O1 and O2 are equisatisfiable when extended with an arbitrary da…
Ontology Module Extraction via Datalog Reasoning
Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau +1
Module extraction - the task of computing a (preferably small) fragment M of an ontology T that preserves entailments over a signature S - has found many applications in recent yea…
Computing Datalog Rewritings beyond Horn Ontologies
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos +1
Rewriting-based approaches for answering queries over an OWL 2 DL ontology have so far been developed mainly for Horn fragments of OWL 2 DL. In this paper, we study the possibiliti…