Reasoning over (Temporal) Ontologies

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