代码之家 › 专栏 › 技术社区 › Jeffrey04 George

猫头鹰的等价类与子类

owl

Jeffrey04 George · 技术社区 · 14 年前

等价类和子类的区别是什么?在阅读OWL primer时,我发现教程经常使用subassof来声明一个新类,如下所示

SubClassOf(
  :Teenager
  DataSomeValuesFrom( :hasAge
    DatatypeRestriction( xsd:integer
      xsd:minExclusive "12"^^xsd:integer
      xsd:maxInclusive "19"^^xsd:integer
    )
  )
)

我能写信吗

EquivalentClass(
  :Teenager
  DataSomeValuesFrom( :hasAge
    DatatypeRestriction( xsd:integer
      xsd:minExclusive "12"^^xsd:integer
      xsd:maxInclusive "19"^^xsd:integer
    )
  )
)

相反呢?

3 回复 | 直到 14 年前

sharky 14 年前

当你这么说的时候 A 是一个子类 B ,此限制 一个 必须继承 乙 , 但不是相反 . 在你的例子中, 一个 = Teenager ,和 乙 = hasAge [12:19] (我自己的符号,但你知道)。

这意味着 青少年 在OWL本体中还必须有 hasAge 值在范围内 [12:19] ,但是 不相反的方向 . 具体来说,这并不意味着任何具有该属性的对象的实例 哈萨奇 值在范围内 〔12:19〕 也是 青少年 . 为了说明这一点,考虑一个实例(称为 c )阶级的 Car . 我们也可以说:

c . hasAge 13

这说明了 c类 属于 小型车 已经13岁了。但是,用子类公理定义 青少年 上面,a 推理机 将不推断 c类 也是 青少年 (也许正如我们所希望的,如果青少年人 ,而不是汽车)。

使用等价性的区别在于,子类关系被隐含到双向 . 因此,如果我们改为包含定义的第二公理 青少年 成为 相等的 任何有财产的东西 哈萨奇 值在范围内 〔12:19〕 ,然后推理者会推断出 c类 也是 青少年 .

Sergey Glotov Nitesh Khosla 12 年前

等价类可能具有相同的成员,例如。,

:USPresident owl:equivalentClass :USCommanderInChief

两人都有相同的个人(全部或部分美国总统)。因此,如果我们断言约翰·亚当斯是一位美国公民,可以推断约翰·亚当斯也是一位美国总统。

对于子类,我们表示一个层次结构。e、格兰尼斯米特普尔是苹果的一种。

Laurenz Albe 6 年前

:USPresident owl:equivalentClass :USCommanderInChief .

与

:USPresident rdfs:subClassOf :USCommanderInChief ;
:USCommanderInChief rdfs:subClassOf :USPresident .