Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models-Reference-Cited by-同舟云学术

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models

Published:2011 Issue: Volume: Page:1-11
ISSN:0302-9743
Container-title:Frontiers of Combining Systems
language:
Short-container-title:

Author:

Artale Alessandro,Kontchakov Roman,Ryzhikov Vladislav,Zakharyaschev Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-24364-6_1

Reference31 articles.

1. Lecture Notes in Computer Science;A. Artale,2007

2. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: DL-Lite in the light of first-order logic. In: Proc. of the 22nd Nat. Conf. on Artificial Intelligence (AAAI 2007), pp. 361–366 (2007)

3. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. of Artificial Intelligence Research 36, 1–69 (2009)

4. Lecture Notes in Computer Science;A. Artale,2003

5. Artale, A., Kontchakov, R., Lutz, C., Wolter, F., Zakharyaschev, M.: Temporalising tractable description logics. In: 14th Int. Symposium on Temporal Representation and Reasoning (TIME 2007). IEEE Computer Society, Los Alamitos (2007)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Managing Change in Graph-Structured Data Using Description Logics;ACM Transactions on Computational Logic;2017-10-31

2. Spatiotemporal Reasoning for Complex Video Event Recognition in Content-Based Video Retrieval;Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2017;2017-08-31

3. Interplay Between In-Plane and Out-of-Plane Resonances of Heptamer Oligomer Nanoapertures;Journal of Lightwave Technology;2017-01-15

4. The Performance of TimeER Model by Description Logics;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2016

5. Complexity of Branching Temporal Description Logics;FRONT ARTIF INTEL AP;2012