description logic

【文件属性】：
文件名称：description logic
文件大小：3.5MB
文件格式：RAR
更新时间：2013-06-08 08:53:44
description logic ontology 描述逻辑(DescriptionLogic)是基于对象的知识表示的形式化，它吸取了KL-ONE的主要思想，是一阶谓词逻辑的一个可判定子集

【文件预览】：
dlHandbook
----dlhb-12.pdf(128KB)
----dlhb-06.pdf(326KB)
----dlhb-13.pdf(181KB)
----dlhb-16.pdf(227KB)
----dlhb-appendix.pdf(162KB)
----dlhb-contents.pdf(73KB)
----dlhb-03.pdf(339KB)
----dlhb-07.pdf(165KB)
----dlhb-05.pdf(340KB)
----dlhb-09.pdf(332KB)
----dlhb-01.pdf(220KB)
----dlhb-10.pdf(184KB)
----dlhb-11.pdf(154KB)
----dlhb-15.pdf(114KB)
----dlhb-04.pdf(369KB)
----dlhb-14.pdf(230KB)
----dlhb-index.pdf(138KB)
----封面.pdf(101KB)
----dlhb-02.pdf(369KB)
----dlhb-08.pdf(185KB)