Search filters

List of works by Alessandro Artale

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

scientific article published on 25 July 2014

A Decidable Very Expressive Description Logic for Databases

scientific article published at ISWC 2017

Complexity of Reasoning over Temporal Data Models

scientific article published in 2010

DL-Lite with Temporalised Concepts, Rigid Axioms and Roles

scientific article published in 2009

Full Satisfiability of UML Class Diagrams

Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case

article by Maria Amalfi et al published 2011 in Lecture Notes in Computer Science

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models

scientific article published in 2011

The Complexity of Clausal Fragments of LTL

scientific article published in 2013

Paulina is supported by:

About Paulina

Help