以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  新手请教OWL  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=74113)


--  作者:flyskywind
--  发布时间:4/12/2009 9:50:00 PM

--  新手请教OWL
我今天刚看owl,对于其中的两个问题不太理解,请教高手解答:
1)对于对称属性SymmetricProperty在OWL是可以不要的,那么由其他原语如何表达呢?
2)用OWL语言构造表达函数性FunctionalProperty!
非常感谢!
--  作者:iamwym
--  发布时间:4/13/2009 12:51:00 PM

--  
老实讲,我不知道你问了什么,能否提问更详细些?
--  作者:flyskywind
--  发布时间:4/13/2009 3:19:00 PM

--  
好的:
1)在owl的属性定义中,对于owl:SymmetricProperty是定义了对称性,但是这个不是必须的,也就是可以用其他的属性来表示对称性的功能?那么问用其他的原语怎么表示来表示对称性?
2)和1)的描述类似,用owl中的其他原语来表示“构造表达函数性FunctionalProperty”!

--  作者:flyskywind
--  发布时间:4/13/2009 3:23:00 PM

--  
比如 如果有性质P(x,y),且有性质P(y,x)(即inverseof性质),那么属性具有对称性!我是这样理解的,但不知用owl怎么来表示!
--  作者:jiangyue0011
--  发布时间:4/14/2009 8:41:00 AM

--  
第一个问题没考虑过,个人认为可以通过定义一个PROPERTY P的逆属性仍是P来表示P是对称属性。
第二个问题,定义P是函数属性就是给P加一个基数约束<=1。
--  作者:fanyi
--  发布时间:4/14/2009 2:12:00 PM

--  
第二个问题我想是这样的:举个例子,就像一个母亲可以有多个孩子,但是一个孩子只能有一个母亲。母亲和孩子之间可以用"haschildren"这个属性相连接,那么这个属性就是functional的,和楼上说的意思差不多。但我想这样大家可能更容易懂些。欢迎大家批评指正。
--  作者:jpz6311whu
--  发布时间:4/14/2009 4:12:00 PM

--  
以下是引用fanyi在2009-4-14 14:12:00的发言:
第二个问题我想是这样的:举个例子,就像一个母亲可以有多个孩子,但是一个孩子只能有一个母亲。母亲和孩子之间可以用"haschildren"这个属性相连接,那么这个属性就是functional的,和楼上说的意思差不多。但我想这样大家可能更容易懂些。欢迎大家批评指正。


hasChildren是inversefunctional
而hasMother是functional
:)
--  作者:fanyi
--  发布时间:4/14/2009 4:23:00 PM

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