|
以文本方式查看主题 - 计算机科学论坛 (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=30445) |
|
-- 作者：dpyk -- 发布时间：4/12/2006 6:45:00 PM -- 请教:本体中的公理,到底是什么东西?能举个例子说明一下吗? 本体中的概念,实例,关系,很多本体中,都有相应的例子,比较好理解 而对于公理,我好象没有见到过,会不会是我理解有错误呢? 请大侠举个例子,说明一下,公理到底是什么?如何表示的? 谢谢了先 |
|
-- 作者：river_hh -- 发布时间：4/12/2006 7:20:00 PM -- 我觉得公理是从语法中引申出来的，或者可以说是通过语法包装公理。 例如 如果想要描述专职教师是这么一类人，他们的工作单位只能是大学（这是类或概念），即仅被大学雇用，则 FullTimeTeacher＝Human 交 (forall employedBy. University) 这个定义确定的公理就是： 1. FullTimeTeacher是Human的子类，即FullTimeTeacher的实例是Human的实例； 2. a:R 如果a是FullTimeTeacher的实例，且a与b满足关系employedBy，则b一定是University的实例
|
|
-- 作者：river_hh -- 发布时间：4/12/2006 7:23:00 PM -- dl一般都是包含公理 |
|
-- 作者：wason21cn -- 发布时间：4/12/2006 7:44:00 PM -- 公理(axiom)可以说是组成DL的基本单位， 具体的说对于DL，Tbox包含两种形式，concept definition和concept subsumption， 这两种形式就是公理，对于Abox，同样也包含两种形式，concept assertion 和 role assertion，这两种形式也叫公理。对于本体来说，只有按照DL的句法组成的知识描叙，都可以说是公理. |
|
-- 作者：superc_7 -- 发布时间：4/13/2006 12:27:00 PM -- lz是不是把rule和axiom搞混了？ DL中公理（axiom）随处可见 但并不是所有DL系统都支持规则（rule） |
|
-- 作者：fuji246 -- 发布时间：4/20/2006 9:45:00 AM -- 那就来讨论一下DL中的RULE是什么 这个概念困惑了我很久了 |
|
-- 作者：superc_7 -- 发布时间：4/20/2006 2:46:00 PM -- DL handbook中讲了trigger rule 不过对于究竟什么是rule好像也没说清楚 这个问题也困惑我很久了 |
|
-- 作者：chris -- 发布时间：4/20/2006 8:02:00 PM -- axiom和rule都可用来推理，确实不容易区分啊 希望高手来解答阿 |
|
-- 作者：chris -- 发布时间：4/20/2006 8:34:00 PM -- Rules are of the form of an implication between an antecedent (body) and consequent (head). Intended meaning: whenever conditions specified in antecedent hold, conditions specified in consequent must also hold 这是Ian Horrocks对rule的定义 |
|
-- 作者：wolfel -- 发布时间：4/21/2006 10:06:00 PM --
DL有两类公理，包含公理和相等公理。 |
|
-- 作者：wolfel -- 发布时间：4/21/2006 10:12:00 PM --
DL里面的公理，你可以认为是TBOX，即是对本体结构的描述，包括两种形式的公理：C包含于D，或者C等于D，其中C,D可以是原子或者复合的概念或者属性。DL里面还有ABOX，是对属性和概念的实例。对应于数据库来说，你可以认为TBOX 是Database Scheme， ABOX是数据库instance。 严格而言，对于一个逻辑系统，你们所说的公理仅仅是描述逻辑的语法部分，也就是逻辑的语法构成。DL还有它的语义部分。 rule严格地说不是DL范畴内的，而是一般的知识表示领域说的东西，比如逻辑程序里面的规则，前提和结论之间有可推关系（不是经典逻辑里面的蕴涵）。如果一定要说描述逻辑里面有什么规则，比如，相应于经典逻辑的推理规则的话，我以为就是Tableau算法里面的那些规则了。 一点个人看法，不知道是不是很准确。 |
|
-- 作者：owlsharpe -- 发布时间：4/25/2006 9:15:00 PM -- OWL中的公理是OWL中的语法范畴中的,是OWL中的各语句的一个基础 |
|
-- 作者：superc_7 -- 发布时间：4/27/2006 9:40:00 PM -- rule除了trigger rule之外还有别的类型吗 能否举几个例子 Rules are of the form of an implication between an antecedent (body) and consequent (head). 这段定义好象也是在说trigger rule |
|
-- 作者：wolfel -- 发布时间：4/27/2006 10:17:00 PM -- 什么叫trigger rule?在KR领域没有见过这个名词啊 |
|
-- 作者：lloyd -- 发布时间：4/28/2006 12:27:00 AM -- look |
|
-- 作者：superc_7 -- 发布时间：4/28/2006 10:09:00 AM -- In some DL systems, such as Classic [Brachman et al., 1991] or Loom [Mac-Gregor, 1991a], in addition to terminologies and world descriptions, one can also use rules to express knowledge. The simplest variant of such rules are expressions of the form C---〉 D where C, D are concepts. The meaning of such a rule is “if an individual is proved to be an instance of C, then derive that it is also an instance of D.” Such rules are often called trigger rules. DL handbook p74 |
|
-- 作者：wason21cn -- 发布时间：4/29/2006 12:14:00 AM -- 记得好像有人问过这个问题，上面的朋友关于triggler rule的“C->D”和它的逆反“-D -> -C”并非等价的有没有想明白啊？ ^_^ 自己复习一遍。 triggler rule最大的一个特点就是在充分满足了前提条件才能进行推理，特别注意的是充分。 基于triggler rule最典型的例子就是prolog。 举个例子 unmarried_student(X):-not(married(X)), student(X). student(joe). married(john). 这个程序有一个rule和两个fact， rule可以看成是not(married(X)) and student(X)--->unmarried_student(X). 给出一个query ?- unmarried_student(joe). yes no no
|
|
-- 作者：wolfel -- 发布时间：4/29/2006 10:38:00 AM -- 这种trigger rule应该不是主流DL系统使用的吧，在SW上的本体层的OWL LITE/DL中应该都是不支持的，因为对应的SHIF(D), SHION(D)还是SHIQ(D)都不支持这种规则。 目前在本体之上构建rule/proof/trust方面的工作倒是有很多，这种工作应该更好一些，因为本体层已经够复杂了。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
91.797ms |