Risultati ricerca pubblicazioni

Controlled Query Evaluation in Description Logics Through Instance Indistinguishability

pubblicato su: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence - 2020

Cima Gianluca, Lembo Domenico, Rosati Riccardo, Fabio Savo Domenico

Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Abstract)

pubblicato su: Proceedings of the Thirty-Third International Workshop on Description Logics - 2020

Cima Gianluca, Lembo Domenico, Rosati Riccardo, Fabio Savo Domenico

A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics

pubblicato su: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018 - 2018

Lembo Domenico, Rosati Riccardo, Savo Domenico Fabio