bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance xmlns:owl="http://www.w3.org/2002/07/owl#"
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:Ontology rdf:about=""/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:ObjectProperty rdf:about="2a=a">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2a-to-a</rdfs:label>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:ObjectProperty>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:ObjectProperty rdf:about="2a=b-and-c">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2a-to-b-and-c</rdfs:label>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:ObjectProperty>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:ObjectProperty rdf:about="a=2a'">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">a-to-2a'</rdfs:label>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:inverseOf rdf:resource="2a=a"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:ObjectProperty>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:ObjectProperty rdf:about="a=b">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">a-to-b</rdfs:label>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:ObjectProperty>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:ObjectProperty rdf:about="b-and-c=2a'">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">b-and-c-to-2a'</rdfs:label>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:inverseOf rdf:resource="2a=b-and-c"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:ObjectProperty>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:ObjectProperty rdf:about="b=a'">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">b-to-a'</rdfs:label>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:inverseOf rdf:resource="a=b"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:ObjectProperty>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:ObjectProperty rdf:about="b=c">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">b-to-c</rdfs:label>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:ObjectProperty>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:ObjectProperty rdf:about="c=b'">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">c-to-b'</rdfs:label>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:inverseOf rdf:resource="b=c"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:ObjectProperty>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:Class rdf:about="2a">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2a</rdfs:label>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:subClassOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:Restriction>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:onProperty rdf:resource="2a=b-and-c"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:someValuesFrom rdf:resource="b-and-c"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:Restriction>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </rdfs:subClassOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:subClassOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:Restriction>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:onProperty rdf:resource="2a=a"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:someValuesFrom rdf:resource="a"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:Restriction>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </rdfs:subClassOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:disjointWith rdf:resource="a"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:disjointWith rdf:resource="b"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:disjointWith rdf:resource="b-and-c"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:disjointWith rdf:resource="c"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:Class rdf:about="a">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">a</rdfs:label>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:equivalentClass>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:oneOf rdf:parseType="Collection">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:Description rdf:about="http://example.com/j"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:Description rdf:about="http://example.com/k"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:Description rdf:about="http://example.com/i"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:equivalentClass>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:subClassOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:Restriction>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:onProperty rdf:resource="a=b"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:someValuesFrom rdf:resource="b"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:Restriction>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </rdfs:subClassOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:subClassOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:Restriction>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:onProperty rdf:resource="a=2a'"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:someValuesFrom rdf:resource="2a"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:Restriction>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </rdfs:subClassOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:disjointWith rdf:resource="b"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:disjointWith rdf:resource="c"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:Class rdf:about="b">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">b</rdfs:label>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:subClassOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:Restriction>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:onProperty rdf:resource="b=a'"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:someValuesFrom rdf:resource="a"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:Restriction>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </rdfs:subClassOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:subClassOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:Restriction>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:onProperty rdf:resource="b=c"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:someValuesFrom rdf:resource="c"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:Restriction>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </rdfs:subClassOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:disjointWith rdf:resource="c"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:Class rdf:about="b-and-c">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">b-and-c</rdfs:label>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:equivalentClass>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:unionOf rdf:parseType="Collection">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:Description rdf:about="b"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:Description rdf:about="c"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:unionOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:equivalentClass>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:subClassOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:Restriction>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:onProperty rdf:resource="b-and-c=2a'"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:someValuesFrom rdf:resource="2a"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:Restriction>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </rdfs:subClassOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:Class rdf:about="c">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">c</rdfs:label>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:subClassOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:Restriction>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:onProperty rdf:resource="c=b'"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:someValuesFrom rdf:resource="b"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:Restriction>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </rdfs:subClassOf>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:Description rdf:about="http://example.com/i">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:label>i</rdfs:label>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </rdf:Description>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:Description rdf:about="http://example.com/j">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:label>j</rdfs:label>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </rdf:Description>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:Description rdf:about="http://example.com/k">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdfs:label>k</rdfs:label>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </rdf:Description>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:Description>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDifferent"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <owl:distinctMembers rdf:parseType="Collection">
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:Description rdf:about="http://example.com/j"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:Description rdf:about="http://example.com/k"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance <rdf:Description rdf:about="http://example.com/i"/>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </owl:distinctMembers>
bb24bfa932beddc9a03b661d79a32094d1127696Felix Gabriel Mance </rdf:Description>