Id (Ontology name) |
Interoperability | Step1 (KAON2) | Step2 (WebODE) |
E01 (ISA01) | Interchange = DIFFERENT Execution = OK |
Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
  | Removed: ns=http://www.example.org/ISA01# -[<ns:> <rdf:type> <owl:Ontology>.] -[<ns:Person> <rdf:type> <owl:Class>.] |
Removed: ns=http://www.example.org/ISA01# -[<ns:> <rdf:type> <owl:Ontology>.] -[<ns:Person> <rdf:type> <owl:Class>.] |
  |
E02 (ISA02) | Interchange = N.E. Execution = FAIL |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = FAIL |
E03 (ISA03) | Interchange = N.E. Execution = FAIL |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = FAIL |
E04 (ISA04) | Interchange = N.E. Execution = FAIL |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = FAIL |
E05 (ISA05) | Interchange = N.E. Execution = FAIL |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = FAIL |
E06 (ISA06) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISA06# -[<ns:Woman> <rdfs:label> "Woman^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISA06# -[<ns:Woman> <rdfs:label> "Woman^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISA06# -[<ns:Woman> <rdfs:subClassOf> <ns:Woman>.] |
  | Removed: ns=http://www.example.org/ISA06# -[<ns:Woman> <rdfs:subClassOf> <ns:Woman>.] |
E07 (ISA07) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISA07# -[_:ybklurfk <rdf:type> <owl:Restriction>., _:ybklurfk <owl:onProperty> <ns:hasCar>., <ns:Driver> <rdfs:subClassOf> _:ybklurfk., _:ybklurfk <owl:allValuesFrom> <ns:Car>.] -[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.] -[<ns:hasCar_1> <rdfs:label> "hasCar^^xsd:string".] -[<ns:hasCar_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:hasCar_1> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:Driver> <rdfs:label> "Driver^^xsd:string".] -[<ns:Car> <rdfs:label> "Car^^xsd:string".] -[<ns:hasCar> <rdfs:range> <ns:Car>.] -[<ns:hasCar_1> <rdf:type> <owl:ObjectProperty>.] -[<ns:hasCar> <rdfs:domain> <ns:Driver>.] -[<ns:hasCar> <rdfs:label> "hasCar^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISA07# -[_:ulmsgiry <owl:allValuesFrom> <ns:Car>., _:ulmsgiry <rdf:type> <owl:Restriction>., _:ulmsgiry <owl:onProperty> <ns:hasCar>., <ns:Driver> <rdfs:subClassOf> _:ulmsgiry.] -[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.] -[<ns:hasCar_1> <rdfs:label> "hasCar^^xsd:string".] -[<ns:hasCar_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:hasCar_1> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:Driver> <rdfs:label> "Driver^^xsd:string".] -[<ns:Car> <rdfs:label> "Car^^xsd:string".] -[<ns:hasCar> <rdfs:range> <ns:Car>.] -[<ns:hasCar_1> <rdf:type> <owl:ObjectProperty>.] -[<ns:hasCar> <rdfs:domain> <ns:Driver>.] -[<ns:hasCar> <rdfs:label> "hasCar^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISA07# -[_:erlxcvtx <owl:onProperty> <ns:hasCar>., _:erlxcvtx <owl:someValuesFrom> <ns:Car>., <ns:Driver> <rdfs:subClassOf> _:erlxcvtx., _:erlxcvtx <rdf:type> <owl:Restriction>.] |
  | Removed: ns=http://www.example.org/ISA07# -[<ns:Driver> <rdfs:subClassOf> _:cayyefdx., _:cayyefdx <owl:someValuesFrom> <ns:Car>., _:cayyefdx <rdf:type> <owl:Restriction>., _:cayyefdx <owl:onProperty> <ns:hasCar>.] |
E08 (ISA08) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISA08# -[<ns:wasBorn> <rdfs:domain> <ns:Italian>.] -[<ns:wasBorn_1> <rdfs:label> "wasBorn^^xsd:string".] -[<ns:wasBorn> <rdfs:label> "wasBorn^^xsd:string".] -[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.] -[<ns:wasBorn> <rdfs:range> <ns:Italy>.] -[<ns:wasBorn_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:Italian> <rdfs:label> "Italian^^xsd:string".] -[<ns:Italy> <rdfs:label> "Italy^^xsd:string".] -[<ns:wasBorn_1> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:wasBorn_1> <rdf:type> <owl:ObjectProperty>.] |
  | Inserted: ns=http://www.example.org/ISA08# -[<ns:wasBorn> <rdfs:domain> <ns:Italian>.] -[<ns:wasBorn_1> <rdfs:label> "wasBorn^^xsd:string".] -[<ns:wasBorn> <rdfs:label> "wasBorn^^xsd:string".] -[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.] -[<ns:wasBorn> <rdfs:range> <ns:Italy>.] -[<ns:wasBorn_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:Italian> <rdfs:label> "Italian^^xsd:string".] -[<ns:Italy> <rdfs:label> "Italy^^xsd:string".] -[<ns:wasBorn_1> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:wasBorn_1> <rdf:type> <owl:ObjectProperty>.] |
E09 (ISA09) | Interchange = N.E. Execution = N.E. |
Interchange = N.E. Execution = C.E. |
Interchange = N.E. Execution = N.E. |
E10 (ISA10) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
E11 (ISA11) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
E12 (ISA12) | Interchange = N.E. Execution = N.E. |
Interchange = N.E. Execution = C.E. |
Interchange = N.E. Execution = N.E. |
E13 (ISA13) | Interchange = N.E. Execution = N.E. |
Interchange = N.E. Execution = C.E. |
Interchange = N.E. Execution = N.E. |
E14 (ISA14) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISA14# -[_:ucuewqgl <owl:allValuesFrom> <xsd:string>., _:ucuewqgl <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:ucuewqgl., _:ucuewqgl <rdf:type> <owl:Restriction>.] -[<ns:wrotePhDThesis> <rdfs:comment> "^^xsd:string".] -[<ns:Researcher> <rdfs:label> "Researcher^^xsd:string".] -[<ns:wrotePhDThesis> <rdfs:label> "wrotePhDThesis^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<ns:wrotePhDThesis> <rdfs:range> <xsd:string>.] -[<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>.] |
  | Inserted: ns=http://www.example.org/ISA14# -[_:lgmeiion <owl:onProperty> <ns:wrotePhDThesis>., _:lgmeiion <owl:allValuesFrom> <xsd:string>., _:lgmeiion <rdf:type> <owl:Restriction>., <ns:Researcher> <rdfs:subClassOf> _:lgmeiion.] -[<ns:wrotePhDThesis> <rdfs:comment> "^^xsd:string".] -[<ns:Researcher> <rdfs:label> "Researcher^^xsd:string".] -[<ns:wrotePhDThesis> <rdfs:label> "wrotePhDThesis^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<ns:wrotePhDThesis> <rdfs:range> <xsd:string>.] -[<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>.] |
E15 (ISA15) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISA15# -[_:nwbkmmyw <owl:onProperty> <ns:hasSSN>., _:nwbkmmyw <owl:allValuesFrom> <xsd:string>., _:nwbkmmyw <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:nwbkmmyw.] -[<ns:hasSSN> <rdfs:comment> "^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasSSN> <rdfs:range> <xsd:string>.] -[<ns:hasSSN> <rdfs:label> "hasSSN^^xsd:string".] -[<ns:hasSSN> <rdfs:domain> <ns:Person>.] -[<xsd:string> <rdf:type> <owl:Datatype>.] |
  | Inserted: ns=http://www.example.org/ISA15# -[_:ghspbdew <owl:onProperty> <ns:hasSSN>., _:ghspbdew <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:ghspbdew., _:ghspbdew <owl:allValuesFrom> <xsd:string>.] -[<ns:hasSSN> <rdfs:comment> "^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasSSN> <rdfs:range> <xsd:string>.] -[<ns:hasSSN> <rdfs:label> "hasSSN^^xsd:string".] -[<ns:hasSSN> <rdfs:domain> <ns:Person>.] -[<xsd:string> <rdf:type> <owl:Datatype>.] |
E16 (ISA16) | Interchange = N.E. Execution = N.E. |
Interchange = N.E. Execution = C.E. |
Interchange = N.E. Execution = N.E. |
E17 (ISA17) | Interchange = N.E. Execution = FAIL |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = FAIL |
E18 (ISB01) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISB01# -[<ns:Italienne> <rdfs:label> "Italienne^^xsd:string".] -[<ns:Italian> <rdfs:label> "Italian^^xsd:string".] -[<ns:Italiano> <rdfs:label> "Italiano^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISB01# -[<ns:Italienne> <rdfs:label> "Italienne^^xsd:string".] -[<ns:Italian> <rdfs:label> "Italian^^xsd:string".] -[<ns:Italiano> <rdfs:label> "Italiano^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISB01# -[<ns:Italian> <owl:equivalentClass> <ns:Italiano>.] -[<ns:Italian> <owl:equivalentClass> <ns:Italienne>.] |
  | Removed: ns=http://www.example.org/ISB01# -[<ns:Italian> <owl:equivalentClass> <ns:Italiano>.] -[<ns:Italian> <owl:equivalentClass> <ns:Italienne>.] |
E19 (ISB02) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISB02# -[_:xhlnmbay <owl:onProperty> <ns:hasCar>., _:xhlnmbay <rdf:type> <owl:Restriction>., <ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:xhlnmbay., _:xhlnmbay <owl:allValuesFrom> <ns:Car>.] -[<ns:hasCar> <rdfs:label> "hasCar^^xsd:string".] -[<ns:hasCar_1> <rdfs:label> "hasCar^^xsd:string".] -[<ns:hasCar_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.] -[<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>.] -[<ns:hasCar_1> <rdf:type> <owl:ObjectProperty>.] -[<ns:hasCar_1> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:hasCar> <rdfs:range> <ns:Car>.] -[<ns:hasCar> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>.] -[<ns:Car> <rdfs:label> "Car^^xsd:string".] -[<ns:Driver> <rdfs:label> "Driver^^xsd:string".] -[<ns:ANONYMOUS_CONCEPT_0> <rdfs:label> "ANONYMOUS_CONCEPT_0^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISB02# -[_:ppeynoys <owl:onProperty> <ns:hasCar>., _:ppeynoys <rdf:type> <owl:Restriction>., _:ppeynoys <owl:allValuesFrom> <ns:Car>., <ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:ppeynoys.] -[<ns:hasCar> <rdfs:label> "hasCar^^xsd:string".] -[<ns:hasCar_1> <rdfs:label> "hasCar^^xsd:string".] -[<ns:hasCar_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.] -[<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>.] -[<ns:hasCar_1> <rdf:type> <owl:ObjectProperty>.] -[<ns:hasCar_1> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:hasCar> <rdfs:range> <ns:Car>.] -[<ns:hasCar> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>.] -[<ns:Car> <rdfs:label> "Car^^xsd:string".] -[<ns:Driver> <rdfs:label> "Driver^^xsd:string".] -[<ns:ANONYMOUS_CONCEPT_0> <rdfs:label> "ANONYMOUS_CONCEPT_0^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISB02# -[_:sgcbxywy <rdf:type> <owl:Restriction>., _:sgcbxywy <owl:someValuesFrom> <ns:Car>., <ns:Driver> <owl:equivalentClass> _:sgcbxywy., _:sgcbxywy <owl:onProperty> <ns:hasCar>.] |
  | Removed: ns=http://www.example.org/ISB02# -[_:hriwjqjx <owl:someValuesFrom> <ns:Car>., _:hriwjqjx <owl:onProperty> <ns:hasCar>., <ns:Driver> <owl:equivalentClass> _:hriwjqjx., _:hriwjqjx <rdf:type> <owl:Restriction>.] |
E20 (ISB03) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISB03# -[_:kkrwxjyg <rdf:type> <owl:Restriction>., _:kkrwxjyg <owl:allValuesFrom> <ns:Italy>., <ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:kkrwxjyg., _:kkrwxjyg <owl:onProperty> <ns:wasBorn>.] -[<ns:wasBorn> <rdfs:label> "wasBorn^^xsd:string".] -[<ns:wasBorn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>.] -[<ns:wasBorn> <rdfs:range> <ns:Italy>.] -[<ns:wasBorn_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>.] -[<ns:Italian> <rdfs:label> "Italian^^xsd:string".] -[<ns:wasBorn_1> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:Italy> <rdfs:label> "Italy^^xsd:string".] -[<ns:ANONYMOUS_CONCEPT_0> <rdfs:label> "ANONYMOUS_CONCEPT_0^^xsd:string".] -[<ns:wasBorn_1> <rdfs:label> "wasBorn^^xsd:string".] -[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.] -[<ns:wasBorn_1> <rdf:type> <owl:ObjectProperty>.] |
  | Inserted: ns=http://www.example.org/ISB03# -[_:xxlpuxyk <owl:allValuesFrom> <ns:Italy>., _:xxlpuxyk <rdf:type> <owl:Restriction>., <ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:xxlpuxyk., _:xxlpuxyk <owl:onProperty> <ns:wasBorn>.] -[<ns:wasBorn> <rdfs:label> "wasBorn^^xsd:string".] -[<ns:wasBorn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>.] -[<ns:wasBorn> <rdfs:range> <ns:Italy>.] -[<ns:wasBorn_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>.] -[<ns:Italian> <rdfs:label> "Italian^^xsd:string".] -[<ns:wasBorn_1> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:Italy> <rdfs:label> "Italy^^xsd:string".] -[<ns:ANONYMOUS_CONCEPT_0> <rdfs:label> "ANONYMOUS_CONCEPT_0^^xsd:string".] -[<ns:wasBorn_1> <rdfs:label> "wasBorn^^xsd:string".] -[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.] -[<ns:wasBorn_1> <rdf:type> <owl:ObjectProperty>.] |
  | Removed: ns=http://www.example.org/ISB03# -[_:mrfqlmkg <rdf:type> <owl:Restriction>., <ns:Italian> <owl:equivalentClass> _:mrfqlmkg., _:mrfqlmkg <owl:onProperty> <ns:wasBorn>., _:mrfqlmkg <owl:allValuesFrom> <ns:Italy>.] |
  | Removed: ns=http://www.example.org/ISB03# -[<ns:Italian> <owl:equivalentClass> _:pjqtnyde., _:pjqtnyde <owl:allValuesFrom> <ns:Italy>., _:pjqtnyde <rdf:type> <owl:Restriction>., _:pjqtnyde <owl:onProperty> <ns:wasBorn>.] |
E21 (ISB04) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
E22 (ISB05) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
E23 (ISB06) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
E24 (ISB07) | Interchange = N.E. Execution = N.E. |
Interchange = N.E. Execution = C.E. |
Interchange = N.E. Execution = N.E. |
E25 (ISB08) | Interchange = N.E. Execution = N.E. |
Interchange = N.E. Execution = C.E. |
Interchange = N.E. Execution = N.E. |
E26 (ISB09) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISB09# -[<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:rxuyfvdu., _:rxuyfvdu <rdf:type> <owl:Restriction>., _:rxuyfvdu <owl:allValuesFrom> <xsd:string>., _:rxuyfvdu <owl:onProperty> <ns:wrotePhDThesis>.] -[_:bcukwuhf <owl:onProperty> <ns:wrotePhDThesis>., _:bcukwuhf <rdf:type> <owl:Restriction>., _:bcukwuhf <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., <ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:bcukwuhf.] -[<ns:Researcher> <rdfs:label> "Researcher^^xsd:string".] -[<ns:wrotePhDThesis> <rdfs:label> "wrotePhDThesis^^xsd:string".] -[<ns:wrotePhDThesis> <rdfs:range> <xsd:string>.] -[<ns:wrotePhDThesis> <rdfs:comment> "^^xsd:string".] -[<ns:ANONYMOUS_CONCEPT_0> <rdfs:label> "ANONYMOUS_CONCEPT_0^^xsd:string".] -[<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>.] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>.] |
  | Inserted: ns=http://www.example.org/ISB09# -[<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:rufgbjue., _:rufgbjue <owl:allValuesFrom> <xsd:string>., _:rufgbjue <rdf:type> <owl:Restriction>., _:rufgbjue <owl:onProperty> <ns:wrotePhDThesis>.] -[<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:dckuotrf., _:dckuotrf <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:dckuotrf <rdf:type> <owl:Restriction>., _:dckuotrf <owl:onProperty> <ns:wrotePhDThesis>.] -[<ns:Researcher> <rdfs:label> "Researcher^^xsd:string".] -[<ns:wrotePhDThesis> <rdfs:label> "wrotePhDThesis^^xsd:string".] -[<ns:wrotePhDThesis> <rdfs:range> <xsd:string>.] -[<ns:wrotePhDThesis> <rdfs:comment> "^^xsd:string".] -[<ns:ANONYMOUS_CONCEPT_0> <rdfs:label> "ANONYMOUS_CONCEPT_0^^xsd:string".] -[<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>.] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>.] |
  | Removed: ns=http://www.example.org/ISB09# -[_:uownaicp <owl:onProperty> <ns:wrotePhDThesis>., _:uownaicp <rdf:type> <owl:Restriction>., <ns:Researcher> <owl:equivalentClass> _:uownaicp., _:uownaicp <owl:maxCardinality> "1^^xsd:nonNegativeInteger".] |
  | Removed: ns=http://www.example.org/ISB09# -[<ns:Researcher> <owl:equivalentClass> _:xvdrbygq., _:xvdrbygq <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:xvdrbygq <rdf:type> <owl:Restriction>., _:xvdrbygq <owl:onProperty> <ns:wrotePhDThesis>.] |
E27 (ISB10) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISB10# -[_:gupeidbt <owl:allValuesFrom> <xsd:string>., <ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:gupeidbt., _:gupeidbt <rdf:type> <owl:Restriction>., _:gupeidbt <owl:onProperty> <ns:hasSSN>.] -[_:sxpcmmku <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:sxpcmmku <owl:onProperty> <ns:hasSSN>., <ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:sxpcmmku., _:sxpcmmku <rdf:type> <owl:Restriction>.] -[<ns:hasSSN> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>.] -[<ns:hasSSN> <rdfs:comment> "^^xsd:string".] -[<ns:hasSSN> <rdfs:label> "hasSSN^^xsd:string".] -[<ns:ANONYMOUS_CONCEPT_0> <rdfs:label> "ANONYMOUS_CONCEPT_0^^xsd:string".] -[<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>.] -[<ns:hasSSN> <rdfs:range> <xsd:string>.] -[<ns:Man> <rdfs:label> "Man^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] |
  | Inserted: ns=http://www.example.org/ISB10# -[_:ieeupdff <owl:onProperty> <ns:hasSSN>., _:ieeupdff <rdf:type> <owl:Restriction>., <ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:ieeupdff., _:ieeupdff <owl:allValuesFrom> <xsd:string>.] -[_:mshnrmhw <owl:onProperty> <ns:hasSSN>., _:mshnrmhw <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:mshnrmhw <rdf:type> <owl:Restriction>., <ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:mshnrmhw.] -[<ns:hasSSN> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>.] -[<ns:hasSSN> <rdfs:comment> "^^xsd:string".] -[<ns:hasSSN> <rdfs:label> "hasSSN^^xsd:string".] -[<ns:ANONYMOUS_CONCEPT_0> <rdfs:label> "ANONYMOUS_CONCEPT_0^^xsd:string".] -[<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>.] -[<ns:hasSSN> <rdfs:range> <xsd:string>.] -[<ns:Man> <rdfs:label> "Man^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] |
  | Removed: ns=http://www.example.org/ISB10# -[_:tmcjhksr <rdf:type> <owl:Restriction>., _:tmcjhksr <owl:cardinality> "1^^xsd:nonNegativeInteger"., <ns:Man> <owl:equivalentClass> _:tmcjhksr., _:tmcjhksr <owl:onProperty> <ns:hasSSN>.] |
  | Removed: ns=http://www.example.org/ISB10# -[_:jvetmlrb <rdf:type> <owl:Restriction>., <ns:Man> <owl:equivalentClass> _:jvetmlrb., _:jvetmlrb <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:jvetmlrb <owl:onProperty> <ns:hasSSN>.] |
E28 (ISB11) | Interchange = N.E. Execution = N.E. |
Interchange = N.E. Execution = C.E. |
Interchange = N.E. Execution = N.E. |
E29 (ISB12) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISB12# -[<ns:ItalianMan> <rdfs:label> "ItalianMan^^xsd:string".] -[<ns:OWL_ANONYM_CLASS_0> <rdfs:label> "OWL_ANONYM_CLASS_0^^xsd:string".] -[<ns:OWL_ANONYM_CLASS_0> <rdf:type> <owl:Class>.] -[<ns:Italian> <rdfs:label> "Italian^^xsd:string".] -[<ns:Male> <rdfs:label> "Male^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISB12# -[<ns:ItalianMan> <rdfs:label> "ItalianMan^^xsd:string".] -[<ns:OWL_ANONYM_CLASS_0> <rdfs:label> "OWL_ANONYM_CLASS_0^^xsd:string".] -[<ns:OWL_ANONYM_CLASS_0> <rdf:type> <owl:Class>.] -[<ns:Italian> <rdfs:label> "Italian^^xsd:string".] -[<ns:Male> <rdfs:label> "Male^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISB12# -[_:dyrvtggp <rdf:type> <owl:Class>., <ns:ItalianMan> <owl:equivalentClass> _:dyrvtggp., _:dyrvtggp <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}.] -[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.] -[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.] |
  | Removed: ns=http://www.example.org/ISB12# -[<ns:ItalianMan> <owl:equivalentClass> _:eoxfpyeq., _:eoxfpyeq <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., _:eoxfpyeq <rdf:type> <owl:Class>.] -[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.] -[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.] |
E30 (ISC01) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISC01# -[<ns:ItalianMan> <rdfs:label> "ItalianMan^^xsd:string".] -[<ns:OWL_ANONYM_CLASS_0> <rdfs:label> "OWL_ANONYM_CLASS_0^^xsd:string".] -[<ns:OWL_ANONYM_CLASS_0> <rdf:type> <owl:Class>.] -[<ns:Male> <rdfs:label> "Male^^xsd:string".] -[<ns:Italian> <rdfs:label> "Italian^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISC01# -[<ns:ItalianMan> <rdfs:label> "ItalianMan^^xsd:string".] -[<ns:OWL_ANONYM_CLASS_0> <rdfs:label> "OWL_ANONYM_CLASS_0^^xsd:string".] -[<ns:OWL_ANONYM_CLASS_0> <rdf:type> <owl:Class>.] -[<ns:Male> <rdfs:label> "Male^^xsd:string".] -[<ns:Italian> <rdfs:label> "Italian^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISC01# -[_:vpjnsikp <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., <ns:ItalianMan> <owl:equivalentClass> _:vpjnsikp., _:vpjnsikp <rdf:type> <owl:Class>.] -[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.] -[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.] |
  | Removed: ns=http://www.example.org/ISC01# -[_:jcvgcyqn <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., <ns:ItalianMan> <owl:equivalentClass> _:jcvgcyqn., _:jcvgcyqn <rdf:type> <owl:Class>.] -[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.] -[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.] |
E31 (ISC02) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISC02# -[<ns:OWL_ANONYM_CLASS_0> <rdf:type> <owl:Class>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:ItalianMan> <rdfs:label> "ItalianMan^^xsd:string".] -[<ns:OWL_ANONYM_CLASS_0> <rdfs:label> "OWL_ANONYM_CLASS_0^^xsd:string".] -[<ns:Male> <rdfs:label> "Male^^xsd:string".] -[<ns:Italian> <rdfs:label> "Italian^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISC02# -[<ns:OWL_ANONYM_CLASS_0> <rdf:type> <owl:Class>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:ItalianMan> <rdfs:label> "ItalianMan^^xsd:string".] -[<ns:OWL_ANONYM_CLASS_0> <rdfs:label> "OWL_ANONYM_CLASS_0^^xsd:string".] -[<ns:Male> <rdfs:label> "Male^^xsd:string".] -[<ns:Italian> <rdfs:label> "Italian^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISC02# -[_:njkvmhcc <rdf:type> <owl:Class>., <ns:ItalianMan> <owl:equivalentClass> _:njkvmhcc., _:njkvmhcc <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}.] -[{x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}} <rdf:first> <ns:Italian>.] -[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Person>.] -[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Male>.] |
  | Removed: ns=http://www.example.org/ISC02# -[<ns:ItalianMan> <owl:equivalentClass> _:ttejqpay., _:ttejqpay <rdf:type> <owl:Class>., _:ttejqpay <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}.] -[{x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}} <rdf:first> <ns:Italian>.] -[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Person>.] -[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Male>.] |
E32 (ISD01) | Interchange = DIFFERENT Execution = OK |
Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
  | Removed: ns=http://www.example.org/ISD01# -[<ns:> <rdf:type> <owl:Ontology>.] -[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.] |
Removed: ns=http://www.example.org/ISD01# -[<ns:> <rdf:type> <owl:Ontology>.] -[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.] |
  |
E33 (ISD02) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISD02# -[<ns:isFatherOf> <rdfs:label> "isFatherOf^^xsd:string".] -[<ns:isGrandFatherOf> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:isFatherOf> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:isFatherOf> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:isGrandFatherOf> <rdfs:label> "isGrandFatherOf^^xsd:string".] -[<ns:isAncestorOf> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:isAncestorOf> <rdfs:label> "isAncestorOf^^xsd:string".] -[<ns:isGrandFatherOf> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:isAncestorOf> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.] |
  | Inserted: ns=http://www.example.org/ISD02# -[<ns:isFatherOf> <rdfs:label> "isFatherOf^^xsd:string".] -[<ns:isGrandFatherOf> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:isFatherOf> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:isFatherOf> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:isGrandFatherOf> <rdfs:label> "isGrandFatherOf^^xsd:string".] -[<ns:isAncestorOf> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:isAncestorOf> <rdfs:label> "isAncestorOf^^xsd:string".] -[<ns:isGrandFatherOf> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:isAncestorOf> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.] |
  | Removed: ns=http://www.example.org/ISD02# -[<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>.] -[<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>.] |
  | Removed: ns=http://www.example.org/ISD02# -[<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>.] -[<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>.] |
E34 (ISD03) | Interchange = DIFFERENT Execution = OK |
Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
  | Removed: ns=http://www.example.org/ISD03# -[<ns:> <rdf:type> <owl:Ontology>.] -[<ns:hasAge> <rdf:type> <owl:DatatypeProperty>.] |
Removed: ns=http://www.example.org/ISD03# -[<ns:> <rdf:type> <owl:Ontology>.] -[<ns:hasAge> <rdf:type> <owl:DatatypeProperty>.] |
  |
E35 (ISD04) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Removed: ns=http://www.example.org/ISD04# -[<ns:isReal> <rdf:type> <owl:DatatypeProperty>.] -[<ns:isInteger> <rdf:type> <owl:DatatypeProperty>.] -[<ns:> <rdf:type> <owl:Ontology>.] -[<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>.] -[<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>.] -[<ns:isRational> <rdf:type> <owl:DatatypeProperty>.] |
  | Removed: ns=http://www.example.org/ISD04# -[<ns:isReal> <rdf:type> <owl:DatatypeProperty>.] -[<ns:isInteger> <rdf:type> <owl:DatatypeProperty>.] -[<ns:> <rdf:type> <owl:Ontology>.] -[<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>.] -[<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>.] -[<ns:isRational> <rdf:type> <owl:DatatypeProperty>.] |
E36 (ISE01) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
E37 (ISE02) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISE02# -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] -[<ns:hasChild> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.] |
  | Inserted: ns=http://www.example.org/ISE02# -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] -[<ns:hasChild> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.] |
E38 (ISE03) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISE03# -[<ns:Father> <rdfs:subClassOf> _:uoonsnxf., _:uoonsnxf <owl:onProperty> <ns:hasChild>., _:uoonsnxf <owl:allValuesFrom> <ns:Person>., _:uoonsnxf <rdf:type> <owl:Restriction>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:Father> <rdfs:label> "Father^^xsd:string".] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISE03# -[_:ccberupp <owl:onProperty> <ns:hasChild>., <ns:Father> <rdfs:subClassOf> _:ccberupp., _:ccberupp <owl:allValuesFrom> <ns:Person>., _:ccberupp <rdf:type> <owl:Restriction>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:Father> <rdfs:label> "Father^^xsd:string".] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] |
E39 (ISE04) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISE04# -[<ns:Person> <rdfs:subClassOf> _:tnyssjta., _:tnyssjta <rdf:type> <owl:Restriction>., _:tnyssjta <owl:allValuesFrom> <ns:Person>., _:tnyssjta <owl:onProperty> <ns:hasChild>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISE04# -[_:donovidm <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:donovidm., _:donovidm <owl:allValuesFrom> <ns:Person>., _:donovidm <owl:onProperty> <ns:hasChild>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] |
E40 (ISE05) | Interchange = N.E. Execution = FAIL |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = FAIL |
E41 (ISE06) | Interchange = N.E. Execution = FAIL |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = FAIL |
E42 (ISE07) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISE07# -[_:uwodpohm <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:uwodpohm., _:uwodpohm <owl:onProperty> <ns:hasSSN>., _:uwodpohm <owl:allValuesFrom> <xsd:string>.] -[<ns:hasSSN> <rdfs:comment> "^^xsd:string".] -[<ns:hasSSN> <rdfs:range> <xsd:string>.] -[<ns:hasSSN> <rdfs:label> "hasSSN^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISE07# -[<ns:Person> <rdfs:subClassOf> _:cxhxdmah., _:cxhxdmah <rdf:type> <owl:Restriction>., _:cxhxdmah <owl:onProperty> <ns:hasSSN>., _:cxhxdmah <owl:allValuesFrom> <xsd:string>.] -[<ns:hasSSN> <rdfs:comment> "^^xsd:string".] -[<ns:hasSSN> <rdfs:range> <xsd:string>.] -[<ns:hasSSN> <rdfs:label> "hasSSN^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] |
E43 (ISE08) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Removed: ns=http://www.example.org/ISE08# -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.] -[<ns:> <rdf:type> <owl:Ontology>.] |
  | Removed: ns=http://www.example.org/ISE08# -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.] -[<ns:> <rdf:type> <owl:Ontology>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] |
E44 (ISE09) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISE09# -[_:uiaohhsi <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:uiaohhsi., _:uiaohhsi <owl:onProperty> <ns:hasName>., _:uiaohhsi <rdf:type> <owl:Restriction>.] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<xsd:string> <rdf:type> <owl:Datatype>.] |
  | Inserted: ns=http://www.example.org/ISE09# -[_:uastgidp <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:uastgidp., _:uastgidp <owl:onProperty> <ns:hasName>., _:uastgidp <rdf:type> <owl:Restriction>.] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<xsd:string> <rdf:type> <owl:Datatype>.] |
  | Removed: ns=http://www.example.org/ISE09# -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] |
  | Removed: ns=http://www.example.org/ISE09# -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] |
E45 (ISE10) | Interchange = N.E. Execution = FAIL |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = FAIL |
E46 (ISF01) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISF01# -[_:bbeeqoek <owl:onProperty> <ns:livesIn>., _:bbeeqoek <owl:allValuesFrom> <ns:City>., _:bbeeqoek <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:bbeeqoek.] -[<ns:Person> <rdfs:subClassOf> _:xkesotvx., _:xkesotvx <rdf:type> <owl:Restriction>., _:xkesotvx <owl:allValuesFrom> <ns:City>., _:xkesotvx <owl:onProperty> <ns:isResidentIn>.] -[<ns:City> <rdfs:label> "City^^xsd:string".] -[<ns:isResidentIn> <rdfs:label> "isResidentIn^^xsd:string".] -[<ns:livesIn> <rdfs:label> "livesIn^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISF01# -[_:xsmrplrv <owl:onProperty> <ns:livesIn>., _:xsmrplrv <owl:allValuesFrom> <ns:City>., _:xsmrplrv <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:xsmrplrv.] -[_:ngojroej <owl:onProperty> <ns:isResidentIn>., <ns:Person> <rdfs:subClassOf> _:ngojroej., _:ngojroej <rdf:type> <owl:Restriction>., _:ngojroej <owl:allValuesFrom> <ns:City>.] -[<ns:City> <rdfs:label> "City^^xsd:string".] -[<ns:isResidentIn> <rdfs:label> "isResidentIn^^xsd:string".] -[<ns:livesIn> <rdfs:label> "livesIn^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISF01# -[<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>.] |
  | Removed: ns=http://www.example.org/ISF01# -[<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>.] |
E47 (ISF02) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISF02# -[_:uhbnacdv <rdf:type> <owl:Restriction>., <ns:City> <rdfs:subClassOf> _:uhbnacdv., _:uhbnacdv <owl:allValuesFrom> <xsd:string>., _:uhbnacdv <owl:onProperty> <ns:hasSpanishName>.] -[_:monlwnfa <rdf:type> <owl:Restriction>., _:monlwnfa <owl:onProperty> <ns:hasName>., <ns:City> <rdfs:subClassOf> _:monlwnfa., _:monlwnfa <owl:allValuesFrom> <xsd:string>.] -[<ns:hasSpanishName> <rdfs:range> <xsd:string>.] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<ns:hasSpanishName> <rdfs:label> "hasSpanishName^^xsd:string".] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<ns:hasSpanishName> <rdfs:comment> "^^xsd:string".] -[<ns:City> <rdfs:label> "City^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<ns:hasName> <rdfs:range> <xsd:string>.] |
  | Inserted: ns=http://www.example.org/ISF02# -[<ns:City> <rdfs:subClassOf> _:wupigsjy., _:wupigsjy <owl:onProperty> <ns:hasSpanishName>., _:wupigsjy <rdf:type> <owl:Restriction>., _:wupigsjy <owl:allValuesFrom> <xsd:string>.] -[_:gyiwadrp <rdf:type> <owl:Restriction>., _:gyiwadrp <owl:onProperty> <ns:hasName>., <ns:City> <rdfs:subClassOf> _:gyiwadrp., _:gyiwadrp <owl:allValuesFrom> <xsd:string>.] -[<ns:hasSpanishName> <rdfs:range> <xsd:string>.] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<ns:hasSpanishName> <rdfs:label> "hasSpanishName^^xsd:string".] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<ns:hasSpanishName> <rdfs:comment> "^^xsd:string".] -[<ns:City> <rdfs:label> "City^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<ns:hasName> <rdfs:range> <xsd:string>.] |
  | Removed: ns=http://www.example.org/ISF02# -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<ns:hasSpanishName> <rdfs:range> <rdfs:Literal>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] -[<ns:hasName> <owl:equivalentProperty> <ns:hasSpanishName>.] |
  | Removed: ns=http://www.example.org/ISF02# -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<ns:hasSpanishName> <rdfs:range> <rdfs:Literal>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] -[<ns:hasName> <owl:equivalentProperty> <ns:hasSpanishName>.] |
E48 (ISF03) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISF03# -[_:begeqgsb <owl:onProperty> <ns:hasParent>., _:begeqgsb <owl:allValuesFrom> <ns:Person>., _:begeqgsb <rdf:type> <owl:Restriction>., <ns:Child> <rdfs:subClassOf> _:begeqgsb.] -[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] -[<ns:Child> <rdfs:label> "Child^^xsd:string".] -[<ns:hasChild> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:hasParent> <rdfs:label> "hasParent^^xsd:string".] -[<ns:hasChild> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] |
  | Inserted: ns=http://www.example.org/ISF03# -[_:pynnsncb <owl:onProperty> <ns:hasParent>., <ns:Child> <rdfs:subClassOf> _:pynnsncb., _:pynnsncb <rdf:type> <owl:Restriction>., _:pynnsncb <owl:allValuesFrom> <ns:Person>.] -[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] -[<ns:Child> <rdfs:label> "Child^^xsd:string".] -[<ns:hasChild> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] -[<ns:hasParent> <rdfs:label> "hasParent^^xsd:string".] -[<ns:hasChild> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.] |
  | Removed: ns=http://www.example.org/ISF03# -[<ns:hasParent> <owl:inverseOf> <ns:hasChild>.] |
  | Removed: ns=http://www.example.org/ISF03# -[<ns:hasParent> <owl:inverseOf> <ns:hasChild>.] |
E49 (ISG01) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISG01# -[_:bhgbcomc <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:bhgbcomc., _:bhgbcomc <owl:allValuesFrom> <ns:Person>., _:bhgbcomc <owl:onProperty> <ns:hasFriend>.] -[<ns:hasFriend> <rdfs:label> "hasFriend^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISG01# -[_:sigdkanx <rdf:type> <owl:Restriction>., _:sigdkanx <owl:onProperty> <ns:hasFriend>., <ns:Person> <rdfs:subClassOf> _:sigdkanx., _:sigdkanx <owl:allValuesFrom> <ns:Person>.] -[<ns:hasFriend> <rdfs:label> "hasFriend^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISG01# -[<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>.] |
  | Removed: ns=http://www.example.org/ISG01# -[<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>.] |
E50 (ISG02) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISG02# -[<ns:Person> <rdfs:subClassOf> _:wirdaivx., _:wirdaivx <owl:allValuesFrom> <ns:Person>., _:wirdaivx <rdf:type> <owl:Restriction>., _:wirdaivx <owl:onProperty> <ns:hasFriend>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasFriend> <rdfs:label> "hasFriend^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISG02# -[_:uhhcexms <owl:onProperty> <ns:hasFriend>., _:uhhcexms <owl:allValuesFrom> <ns:Person>., <ns:Person> <rdfs:subClassOf> _:uhhcexms., _:uhhcexms <rdf:type> <owl:Restriction>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasFriend> <rdfs:label> "hasFriend^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISG02# -[<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>.] |
  | Removed: ns=http://www.example.org/ISG02# -[<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>.] |
E51 (ISG03) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISG03# -[_:moiplblv <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:moiplblv <rdf:type> <owl:Restriction>., <ns:Woman> <rdfs:subClassOf> _:moiplblv., _:moiplblv <owl:onProperty> <ns:hasHusband>.] -[_:bsguofyt <owl:onProperty> <ns:hasHusband>., <ns:Woman> <rdfs:subClassOf> _:bsguofyt., _:bsguofyt <owl:allValuesFrom> <ns:Man>., _:bsguofyt <rdf:type> <owl:Restriction>.] -[<ns:hasHusband> <rdfs:label> "hasHusband^^xsd:string".] -[<ns:Man> <rdfs:label> "Man^^xsd:string".] -[<ns:Woman> <rdfs:label> "Woman^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISG03# -[_:kgxeibtp <owl:onProperty> <ns:hasHusband>., _:kgxeibtp <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., <ns:Woman> <rdfs:subClassOf> _:kgxeibtp., _:kgxeibtp <rdf:type> <owl:Restriction>.] -[_:oxgolobl <owl:onProperty> <ns:hasHusband>., _:oxgolobl <owl:allValuesFrom> <ns:Man>., _:oxgolobl <rdf:type> <owl:Restriction>., <ns:Woman> <rdfs:subClassOf> _:oxgolobl.] -[<ns:hasHusband> <rdfs:label> "hasHusband^^xsd:string".] -[<ns:Man> <rdfs:label> "Man^^xsd:string".] -[<ns:Woman> <rdfs:label> "Woman^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISG03# -[<ns:hasHusband> <rdf:type> <owl:FunctionalProperty>.] |
  | Removed: ns=http://www.example.org/ISG03# -[<ns:hasHusband> <rdf:type> <owl:FunctionalProperty>.] |
E52 (ISG04) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISG04# -[<ns:Person> <rdfs:subClassOf> _:uvqkqkeh., _:uvqkqkeh <owl:allValuesFrom> <xsd:string>., _:uvqkqkeh <owl:onProperty> <ns:hasAge>., _:uvqkqkeh <rdf:type> <owl:Restriction>.] -[_:ktwlwepl <owl:onProperty> <ns:hasAge>., _:ktwlwepl <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:ktwlwepl <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:ktwlwepl.] -[<ns:hasAge> <rdfs:label> "hasAge^^xsd:string".] -[<ns:hasAge> <rdfs:comment> "^^xsd:string".] -[<ns:hasAge> <rdfs:range> <xsd:string>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] |
  | Inserted: ns=http://www.example.org/ISG04# -[<ns:Person> <rdfs:subClassOf> _:fxqmwhax., _:fxqmwhax <rdf:type> <owl:Restriction>., _:fxqmwhax <owl:allValuesFrom> <xsd:string>., _:fxqmwhax <owl:onProperty> <ns:hasAge>.] -[_:ekocliht <owl:onProperty> <ns:hasAge>., <ns:Person> <rdfs:subClassOf> _:ekocliht., _:ekocliht <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:ekocliht <rdf:type> <owl:Restriction>.] -[<ns:hasAge> <rdfs:label> "hasAge^^xsd:string".] -[<ns:hasAge> <rdfs:comment> "^^xsd:string".] -[<ns:hasAge> <rdfs:range> <xsd:string>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] |
  | Removed: ns=http://www.example.org/ISG04# -[<ns:hasAge> <rdfs:range> <rdfs:Literal>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] -[<ns:hasAge> <rdf:type> <owl:FunctionalProperty>.] |
  | Removed: ns=http://www.example.org/ISG04# -[<ns:hasAge> <rdfs:range> <rdfs:Literal>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] -[<ns:hasAge> <rdf:type> <owl:FunctionalProperty>.] |
E53 (ISG05) | Interchange = N.E. Execution = FAIL |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = FAIL |
E54 (ISH01) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISH01# -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/Peter> <rdfs:label> "Peter^^xsd:string".] -[<http://www.example.org/Peter> <rdf:type> <ns:Person>.] |
  | Inserted: ns=http://www.example.org/ISH01# -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/Peter> <rdfs:label> "Peter^^xsd:string".] -[<http://www.example.org/Peter> <rdf:type> <ns:Person>.] |
  | Removed: ns=http://www.example.org/ISH01# -[<ns:Peter> <rdf:type> <ns:Person>.] |
  | Removed: ns=http://www.example.org/ISH01# -[<ns:Peter> <rdf:type> <ns:Person>.] |
E55 (ISH02) | Interchange = N.E. Execution = FAIL |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = FAIL |
E56 (ISH03) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISH03# -[<http://www.example.org/Mary> <rdf:type> <ns:Person>.] -[<http://www.example.org/Peter> <rdf:type> <ns:Person>.] -[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/Paul> <rdfs:label> "Paul^^xsd:string".] -[<http://www.example.org/Peter> <rdfs:label> "Peter^^xsd:string".] -[<http://www.example.org/Paul> <rdf:type> <ns:Person>.] |
  | Inserted: ns=http://www.example.org/ISH03# -[<http://www.example.org/Mary> <rdf:type> <ns:Person>.] -[<http://www.example.org/Peter> <rdf:type> <ns:Person>.] -[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/Paul> <rdfs:label> "Paul^^xsd:string".] -[<http://www.example.org/Peter> <rdfs:label> "Peter^^xsd:string".] -[<http://www.example.org/Paul> <rdf:type> <ns:Person>.] |
  | Removed: ns=http://www.example.org/ISH03# -[<ns:Mary> <rdf:type> <ns:Person>.] -[<ns:Peter> <rdf:type> <ns:Person>.] -[<ns:Paul> <rdf:type> <ns:Person>.] |
  | Removed: ns=http://www.example.org/ISH03# -[<ns:Mary> <rdf:type> <ns:Person>.] -[<ns:Peter> <rdf:type> <ns:Person>.] -[<ns:Paul> <rdf:type> <ns:Person>.] |
E57 (ISI01) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISI01# -[<ns:Person> <rdfs:subClassOf> _:qyylwyfq., _:qyylwyfq <rdf:type> <owl:Restriction>., _:qyylwyfq <owl:allValuesFrom> <ns:Person>., _:qyylwyfq <owl:onProperty> <ns:hasChild>.] -[<http://www.example.org/Mary> <rdf:type> <ns:Person>.] -[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".] -[<http://www.example.org/Paul> <rdfs:label> "Paul^^xsd:string".] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/Paul> <rdf:type> <ns:Person>.] |
  | Inserted: ns=http://www.example.org/ISI01# -[_:ooqmhoik <owl:onProperty> <ns:hasChild>., _:ooqmhoik <owl:allValuesFrom> <ns:Person>., <ns:Person> <rdfs:subClassOf> _:ooqmhoik., _:ooqmhoik <rdf:type> <owl:Restriction>.] -[<http://www.example.org/Mary> <rdf:type> <ns:Person>.] -[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".] -[<http://www.example.org/Paul> <rdfs:label> "Paul^^xsd:string".] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/Paul> <rdf:type> <ns:Person>.] |
  | Removed: ns=http://www.example.org/ISI01# -[<ns:Mary> <rdf:type> <ns:Person>.] -[<ns:Mary> <ns:hasChild> <ns:Paul>.] -[<ns:Paul> <rdf:type> <ns:Person>.] |
  | Removed: ns=http://www.example.org/ISI01# -[<ns:Mary> <rdf:type> <ns:Person>.] -[<ns:Mary> <ns:hasChild> <ns:Paul>.] -[<ns:Paul> <rdf:type> <ns:Person>.] |
E58 (ISI02) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISI02# -[_:ofewpkan <rdf:type> <owl:Restriction>., _:ofewpkan <owl:onProperty> <ns:knows>., _:ofewpkan <owl:allValuesFrom> <ns:Person>., <ns:Person> <rdfs:subClassOf> _:ofewpkan.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:knows> <rdfs:label> "knows^^xsd:string".] -[<http://www.example.org/Peter> <rdfs:label> "Peter^^xsd:string".] -[<http://www.example.org/Peter> <rdf:type> <ns:Person>.] |
  | Inserted: ns=http://www.example.org/ISI02# -[_:dwxkydtq <rdf:type> <owl:Restriction>., _:dwxkydtq <owl:allValuesFrom> <ns:Person>., _:dwxkydtq <owl:onProperty> <ns:knows>., <ns:Person> <rdfs:subClassOf> _:dwxkydtq.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:knows> <rdfs:label> "knows^^xsd:string".] -[<http://www.example.org/Peter> <rdfs:label> "Peter^^xsd:string".] -[<http://www.example.org/Peter> <rdf:type> <ns:Person>.] |
  | Removed: ns=http://www.example.org/ISI02# -[<ns:Peter> <ns:knows> <ns:Peter>.] -[<ns:Peter> <rdf:type> <ns:Person>.] |
  | Removed: ns=http://www.example.org/ISI02# -[<ns:Peter> <ns:knows> <ns:Peter>.] -[<ns:Peter> <rdf:type> <ns:Person>.] |
E59 (ISI03) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISI03# -[_:btgpkpmx <owl:onProperty> <ns:hasChild>., <ns:Mother> <rdfs:subClassOf> _:btgpkpmx., _:btgpkpmx <owl:allValuesFrom> <ns:Child>., _:btgpkpmx <rdf:type> <owl:Restriction>.] -[<http://www.example.org/Paul> <rdf:type> <ns:Child>.] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] -[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".] -[<http://www.example.org/Mary> <rdf:type> <ns:Mother>.] -[<ns:Mother> <rdfs:label> "Mother^^xsd:string".] -[<http://www.example.org/Paul> <rdfs:label> "Paul^^xsd:string".] -[<ns:Child> <rdfs:label> "Child^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISI03# -[_:vvcudnbk <owl:allValuesFrom> <ns:Child>., _:vvcudnbk <rdf:type> <owl:Restriction>., _:vvcudnbk <owl:onProperty> <ns:hasChild>., <ns:Mother> <rdfs:subClassOf> _:vvcudnbk.] -[<http://www.example.org/Paul> <rdf:type> <ns:Child>.] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] -[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".] -[<http://www.example.org/Mary> <rdf:type> <ns:Mother>.] -[<ns:Mother> <rdfs:label> "Mother^^xsd:string".] -[<http://www.example.org/Paul> <rdfs:label> "Paul^^xsd:string".] -[<ns:Child> <rdfs:label> "Child^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISI03# -[<ns:Paul> <rdf:type> <ns:Child>.] -[<ns:Mary> <ns:hasChild> <ns:Paul>.] -[<ns:Mary> <rdf:type> <ns:Mother>.] |
  | Removed: ns=http://www.example.org/ISI03# -[<ns:Paul> <rdf:type> <ns:Child>.] -[<ns:Mary> <ns:hasChild> <ns:Paul>.] -[<ns:Mary> <rdf:type> <ns:Mother>.] |
E60 (ISI04) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISI04# -[_:ajekhtfp <owl:onProperty> <ns:hasName>., _:ajekhtfp <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:ajekhtfp., _:ajekhtfp <owl:allValuesFrom> <xsd:string>.] -[<http://www.example.org/MarySmith> <rdfs:label> "MarySmith^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<http://www.example.org/MarySmith> <rdf:type> <ns:Person>.] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<http://www.example.org/MarySmith> <ns:hasName> "Mary^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISI04# -[_:vtcoiunb <rdf:type> <owl:Restriction>., _:vtcoiunb <owl:onProperty> <ns:hasName>., _:vtcoiunb <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:vtcoiunb.] -[<http://www.example.org/MarySmith> <rdfs:label> "MarySmith^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<http://www.example.org/MarySmith> <rdf:type> <ns:Person>.] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<http://www.example.org/MarySmith> <ns:hasName> "Mary^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISI04# -[<ns:MarySmith> <ns:hasName> "Mary^^xsd:string".] -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] -[<ns:MarySmith> <rdf:type> <ns:Person>.] |
  | Removed: ns=http://www.example.org/ISI04# -[<ns:MarySmith> <ns:hasName> "Mary^^xsd:string".] -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] -[<ns:MarySmith> <rdf:type> <ns:Person>.] |
E61 (ISI05) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISI05# -[_:oceuctey <rdf:type> <owl:Restriction>., _:oceuctey <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:oceuctey., _:oceuctey <owl:onProperty> <ns:hasName>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<http://www.example.org/MaryAnn> <ns:hasName> "Mary^^xsd:string".] -[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".] -[<http://www.example.org/MaryAnn> <ns:hasName> "Ann^^xsd:string".] -[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] |
  | Inserted: ns=http://www.example.org/ISI05# -[_:hvrclodv <owl:allValuesFrom> <xsd:string>., _:hvrclodv <owl:onProperty> <ns:hasName>., _:hvrclodv <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:hvrclodv.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<http://www.example.org/MaryAnn> <ns:hasName> "Mary^^xsd:string".] -[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".] -[<http://www.example.org/MaryAnn> <ns:hasName> "Ann^^xsd:string".] -[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] |
  | Removed: ns=http://www.example.org/ISI05# -[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".] -[<ns:MaryAnn> <rdf:type> <ns:Person>.] -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] |
  | Removed: ns=http://www.example.org/ISI05# -[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".] -[<ns:MaryAnn> <rdf:type> <ns:Person>.] -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] |
E62 (ISJ01) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISJ01# -[_:rwjnupyy <owl:allValuesFrom> <ns:Person>., _:rwjnupyy <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:rwjnupyy., _:rwjnupyy <owl:onProperty> <ns:hasChild>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/genid1> <rdf:type> <ns:Person>.] -[<http://www.example.org/John> <rdf:type> <ns:Person>.] -[<http://www.example.org/genid1> <rdfs:label> "genid1^^xsd:string".] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] -[<http://www.example.org/John> <rdfs:label> "John^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISJ01# -[_:cdshkqga <owl:allValuesFrom> <ns:Person>., _:cdshkqga <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:cdshkqga., _:cdshkqga <owl:onProperty> <ns:hasChild>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/genid1> <rdf:type> <ns:Person>.] -[<http://www.example.org/John> <rdf:type> <ns:Person>.] -[<http://www.example.org/genid1> <rdfs:label> "genid1^^xsd:string".] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] -[<http://www.example.org/John> <rdfs:label> "John^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISJ01# -[<ns:genid1> <rdf:type> <ns:Person>.] -[<ns:genid1> <ns:hasChild> <ns:John>.] -[<ns:John> <rdf:type> <ns:Person>.] |
  | Removed: ns=http://www.example.org/ISJ01# -[<ns:genid1> <rdf:type> <ns:Person>.] -[<ns:genid1> <ns:hasChild> <ns:John>.] -[<ns:John> <rdf:type> <ns:Person>.] |
E63 (ISJ02) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISJ02# -[_:tisqdist <rdf:type> <owl:Restriction>., _:tisqdist <owl:allValuesFrom> <ns:Person>., _:tisqdist <owl:onProperty> <ns:hasChild>., <ns:Parent> <rdfs:subClassOf> _:tisqdist.] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] -[<http://www.example.org/John> <rdf:type> <ns:Person>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/genid1> <rdf:type> <ns:Parent>.] -[<http://www.example.org/genid1> <rdfs:label> "genid1^^xsd:string".] -[<http://www.example.org/John> <rdfs:label> "John^^xsd:string".] -[<ns:Parent> <rdfs:label> "Parent^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISJ02# -[_:xowasxej <owl:onProperty> <ns:hasChild>., _:xowasxej <rdf:type> <owl:Restriction>., _:xowasxej <owl:allValuesFrom> <ns:Person>., <ns:Parent> <rdfs:subClassOf> _:xowasxej.] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] -[<http://www.example.org/John> <rdf:type> <ns:Person>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/genid1> <rdf:type> <ns:Parent>.] -[<http://www.example.org/genid1> <rdfs:label> "genid1^^xsd:string".] -[<http://www.example.org/John> <rdfs:label> "John^^xsd:string".] -[<ns:Parent> <rdfs:label> "Parent^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISJ02# -[<ns:genid1> <rdf:type> <ns:Parent>.] -[<ns:John> <rdf:type> <ns:Person>.] -[<ns:genid1> <ns:hasChild> <ns:John>.] |
  | Removed: ns=http://www.example.org/ISJ02# -[<ns:genid1> <rdf:type> <ns:Parent>.] -[<ns:John> <rdf:type> <ns:Person>.] -[<ns:genid1> <ns:hasChild> <ns:John>.] |
E64 (ISJ03) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISJ03# -[<ns:Person> <rdfs:subClassOf> _:clgpxlyd., _:clgpxlyd <owl:allValuesFrom> <xsd:string>., _:clgpxlyd <owl:onProperty> <ns:hasName>., _:clgpxlyd <rdf:type> <owl:Restriction>.] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<http://www.example.org/genid1> <rdf:type> <ns:Person>.] -[<http://www.example.org/genid1> <rdfs:label> "genid1^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<http://www.example.org/genid1> <ns:hasName> "Peter^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISJ03# -[_:iawafifd <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:iawafifd., _:iawafifd <owl:allValuesFrom> <xsd:string>., _:iawafifd <owl:onProperty> <ns:hasName>.] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<http://www.example.org/genid1> <rdf:type> <ns:Person>.] -[<http://www.example.org/genid1> <rdfs:label> "genid1^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<http://www.example.org/genid1> <ns:hasName> "Peter^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISJ03# -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<ns:genid1> <ns:hasName> "Peter^^xsd:string".] -[<ns:genid1> <rdf:type> <ns:Person>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] |
  | Removed: ns=http://www.example.org/ISJ03# -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<ns:genid1> <ns:hasName> "Peter^^xsd:string".] -[<ns:genid1> <rdf:type> <ns:Person>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] |
E65 (ISK01) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISK01# -[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.] -[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".] -[<http://www.example.org/Mary> <rdf:type> <ns:Person>.] |
  | Inserted: ns=http://www.example.org/ISK01# -[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.] -[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".] -[<http://www.example.org/Mary> <rdf:type> <ns:Person>.] |
  | Removed: ns=http://www.example.org/ISK01# -[<ns:MaryAnn> <rdf:type> <ns:Person>.] -[<ns:Mary> <rdf:type> <ns:Person>.] -[<ns:Mary> <owl:sameAs> <ns:MaryAnn>.] |
  | Removed: ns=http://www.example.org/ISK01# -[<ns:MaryAnn> <rdf:type> <ns:Person>.] -[<ns:Mary> <rdf:type> <ns:Person>.] -[<ns:Mary> <owl:sameAs> <ns:MaryAnn>.] |
E66 (ISK02) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISK02# -[<http://www.example.org/Ann> <rdf:type> <ns:Person>.] -[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".] -[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.] -[<http://www.example.org/Ann> <rdfs:label> "Ann^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISK02# -[<http://www.example.org/Ann> <rdf:type> <ns:Person>.] -[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".] -[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.] -[<http://www.example.org/Ann> <rdfs:label> "Ann^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISK02# -[<ns:Ann> <owl:differentFrom> <ns:MaryAnn>.] -[<ns:Ann> <rdf:type> <ns:Person>.] -[<ns:MaryAnn> <rdf:type> <ns:Person>.] |
  | Removed: ns=http://www.example.org/ISK02# -[<ns:Ann> <owl:differentFrom> <ns:MaryAnn>.] -[<ns:Ann> <rdf:type> <ns:Person>.] -[<ns:MaryAnn> <rdf:type> <ns:Person>.] |
E67 (ISK03) | Interchange = N.E. Execution = FAIL |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = FAIL |
E68 (ISL01) | Interchange = DIFFERENT Execution = OK |
Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
  | Removed: ns=http://www.example.org/ISL01# -[<ns:Man> <rdf:type> <owl:Class>.] -[<ns:> <rdf:type> <owl:Ontology>.] -[<ns:Woman> <rdf:type> <owl:Class>.] |
Removed: ns=http://www.example.org/ISL01# -[<ns:Man> <rdf:type> <owl:Class>.] -[<ns:> <rdf:type> <owl:Ontology>.] -[<ns:Woman> <rdf:type> <owl:Class>.] |
  |
E69 (ISL02) | Interchange = DIFFERENT Execution = OK |
Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
  | Removed: ns=http://www.example.org/ISL02# -[<ns:Woman> <rdf:type> <owl:Class>.] -[<ns:> <rdf:type> <owl:Ontology>.] -[<ns:Man> <rdf:type> <owl:Class>.] |
Removed: ns=http://www.example.org/ISL02# -[<ns:Woman> <rdf:type> <owl:Class>.] -[<ns:> <rdf:type> <owl:Ontology>.] -[<ns:Man> <rdf:type> <owl:Class>.] |
  |
E70 (ISL03) | Interchange = DIFFERENT Execution = OK |
Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
  | Removed: ns=http://www.example.org/ISL03# -[<ns:Woman> <rdf:type> <owl:Class>.] -[<ns:> <rdf:type> <owl:Ontology>.] -[<ns:Man> <rdf:type> <owl:Class>.] |
Removed: ns=http://www.example.org/ISL03# -[<ns:Woman> <rdf:type> <owl:Class>.] -[<ns:> <rdf:type> <owl:Ontology>.] -[<ns:Man> <rdf:type> <owl:Class>.] |
  |
E71 (ISL04) | Interchange = DIFFERENT Execution = OK |
Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
  | Removed: ns=http://www.example.org/ISL04# -[<ns:Woman> <rdf:type> <owl:Class>.] -[<ns:Man> <rdf:type> <owl:Class>.] -[<ns:> <rdf:type> <owl:Ontology>.] |
Removed: ns=http://www.example.org/ISL04# -[<ns:Woman> <rdf:type> <owl:Class>.] -[<ns:Man> <rdf:type> <owl:Class>.] -[<ns:> <rdf:type> <owl:Ontology>.] |
  |
E72 (ISL05) | Interchange = DIFFERENT Execution = OK |
Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
  | Removed: ns=http://www.example.org/ISL05# -[<ns:Woman> <rdf:type> <owl:Class>.] -[<ns:Man> <rdf:type> <owl:Class>.] -[<ns:> <rdf:type> <owl:Ontology>.] |
Removed: ns=http://www.example.org/ISL05# -[<ns:Woman> <rdf:type> <owl:Class>.] -[<ns:Man> <rdf:type> <owl:Class>.] -[<ns:> <rdf:type> <owl:Ontology>.] |
  |
E73 (ISL06) | Interchange = DIFFERENT Execution = OK |
Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
  | Removed: ns=http://www.example.org/ISL06# -[<ns:Woman> <rdf:type> <owl:Class>.] -[<ns:Man> <rdf:type> <owl:Class>.] -[<ns:> <rdf:type> <owl:Ontology>.] |
Removed: ns=http://www.example.org/ISL06# -[<ns:Woman> <rdf:type> <owl:Class>.] -[<ns:Man> <rdf:type> <owl:Class>.] -[<ns:> <rdf:type> <owl:Ontology>.] |
  |
E74 (ISL07) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISL07# -[<ns:Person> <rdfs:subClassOf> _:ngyvqnqx., _:ngyvqnqx <owl:allValuesFrom> <xsd:string>., _:ngyvqnqx <owl:onProperty> <ns:hasName>., _:ngyvqnqx <rdf:type> <owl:Restriction>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/MaryAnn> <ns:hasName> "Ann^^xsd:string".] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".] -[<http://www.example.org/MaryAnn> <ns:hasName> "Mary^^xsd:string".] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.] -[<xsd:string> <rdf:type> <owl:Datatype>.] |
  | Inserted: ns=http://www.example.org/ISL07# -[_:jgfdqfll <owl:onProperty> <ns:hasName>., _:jgfdqfll <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:jgfdqfll., _:jgfdqfll <rdf:type> <owl:Restriction>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/MaryAnn> <ns:hasName> "Ann^^xsd:string".] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".] -[<http://www.example.org/MaryAnn> <ns:hasName> "Mary^^xsd:string".] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.] -[<xsd:string> <rdf:type> <owl:Datatype>.] |
  | Removed: ns=http://www.example.org/ISL07# -[<ns:MaryAnn> <rdf:type> <ns:Person>.] -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".] -[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] |
  | Removed: ns=http://www.example.org/ISL07# -[<ns:MaryAnn> <rdf:type> <ns:Person>.] -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".] -[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] |
E75 (ISL08) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISL08# -[_:krtdahed <owl:allValuesFrom> <xsd:string>., _:krtdahed <owl:onProperty> <ns:hasName>., _:krtdahed <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:krtdahed.] -[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".] -[<http://www.example.org/MaryAnn> <ns:hasName> "Ann^^xsd:string".] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<http://www.example.org/MaryAnn> <ns:hasName> "Mary^^xsd:string".] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISL08# -[_:mnpttrxm <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:mnpttrxm., _:mnpttrxm <rdf:type> <owl:Restriction>., _:mnpttrxm <owl:onProperty> <ns:hasName>.] -[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".] -[<http://www.example.org/MaryAnn> <ns:hasName> "Ann^^xsd:string".] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<http://www.example.org/MaryAnn> <ns:hasName> "Mary^^xsd:string".] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISL08# -[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".] -[<ns:MaryAnn> <rdf:type> <ns:Person>.] -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] |
  | Removed: ns=http://www.example.org/ISL08# -[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".] -[<ns:MaryAnn> <rdf:type> <ns:Person>.] -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] |
E76 (ISL09) | Interchange = DIFFERENT Execution = OK |
Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
  | Removed: ns=http://www.example.org/ISL09# -[<ns:> <rdf:type> <owl:Ontology>.] -[<ns:Man> <rdf:type> <owl:Class>.] -[<ns:Woman> <rdf:type> <owl:Class>.] |
Removed: ns=http://www.example.org/ISL09# -[<ns:> <rdf:type> <owl:Ontology>.] -[<ns:Man> <rdf:type> <owl:Class>.] -[<ns:Woman> <rdf:type> <owl:Class>.] |
  |
E77 (ISL10) | Interchange = DIFFERENT Execution = OK |
Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
  | Removed: ns=http://www.example.org/ISL10# -[<ns:Man> <rdf:type> <owl:Class>.] -[<ns:Woman> <rdf:type> <owl:Class>.] -[<ns:> <rdf:type> <owl:Ontology>.] |
Removed: ns=http://www.example.org/ISL10# -[<ns:Man> <rdf:type> <owl:Class>.] -[<ns:Woman> <rdf:type> <owl:Class>.] -[<ns:> <rdf:type> <owl:Ontology>.] |
  |
E78 (ISL11) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISL11# -[_:icfqlvfq <owl:allValuesFrom> <xsd:string>., _:icfqlvfq <owl:onProperty> <ns:hasName>., <ns:Person> <rdfs:subClassOf> _:icfqlvfq., _:icfqlvfq <rdf:type> <owl:Restriction>.] -[<ns:Person> <rdfs:subClassOf> _:tpiehjqb., _:tpiehjqb <owl:onProperty> <ns:hasSurname>., _:tpiehjqb <owl:allValuesFrom> <xsd:string>., _:tpiehjqb <rdf:type> <owl:Restriction>.] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<http://www.example.org/JohnDoe> <ns:hasSurname> "Doe^^xsd:string".] -[<http://www.example.org/JohnDoe> <rdf:type> <ns:Person>.] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<http://www.example.org/JohnDoe> <ns:hasName> "John^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/JohnDoe> <rdfs:label> "JohnDoe^^xsd:string".] -[<ns:hasSurname> <rdfs:label> "hasSurname^^xsd:string".] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<ns:hasSurname> <rdfs:range> <xsd:string>.] -[<ns:hasSurname> <rdfs:comment> "^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] |
  | Inserted: ns=http://www.example.org/ISL11# -[_:lnlfjeii <owl:allValuesFrom> <xsd:string>., _:lnlfjeii <owl:onProperty> <ns:hasName>., <ns:Person> <rdfs:subClassOf> _:lnlfjeii., _:lnlfjeii <rdf:type> <owl:Restriction>.] -[_:gdbxndem <owl:onProperty> <ns:hasSurname>., <ns:Person> <rdfs:subClassOf> _:gdbxndem., _:gdbxndem <owl:allValuesFrom> <xsd:string>., _:gdbxndem <rdf:type> <owl:Restriction>.] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<http://www.example.org/JohnDoe> <ns:hasSurname> "Doe^^xsd:string".] -[<http://www.example.org/JohnDoe> <rdf:type> <ns:Person>.] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<http://www.example.org/JohnDoe> <ns:hasName> "John^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/JohnDoe> <rdfs:label> "JohnDoe^^xsd:string".] -[<ns:hasSurname> <rdfs:label> "hasSurname^^xsd:string".] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<ns:hasSurname> <rdfs:range> <xsd:string>.] -[<ns:hasSurname> <rdfs:comment> "^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] |
  | Removed: ns=http://www.example.org/ISL11# -[<ns:JohnDoe> <rdf:type> <ns:Person>.] -[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.] -[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".] -[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".] -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] |
  | Removed: ns=http://www.example.org/ISL11# -[<ns:JohnDoe> <rdf:type> <ns:Person>.] -[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.] -[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".] -[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".] -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] |
E79 (ISL12) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISL12# -[_:lphebddw <rdf:type> <owl:Restriction>., _:lphebddw <owl:allValuesFrom> <xsd:string>., _:lphebddw <owl:onProperty> <ns:hasSurname>., <ns:Person> <rdfs:subClassOf> _:lphebddw.] -[_:stiauddr <rdf:type> <owl:Restriction>., _:stiauddr <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:stiauddr., _:stiauddr <owl:onProperty> <ns:hasName>.] -[<ns:hasSurname> <rdfs:range> <xsd:string>.] -[<http://www.example.org/JohnDoe> <ns:hasSurname> "Doe^^xsd:string".] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<http://www.example.org/JohnDoe> <ns:hasName> "John^^xsd:string".] -[<ns:hasSurname> <rdfs:comment> "^^xsd:string".] -[<ns:hasSurname> <rdfs:label> "hasSurname^^xsd:string".] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/JohnDoe> <rdfs:label> "JohnDoe^^xsd:string".] -[<http://www.example.org/JohnDoe> <rdf:type> <ns:Person>.] -[<xsd:string> <rdf:type> <owl:Datatype>.] |
  | Inserted: ns=http://www.example.org/ISL12# -[_:lsxcexxj <rdf:type> <owl:Restriction>., _:lsxcexxj <owl:onProperty> <ns:hasSurname>., _:lsxcexxj <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:lsxcexxj.] -[_:xllmkled <rdf:type> <owl:Restriction>., _:xllmkled <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:xllmkled., _:xllmkled <owl:onProperty> <ns:hasName>.] -[<ns:hasSurname> <rdfs:range> <xsd:string>.] -[<http://www.example.org/JohnDoe> <ns:hasSurname> "Doe^^xsd:string".] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<http://www.example.org/JohnDoe> <ns:hasName> "John^^xsd:string".] -[<ns:hasSurname> <rdfs:comment> "^^xsd:string".] -[<ns:hasSurname> <rdfs:label> "hasSurname^^xsd:string".] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/JohnDoe> <rdfs:label> "JohnDoe^^xsd:string".] -[<http://www.example.org/JohnDoe> <rdf:type> <ns:Person>.] -[<xsd:string> <rdf:type> <owl:Datatype>.] |
  | Removed: ns=http://www.example.org/ISL12# -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".] -[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.] -[<ns:JohnDoe> <rdf:type> <ns:Person>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] -[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISL12# -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] -[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".] -[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.] -[<ns:JohnDoe> <rdf:type> <ns:Person>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] -[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".] |
E80 (ISL13) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISL13# -[_:ogvhptmo <owl:allValuesFrom> <xsd:string>., _:ogvhptmo <rdf:type> <owl:Restriction>., <ns:Child> <rdfs:subClassOf> _:ogvhptmo., _:ogvhptmo <owl:onProperty> <ns:hasName>.] -[_:mptjlnpn <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:mptjlnpn., _:mptjlnpn <owl:onProperty> <ns:hasChild>., _:mptjlnpn <owl:allValuesFrom> <ns:Child>.] -[<http://www.example.org/genid-node1> <rdfs:label> "genid-node1^^xsd:string".] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<http://www.example.org/John> <rdf:type> <ns:Person>.] -[<ns:Child> <rdfs:label> "Child^^xsd:string".] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/John> <rdfs:label> "John^^xsd:string".] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<http://www.example.org/genid-node1> <ns:hasName> "Paul^^xsd:string".] -[<http://www.example.org/genid-node1> <rdf:type> <ns:Child>.] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISL13# -[_:clmdpfgd <owl:onProperty> <ns:hasName>., _:clmdpfgd <rdf:type> <owl:Restriction>., <ns:Child> <rdfs:subClassOf> _:clmdpfgd., _:clmdpfgd <owl:allValuesFrom> <xsd:string>.] -[_:gkrdmvci <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:gkrdmvci., _:gkrdmvci <owl:onProperty> <ns:hasChild>., _:gkrdmvci <owl:allValuesFrom> <ns:Child>.] -[<http://www.example.org/genid-node1> <rdfs:label> "genid-node1^^xsd:string".] -[<ns:hasName> <rdfs:range> <xsd:string>.] -[<http://www.example.org/John> <rdf:type> <ns:Person>.] -[<ns:Child> <rdfs:label> "Child^^xsd:string".] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/John> <rdfs:label> "John^^xsd:string".] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<http://www.example.org/genid-node1> <ns:hasName> "Paul^^xsd:string".] -[<http://www.example.org/genid-node1> <rdf:type> <ns:Child>.] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISL13# -[<ns:genid-node1> <rdf:type> <ns:Child>.] -[<ns:John> <ns:hasChild> <ns:genid-node1>.] -[<ns:John> <rdf:type> <ns:Person>.] -[<ns:genid-node1> <ns:hasName> "Paul^^xsd:string".] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] |
  | Removed: ns=http://www.example.org/ISL13# -[<ns:genid-node1> <rdf:type> <ns:Child>.] -[<ns:John> <ns:hasChild> <ns:genid-node1>.] -[<ns:John> <rdf:type> <ns:Person>.] -[<ns:genid-node1> <ns:hasName> "Paul^^xsd:string".] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] |
E81 (ISL14) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISL14# -[_:oksuphre <owl:allValuesFrom> <xsd:string>., <ns:Child> <rdfs:subClassOf> _:oksuphre., _:oksuphre <owl:onProperty> <ns:hasName>., _:oksuphre <rdf:type> <owl:Restriction>.] -[_:msmbpdfc <owl:allValuesFrom> <ns:Child>., <ns:Person> <rdfs:subClassOf> _:msmbpdfc., _:msmbpdfc <rdf:type> <owl:Restriction>., _:msmbpdfc <owl:onProperty> <ns:hasChild>.] -[<http://www.example.org/genid1> <ns:hasName> "Paul^^xsd:string".] -[<ns:Child> <rdfs:label> "Child^^xsd:string".] -[<http://www.example.org/genid1> <rdf:type> <ns:Child>.] -[<http://www.example.org/genid1> <rdfs:label> "genid1^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/John> <rdf:type> <ns:Person>.] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] -[<http://www.example.org/John> <rdfs:label> "John^^xsd:string".] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<ns:hasName> <rdfs:range> <xsd:string>.] |
  | Inserted: ns=http://www.example.org/ISL14# -[_:vjgtqvdh <owl:onProperty> <ns:hasName>., <ns:Child> <rdfs:subClassOf> _:vjgtqvdh., _:vjgtqvdh <rdf:type> <owl:Restriction>., _:vjgtqvdh <owl:allValuesFrom> <xsd:string>.] -[_:gtlmjrxx <owl:onProperty> <ns:hasChild>., _:gtlmjrxx <owl:allValuesFrom> <ns:Child>., <ns:Person> <rdfs:subClassOf> _:gtlmjrxx., _:gtlmjrxx <rdf:type> <owl:Restriction>.] -[<http://www.example.org/genid1> <ns:hasName> "Paul^^xsd:string".] -[<ns:Child> <rdfs:label> "Child^^xsd:string".] -[<http://www.example.org/genid1> <rdf:type> <ns:Child>.] -[<http://www.example.org/genid1> <rdfs:label> "genid1^^xsd:string".] -[<ns:Person> <rdfs:label> "Person^^xsd:string".] -[<http://www.example.org/John> <rdf:type> <ns:Person>.] -[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".] -[<http://www.example.org/John> <rdfs:label> "John^^xsd:string".] -[<ns:hasName> <rdfs:label> "hasName^^xsd:string".] -[<ns:hasName> <rdfs:comment> "^^xsd:string".] -[<xsd:string> <rdf:type> <owl:Datatype>.] -[<ns:hasName> <rdfs:range> <xsd:string>.] |
  | Removed: ns=http://www.example.org/ISL14# -[<ns:genid1> <ns:hasName> "Paul^^xsd:string".] -[<ns:genid1> <rdf:type> <ns:Child>.] -[<ns:John> <rdf:type> <ns:Person>.] -[<ns:John> <ns:hasChild> <ns:genid1>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] |
  | Removed: ns=http://www.example.org/ISL14# -[<ns:genid1> <ns:hasName> "Paul^^xsd:string".] -[<ns:genid1> <rdf:type> <ns:Child>.] -[<ns:John> <rdf:type> <ns:Person>.] -[<ns:John> <ns:hasChild> <ns:genid1>.] -[<rdfs:Literal> <rdf:type> <owl:Datatype>.] -[<ns:hasName> <rdfs:range> <rdfs:Literal>.] |
E82 (ISL15) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
  | Inserted: ns=http://www.example.org/ISL15# -[<ns:Book> <rdfs:comment> "rdfs:label : Book||rdfs:label : Libro||^^xsd:string".] -[<ns:Book> <rdfs:label> "Book^^xsd:string".] |
  | Inserted: ns=http://www.example.org/ISL15# -[<ns:Book> <rdfs:comment> "rdfs:label : Book||rdfs:label : Libro||^^xsd:string".] -[<ns:Book> <rdfs:label> "Book^^xsd:string".] |
  | Removed: ns=http://www.example.org/ISL15# -[<ns:Book> <rdfs:label> "Libro@es".] -[<ns:Book> <rdfs:label> "Book@en".] |
  | Removed: ns=http://www.example.org/ISL15# -[<ns:Book> <rdfs:label> "Libro@es".] -[<ns:Book> <rdfs:label> "Book@en".] |