什麼使得OWL類是匿名的？

我讀的教程，說，這是一個匿名OWL類：什麼使得OWL類是匿名的？

<owl:Class rdf:ID="Reptile"> 
     <rdfs:subClassOf rdf:resource="#Animal」/> 
     <rdfs:subClassOf rdf:resource="#OxygenUser」/> 
</owl :Class>

我知道匿名類是在Java中的東西。是什麼讓這個類在OWL中匿名？它是匿名的，因爲它沒有像這樣的RDFS：標籤語句：<rdfs:label>Reptile</rdfs:label>？

來源

2013-05-03 bernie2436

OWL匿名類是沒有名稱/標識符（URI）的類。通常這是一個OWL類表達式，例如eats some Grass或Male and Female。您將這種表達式與命名類結合使用來創建公理。

同時使用一個名爲匿名類等價類公理的例子（註釋是由#符號來表示）：

# Named class (got a dereferencable URI) 
Class: <http://www.example.org/Man> 

# Named Class 
Class: <http://www.example.org/Woman> 

# Named class 
Class: <http://www.example.org/Human> 

    # The named class Human is equivalent 
    # to the anonymous class (class expression) Man or Woman 
    EquivalentTo: <http://www.example.org/Man> or <http://www.example.org/Woman>

來源

2013-05-03 17:41:26 loopasam

所以班級男人和女人只有在他們是公理的一部分時纔是匿名的？即使在一個公理中，他們是不是有可忽略的URI（即equivalentTo語句中的URI）？你能解釋一下多一點嗎？ – bernie2436 2013-05-03 17:57:08

整個表達式「男人或女人」是一個匿名類，它是通過使用'or'構造函數與命名類'Woman'和'Man'合成而構建的。這個表達是指一組男人或女人的事情，但沒有給它命名（匿名班）。您可以使用表達式來構建公理，如示例所示。在這裏，「男人」和「女人」總是被命名爲類，任何將這些結果組合在一個匿名類中的表達式。 – loopasam 2013-05-04 11:12:16

剛剛看到你的例子，我不確定我是否清楚地看到任何匿名課程。我會說'OxygenUser'和'Animal'被命名爲類，那麼匿名類將是'OxygenUser和Animal'，它最終給出了公理'Reptile' subClassOf'OxygenUser和Animal' – loopasam 2013-05-04 11:17:12

你有教程源URL？你引用的例子不包含任何匿名類，所以如果這是教程的直接引用，它會發出錯誤的信息。

來源

2013-05-04 13:42:42

什麼使得OWL類是匿名的？

回答

相關問題