Evolving objects in temporal information systems

DOI10.1007/s10472-007-9068-zzbMath1129.68094OpenAlexW2115596535MaRDI QIDQ2385447

Stefano Spaccapietra, Alessandro Artale, Christine Parent

Publication date: 12 October 2007

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://infoscience.epfl.ch/record/105048/files/amai-submission-07.pdf

zbMATH Keywords

Description logicsTemporal data models

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Temporal logic (03B44)

Related Items (5)

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ Modularity in Databases ⋮ Foundations of Temporal Conceptual Data Models ⋮ DL-Lite with Temporalised Concepts, Rigid Axioms and Roles

Cites Work

• Dynamic constraints and object migration
• Many-dimensional modal logics: theory and applications
• Decidable fragments of first-order temporal logics
• A survey of temporal extensions of description logics
• Reasoning on UML class diagrams
• Conceptual Modeling for Traditional and Spatio-Temporal Applications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Evolving objects in temporal information systems