中文XML论坛 - 专业的XML技术讨论区--显示贴子

以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (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=73274)

--  作者：wuyou205
--  发布时间：3/19/2009 10:39:00 AM

--  诚心地问几个描述逻辑中可满足性概念区别问题
说来惭愧，学习描述逻辑一段时间了，一些概念越来越分不清楚，论文越读越糊涂。请朋友们帮忙解释下几个英文文献中常出现表述，小虾不胜感激！
1.  Testing the satisfiability of a concept
                2.  Checking satisfiability wrt. General terminologies
                3.  Deciding concept satisfiablity wrt.a terminology T
                4.  The satisfiability of a Tbox
                5.  the satisfiability of a KB

--  作者：jiangyue0011
--  发布时间：3/19/2009 11:05:00 AM

--
同样是似懂非懂，等高人指点，顶一下。

--  作者：boywaiter
--  发布时间：3/19/2009 5:31:00 PM

--
试着回答一下，不当之处请指正。
1.  Testing the satisfiability of a concept
在建立TBox的过程中，对于每个新引入的概念，都要检查此概念的可满足性，目的是使每个概念都不为空，否则引入这个概念就没有意义了。
2.  Checking satisfiability wrt. General terminologies
TBox公理有两种：定义的（definitorial），即C \equiv C_1 \sqcap C_2; 包含公理的方式 C \sqsubseteq C_1。在TBox中引入概念C的方式当然也只能是这两种之一。检查新引入的概念C的可满足性，自然要涉及TBox中已存在的知识（如上面例子中的C_1和C_2）。而如果TBox中允许有包含公理（即不只是定义的公理），则称其为通用的（general）。这就是所谓的wrt. General terminologies。
3.  Deciding concept satisfiablity wrt.a terminology T
这是不区分通用不通用的说法。
4. The satisfiability of a Tbox
这个不知道
5.  the satisfiability of a KB
A KB K is called satisfiable if it has a model.

--  作者：wuyou205
--  发布时间：3/25/2009 9:04:00 PM

--
谢谢~

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

62.500ms