Evolving objects in temporal information systems

DOI10.1007/S10472-007-9068-ZMaRDI QIDQ2385447zbMATH OpenOpenAlexFDO

Authors Alessandro Artale, Christine Parent, Stefano Spaccapietra

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

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

Recommendations

• Foundations of Information and Knowledge Systems
• Foundations of Temporal Conceptual Data Models
• Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
• scientific article; zbMATH DE number 1931652
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics

Cites work

• scientific article; zbMATH DE number 1348742 (Why is no real title available?)
• scientific article; zbMATH DE number 1182728 (Why is no real title available?)
• scientific article; zbMATH DE number 1182733 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1931652 (Why is no real title available?)
• A survey of temporal extensions of description logics
• Conceptual Modeling for Traditional and Spatio-Temporal Applications
• Decidable fragments of first-order temporal logics
• Dynamic constraints and object migration
• Many-dimensional modal logics: theory and applications
• Reasoning on UML class diagrams

Cited in

(10)

• A two-level temporal logic for evolving specifications.
• DL-Lite with temporalised concepts, rigid axioms and roles
• scientific article; zbMATH DE number 1951552 (Why is no real title available?)
• Modularity in Databases
• Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
• scientific article; zbMATH DE number 2080622 (Why is no real title available?)
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics
• Foundations of Temporal Conceptual Data Models
• Foundations of Information and Knowledge Systems
• scientific article; zbMATH DE number 1738702 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2385447)