Publications

Piero A. Bonatti, Luigi Sauro. Tractable Compliance Checking with Negation. 34th International Workshop on Description Logics (DL 2021), 2021
https://dai.fmph.uniba.sk/events/dl2021/papers/accepted/

Piero A. Bonatti, Luigi Sauro. Sticky Policies in OWL2: Extending PL with Fixpoints and Transitive Closure. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR2022, July 31 – August 5, 2022, Haifa, Israel. To appear
https://kr2022.cs.tu-dortmund.de/accepted_papers.php