Computer Science ›› 2014, Vol. 41 ›› Issue (3): 205-211.
Previous Articles Next Articles
LI Shen,CHANG Liang,MENG Yu and LI Feng-ying
[1] Baader F,Calvanese D,McGuinness D,et al.The Description Logic Handbook:Theory,Implementation and Applications [M].Cambridge:Cambridge University Press,2002 [2] Artale A,Franconi E.A survey of temporal extensions of description logics [J].Annals of Mathematics and Artificial Intelligence,2000,30(1-4):171-210 [3] Lutz C,Wolter F,Zakharyaschev M.Temporal description logics:a survey [C]∥ Demri S,Jensen C S,eds.Proceedings of the 15th International Symposium on Temporal Representation and Reasoning.IEEE Computer Society Press,2008:3-14 [4] Baader F,Ghilardi S,Lutz C.LTL over description logic axioms [C]∥ Brewka G,Lang J,eds.Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning.Cambridge:AAAI Press,2008:684-694 [5] Huang Z,Stuckenschmidt H.Reasoning with Multiversion On-tologies:A Temporal Logic Approach [C]∥Gil Y,Motta E,eds.Proceedings of the 4th International Semantic Web Conference.Lecture Notes in Computer Science,2005,3729:398-412 |
No related articles found! |
|