以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  描述逻辑里什么样的语言允许cyclic definition?  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=70442)

--  作者：Leon.Essence
--  发布时间：12/14/2008 2:48:00 PM

--  描述逻辑里什么样的语言允许cyclic definition?
我想问一下，在DL语言家族里面什么样的语言是允许cyclic definition的，比如说允许出现下面的情况
BinaryTree \subclass Tree \join \forall has-branch.BinaryTree
我特别关心的两个语言是
RDFS
EL++

由于没有在DL的语言家族里面发现特别的说明，比如说EL++的语法和语义定义表里面也没有特别提到cyclic definition的情况，所以我怀疑是不是所有的DL语言都允许cyclic definition，请大家指点一下，谢谢！

另外，如果所有DL语言家族都允许cyclic definition的话，我还有一个问题：
我发现目前一些比较有名的ontology，好像都没有使用cyclic definition（不是很确定），比如说SUMO，NCI和GO等，是没有必要使用，还是使用cyclic definition会引起推理复杂度的增大，还是其他的原因呢？

多谢！

--  作者：boywaiter
--  发布时间：12/14/2008 4:04:00 PM

--  
试着回答一下
以下是引用Leon.Essence在2008-12-14 14:48:00的发言：
我想问一下，在DL语言家族里面什么样的语言是允许cyclic definition的，比如说允许出现下面的情况
BinaryTree \subclass Tree \join \forall has-branch.BinaryTree
我特别关心的两个语言是
RDFS
EL++

由于没有在DL的语言家族里面发现特别的说明，比如说EL++的语法和语义定义表里面也没有特别提到cyclic definition的情况，所以我怀疑是不是所有的DL语言都允许cyclic definition，请大家指点一下，谢谢！

另外，如果所有DL语言家族都允许cyclic definition的话，我还有一个问题：
我发现目前一些比较有名的ontology，好像都没有使用cyclic definition（不是很确定），比如说SUMO，NCI和GO等，是没有必要使用，还是使用cyclic definition会引起推理复杂度的增大，还是其他的原因呢？

多谢！




语言族只是规定语言的构件，例如合取析取等。而ABox的断言没有声明循环的能力，循环指的是TBox中的公理，公理的右端直接或间接地出现左端的概念。在DL handbook第二章讲得很清楚。

第二个问题不知道。

--  作者：wanggou
--  发布时间：12/15/2008 2:47:00 PM

--  
带环的定义，最大的问题就是有二义性，这个不是个好解决的问题
--  作者：Leon.Essence
--  发布时间：12/16/2008 10:00:00 PM

--  
多谢两位的回答，我的问题是DL语言家族中的哪些语言支持cyclic definition呢，哪些不支持呢？
--  作者：littlekitten
--  发布时间：2/22/2009 7:52:00 PM

--  
cyclic definition在life ontologies中有, 可以看看Baader的工作.
cyclic definition的推理算法很复杂, 不能用传统DL的推理算法.
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 7,636.719ms