ABSTRACT We present an excursus on the use of (temporal) knowledge representation formalisms for reasoning over Ontologies. In particular, we present Description Logics (DLs) and show that DLs are able to capture Conceptual Models and thus to reason over them. Then we present the linear temporal logic LTL and show a logic that combines LTL and DL able to combine the structural expressivity of DLs with the dynamic aspect of LTL. We provide evidences that Temporal DLs are able to capture the dynamic aspects of Ontologies. The availability of Ontologies is of importance in several application contexts that rely on huge amounts of data with complex interrelationships, e.g., in Data Integration, Data Exchange, the Semantic Web. In these scenarios, the fundamental inference task is querying the data using an SQL-like query language, while fully taking into account the semantics of the ontology, what is called Ontology-Based Data Access (OBDA). OBDA is more challenging under the assumption that both the Data and the Ontology have a temporal dimension. We thus show that query languages based on the linear temporal logic LTL can used to access temporal data under temporal Ontologies. We discuss results on the data complexity of answering temporal ontology-mediated queries and their rewritability into standard first-order queries. SHORT BIO Alessandro Artale is an Associate Professor in the Faculty of Engineering at the Free University of Bozen-Bolzano. His research interests include knowledge representation and, in particular, temporal logics and description logics, ontology languages and the semantic web, extentions of the ontology-based data access paradigm with a temporal dimension, reasoning over conceptual data models including their dynamic behaviour, and recently got interested in modelling and reasoning over business process models.
He got a PhD in Computer Science from the University of Florence in 1994. He published more than 100 papers in top international journals (including AIJ, IEEE TKDE, JAIR and the ACM Transactions on Computational Logic) and conferences (including the top renowned AAAI, IJCAI, KR, ISWC) as well as book chapters. He acted as both Chair and PC member in the most prestigious international conferences, and as editor of both proceedings and journals. He is currently associate editor of JAIR, the Journal of Artificial Intelligence Research. His research has been funded by both European and National funds. https://univr.zoom.us/j/81192491395?pwd=RS9Pc3kwK1B3UU1YTHlnYUJLVDU3UT09
Referente: Alessandro Farinelli
CSS e script comuni siti DOL - frase 9957