owl 中的部分是什么意思
What does partial mean in owl
我一直在阅读 this 文档,我遇到了以下情况:
Class(a:adult partial
annotation(rdfs:comment "Things that are adult.")
我理解注解,但什么是 partial/complete 并且这些天使用它吗?
partial
这里的意思是 class adult
是注解的特例,比如 Class(a:Cat partial a:Animal))
.
complete
说明符表示等价,就像在 link:
中给出的示例一样
Class(a:animal_lover complete
intersectionOf(restriction(a:has_pet minCardinality(3)) a:person))
表示 animal_lover
是 至少拥有 3 只宠物的 person
。
我一直在阅读 this 文档,我遇到了以下情况:
Class(a:adult partial
annotation(rdfs:comment "Things that are adult.")
我理解注解,但什么是 partial/complete 并且这些天使用它吗?
partial
这里的意思是 class adult
是注解的特例,比如 Class(a:Cat partial a:Animal))
.
complete
说明符表示等价,就像在 link:
Class(a:animal_lover complete
intersectionOf(restriction(a:has_pet minCardinality(3)) a:person))
表示 animal_lover
是 至少拥有 3 只宠物的 person
。