Sciweavers

480 search results - page 3 / 96
» Introducing Temporal Description Logics
Sort
View
AAAI
2010
13 years 8 months ago
Past and Future of DL-Lite
We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
FROCOS
2011
Springer
12 years 6 months ago
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
SEBD
2001
145views Database» more  SEBD 2001»
13 years 8 months ago
Reasoning over Conceptual Schemas and Queries in Temporal Databases
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
Alessandro Artale, Enrico Franconi, Milenko Mosuro...
JAIR
1998
163views more  JAIR 1998»
13 years 6 months ago
A Temporal Description Logic for Reasoning about Actions and Plans
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
Alessandro Artale, Enrico Franconi
FROCOS
2009
Springer
14 years 1 months ago
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles
We investigate the temporal extension of the description logic DL-Lite(RN ) bool with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...