| « | July 2025 | » | | 日 | 一 | 二 | 三 | 四 | 五 | 六 | | | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | | | |
|
公告 |
| 暂无公告... |
| Blog信息 |
|
blog名称:语义Web step-up
日志总数:22
评论数量:81
留言数量:5
访问次数:214834
建立时间:2004年10月29日 |
| |
|
 [语义Web理论]OWL 语义中的comprehension principles
科学研究
orangebench 发表于 2004/11/18 23:13:55 |
|
为什么在OWL Full语义中要comprehension principles呢？先举个例子：John 是概念Intersection（A B C）的实例，能否推出John 是概念Intersection（A B）的实例呢？如果OWL FULL照搬RDF的语义，它是推不出来的。因为在RDF中，类也是实例，我们无法保证在所有在John是概念(A,B,C)的交 为真的解释中，存在一个对象 Intersection（A B）（注意：Intersection（A B）必须是论域中的一个元素）。问题在于：一些OWL的类表达式必须同时也是一个实例，所以，OWL FULL语义中利用comprehension principles为每个类表达式添加一个对应的实例。但循环定义不能有comprehension principles，因为会导致语义悖论。
参考：【1】Jeff Z. Pan and I. Horrocks. RDFS(FA) and RDF MT: Two Semantics for RDFS. In Proceedings of the 2nd International Semantic Web Conference (ISWC2003).【2 】From SHIQ and RDF to OWL– The Making of a Web Ontology Language |
|
|