[英]Difference between closure axiom, covering axiom and relationship with universal restriction
What is the difference in OWL, between a OWL 和 a 之间有什么区别
Both covering axiom and closure axiom are used for Closing Down the Open World assumption in OWL, however i do not really understand the difference between them...覆盖公理和闭包公理都用于关闭 OWL 中的开放世界假设,但是我真的不明白它们之间的区别......
A universal (someValuesFrom) axiom is a specific construct in the OWL specification, see the OWL primer通用 (someValuesFrom) 公理是 OWL 规范中的特定构造,请参阅OWL 入门
In contrast, the term “closure axiom” refers to a particular pattern of axiom usage, in which the goal is to “close doors” left open by the open world assumption.相比之下,术语“闭包公理”指的是公理使用的特定模式,其目标是“关闭由开放世界假设打开的门”。 Universal restrictions can serve as closure axioms, but not every universal restriction is a closure axiom.
通用限制可以作为闭包公理,但并非每个通用限制都是闭包公理。 Equivalence axioms combined with disjointness axioms can also serve this role.
等价公理结合不相交公理也可以起到这个作用。 See the explanation in http://ontogenesis.knowledgeblog.org/1001/
解释见http://ontogenesis.knowledgeblog.org/1001/
A universal restriction ( owl:allValuesFrom
) such as hasTopping only MozzarellaTopping
defines all individuals x
that are associated via the hasTopping
object property to only individuals y
that are of type MozzarellaTopping
and of no other type.通用限制(
owl:allValuesFrom
),例如hasTopping only MozzarellaTopping
将通过hasTopping
object 属性关联的所有个体x
定义为仅类型为MozzarellaTopping
而不是其他类型的个体y
。 A source of confusion is that this also includes all individuals x
that are not linked via the hasTopping
object property to a individual y
at all.一个混淆的来源是,这还包括所有没有通过
hasTopping
object 属性链接到个人y
的个人x
。
A existential restriction ( owl:someValuesFrom
) such as hasTopping some MozzarellaTopping
defines all individuals x
that are associated via the hasTopping
object property with at least 1 individual y
that is of type MozzarellaTopping
.诸如
hasTopping some MozzarellaTopping
类的存在限制 ( owl:someValuesFrom
) 定义了所有通过hasTopping
object 属性与至少 1 个类型为MozzarellaTopping
的个体y
关联的个体x
。
A closure axiom is a particular pattern of axiom use that forms part of the OnlySome design pattern/macro.闭包公理是一种特殊的公理模式,它使用 forms OnlySome 设计模式/宏的一部分。 An example is
一个例子是
hasTopping some MozzarellaTopping and
hasTopping some TomatoTopping and
hasTopping some PeperroniTopping and
hasTopping only (MozzarellaTopping or TomatoTopping or PepperonniTopping)
In this case在这种情况下
hasTopping only (MozzarellaTopping or TomatoTopping or PepperonniTopping)
is the closure axiom for the existential restrictions是存在限制的闭包公理
hasTopping some MozzarellaTopping and
hasTopping some TomatoTopping and
hasTopping some PeperroniTopping
See this paper for more details on this.有关这方面的更多详细信息,请参阅本文。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.