【问题标题】:Is It ok to model a subclass with the same name of an individual?可以对具有相同名称的个人的子类进行建模吗?
【发布时间】:2021-08-29 19:34:34
【问题描述】:

我是一名门生新手,完成了披萨教程并阅读了 101 文档。我正在尝试为如下图所示的本体建模:

我有一个有风格的人。样式可以是 style_active 或 style_passive。 此样式由两个数据属性的索引确定: ind_passive 和 ind_active,取大值应该推断样式。

我必须创建两个个体:style_active 和 style_passive,因为它们必须是个体才能分配给对象属性 has_style。

两个问题:

  1. 这个造型好吗?可以有一个与个人同名的子类吗?
  2. 有没有办法使用推理器推断 has_style 对象属性的值?

【问题讨论】:

  • 与个体具有相同 IRI 的类(在这种情况下,“相同名称”只是相同的标签或相同的 IRI 片段,它们可能具有不同的 IRI)称为双关语并且是允许的,尽管它可能会令人困惑。

标签: ontology protege


【解决方案1】:

就像 Ignazio 说的,有可能,对于 OWL2,使用 双关语

允许您在模型中使用相同实体作为类和个人的功能。双关语的诀窍在于,推理器在运行时根据实体的上下文决定实体应该被解释为类还是个体。因此,例如,如果实体通过实例化关系链接到类,则将其视为个体,而如果通过子类关系与其相关,则将其视为类。 (Panos Alexopoulos - 数据语义建模 - 第 12 章 - 表示困境)

【讨论】:

    猜你喜欢
    • 2011-10-16
    • 2015-07-23
    • 1970-01-01
    • 2021-06-07
    • 2013-04-05
    • 2016-04-04
    • 1970-01-01
    • 1970-01-01
    • 2016-06-21
    相关资源
    最近更新 更多