OWL2使用一个不同的公理来建模子类

Question

我正在尝试使用OWL 2（DL，使用Protege）对一些词汇数据进行建模。我的主要课程是“Lemma”，它有许多公理（使用曼彻斯特语法）：

Every Lemma hasLanguage some Language. 
Every Lemma hasEtymology some Etymology. 
Every Lemma hasMorphology some Morphology.

等

我还有一个VariantLemma类，它基本上是原始引理的变体拼写，但它总是具有与其父引理相同的语言和词源，但可以具有不同的形态。我最初将其建模为等同于：

Lemma and (isVariantOf some Lemma)

但我怎么能说除了形态学以外它对于所有公理都有与它的父引理相同的值？我可以用某种方式使用属性链吗？

感谢您的任何建议！

Answer 1

你可以这样做。在你有

的情况下

         isVariantOf             hasLanguage
lemma2 ---------------> lemma1 ---------------> language1

那么你想要推断一个额外的属性：

         hasLanguage
lemma2 ---------------> language1

由于您可以在lemma2到language1的第一个图中找到路径，因此断言第二个图必须由以下子属性链公理存在。当然，你也需要为其他属性做同样的事情。

isVariantOf o hasLanguage SubPropertyOf hasLanguage

当你有一个OWL推理器和这些公理时，如果你有关于lem1和lem2 isVariantOf lem1的断言，你会看到lem2的推断属性。这是Protégé中的lem1及其属性：

附加了Pellet推理器后，hasEtymology和hasLanguage属性被推断为lem2（以黄色背景显示）：

如果你有兴趣，这是OWL本体论：

<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns="http://www.example.org/lemmata#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
  <owl:Ontology rdf:about="http://www.example.org/lemmata"/>
  <owl:Class rdf:about="http://www.example.org/lemmata#Morphology"/>
  <owl:Class rdf:about="http://www.example.org/lemmata#VariantLemma">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:about="http://www.example.org/lemmata#Lemma"/>
          <owl:Restriction>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="http://www.example.org/lemmata#isVariantOf"/>
            </owl:onProperty>
            <owl:someValuesFrom rdf:resource="http://www.example.org/lemmata#Lemma"/>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:about="http://www.example.org/lemmata#Language"/>
  <owl:Class rdf:about="http://www.example.org/lemmata#Etymology"/>
  <owl:ObjectProperty rdf:about="http://www.example.org/lemmata#hasEtymology">
    <owl:propertyChainAxiom rdf:parseType="Collection">
      <rdf:Description>
        <owl:inverseOf rdf:resource="http://www.example.org/lemmata#isVariantOf"/>
      </rdf:Description>
      <owl:ObjectProperty rdf:about="http://www.example.org/lemmata#hasEtymology"/>
    </owl:propertyChainAxiom>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="http://www.example.org/lemmata#hasLanguage">
    <owl:propertyChainAxiom rdf:parseType="Collection">
      <rdf:Description>
        <owl:inverseOf rdf:resource="http://www.example.org/lemmata#isVariantOf"/>
      </rdf:Description>
      <owl:ObjectProperty rdf:about="http://www.example.org/lemmata#hasLanguage"/>
    </owl:propertyChainAxiom>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="http://www.example.org/lemmata#hasMorphology"/>
</rdf:RDF>