OWL 2 Full Example "Mutual Love" (RDF/XML)

<!-- =============== conclusion.xml =========== -->

<?xml version="1.0" encoding="utf-8"?>
<rdf:RDF
  xmlns:ex="http://www.example.org/"
  xmlns:owl="http://www.w3.org/2002/07/owl#"
  xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
>
  <rdf:Description rdf:about="http://www.example.org/Naoko">
    <ex:mutuallyLoves rdf:resource="http://www.example.org/Sato"/>
  </rdf:Description>
</rdf:RDF>


<!-- =============== premise.xml ============== -->

<?xml version="1.0" encoding="utf-8"?>
<rdf:RDF
  xmlns:ex="http://www.example.org/"
  xmlns:owl="http://www.w3.org/2002/07/owl#"
  xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
>
  <rdf:Description rdf:about="http://www.example.org/MutuallyLoved">
    <owl:equivalentClass>
      <rdf:Description>
        <owl:onProperty>
          <rdf:Description rdf:about="http://www.example.org/lovesLovedBy">
            <owl:propertyChainAxiom rdf:parseType="Collection">
              <owl:FunctionalProperty rdf:about="http://www.example.org/loves"/>
              <rdf:Description rdf:about="http://www.example.org/lovedBy">

                <owl:inverseOf rdf:resource="http://www.example.org/loves"/>
              </rdf:Description>
            </owl:propertyChainAxiom>
          </rdf:Description>
        </owl:onProperty>
        <owl:hasSelf rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean">true</owl:hasSelf>
      </rdf:Description>
    </owl:equivalentClass>

    <owl:equivalentClass>
      <owl:Restriction>
        <owl:onProperty>
          <rdf:Description rdf:about="http://www.example.org/mutuallyLoves">
            <rdfs:subPropertyOf rdf:resource="http://www.example.org/loves"/>
          </rdf:Description>
        </owl:onProperty>
        <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:minCardinality>

      </owl:Restriction>
    </owl:equivalentClass>
  </rdf:Description>
  <rdf:Description rdf:about="http://www.example.org/Sato">
    <ex:loves>
      <rdf:Description rdf:about="http://www.example.org/Naoko">
        <ex:loves rdf:resource="http://www.example.org/Sato"/>
      </rdf:Description>
    </ex:loves>

  </rdf:Description>
</rdf:RDF>