-
1
-
-
33845191560
-
Basic description logic
-
Baader F. (ed.), Cambridge: Cambridge University Press
-
F Baader, W Nutt. Basic description logic [G]. In: F Baader, et al, eds. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2003. 47-100
-
(2003)
The Description Logic Handbook: Theory, Implementation and Applications
, pp. 47-100
-
-
Baader, F.1
Nutt, W.2
-
2
-
-
33750901275
-
A distributed dynamic description logic
-
Chinese source
-
Jiang Yuncheng, Shi Zhongzhi, Tang Yong, et at. A distributed dynamic description logic [J]. Journal of Computer Research and Development, 2006, 43(9): 1603-1608 (in Chinese)
-
(2006)
Journal of Computer Research and Development
, vol.43
, Issue.9
, pp. 1603-1608
-
-
Jiang, Y.1
Shi, Z.2
Tang, Y.3
-
4
-
-
33644962472
-
Description logic for data bases
-
Baader F. (ed.), Cambridge: Cambridge University Press
-
A Borgida, M Lenzerini. Description logic for data bases [G]. In: F Baader, et al, eds. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2003. 472-494
-
(2003)
The Description Logic Handbook: Theory, Implementation and Applications
, pp. 472-494
-
-
Borgida, A.1
Lenzerini, M.2
-
5
-
-
0000228920
-
Unifying class-based representation formalisms
-
D Calvanese, M Lenzerini, D Nardi. Unifying class-based representation formalisms [J]. Journal of Artificial Intelligence Research, 1999, 11(2): 199-240
-
(1999)
Journal of Artificial Intelligence Research
, vol.11
, Issue.2
, pp. 199-240
-
-
Calvanese, D.1
Lenzerini, M.2
Nardi, D.3
-
6
-
-
0005505910
-
Reasoning in expressive description logics
-
Robinson A. (ed.), Milan: Elsevier Science Publishers
-
D Calvanese, G D Giacomo, D Nardi, et al. Reasoning in expressive description logics [G]. In: A Robinson, et al, eds. Handbook of Automated Reasoning. Milan: Elsevier Science Publishers, 2001. 1581-1634
-
(2001)
Handbook of Automated Reasoning
, pp. 1581-1634
-
-
Calvanese, D.1
Giacomo, G.D.2
Nardi, D.3
-
7
-
-
0347609416
-
Reasoning about entity relationship diagrams with complex attribute dependencies
-
Horrocks I. (ed.), Aachen, Germany: CEUR-WS.org Publishers
-
C Lutz. Reasoning about entity relationship diagrams with complex attribute dependencies [C]. In: I Horrocks, et al, eds. Proc of the 2002 Int'l Workshop on Description Logics. Aachen, Germany: CEUR-WS.org Publishers, 2002. 185-194
-
(2002)
Proc of the 2002 Int'l Workshop on Description Logics
, pp. 185-194
-
-
Lutz, C.1
-
8
-
-
33644959452
-
Fuzzy ER modeling with description logics
-
Chinese source
-
Jiang Yuncheng, Tang Yong, Wang Ju. Fuzzy ER modeling with description logics [J]. Journal of Software, 2006, 17(1): 20-30 (in Chinese)
-
(2006)
Journal of Software
, vol.17
, Issue.1
, pp. 20-30
-
-
Jiang, Y.1
Tang, Y.2
Wang, J.3
-
9
-
-
0030124443
-
Describing database objects in a concept language environment
-
A Artale, F Cesarini, G Soda. Describing database objects in a concept language environment [J]. IEEE Trans on Knowledge and Data Engineering, 1996, 8(2): 345-351
-
(1996)
IEEE Trans on Knowledge and Data Engineering
, vol.8
, Issue.2
, pp. 345-351
-
-
Artale, A.1
Cesarini, F.2
Soda, G.3
-
10
-
-
5644276880
-
Description logics for modeling dynamic information
-
Chomicki J. (ed.), Berlin: Springer-Verlag
-
A Artale, E Franconi, F Mandreoli. Description logics for modeling dynamic information [G]. In: J Chomicki, et al, eds. Logics for Emerging Applications of Databases. Berlin: Springer-Verlag, 2003. 239-275
-
(2003)
Logics for Emerging Applications of Databases
, pp. 239-275
-
-
Artale, A.1
Franconi, E.2
Mandreoli, F.3
-
11
-
-
84947941510
-
Temporal ER modeling with description logics
-
Akoka J. (ed.), Berlin: Springer-Verlag
-
A Artale, E Franconi. Temporal ER modeling with description logics [G]. In: J Akoka, et al, eds. Proc of the 18th Int'l Conf on Conceptual Modeling, LNCS 1728. Berlin: Springer-Verlag, 1999. 81-95
-
(1999)
Proc of the 18th Int'l Conf on Conceptual Modeling, LNCS 1728
, pp. 81-95
-
-
Artale, A.1
Franconi, E.2
-
12
-
-
27344450836
-
Keys, nominals, and concrete domains
-
C Lutz, C Areces, I Horrocks, et al.. Keys, nominals, and concrete domains [J]. Journal of Artificial Intelligence Research, 2005, 23(1): 667-726
-
(2005)
Journal of Artificial Intelligence Research
, vol.23
, Issue.1
, pp. 667-726
-
-
Lutz, C.1
Areces, C.2
Horrocks, I.3
-
14
-
-
33745733182
-
-
Beijing: Peking University Press, Chinese source
-
Tang Yong. Introduction to Temporal Database [M]. Beijing: Peking University Press, 2004 (in Chinese)
-
(2004)
Introduction to Temporal Database
-
-
Tang, Y.1
|