Evolving objects in temporal information systems
DOI10.1007/S10472-007-9068-ZzbMATH Open1129.68094OpenAlexW2115596535MaRDI QIDQ2385447FDOQ2385447
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
Recommendations
Knowledge representation (68T30) Database theory (68P15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Temporal logic (03B44)
Cites Work
- Many-dimensional modal logics: theory and applications
- Title not available (Why is that?)
- Decidable fragments of first-order temporal logics
- Title not available (Why is that?)
- Reasoning on UML class diagrams
- Title not available (Why is that?)
- A survey of temporal extensions of description logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dynamic constraints and object migration
- Conceptual Modeling for Traditional and Spatio-Temporal Applications
Cited In (10)
- A two-level temporal logic for evolving specifications.
- Title not available (Why is that?)
- Modularity in Databases
- Title not available (Why is that?)
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics
- Foundations of Temporal Conceptual Data Models
- DL-Lite with Temporalised Concepts, Rigid Axioms and Roles
- Foundations of Information and Knowledge Systems
- Title not available (Why is that?)
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)