Automata-Theoretic techniques for modal logics of programs
Journal of Computer and System Sciences
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Attributive concept descriptions with complements
Artificial Intelligence
A propositional modal logic of time intervals
Journal of the ACM (JACM)
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Boosting the correspondence between description logics and propositional dynamic logics
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Time-dependent concepts: representation and reasoning using temporal description logics
Data & Knowledge Engineering
Maintaining knowledge about temporal intervals
Communications of the ACM
Combining Terminological Logics with Tense Logic
EPIA '93 Proceedings of the 6th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Tableaux for Temporal Description Logic with Constant Domains
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Introducing Temporal Description Logics
TIME '99 Proceedings of the Sixth International Workshop on Temporal Representation and Reasoning
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
The design and experimental analysis of algorithms for temporal reasoning
Journal of Artificial Intelligence Research
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
Interval-based temporal reasoning with general TBoxes
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A logical framework for modeling and reasoning about semantic web services contract
Proceedings of the 17th international conference on World Wide Web
Where Temporal Description Logics Fail: Representing Temporally-Changing Relationships
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
A tableau algorithm for description logics with concrete domains and GCIs
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Satisfiability of CTL* with constraints
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Hi-index | 0.00 |
While classical Description Logics (DLs) concentrate on the representation of static conceptual knowledge, recently there is a growing interest in DLs that, additionally, allow to capture the temporal aspects of conceptual knowledge. Such temporal DLs are based either on time points or on time intervals as the temporal primitive. Whereas point-based temporal DLs are well-investigated, this is not the case for interval-based temporal DLs: all known logics either suffer from rather limited expressive power or have undecidable reasoning problems. In particular, there exists no decidable interval-based temporal DL that provides for general TBoxes---one of the most important expressive means in modern description logics. In this paper, for the first time we define an interval-temporal DL that is equipped with general TBoxes and for which reasoning is decidable (and, more precisely, EXPTIME-complete).