以文本方式查看主题

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

--  作者：sherryzhy
--  发布时间：1/6/2010 10:17:00 AM

--  求助：如何在owl中表达对象属性的交集
我是否可以从OWL Full 或者 OWL DL 中找到合适的构造子来描述如下表达：

  " subproperty( intersectionPropertyOf(hasP1, hasP2), hasP3)“
也就是说，所有满足 x hasP1 y　和 x hasP2 y  的关系对(x,y)　同时也满足ｘhasP3 y.

  owl dl 支持关系传递＋关系层次的表述，　比如subproperty( ObjectPropertyChain(hasP1, hasP2), hasP3)“，可是这种关系交＋关系层次的表述是否也能被某一个owl profile支持呢

注：这里的 intersectionPropertyOf　构造子是我虚构的，因为没有在ｏｗｌ中找到能表达这个意思的构造子，所以想请教各位大侠，是否存在类似的构造子，或者用其他迂回的方式表达这个意思？

--  作者：laotao
--  发布时间：1/7/2010 5:23:00 PM

--  
Semantic Web for the working ontologist (p104) 提供了表示相反方向推理的方法:
如果有P3 subPropertyOf P1, P3 subPropertyOf P2，那么所有满足x P3 y的(x,y)也满足x P1 y和x P2 y


--  作者：sherryzhy
--  发布时间：1/7/2010 5:43:00 PM

--  

嗯, 这个相反的推理 表述的是， p1 subProperty (p2 交 p3)， 这个意思可以由p1 subProperty p2, 和 p1 subProperty p3两条公理直接推理出来。
可是我想表达的意思是( p1 交 p2 ) subproperty p3, 上述的推理无法满足我的需求。
不管怎样，先谢谢了：）

--  作者：laotao
--  发布时间：1/7/2010 5:48:00 PM

--  
...it is impossible to describe classes whose instances are related to another anonymous individual via different property paths. For example, it is impossible to assert that individuals who live and work at the same location are “HomeWorkers”.
(Benjamin N. Grosof etc, Description Logic Programs: Combining Logic Programs with Description Logic, WW2003, May 20–24, 2003, Budapest, Hungary.)
--  作者：sherryzhy
--  发布时间：1/7/2010 6:02:00 PM

--  
sigh, owl 的表达能力有的时候真的让人很无助。

在网上查到去年国外有人在org.w3.public-owl-dev 列表里也问到property intersection的表达问题，不过不知道为什么看不到原来的问题和回答列表， 只能从google的缓存里看到一些提问人的感慨：

“ I have discovered things I cant
say in OWL and that I think would be useful to say whilst building test
ontologies, because its easier to see the consquences of certain
combinations of axioms over smaller models. As such these things usually
crop up in trivial examples for me. When I am building "real" ontologies
I stick to presuming that I will only try and say what I know I can say
in OWL to avoid making them unnecessarily complicated to get an 。。。
”

--  作者：laotao
--  发布时间：1/7/2010 6:56:00 PM

--  
DL为decidability牺牲了很多东西，不知道OWL full能不能表达你的逻辑
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 39.063ms