Pubblicazioni

Indistinguishability in controlled query evaluation over prioritized description logic ontologies

2025 - JOURNAL OF WEB SEMANTICS

Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio

Controlled Query Evaluation in Description Logic Ontologies

2025 - Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic. 19th International Summer School 2023 Oslo, Norway, September 21â24, 2023, Tutorial Lectures

Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio

A Gentle Introduction to Controlled Query Evaluation in DL-Lite Ontologies

2024 - SN COMPUTER SCIENCE

Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio

Controlled query evaluation in description logics through consistent query answering

2024 - ARTIFICIAL INTELLIGENCE

Cima, G.; Lembo, D.; Rosati, R.; Savo, D. F.

Controlled Query Evaluation in DL-Lite through Epistemic Protection Policies (Extended Abstract)

2024 - Proceedings of the 37th International Workshop on Description Logics (DL 2024)

Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio

Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract)

2023 - Proceedings of the 36th International Workshop on Description Logics (DL 2023)

Bonatti, Piero; Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Sauro, Luigi; Fabio Savo, Domenico

Controlled Query Evaluation in OWL 2 QL: A "Longest Honeymoon" Approach

2022 - The Semantic Web â ISWC 2022

Bonatti, Piero; Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Sauro, Luigi; Savo, Domenico Fabio

Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2.

2022 - FUTURE INTERNET

Lembo, Domenico; Santarelli, Valerio; Savo, Domenico Fabio; DE GIACOMO, Giuseppe

Intensional and Extensional Views in DL-Lite Ontologies

2021 - IJCAI

Console, Marco; De Giacomo, Giuseppe; Lenzerini, Maurizio; Namici, Manuel

Controlled Query Evaluation over Prioritized Ontologies with Expressive Data Protection Policies

2021 - The Semantic Web â ISWC 2021

Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Fabio Savo, Domenico

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting

2021 - THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH

De Giacomo, Giuseppe; Oriol, Xavier; Rosati, Riccardo; Savo, Domenico Fabio

Controlled Query Evaluation over Ontologies through Policies with Numerical Restrictions

2021 - 2021 IEEE Fourth International Conference on Artificial Intelligence and Knowledge Engineering (AIKE)

Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio; Sinibaldi, Daniele

On-the-fly Synthesis for LTL over Finite Traces

2021 - AAAI2021

Xiao, Shengping; Li, Jianwen; Zhu, Shufang; Shi, Yingying; Pu, Geguang; Vardi, Moshe Y.

Non-Monotonic Ontology-based Abstractions of Data Services

2020 - Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning

Cima, Gianluca; Lenzerini, Maurizio; Poggi, Antonella

Extending DL-LiteR TBoxes with view definitions

2020 - CEUR Workshop Proceedings

Namici, M.; de Giacomo, G.; Lenzerini, M.

Epistemic Integrity Constraints for Ontology-Based Data Management

2020 - The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020

Console, Marco; Lenzerini, Maurizio

Ontology-based Document Spanning Systems for Information Extraction

2020 - INTERNATIONAL JOURNAL OF SEMANTIC COMPUTING

Lembo, Domenico; Scafoglieri, Federico

Ontology Mediated Information Extraction in Financial Domain with Mastro System-T

2020 - Proceedings of the Sixth International Workshop on Data Science for Macro-Modeling

Lembo, Domenico; Li, Yunyao; Popa, Lucian; Scafoglieri, Federico

A Formal Framework for Coupling Document Spanners with Ontologies

2019 - 2019 IEEE Second International Conference on Artificial Intelligence and Knowledge Engineering (AIKE)

Lembo, Domenico; Scafoglieri, Federico

A framework for explaining query answers in dl-lite

2018 - Knowledge Engineering and Knowledge Management

Croce, F.; Lenzerini, M.

On the undecidability of the situation calculus extended with description logic ontologies

2015 - Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015

Calvanese, Diego; DE GIACOMO, Giuseppe; Soutchanski, Mikhail

Adding DL-Lite TBoxes to Proper Knowledge Bases

2015 - The Semantic Web - ISWC 2015

DE GIACOMO, Giuseppe; Levesque, Hector J.

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis

2015 - Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015

Calvanese, Diego; Montali, Marco; Patrizi, Fabio; DE GIACOMO, Giuseppe