SkosDev/SkosCore/SubSchemes

An interesting idea ...

To formall express the fact that some scheme A is equivalent to the superset of schemes B and C using OWL ...

<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xml:base="http://www.w3.org/2004/02/skos/core">

<!-- (The class of things that are in scheme A) is equivalent to (the class that is the union of (the class of things that are in scheme B) and (the class of things that are in scheme C)). -->

<owl:Restriction>
  <owl:onProperty rdf:resource="#inScheme"/>
  <owl:hasValue rdf:resource="http://example.org/schemeA"/>
  <owl:equivalentClass>
    <owl:Class>
      <owl:unionOf rdf:parseType="Collection">
        <owl:Restriction>
          <owl:onProperty rdf:resource="#inScheme"/>
          <owl:hasValue rdf:resource="http://example.org/schemeB"/>
        </owl:Restriction>
        <owl:Restriction>
          <owl:onProperty rdf:resource="#inScheme"/>
          <owl:hasValue rdf:resource="http://example.org/schemeC"/>
        </owl:Restriction>
      </owl:unionOf>
    </owl:Class>  
  </owl:equivalentClass>
</owl:Restriction>

</rdf:RDF>