与OWL的区别是什么
- 通用限制：将给定财产的关系限制为特定类别的成员
- 闭包公理：由一个普遍的限制组成，该限制沿着性质作用，表示它只能由指定的填料填充
- 覆盖公理
覆盖公理和闭包公理都用于关闭OWL中的开放世界假设，但我并不真正理解它们之间的区别。。。
通用(someValuesFrom(公理是OWL规范中的一个特定构造，请参阅OWL引物
相反，术语"封闭公理"指的是一种特定的公理使用模式，其中的目标是"关闭"开放世界假设留下的敞开的门。普遍限制可以作为闭包公理，但并不是每个普遍限制都是闭包公理。等价公理与不相交公理相结合也可以起到这个作用。请参阅中的说明http://ontogenesis.knowledgeblog.org/1001/
通用限制(owl:allValuesFrom((如hasTopping only MozzarellaTopping(定义了通过hasTopping对象属性仅与类型为MozzarellaTopping且没有其他类型的个体y关联的所有个体x。混淆的来源是，这还包括根本没有通过hasTopping对象属性链接到单个y的所有个体x。
诸如hasTopping some MozzarellaTopping的存在限制(owl:someValuesFrom(定义了通过hasTopping对象属性与至少一个类型为MozzarellaTopping的个体y相关联的所有个体x。
闭包公理 是一种特殊的公理使用模式，构成OnlySome设计模式/宏的一部分。就是一个例子
hasTopping some MozzarellaTopping and
hasTopping some TomatoTopping and
hasTopping some PeperroniTopping and
hasTopping only (MozzarellaTopping or TomatoTopping or PepperonniTopping)
在这种情况下，
hasTopping only (MozzarellaTopping or TomatoTopping or PepperonniTopping)
存在限制的闭包公理
hasTopping some MozzarellaTopping and
hasTopping some TomatoTopping and
hasTopping some PeperroniTopping
有关此方面的更多详细信息，请参阅本文。