Service Specification and Matchmaking Using Description Logic
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Query Answering in Description Logics: The Knots Approach
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
TOQL: Temporal Ontology Querying Language
SSTD '09 Proceedings of the 11th International Symposium on Advances in Spatial and Temporal Databases
DL-Lite with temporalised concepts, rigid axioms and roles
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Runtime verification using a temporal description logic
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
SOWL: spatio-temporal representation, reasoning and querying over the semantic web
Proceedings of the 6th International Conference on Semantic Systems
Verifying Properties of Infinite Sequences of Description Logic Actions
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Dependencies between ontology design parameters
International Journal of Metadata, Semantics and Ontologies
ALCALC: a context description logic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Complexity of reasoning over temporal data models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Specialization and validation of statecharts in OWL
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Interpolation theorems for some extended description logics
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
Tailoring temporal description logics for reasoning over temporal conceptual models
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Conjunctive query answering in the description logic SH using knots
Journal of Computer and System Sciences
Representing and querying validity time in RDF and OWL: A logic-based approach
Web Semantics: Science, Services and Agents on the World Wide Web
A logical approach to data-aware automated sequence generation
Transactions on Computational Science XV
Fixpoints in temporal description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
LTL over description logic axioms
ACM Transactions on Computational Logic (TOCL)
Towards a unifying approach to representing and querying temporal data in description logics
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
Temporal deontic action logic for the verification of compliance to norms in ASP
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Temporal description logic for ontology-based data access
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfiability problem and algorithms for deciding it.