以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  描述逻辑与一阶逻辑的关系?  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=92878)


--  作者:marylogic
--  发布时间:7/24/2011 8:56:00 PM

--  描述逻辑与一阶逻辑的关系?

求以下问题详解:
1.为什么说描述逻辑是一阶逻辑的子集?
2.描述逻辑与一阶逻辑相比,它的优缺点在哪?
谢了!
--  作者:admin
--  发布时间:7/24/2011 9:41:00 PM

--  
这里已有解答:http://bbs.w3china.org/dispbbs.asp?boardID=2&ID=72258


W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
31.250ms