Picture for Alessandro Artale

Alessandro Artale

Automated Reasoning in Temporal DL-Lite

Add code
Aug 17, 2020
Figure 1 for Automated Reasoning in Temporal DL-Lite
Figure 2 for Automated Reasoning in Temporal DL-Lite
Figure 3 for Automated Reasoning in Temporal DL-Lite
Figure 4 for Automated Reasoning in Temporal DL-Lite
Viaarxiv icon

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

Add code
Jul 25, 2017
Figure 1 for A Decidable Very Expressive Description Logic for Databases (Extended Version)
Figure 2 for A Decidable Very Expressive Description Logic for Databases (Extended Version)
Figure 3 for A Decidable Very Expressive Description Logic for Databases (Extended Version)
Figure 4 for A Decidable Very Expressive Description Logic for Databases (Extended Version)
Viaarxiv icon

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

Add code
Apr 04, 2016
Figure 1 for Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version)
Figure 2 for Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version)
Figure 3 for Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version)
Viaarxiv icon

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

Add code
May 02, 2014
Figure 1 for A Cookbook for Temporal Conceptual Data Modelling with Description Logics
Figure 2 for A Cookbook for Temporal Conceptual Data Modelling with Description Logics
Figure 3 for A Cookbook for Temporal Conceptual Data Modelling with Description Logics
Figure 4 for A Cookbook for Temporal Conceptual Data Modelling with Description Logics
Viaarxiv icon

The DL-Lite Family and Relations

Add code
Jan 15, 2014
Figure 1 for The DL-Lite Family and Relations
Figure 2 for The DL-Lite Family and Relations
Figure 3 for The DL-Lite Family and Relations
Figure 4 for The DL-Lite Family and Relations
Viaarxiv icon

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

Add code
Apr 30, 2013
Viaarxiv icon