uml與RDF和OWL的組合關係

Question

我是RDF和OWL本體的初學者。

我想把這個圖轉換成OWL語法。

<rdf:RDF 
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" 
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" 
    xmlns:owl="http://www.w3.org/2002/07/owl#" 
    xmlns:dc="http://purl.org/dc/elements/1.1/" 
     > 

    <!-- OWL Class Definition - Robot Position --> 
    <owl:Class rdf:ID="house" /> 
      <owl:Class rdf:ID="room" /> 
      <owl:Class rdf:ID="kitchen" /> 
      <owl:Class rdf:ID="garden" /> 
      <owl:Class rdf:ID="table" /> 
      <owl:Class rdf:ID="chair" /> 

    <owl:ObjectProperty rdf:ID="composedBy"> 
     <rdfs:domain rdf:resource="#house"/> 
     <rdfs:rang rdf:resource="#room" > 
    </owl:ObjectProperty>    
</rdf:RDF> 

我不知道怎麼做才能使由通過關係多次使用。 我想作出的範圍內採取集合類型與

(house)---composedBy---(room, kitchen, garden)

，但是，我想用同樣的關係與

(kitchen)---comoposedBy---(table, chair)

驗證器正在錯誤因爲我用了一次ID作爲ID兩次。 （我現在將其刪除）

我該如何正確翻譯此圖。

:)）

Answer 1

事實上這樣的composedBy財產的範圍應該是一個工會。

由於在UML類模型中有兩種不同的組合，因此可能必須定義兩個不同的OWL屬性，如houseComposedBy和kitchenComposedBy。

正如您在您的評論人士建議，在原則上，它也使用XML命名空間讓不同的名稱，這些不同composedBy OWL屬性（如合格的名稱house:composedBy和kitchen:composedBy）的選項。事實上，這與UML屬性相對應，UML屬性始終位於由它們的（域）類定義的名稱空間中。因此，您必須聲明儘可能多的名稱空間，因爲您擁有屬於composedBy屬性的域的類。

編輯：我會盡量總結約書亞泰勒和我自己的兩個答案。

1. UML不具有通用的組成的關係，而是類特定isComposedOf（或hasPart）特性，這是在通過（域）類提供的命名空間中定義。因此，可以將這種UML屬性轉換爲相應的OWL屬性，這些屬性可以隱式地將它們的名稱空間編碼到屬性名稱中，也可以用XML命名空間顯式地進行編碼。
2. Joshua Taylor在答案中指出的第二種方法是基於OWL屬性默認爲通用（不限於特定域類）的事實。這允許定義一個通用的hasPart屬性。但是，爲了獲得與我們的UML類模型相同的範圍約束，我們必須定義相應的allValuesFrom限制我們的通用hasPart屬性。除了這些對於翻譯必不可少的限制之外，我們還可以定義與在我們的UML類模型中定義的多重性約束相對應的基數限制（如果有的話）。

Answer 2

如果你想說房屋必須有一個（或至少一個）廚房，並且必須有一個（或至少一個）房間，並且必須有一個（或至少一個）花園，那麼unionOf在這裏並沒有真正解決這個問題。我認爲，如果你有一個更通用的組件屬性，並且通過使用存在限制來表達必須保持的不同關係，它可能會更有幫助。例如，你可以說

House＆sqsubseteq; = 1 hasPart.Kitchen
House＆sqsubseteq; ≥2hasPart.Room
House＆sqsubseteq; ∃ hasPart.Garden

說一個房子有一個廚房，至少有兩個房間，至少有一個花園。同樣的，你可以說有一張桌子和一把椅子

Kitchen＆sqsubseteq; ∃ hasPart.Chair
Kitchen＆sqsubseteq; ∃ hasPart.Table

在門徒新，這看起來像：

在烏龜和RDF/XML的RDF序列是：

@prefix :  <http://www.example.org/houses#> . 
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . 
@prefix owl: <http://www.w3.org/2002/07/owl#> . 
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . 
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . 

<http://www.example.org/houses> 
     a  owl:Ontology . 

:hasPart a  owl:ObjectProperty . 

:Table a  owl:Class . 
:Room a  owl:Class . 
:Garden a  owl:Class . 
:Chair a  owl:Class . 

:House a    owl:Class ; 
     rdfs:subClassOf [ a       owl:Restriction ; 
          owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ; 
          owl:onClass     :Room ; 
          owl:onProperty    :hasPart 
         ] ; 
     rdfs:subClassOf [ a     owl:Restriction ; 
          owl:onProperty  :hasPart ; 
          owl:someValuesFrom :Garden 
         ] ; 
     rdfs:subClassOf [ a       owl:Restriction ; 
          owl:onClass    :Kitchen ; 
          owl:onProperty   :hasPart ; 
          owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger 
         ] . 


:Kitchen a    owl:Class ; 
     rdfs:subClassOf [ a     owl:Restriction ; 
          owl:onProperty  :hasPart ; 
          owl:someValuesFrom :Table 
         ] ; 
     rdfs:subClassOf [ a     owl:Restriction ; 
          owl:onProperty  :hasPart ; 
          owl:someValuesFrom :Chair 
         ] . 

<rdf:RDF 
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" 
    xmlns:owl="http://www.w3.org/2002/07/owl#" 
    xmlns="http://www.example.org/houses#" 
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" 
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"> 
    <owl:Ontology rdf:about="http://www.example.org/houses"/> 
    <owl:Class rdf:about="http://www.example.org/houses#Room"/> 
    <owl:Class rdf:about="http://www.example.org/houses#House"> 
    <rdfs:subClassOf> 
     <owl:Restriction> 
     <owl:onProperty> 
      <owl:ObjectProperty rdf:about="http://www.example.org/houses#hasPart"/> 
     </owl:onProperty> 
     <owl:onClass rdf:resource="http://www.example.org/houses#Room"/> 
     <owl:minQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" 
     >2</owl:minQualifiedCardinality> 
     </owl:Restriction> 
    </rdfs:subClassOf> 
    <rdfs:subClassOf> 
     <owl:Restriction> 
     <owl:onProperty rdf:resource="http://www.example.org/houses#hasPart"/> 
     <owl:someValuesFrom> 
      <owl:Class rdf:about="http://www.example.org/houses#Garden"/> 
     </owl:someValuesFrom> 
     </owl:Restriction> 
    </rdfs:subClassOf> 
    <rdfs:subClassOf> 
     <owl:Restriction> 
     <owl:onProperty rdf:resource="http://www.example.org/houses#hasPart"/> 
     <owl:onClass> 
      <owl:Class rdf:about="http://www.example.org/houses#Kitchen"/> 
     </owl:onClass> 
     <owl:qualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger" 
     >1</owl:qualifiedCardinality> 
     </owl:Restriction> 
    </rdfs:subClassOf> 
    </owl:Class> 
    <owl:Class rdf:about="http://www.example.org/houses#Chair"/> 
    <owl:Class rdf:about="http://www.example.org/houses#Table"/> 
    <owl:Class rdf:about="http://www.example.org/houses#Kitchen"> 
    <rdfs:subClassOf> 
     <owl:Restriction> 
     <owl:onProperty rdf:resource="http://www.example.org/houses#hasPart"/> 
     <owl:someValuesFrom rdf:resource="http://www.example.org/houses#Table"/> 
     </owl:Restriction> 
    </rdfs:subClassOf> 
    <rdfs:subClassOf> 
     <owl:Restriction> 
     <owl:onProperty rdf:resource="http://www.example.org/houses#hasPart"/> 
     <owl:someValuesFrom rdf:resource="http://www.example.org/houses#Chair"/> 
     </owl:Restriction> 
    </rdfs:subClassOf> 
    </owl:Class> 
</rdf:RDF>