Search Results for author: Alessandro Artale

Found 6 papers, 0 papers with code

Automated Reasoning in Temporal DL-Lite

no code implementations17 Aug 2020 Sabiha Tahrat, German Braun, Alessandro Artale, Marco Gario, Ana Ozaki

This paper investigates the feasibility of automated reasoning over temporal DL-Lite (TDL-Lite) knowledge bases (KBs).

Translation

A Decidable Very Expressive Description Logic for Databases (Extended Version)

no code implementations25 Jul 2017 Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli

We introduce $\mathcal{DLR}^+$, an extension of the n-ary propositionally closed description logic $\mathcal{DLR}$ to deal with attribute-labelled tuples (generalising the positional notation), projections of relations, and global and local objectification of relations, able to express inclusion, functional, key, and external uniqueness dependencies.

Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version)

no code implementations4 Apr 2016 Alessandro Artale, Enrico Franconi

We introduce an extension of the n-ary description logic DLR to deal with attribute-labelled tuples (generalising the positional notation), with arbitrary projections of relations (inclusion dependencies), generic functional dependencies and with global and local objectification (reifying relations or their projections).

The DL-Lite Family and Relations

no code implementations15 Jan 2014 Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev

The recently introduced series of description logics under the common moniker DL-Lite has attracted attention of the description logic and semantic web communities due to the low computational complexity of inference, on the one hand, and the ability to represent conceptual modeling formalisms, on the other.

Temporal Description Logic for Ontology-Based Data Access (Extended Version)

no code implementations18 Apr 2013 Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev

Our aim is to investigate ontology-based data access over temporal data with validity time and ontologies capable of temporal conceptual modelling.

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

no code implementations25 Sep 2012 Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev

We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity.

Cannot find the paper you are looking for? You can Submit a new open access paper.