57 citations · 166 across the 21 of their papers we have counts for
Showing 2015 · cs.AIShow all
2 papers · 2 filters
cs.AI2015★ 22 cited
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…
cs.AI2015★ 2 cited
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…