|
以文本方式查看主题 - 计算机科学论坛 (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=41425) |
|
-- 作者：flyingFang -- 发布时间：12/20/2006 2:48:00 PM -- 请教：一阶逻辑比描述逻辑表达能力强么？ 大家好，昨天看一片文章，提到"While very similiar to ours, these approaches tend to be more constricted, depending on fixed global ontologies such as CYC or LOOMS or a less expressive logic such as Description Logic or Datalog." 他的文章用的是Web-PDDL，文中说是一种一阶逻辑语言。按他文中的意思，一阶逻辑比描述逻辑表达能力强，是么？ 文章是： |
|
-- 作者：wumingrock -- 发布时间：12/20/2006 4:08:00 PM -- 描述逻辑是一阶逻辑的一个可判定子集，表达能力方面当然是一阶逻辑强于描述逻辑。 |
|
-- 作者：superc_7 -- 发布时间：12/21/2006 9:41:00 AM -- “a less expressive logic such as Description Logic”意思不就是“表示能力稍弱的描述逻辑” |
|
-- 作者：goodhero -- 发布时间：12/21/2006 9:56:00 AM -- 这篇文章有较多可借鉴的地方，看了好几遍了。dl是FOL的可判定子集 |
|
-- 作者：flyingFang -- 发布时间：12/21/2006 5:12:00 PM -- 谢谢大家的回答。 那句英文我懂，就是因为知识的欠缺，才不知道两个逻辑是什么关系，谢谢。 另外： (1)“可判定子集”， 是什么意思？ 论坛的描述逻辑手册上有解释么？ |
|
-- 作者：superc_7 -- 发布时间：12/21/2006 5:46:00 PM -- 1、"可判定子集"意思就是首先DL是FOL的子集，第二它是可判定的，就是任何计算都会在有限时间内完成； 2、本体其实上是早于SW提出来的，SW只是利用了本体这个层次，而本体其他方面的应用还有很多，而且从现阶段来看比SW更有实际意义；SW也不光是本体，，XML、RDF都很有用。SW和本体其实是相互促进的作用，没有SW的提出以及欧洲对于SW大力支持，本体也许现在还只是学术圈的东西；而本体使得SW所设想的一切能够实现。一般看SW的人都会花点时间研究本体，反之亦然
|
|
-- 作者：flyingFang -- 发布时间：12/31/2006 5:07:00 PM -- superc_7 谢谢您的回答 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
66.406ms |
