以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  TBOX可满足性算法和ABOX可满足性算法是一样的吗?  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=24141)

--  作者：windbird
--  发布时间：11/11/2005 2:12:00 AM

--  TBOX可满足性算法和ABOX可满足性算法是一样的吗?
如题.两者的区别何在?
--  作者：kolapig
--  发布时间：11/11/2005 2:55:00 AM

--  
能具体一点问什么吗
--  作者：windbird
--  发布时间：11/11/2005 8:29:00 AM

--  
因为看到分布式描述逻辑DDL中只支持无球TBOX推理,但是不支持带实例的推理,不知道根本原因何在.
--  作者：kolapig
--  发布时间：11/13/2005 7:38:00 AM

--  
因为现在对TBox的支持已经很好了，但是对于ABox则不好，至于ABox的推理研究到什么程度，我也不是很清楚。
--  作者：gqi
--  发布时间：12/15/2005 10:39:00 PM

--  
As for as I know, in SHOIQ and SHOQ, the reasoning of Tbox is equivalent to that of Abox. See this paper:

Andrea Schaerf: Reasoning with individuals in concept languages, Data and Knoweldge Engineering, vol. 13(2): 141-176, 1994.

You can also find some interesting results in Chapter 2 of Description logic Handbook

--  作者：jpz6311whu
--  发布时间：12/15/2005 11:03:00 PM

--  
以下是引用gqi在2005-12-15 22:39:00的发言：
As for as I know, in SHOIQ and SHOQ, the reasoning of Tbox is equivalent to that of Abox. See this paper:

Andrea Schaerf: Reasoning with individuals in concept languages, Data and Knoweldge Engineering, vol. 13(2): 141-176, 1994.

You can also find some interesting results in Chapter 2 of Description logic Handbook



what are  SHOIQ and SHOQ? Could you tell us the full name?
Thanks in advance!
--  作者：gqi
--  发布时间：12/16/2005 5:09:00 PM

--  
I refer you to the following paper:

Ian Horrocks. Practical reasoning for very expressive description logics, Journal of IGPL 2001

You can download it from Ian's homepage-publications

--  作者：baojie
--  发布时间：3/30/2006 12:36:00 PM

--  
以下是引用windbird在2005-11-11 8:29:00的发言：
因为看到分布式描述逻辑DDL中只支持无球TBOX推理,但是不支持带实例的推理,不知道根本原因何在.

最近的DDL推理已经支持ABox了。不过DDL推理算法能处理的问题非常有限，不是很看好

@inproceedings{DBLP:conf/swap/ST06,
author    = {Luciano Serafini and Andrei Tamilin},
title     = {Distributed Instance Retrieval in Heterogeneous Ontologies},
booktitle = {Proceedings of SWAP 2005, CEUR Workshop Vol 166},
year      = {2005},
}

--  作者：baojie
--  发布时间：3/30/2006 12:43:00 PM

--  
以下是引用windbird在2005-11-11 2:12:00的发言：
如题.两者的区别何在?

可以通过Interlisation技术把包含TBox的推理转化为没有TBox的推理，具体看Tableau算法的教程

http://lat.inf.tu-dresden.de/~clu/esslli.html
http://www.cs.man.ac.uk/%7Ehorrocks/Teaching/cs646/

--  作者：iamwym
--  发布时间：3/30/2006 4:41:00 PM

--  
ddl算法上存在问题不说，实现起来也很难，至少没有reasoner支持的，目前来说。
汗baojie贴bibtex...
把abox转tbox的算法慢得要死，基本上不可用。
--  作者：wason21cn
--  发布时间：3/31/2006 6:17:00 AM

--  
求Tbox和Abox满足性的算法（tableau算法）思想都是一样的，根据语义构造出一个model，不同之处是怎么使算法的复杂度降到最佳。
--  作者：superc_7
--  发布时间：3/31/2006 12:15:00 PM

--  
ABox的可满足性？
lz说的是ABox的consistent check吗
在ALC语言中，或者任何提供任意概念取反这个构造子的描述语言中
TBox中概念的可满足性都可以转化为ABox的consistent check
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 78.125ms