Interoperability from KAON2 to WebODE (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
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".]
Namespaces
owl=http://www.w3.org/2002/07/owl#
rdf=http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs=http://www.w3.org/2000/01/rdf-schema#
xsd=http://www.w3.org/2001/XMLSchema
#diff=http://www.aifb.uni-karlsruhe.de/WBS/dvr/owltools/diff/result#