以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  Tableau搜索的问题  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=29210)


--  作者:baojie
--  发布时间:3/24/2006 4:16:00 PM

--  Tableau搜索的问题
在非确定Tableau扩展的时候(比如union-rule),要在几种不同的可能中进行选择。经典的做法是进行depth-first search,以降低空间复杂性。有没有其他的方法哪?
--  作者:wason21cn
--  发布时间:3/24/2006 4:40:00 PM

--  
guess the correct branch
--  作者:baojie
--  发布时间:3/24/2006 4:50:00 PM

--  
这个东西是不是horrocks提出来的?有没有理论复杂性结果?
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
31.250ms