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

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人人工知能学会の論文
• 2007-05-01

著者

• 兼岩 憲

  独立行政法人 情報通信研究機構

関連論文

• 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
• An Order-Sorted Logic with Predicate-Hierarchy, Eventuality and Implicit Negation (Knowledge Management)(Special Issue:Doctorial Theses on Aritifical Intelligence)
• RDFとRDFスキーマの推論
• RDFとRDFスキーマの推論

スポンサーリンク