Musterlösung zu Aufgabe 3.3

Aus Semantic-Web-Grundlagen

<owl:Class rdf:about="Pizza">
  <rdfs:subClassOf>
    <owl:Restriction>
      <owl:onProperty rdf:resource="hasTopping" />
      <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">
        2
      </owl:minCardinality>
    </owl:Restriction>
  </rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="Pizza">
  <rdfs:subClassOf>
    <owl:Restriction>
      <owl:onProperty rdf:resource="hasTopping" />
      <owl:someValuesFrom rdf:resource="Tomato" />
    </owl:Restriction>
  </rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="PizzaMargarita">
  <rdfs:subClassOf>
    <owl:Restriction>
      <owl:onProperty rdf:resource="hasTopping" />
        <owl:allValuesFrom>
          <owl:unionOf rdf:parseType="Collection">
            <owl:Class rdf:about="Tomato" />
            <owl:Class rdf:about="Cheese" />
          </owl:unionOf>
        </owl:allValuesFrom>
    </owl:Restriction>
  </rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="PizzaMargarita">
  <rdfs:subClassOf>
    <owl:Class>
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Restriction>
          <owl:onProperty rdf:resource="hasTopping" />
          <owl:someValuesFrom rdf:resource="Tomato" />
        </owl:Restriction>
        <owl:Restriction>
          <owl:onProperty rdf:resource="hasTopping" />
          <owl:someValuesFrom rdf:resource="Cheese" />
        </owl:Restriction>
      </owl:intersectionOf>
    </owl:Class>
  </rdfs:subClassOf>
</owl:Class>