Dr. Loris Bozzato

Dr. Loris Bozzato (https://dkm.fbk.eu/people/profile/bozzato) is a researcher at the Data and Knowledge Management (DKM) research unit of Fondazione Bruno Kessler (FBK).
He received his PhD in Computer Science at Università degli Studi dell’Insubria of Varese in 2011 with the thesis “Kripke semantics and tableau procedures for constructive description logics”.

His research activity in DKM mainly focuses on the description logic theoretical foundations of the Contextualized Knowledge Repositories (CKR) framework and its extensions. His research interests are in the area of Knowledge Representation and Computational Logic and include context representation, defeasible reasoning, tableaux algorithms and constructive semantics for description logics.