Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider P. F., The Description Logic Handbook: Theory, Implementation and Applications, pp. 555, Cambridge University Press, 2003

Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider P. F., The Description Logic Handbook: Theory, Implementation and Applications, pp. 555, Cambridge University Press, 2003 [in Japanese]

Journal of Japanese Society for Artificial Intelligence [List of Volumes]

Journal of Japanese Society for Artificial Intelligence 22(3), 453-454, 2007-05-01 [Table of Contents]

The Japanese Society for Artificial Intelligence