English
Related papers

Related papers: Controlled Query Evaluation for Datalog and OWL 2 …

200 papers

In this paper, we propose the use of epistemic dependencies to express data protection policies in Controlled Query Evaluation (CQE), which is a form of confidentiality-preserving query answering over ontologies and databases. The resulting…

Artificial Intelligence · Computer Science 2024-05-07 Gianluca Cima , Domenico Lembo , Lorenzo Marconi , Riccardo Rosati , Domenico Fabio Savo

Controlled Query Evaluation (CQE) has been recently studied in the context of Semantic Web ontologies. The goal of CQE is concealing some query answers so as to prevent external users from inferring confidential information. In general,…

Controlled query evaluation (CQE) is an approach to guarantee data privacy for database and knowledge base systems. CQE-systems feature a censor function that may distort the answer to a query in order to hide sensitive information. We…

Logic in Computer Science · Computer Science 2020-05-29 Thomas Studer

Ontologies are traditionally expressed in the Web Ontology Language (OWL), that provides a syntax for expressing taxonomies with axioms regulating class membership. The semantics of OWL, based on Description Logic (DL), allows for the use…

Information Theory · Computer Science 2023-09-07 Veronika Heimsbakk , Kristian Torkelsen

We investigate Controlled Query Evaluation (CQE) over ontologies, where information disclosure is regulated by epistemic dependencies (EDs), a family of logical rules recently proposed for the CQE framework. In particular, we combine EDs…

Artificial Intelligence · Computer Science 2025-07-29 Lorenzo Marconi , Flavia Ricci , Riccardo Rosati

Reasoning over OWL 2 is a very expensive task in general, and therefore the W3C identified tractable profiles exhibiting good computational properties. Ontological reasoning for many fragments of OWL 2 can be reduced to the evaluation of…

Artificial Intelligence · Computer Science 2020-03-24 Mario Alviano , Marco Manna

We study the evaluation of ontology-mediated queries (OMQs) on databases of bounded cliquewidth from the viewpoint of parameterized complexity theory. As the ontology language, we consider the description logics $\mathcal{ALC}$ and…

Databases · Computer Science 2022-09-15 Carsten Lutz , Leif Sabellek , Lukas Schulze

We show that, for OWL 2 QL ontology-mediated queries with (i) ontologies of bounded depth and conjunctive queries of bounded treewidth, (ii) ontologies of bounded depth and bounded-leaf tree-shaped conjunctive queries, and (iii) arbitrary…

Logic in Computer Science · Computer Science 2016-04-19 Meghyn Bienvenu , Stanislav Kikot , Roman Kontchakov , Vladimir V. Podolskii , Michael Zakharyaschev

We address the problem of complying with the GDPR while processing and transferring personal data on the web. For this purpose we introduce an extensible profile of OWL2 for representing data protection policies. With this language, a…

Artificial Intelligence · Computer Science 2020-01-20 P. A. Bonatti , L. Ioffredo , I. M. Petrova , L. Sauro

Use case specifications have successfully been used for requirements description. They allow joining, in the same modeling space, the expectations of the stakeholders as well as the needs of the software engineer and analyst involved in the…

Software Engineering · Computer Science 2014-04-04 Rui Couto , António Nestor Ribeiro , José Creissac Campos

The controllability of Large Language Models (LLMs) when used as conversational agents is a key challenge, particularly to ensure predictable and user-personalized responses. This work proposes an ontology-based approach to formally define…

Artificial Intelligence · Computer Science 2025-09-08 Barbara Gendron , Gaël Guibon , Mathieu D'aquin

Ontological queries are evaluated against a knowledge base consisting of an extensional database and an ontology (i.e., a set of logical assertions and constraints which derive new intensional knowledge from the extensional database),…

Databases · Computer Science 2014-05-13 Georg Gottlob , Giorgio Orsi , Andreas Pieris

The W3C Web Ontology Language (OWL) is a powerful knowledge representation formalism at the basis of many semantic-centric applications. Since its unrestricted usage makes reasoning undecidable already in case of very simple tasks,…

Artificial Intelligence · Computer Science 2020-08-06 Alessio Fiorentino , Jessica Zangari , Marco Manna

Nowadays, most companies need to collect, store, and manage personal information in order to deliver their services. Accordingly, privacy has emerged as a key concern for these companies since they need to comply with privacy laws and…

Software Engineering · Computer Science 2018-12-03 Mohamad Gharib , John Mylopoulos

As language models are increasingly deployed as autonomous agents in high-stakes settings, ensuring that they reliably follow user-defined rules has become a critical safety concern. To this end, we study whether language models exhibit…

Machine Learning · Computer Science 2025-08-28 Dylan Sam , Alexander Robey , Andy Zou , Matt Fredrikson , J. Zico Kolter

Ontology-mediated querying and querying in the presence of constraints are two key database problems where tuple-generating dependencies (TGDs) play a central role. In ontology-mediated querying, TGDs can formalize the ontology and thus…

Databases · Computer Science 2020-01-01 Pablo Barcelo , Victor Dalmau , Cristina Feier , Carsten Lutz , Andreas Pieris

Conversational agents based on Large Language Models (LLMs) have recently emerged as powerful tools for human-computer interaction. Nevertheless, their black-box nature implies challenges in predictability and a lack of personalization,…

Computation and Language · Computer Science 2026-04-07 Barbara Gendron , Gaël Guibon , Mathieu d'Aquin

Ontological queries are evaluated against an ontology rather than directly on a database. The evaluation and optimization of such queries is an intriguing new problem for database research. In this paper we discuss two important aspects of…

Databases · Computer Science 2011-12-05 Georg Gottlob , Giorgio Orsi , Andreas Pieris

The ever-increasing amount of data in biomedical research, and in cancer research in particular, needs to be managed to support efficient data access, exchange and integration. Existing software infrastructures, such caGrid, support access…

Artificial Intelligence · Computer Science 2010-12-30 Alejandra Gonzalez-Beltran , Ben Tagger , Anthony Finkelstein

Privacy has been frequently identified as a main concern for system developers while dealing with/managing personal information. Despite this, most existing work on privacy requirements deals with them as a special case of security…

Software Engineering · Computer Science 2016-12-01 Mohamad Gharib , Paolo Giorgini , John Mylopoulos
‹ Prev 1 2 3 10 Next ›