|
以文本方式查看主题 - 中文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=21105) |
|
-- 作者：windbird -- 发布时间：8/13/2005 12:16:00 PM -- 在领域知识库构建中,领域规则知识是否可以置于TBox或ABox中? 基于描述逻辑的知识库由术语库,TBox和ABox构成,在开发基于本体的领域知识库时,需要处理大量的领域规则知识,这些规则知识在语义Web的结构体系中应该是位于本体层之上,是否可以将这些只在领域范围内成立的公理规则理解为TBox或ABox的一部分呢? |
|
-- 作者：jiexincao -- 发布时间：8/13/2005 4:39:00 PM -- 个人感觉规则应该是独立于Tbox和Abox的；但是就像Tbox和Abox的关系一样，规则和Tbox、Abox又是密不可分的：这三者共同构成领域知识基础。 |
|
-- 作者：windbird -- 发布时间：8/13/2005 5:22:00 PM -- 似乎是有些明白了,基本术语构造集,TBox,ABox事实断言集,以及TBox,ABox上的推理机制,这四者构成一个完整的描述逻辑体系,而前三者对应于语义Web中的ontology层,而推理机制就对应着logic层,不知道这种理解是否正确? |
|
-- 作者：windbird -- 发布时间：8/13/2005 5:39:00 PM -- 但是还有一个问题不太明白,在描述逻辑中,知识库可以表达为一个二元组<T,A>,而带缺省规则的知识库则由一个三元组<T,A,D>来表达,其中D是缺省规则集,按这种理解,那些单调规则应该位于哪里呢?似乎就应该包含在T或A中了,是这样吗? |
|
-- 作者：jiexincao -- 发布时间：8/13/2005 5:59:00 PM -- 我的认识是Tbox是关于T的断言，Abox是关于A的断言，这些断言里不包含未知的量。仅包含Tbox和Abox的知识库只能表达知识，不能仅仅根据根据知识库中已有知识进行推理。 规则里包含有未知的量，一旦这些未知的量满足特定的条件，就可以获得新的结论。 因此，二元组<T,A>只能表述不能推理，而三元组<T,A,D>则是可以推理，发掘隐性知识的。 ———————————————————————— |
|
-- 作者：windbird -- 发布时间：8/13/2005 6:03:00 PM -- 你所指的脑中的规则和程序中包含的规则,是否就是Tableaux算法中给出的交规则,并规则,存在规则和全称规则呢? |
|
-- 作者：jiexincao -- 发布时间：8/13/2005 6:59:00 PM -- 应该区分规则和运算法则： 举个例子说一条规则：[symmetricProperty1: (?P rdf:type owl:SymmetricProperty), (?X ?P ?Y) -> (?Y ?P ?X)] （jena目录etc/owl.rules） 上面的1来自Tbox，2来自Abox，3是规则，4是算法（包含运算法则）。 －－－－－－－ |
|
-- 作者：windbird -- 发布时间：8/13/2005 7:31:00 PM -- 你这里所给出的规则3是属于 ontology层呢,还是处于逻辑层? |
|
-- 作者：jiexincao -- 发布时间：8/13/2005 7:40:00 PM -- 我觉得是属于逻辑层的 |
|
-- 作者：davidking -- 发布时间：8/15/2005 10:37:00 AM -- 是不是推理规则的定义必须在推理机内？ 好像Racer、FaCT都不支持自定义的推理规则呀，是不是只有Jena才支持基于自定义规则的推理呢？ |
|
-- 作者：jiexincao -- 发布时间：8/15/2005 12:31:00 PM -- Racer、FaCT是不是允许自定义规则我不是很清楚。 但是我觉得规则如果都只能定义在推理机里面，那么这种规则还有什么意义？直接写程序就好了，可能效率还要高一点。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
54.688ms |