以文本方式查看主题

-  中文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=27248)


--  作者:chinesegates
--  发布时间:2/13/2006 9:50:00 PM

--  请教owl语法的知识
Class(pp:animal partial restriction(pp:eats someValuesFrom(owl:Thing)))
中的partial 是什么意思,与complete的区别是什么?
--  作者:jpz6311whu
--  发布时间:2/13/2006 9:57:00 PM

--  
楼主是在哪里看到的这个东西?
--  作者:admin
--  发布时间:2/13/2006 11:59:00 PM

--  
是OWL Semantics & Abstract Syntax里的

这里的partial/complete是抽象语法的记法,而不是我们常说的OWL XML语法。

partial指的是OWL里的subClassOf,subPropertyOf
complete指的是equivalentClass, equivalentProperty

具体请参考规范中的描述:

{{
Axioms are used to associate class and property identifiers with either partial or complete specifications of their characteristics, and to give other information about classes and properties.
}}


{{
In OWL Lite class axioms are used to state that a class is exactly equivalent to, for the modality complete, or a subclass of, for the modality partial, the conjunction of a collection of superclasses and OWL Lite Restrictions. It is also possible to indicate that the use of a class is deprecated.
}}

注意下面对partial/complete的形式化解释:

{{
Class(c [Deprecated] complete
    annotation(p1 o1) … annotation(pk ok)
    descr1 … descrn) [ <S(c),S(owl:DeprecatedClass)> ∈ ER(rdf:type) ]
S(c) ∈ EC(annotation(p1 o1)) … S(c) ∈ EC(annotation(pk ok))
EC(c) = EC(descr1) ∩…∩ EC(descrn)
Class(c [Deprecated] partial
    annotation(p1 o1) … annotation(pk ok)
    descr1 … descrn) [ <S(c),S(owl:DeprecatedClass)> ∈ ER(rdf:type) ]
S(c) ∈ EC(annotation(p1 o1)) … S(c) ∈ EC(annotation(pk ok))
EC(c) EC(descr1) ∩…∩ EC(descrn)

}}


--  作者:chinesegates
--  发布时间:2/14/2006 10:10:00 AM

--  
非常感谢admin的精确的解释。还有一点疑问,在上面对partial/complete的形式化解释,看不出pratial和complete的区别。另外,具体的owl参考规范从哪里可以查到。
--  作者:admin
--  发布时间:2/14/2006 11:43:00 AM

--  
以下是引用chinesegates在2006-2-14 10:10:00的发言:
非常感谢admin的精确的解释。还有一点疑问,在上面对partial/complete的形式化解释,看不出pratial和complete的区别。另外,具体的owl参考规范从哪里可以查到。

差别我已经用蓝色标出了,即一个是等价,一个是包含
⊆就是包含符号,可惜这里显示不出来。


规范在这里:

http://www.w3.org/TR/2004/REC-owl-semantics-20040210/

(我以为你是在阅读这个规范时遇到的问题呢 ;-) )


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