以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 一个用Protege构建本体的具体问题。 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=37217) |
-- 作者:holimouse -- 发布时间:8/25/2006 8:42:00 PM -- 一个用Protege构建本体的具体问题。 在用Protege构建本体时,会出现这样一个问题,即一个ObjectProperty可能会被多个不同的Class使用,其Domain和Range也可能有很多,问题是当用Protege中的Domain和Range栏中输入多个Class时,系统便会默认将这些Class以UnionOf的方式组合起来,而编辑本体的初衷只是多个不同的三元组分别调用同一个ObjectProperty属性,这显然是不一致的。 比如A,B,C,D,E,F是Class,IsPartOf是ObjectProperty,若A UnionOf B IsPartOf C及D IntersectionOf E IsPartOf F,那么这两个三元组怎样运用IsPartOf这个ObjectProperty连接起来呢?是在Property Tab中的Domain和Range栏编辑,还是在Class Tab中添加属性约束来定义(前者应该是行不通的)?或者还有其它的办法! 请高手详细指明,不吝慧言!感谢之至! 在线等.
|
-- 作者:holimouse -- 发布时间:8/25/2006 8:43:00 PM -- 我真的在等! |
-- 作者:jpz6311whu -- 发布时间:8/25/2006 9:29:00 PM -- 4.1.2 rdfs:domain For a property one can define (multiple) rdfs:domain axioms. Syntactically, rdfs:domain is a built-in property that links a property (some instance of the class rdf:Property) to a class description. An rdfs:domain axiom asserts that the subjects of such property statements must belong to the class extension of the indicated class description. Multiple rdfs:domain axioms are allowed and should be interpreted as a conjunction: these restrict the domain of the property to those individuals that belong to the intersection of the class descriptions. If one would want to say that multiple classes can act as domain, one should use a class description of the owl:unionOf form. For example, if we want to say that the domain of the property hasBankAccount can be either a Person or a Corporation, we would need to say something like this: <owl:ObjectProperty rdf:ID="hasBankAccount"> NOTE: In OWL Lite the value of rdfs:domain must be a class identifier. 4.1.3 rdfs:range Multiple range restrictions are interpreted as stating that the range of the property is the intersection of all ranges (i.e., the intersection of the class extension of the class descriptions c.q. the intersection of the data ranges). Similar to rdfs:domain, multiple alternative ranges can be specified by using a class description of the owl:unionOf form (see the previous subsection). |
-- 作者:holimouse -- 发布时间:8/26/2006 4:00:00 PM -- 楼上介绍了domain和range的一些性质和用法,但并没有切中搂主所提问题的要害。 简单讲:A loves B C loves D unionof B unionof A (A,B,C,D是互不相交的类,或者说就是四个不同的人) A与C都是loves的domain,A,B,D都是loves的range,显然不能简单将A unionof C及D unionof B unionof A分别作为loves的domain和range,因为它们之间还有各自的对应关系,而这样的做法混淆和破坏了这些关系。显然,这样简单的处理是不正确的。 我希望我的表述足够清晰。 在这里讨论就是想听听大家的意见,找到合适的方法。 请明者明示!
|
-- 作者:jpz6311whu -- 发布时间:8/26/2006 6:50:00 PM -- Multiple rdfs:domain axioms "are allowed and should be" ------------- 关键 interpreted as a conjunction: these restrict the domain of the property to those individuals that belong to the intersection of the class descriptions. If one would want to say that multiple classes can act as domain, "one should" ------------- 关键 use a class description of the owl:unionOf form. For example, if we want to say that the domain of the property hasBankAccount can be either a Person or a Corporation, we would need to say something like this: 规范中说出现这种 如果不这样做是不符合owl规范的 |
-- 作者:holimouse -- 发布时间:8/27/2006 11:36:00 AM -- 楼上这样的解释是非常这正确和清晰的,owl确实是这样规范的。 问题是在不违反owl规范的情况下,如何解决楼主所提问题。如果强行按照规范执行上述编辑操作,其结果与本体构建的本意(语义)相背。 有没有其他的方法?或者不要在domain和range中强行定义,尝试在约束中定义?又或者强制一个ObjectProperty只能被引用一次(这样好像也不符合逻辑和现实情况,Protege得几个著名实例本体中ObjectProperty好像没有楼主所说的情况出现,它们也没有解决这个问题,不过那些构建本体的人肯定会遇到这个问题)?
|
-- 作者:holimouse -- 发布时间:8/27/2006 11:41:00 AM -- 另外,domain和range对ObjectProperty的定义是全局性的,而约束对它的定义是局部的。这对如何重用ObjectProperty用很大的影响。 |
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
54.688ms |