Automata-Theoretic techniques for modal logics of programs
Journal of Computer and System Sciences
Modeling time from a conceptual perspective
Proceedings of the seventh international conference on Information and knowledge management
Description logics for conceptual data modeling
Logics for databases and information systems
Modal description logics: modalizing roles
Fundamenta Informaticae
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints
TIME '04 Proceedings of the 11th International Symposium on Temporal Representation and Reasoning
Evolving objects in temporal information systems
Annals of Mathematics and Artificial Intelligence
Foundations of Temporal Conceptual Data Models
Conceptual Modeling: Foundations and Applications
DL-Lite with temporalised concepts, rigid axioms and roles
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
ALCALC: a context description logic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Logical formalization of multimedia interpretation
Knowledge-driven multimedia information extraction and ontology evolution
LTL over description logic axioms
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |
We combine the modal logic S5 with the description logic (DL) ALCQI. The resulting multi-dimensional DL S5ALCQI supports reasoning about change by allowing to express that concepts and roles change over time. It cannot, however, discriminate between changes in the past and in the future. Our main technical result is that satisfiability of S5ALCQI concepts with respect to general TBoxes (including GCIs) is decidable and 2-EXPTIME-complete. In contrast, reasoning in temporal DLs that are able to discriminate between past and future is inherently undecidable. We argue that our logic is sufficient for reasoning about temporal conceptual models with time-stamping constraints.