File contents

<?xml version="1.0"?>
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:representation="http://www.swop-project.eu/ontologies/pmo/representation.owl#"
    xmlns:operation="http://www.swop-project.eu/ontologies/pmo/operation.owl#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:rule="http://www.swop-project.eu/ontologies/pmo/rule.owl#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:product="http://www.swop-project.eu/ontologies/pmo/product.owl#"
    xmlns:cuboid="http://www.swop-project.eu/ontologies/d23/cuboid.owl#"
    xmlns:owl11="http://www.w3.org/2006/12/owl11#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:door="http://www.swop-project.eu/ontologies/d23/door.owl#"
  xml:base="http://www.swop-project.eu/ontologies/d23/door.owl">
  <owl:Ontology rdf:about="">
    <owl:imports rdf:resource="http://www.swop-project.eu/ontologies/d23/cuboid.owl"/>
  </owl:Ontology>
  <owl:Class rdf:ID="Door">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:ID="doorColour"/>
        </owl:onProperty>
        <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:maxCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#doorColour"/>
        </owl:onProperty>
        <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:minCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="http://www.swop-project.eu/ontologies/pmo/product.owl#Product"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:maxCardinality>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:ID="doorWidth"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.swop-project.eu/ontologies/pmo/product.owl#hasPart_directly"/>
        <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >0</owl:maxCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:maxCardinality>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:ID="doorHeight"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:minCardinality>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#doorHeight"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:minCardinality>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#doorWidth"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <product:representation>
      <rule:IfThenElse rdf:ID="IfThenElse_Blue">
        <rule:domain_I>
          <cuboid:Cuboid rdf:ID="blueDoor">
            <cuboid:height>
              <owl:DatatypeProperty rdf:about="#doorHeight"/>
            </cuboid:height>
            <cuboid:depth>
              <owl:DatatypeProperty rdf:ID="doorDepth"/>
            </cuboid:depth>
            <cuboid:width>
              <owl:DatatypeProperty rdf:about="#doorWidth"/>
            </cuboid:width>
            <representation:material>
              <representation:Material rdf:ID="MaterialBlue">
                <representation:ambientColor>
                  <representation:Color rdf:ID="ColorBlue">
                    <representation:blueComponent>
                      <operation:Value rdf:ID="ValueOne">
                        <operation:value rdf:datatype="http://www.w3.org/2001/XMLSchema#float"
                        >1.0</operation:value>
                      </operation:Value>
                    </representation:blueComponent>
                  </representation:Color>
                </representation:ambientColor>
              </representation:Material>
            </representation:material>
          </cuboid:Cuboid>
        </rule:domain_I>
        <rule:condition>
          <operation:Comparison rdf:ID="Comparison_Blue">
            <operation:domain_I>
              <owl:DatatypeProperty rdf:about="#doorColour"/>
            </operation:domain_I>
            <operation:comparitor rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
            >==</operation:comparitor>
            <operation:domain_II>
              <operation:Value rdf:ID="Value_StrBlue">
                <operation:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
                <operation:value rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
                >blue</operation:value>
              </operation:Value>
            </operation:domain_II>
          </operation:Comparison>
        </rule:condition>
        <rule:domain_II>
          <rule:IfThenElse rdf:ID="IfThenElse_Green">
            <rule:domain_I>
              <cuboid:Cuboid rdf:ID="greenDoor">
                <cuboid:height>
                  <owl:DatatypeProperty rdf:about="#doorHeight"/>
                </cuboid:height>
                <cuboid:depth>
                  <owl:DatatypeProperty rdf:about="#doorDepth"/>
                </cuboid:depth>
                <cuboid:width>
                  <owl:DatatypeProperty rdf:about="#doorWidth"/>
                </cuboid:width>
                <representation:material>
                  <representation:Material rdf:ID="MaterialGreen">
                    <representation:ambientColor>
                      <representation:Color rdf:ID="ColorGreen">
                        <representation:greenComponent rdf:resource="#ValueOne"/>
                      </representation:Color>
                    </representation:ambientColor>
                  </representation:Material>
                </representation:material>
              </cuboid:Cuboid>
            </rule:domain_I>
            <rule:condition>
              <operation:Comparison rdf:ID="Comparison_Green">
                <operation:domain_I>
                  <owl:DatatypeProperty rdf:about="#doorColour"/>
                </operation:domain_I>
                <operation:domain_II>
                  <operation:Value rdf:ID="Value_StrGreen">
                    <operation:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
                    <operation:value rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
                    >green</operation:value>
                  </operation:Value>
                </operation:domain_II>
                <operation:comparitor rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
                >==</operation:comparitor>
              </operation:Comparison>
            </rule:condition>
            <rule:domain_II>
              <rule:IfThenElse rdf:ID="IfThenElse_Red">
                <rule:domain_I>
                  <cuboid:Cuboid rdf:ID="redDoor">
                    <cuboid:height>
                      <owl:DatatypeProperty rdf:about="#doorHeight"/>
                    </cuboid:height>
                    <cuboid:depth>
                      <owl:DatatypeProperty rdf:about="#doorDepth"/>
                    </cuboid:depth>
                    <cuboid:width>
                      <owl:DatatypeProperty rdf:about="#doorWidth"/>
                    </cuboid:width>
                    <representation:material>
                      <representation:Material rdf:ID="MaterialRed">
                        <representation:ambientColor>
                          <representation:Color rdf:ID="ColorRed">
                            <representation:redComponent rdf:resource="#ValueOne"/>
                          </representation:Color>
                        </representation:ambientColor>
                      </representation:Material>
                    </representation:material>
                  </cuboid:Cuboid>
                </rule:domain_I>
                <rule:condition>
                  <operation:Comparison rdf:ID="Comparison_Red">
                    <operation:domain_I>
                      <owl:DatatypeProperty rdf:about="#doorColour"/>
                    </operation:domain_I>
                    <operation:domain_II>
                      <operation:Value rdf:ID="Value_StrRed">
                        <operation:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
                        <operation:value rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
                        >red</operation:value>
                      </operation:Value>
                    </operation:domain_II>
                    <operation:comparitor rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
                    >==</operation:comparitor>
                  </operation:Comparison>
                </rule:condition>
              </rule:IfThenElse>
            </rule:domain_II>
          </rule:IfThenElse>
        </rule:domain_II>
      </rule:IfThenElse>
    </product:representation>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#doorDepth"/>
        </owl:onProperty>
        <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:maxCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:DatatypeProperty rdf:about="#doorDepth"/>
        </owl:onProperty>
        <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
        >1</owl:minCardinality>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:DatatypeProperty rdf:about="#doorHeight">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
    <product:unit rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >mm</product:unit>
    <product:defaultValue rdf:datatype="http://www.w3.org/2001/XMLSchema#float"
    >2100</product:defaultValue>
    <rdfs:domain rdf:resource="#Door"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >doorHeight</rdfs:label>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:about="#doorColour">
    <rdfs:domain rdf:resource="#Door"/>
    <rdfs:range>
      <owl:DataRange>
        <owl:oneOf rdf:parseType="Resource">
          <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
          >red</rdf:first>
          <rdf:rest rdf:parseType="Resource">
            <rdf:rest rdf:parseType="Resource">
              <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
              <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
              >green</rdf:first>
            </rdf:rest>
            <rdf:first rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
            >blue</rdf:first>
          </rdf:rest>
        </owl:oneOf>
      </owl:DataRange>
    </rdfs:range>
    <product:defaultValue rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >red</product:defaultValue>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >doorColour</rdfs:label>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:about="#doorWidth">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
    <product:unit rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >mm</product:unit>
    <product:defaultValue rdf:datatype="http://www.w3.org/2001/XMLSchema#float"
    >870</product:defaultValue>
    <rdfs:domain rdf:resource="#Door"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >doorWidth</rdfs:label>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:about="#doorDepth">
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >doorDepth</rdfs:label>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
    <product:unit rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >mm</product:unit>
    <rdfs:domain rdf:resource="#Door"/>
    <product:defaultValue rdf:datatype="http://www.w3.org/2001/XMLSchema#float"
    >200.0</product:defaultValue>
  </owl:DatatypeProperty>
  <rule:Assertion rdf:ID="AssertionLength">
    <rule:logicalOperation>
      <operation:Comparison rdf:ID="Comparison_1">
        <operation:domain_I>
          <operation:Value rdf:ID="valueZero">
            <operation:value rdf:datatype="http://www.w3.org/2001/XMLSchema#float"
            >0.0</operation:value>
          </operation:Value>
        </operation:domain_I>
        <operation:domain_II rdf:resource="#doorDepth"/>
        <operation:comparitor rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
        >&lt;</operation:comparitor>
      </operation:Comparison>
    </rule:logicalOperation>
  </rule:Assertion>
</rdf:RDF>