Interoperability from ProtegeOWL to WebODE (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (ProtegeOWL) Step2 (WebODE)
E01
(ISA01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA01#
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISA01#
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
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#
-[_:cngdiyae <rdf:type> <owl:Restriction>., _:cngdiyae <owl:allValuesFrom> <ns:Car>., <ns:Driver> <rdfs:subClassOf> _:cngdiyae., _:cngdiyae <owl:onProperty> <ns:hasCar>.]
-[<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#
-[_:qvbuawpf <owl:allValuesFrom> <ns:Car>., <ns:Driver> <rdfs:subClassOf> _:qvbuawpf., _:qvbuawpf <rdf:type> <owl:Restriction>., _:qvbuawpf <owl:onProperty> <ns:hasCar>.]
-[<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#
-[_:aaghmqwn <rdf:type> <owl:Restriction>., _:aaghmqwn <owl:onProperty> <ns:hasCar>., <ns:Driver> <rdfs:subClassOf> _:aaghmqwn., _:aaghmqwn <owl:someValuesFrom> <ns:Car>.]
  Removed:
ns=http://www.example.org/ISA07#
-[_:oakwlocv <owl:someValuesFrom> <ns:Car>., _:oakwlocv <owl:onProperty> <ns:hasCar>., <ns:Driver> <rdfs:subClassOf> _:oakwlocv., _:oakwlocv <rdf:type> <owl:Restriction>.]
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 = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.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 = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E13
(ISA13)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E14
(ISA14)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E15
(ISA15)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E16
(ISA16)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
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#
-[_:eutotajk <owl:allValuesFrom> <ns:Car>., _:eutotajk <rdf:type> <owl:Restriction>., <ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:eutotajk., _:eutotajk <owl:onProperty> <ns:hasCar>.]
-[<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#
-[_:haqxigqo <owl:onProperty> <ns:hasCar>., <ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:haqxigqo., _:haqxigqo <owl:allValuesFrom> <ns:Car>., _:haqxigqo <rdf:type> <owl:Restriction>.]
-[<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#
-[<ns:Driver> <owl:equivalentClass> _:gflkpwsl., _:gflkpwsl <rdf:type> <owl:Restriction>., _:gflkpwsl <owl:onProperty> <ns:hasCar>., _:gflkpwsl <owl:someValuesFrom> <ns:Car>.]
  Removed:
ns=http://www.example.org/ISB02#
-[_:pfnierkh <owl:onProperty> <ns:hasCar>., <ns:Driver> <owl:equivalentClass> _:pfnierkh., _:pfnierkh <rdf:type> <owl:Restriction>., _:pfnierkh <owl:someValuesFrom> <ns:Car>.]
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB03#
-[_:quikvkrw <owl:onProperty> <ns:wasBorn>., <ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:quikvkrw., _:quikvkrw <rdf:type> <owl:Restriction>., _:quikvkrw <owl:allValuesFrom> <ns:Italy>.]
-[<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#
-[_:evaqvbbt <rdf:type> <owl:Restriction>., _:evaqvbbt <owl:onProperty> <ns:wasBorn>., <ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:evaqvbbt., _:evaqvbbt <owl:allValuesFrom> <ns:Italy>.]
-[<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#
-[_:aidoytjw <owl:onProperty> <ns:wasBorn>., _:aidoytjw <owl:allValuesFrom> <ns:Italy>., _:aidoytjw <rdf:type> <owl:Restriction>., <ns:Italian> <owl:equivalentClass> _:aidoytjw.]
  Removed:
ns=http://www.example.org/ISB03#
-[<ns:Italian> <owl:equivalentClass> _:deeqciia., _:deeqciia <rdf:type> <owl:Restriction>., _:deeqciia <owl:allValuesFrom> <ns:Italy>., _:deeqciia <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 = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E25
(ISB08)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E26
(ISB09)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E27
(ISB10)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E28
(ISB11)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
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#
-[_:edwstwsb <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., <ns:ItalianMan> <owl:equivalentClass> _:edwstwsb., _:edwstwsb <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/ISB12#
-[_:ysutlykb <rdf:type> <owl:Class>., <ns:ItalianMan> <owl:equivalentClass> _:ysutlykb., _:ysutlykb <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>.]
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#
-[_:alvhqscn <rdf:type> <owl:Class>., _:alvhqscn <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., <ns:ItalianMan> <owl:equivalentClass> _:alvhqscn.]
-[{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#
-[_:oflakkmt <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., _:oflakkmt <rdf:type> <owl:Class>., <ns:ItalianMan> <owl:equivalentClass> _:oflakkmt.]
-[{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#
-[_:cvpmlici <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}., <ns:ItalianMan> <owl:equivalentClass> _:cvpmlici., _:cvpmlici <rdf:type> <owl:Class>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Person>.]
-[{x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}} <rdf:first> <ns:Italian>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Male>.]
  Removed:
ns=http://www.example.org/ISC02#
-[_:hbuvqgyj <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}., <ns:ItalianMan> <owl:equivalentClass> _:hbuvqgyj., _:hbuvqgyj <rdf:type> <owl:Class>.]
-[{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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD01#
-[<ns:hasChild> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
   Inserted:
ns=http://www.example.org/ISD01#
-[<ns:hasChild> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
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 = SAME
Execution = OK		 Interchange = DIFFERENT
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#
-[<http://www.example.org/ISD03> <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:isInteger> <rdfs:subPropertyOf> <ns:isRational>.]
-[<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>.]
-[<http://www.example.org/ISD04> <rdf:type> <owl:Ontology>.]
-[<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> _:fgmosjce., _:fgmosjce <owl:onProperty> <ns:hasChild>., _:fgmosjce <owl:allValuesFrom> <ns:Person>., _:fgmosjce <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#
-[<ns:Father> <rdfs:subClassOf> _:rklklshp., _:rklklshp <owl:allValuesFrom> <ns:Person>., _:rklklshp <owl:onProperty> <ns:hasChild>., _:rklklshp <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> _:hnoouxqp., _:hnoouxqp <rdf:type> <owl:Restriction>., _:hnoouxqp <owl:onProperty> <ns:hasChild>., _:hnoouxqp <owl:allValuesFrom> <ns:Person>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISE04#
-[_:iedixtln <owl:onProperty> <ns:hasChild>., _:iedixtln <owl:allValuesFrom> <ns:Person>., _:iedixtln <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:iedixtln.]
-[<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#
-[<ns:Person> <rdfs:subClassOf> _:jhhlryfu., _:jhhlryfu <rdf:type> <owl:Restriction>., _:jhhlryfu <owl:onProperty> <ns:hasSSN>., _:jhhlryfu <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#
-[_:hmtqbhlb <owl:onProperty> <ns:hasSSN>., _:hmtqbhlb <rdf:type> <owl:Restriction>., _:hmtqbhlb <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:hmtqbhlb.]
-[<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>.]
-[<http://www.example.org/ISE08> <rdf:type> <owl:Ontology>.]
E44
(ISE09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE09#
-[_:ecbugwad <owl:allValuesFrom> <xsd:string>., _:ecbugwad <rdf:type> <owl:Restriction>., _:ecbugwad <owl:onProperty> <ns:hasName>., <ns:Person> <rdfs:subClassOf> _:ecbugwad.]
-[<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#
-[_:qxtdgbgb <owl:onProperty> <ns:hasName>., _:qxtdgbgb <owl:allValuesFrom> <xsd:string>., _:qxtdgbgb <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:qxtdgbgb.]
-[<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#
-[<ns:Person> <rdfs:subClassOf> _:vifmairp., _:vifmairp <owl:allValuesFrom> <ns:City>., _:vifmairp <owl:onProperty> <ns:livesIn>., _:vifmairp <rdf:type> <owl:Restriction>.]
-[<ns:Person> <rdfs:subClassOf> _:qbuopxgs., _:qbuopxgs <owl:onProperty> <ns:isResidentIn>., _:qbuopxgs <owl:allValuesFrom> <ns:City>., _:qbuopxgs <rdf:type> <owl:Restriction>.]
-[<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#
-[_:fcopqwht <rdf:type> <owl:Restriction>., _:fcopqwht <owl:allValuesFrom> <ns:City>., _:fcopqwht <owl:onProperty> <ns:livesIn>., <ns:Person> <rdfs:subClassOf> _:fcopqwht.]
-[<ns:Person> <rdfs:subClassOf> _:yrtretea., _:yrtretea <owl:allValuesFrom> <ns:City>., _:yrtretea <owl:onProperty> <ns:isResidentIn>., _:yrtretea <rdf:type> <owl:Restriction>.]
-[<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#
-[<ns:City> <rdfs:subClassOf> _:xijkofwo., _:xijkofwo <owl:onProperty> <ns:hasSpanishName>., _:xijkofwo <rdf:type> <owl:Restriction>., _:xijkofwo <owl:allValuesFrom> <xsd:string>.]
-[_:rdhsqqvd <owl:onProperty> <ns:hasName>., <ns:City> <rdfs:subClassOf> _:rdhsqqvd., _:rdhsqqvd <rdf:type> <owl:Restriction>., _:rdhsqqvd <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#
-[_:vslgoiyc <rdf:type> <owl:Restriction>., _:vslgoiyc <owl:allValuesFrom> <xsd:string>., _:vslgoiyc <owl:onProperty> <ns:hasSpanishName>., <ns:City> <rdfs:subClassOf> _:vslgoiyc.]
-[<ns:City> <rdfs:subClassOf> _:lbcxgwtr., _:lbcxgwtr <owl:allValuesFrom> <xsd:string>., _:lbcxgwtr <owl:onProperty> <ns:hasName>., _:lbcxgwtr <rdf:type> <owl:Restriction>.]
-[<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 = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF03#
-[_:ulphboxf <owl:onProperty> <ns:hasParent>., _:ulphboxf <owl:allValuesFrom> <ns:Person>., <ns:Child> <rdfs:subClassOf> _:ulphboxf., _:ulphboxf <rdf:type> <owl:Restriction>.]
-[<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#
-[<ns:hasChild> <owl:inverseOf> <ns:hasParent>.]
 Inserted:
ns=http://www.example.org/ISF03#
-[_:oerdvcin <owl:allValuesFrom> <ns:Person>., _:oerdvcin <rdf:type> <owl:Restriction>., <ns:Child> <rdfs:subClassOf> _:oerdvcin., _:oerdvcin <owl:onProperty> <ns:hasParent>.]
-[<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:hasChild> <owl:inverseOf> <ns:hasParent>.]
-[<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#
-[_:nqweymsa <rdf:type> <owl:Restriction>., _:nqweymsa <owl:allValuesFrom> <ns:Person>., _:nqweymsa <owl:onProperty> <ns:hasFriend>., <ns:Person> <rdfs:subClassOf> _:nqweymsa.]
-[<ns:hasFriend> <rdfs:label> "hasFriend^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISG01#
-[<ns:Person> <rdfs:subClassOf> _:ugrcrarf., _:ugrcrarf <owl:onProperty> <ns:hasFriend>., _:ugrcrarf <rdf:type> <owl:Restriction>., _:ugrcrarf <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#
-[_:rchwnsry <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:rchwnsry., _:rchwnsry <owl:allValuesFrom> <ns:Person>., _:rchwnsry <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#
-[_:bgingcnj <rdf:type> <owl:Restriction>., _:bgingcnj <owl:allValuesFrom> <ns:Person>., _:bgingcnj <owl:onProperty> <ns:hasFriend>., <ns:Person> <rdfs:subClassOf> _:bgingcnj.]
-[<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#
-[_:qenvkqjm <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., <ns:Woman> <rdfs:subClassOf> _:qenvkqjm., _:qenvkqjm <owl:onProperty> <ns:hasHusband>., _:qenvkqjm <rdf:type> <owl:Restriction>.]
-[_:uxjqsvfv <owl:onProperty> <ns:hasHusband>., _:uxjqsvfv <rdf:type> <owl:Restriction>., <ns:Woman> <rdfs:subClassOf> _:uxjqsvfv., _:uxjqsvfv <owl:allValuesFrom> <ns:Man>.]
-[<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#
-[<ns:Woman> <rdfs:subClassOf> _:ywmjepey., _:ywmjepey <owl:onProperty> <ns:hasHusband>., _:ywmjepey <rdf:type> <owl:Restriction>., _:ywmjepey <owl:maxCardinality> "1^^xsd:nonNegativeInteger".]
-[_:psdfgovb <owl:allValuesFrom> <ns:Man>., _:psdfgovb <rdf:type> <owl:Restriction>., _:psdfgovb <owl:onProperty> <ns:hasHusband>., <ns:Woman> <rdfs:subClassOf> _:psdfgovb.]
-[<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#
-[_:xpcykpqa <owl:onProperty> <ns:hasAge>., <ns:Person> <rdfs:subClassOf> _:xpcykpqa., _:xpcykpqa <owl:allValuesFrom> <xsd:string>., _:xpcykpqa <rdf:type> <owl:Restriction>.]
-[_:cqpeaend <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:cqpeaend., _:cqpeaend <owl:onProperty> <ns:hasAge>., _:cqpeaend <owl:maxCardinality> "1^^xsd:nonNegativeInteger".]
-[<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#
-[_:mpbmbkrx <owl:onProperty> <ns:hasAge>., _:mpbmbkrx <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:mpbmbkrx., _:mpbmbkrx <rdf:type> <owl:Restriction>.]
-[_:wvsjxkrn <rdf:type> <owl:Restriction>., _:wvsjxkrn <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:wvsjxkrn <owl:onProperty> <ns:hasAge>., <ns:Person> <rdfs:subClassOf> _:wvsjxkrn.]
-[<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#
-[_:xbkwhqnf <owl:onProperty> <ns:hasChild>., _:xbkwhqnf <owl:allValuesFrom> <ns:Person>., <ns:Person> <rdfs:subClassOf> _:xbkwhqnf., _:xbkwhqnf <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>.]
   Inserted:
ns=http://www.example.org/ISI01#
-[_:wiglpabs <rdf:type> <owl:Restriction>., _:wiglpabs <owl:onProperty> <ns:hasChild>., _:wiglpabs <owl:allValuesFrom> <ns:Person>., <ns:Person> <rdfs:subClassOf> _:wiglpabs.]
-[<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#
-[_:lilywqny <owl:allValuesFrom> <ns:Person>., _:lilywqny <rdf:type> <owl:Restriction>., _:lilywqny <owl:onProperty> <ns:knows>., <ns:Person> <rdfs:subClassOf> _:lilywqny.]
-[<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#
-[_:hraythsb <owl:onProperty> <ns:knows>., <ns:Person> <rdfs:subClassOf> _:hraythsb., _:hraythsb <rdf:type> <owl:Restriction>., _:hraythsb <owl:allValuesFrom> <ns:Person>.]
-[<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#
-[_:robvqdog <owl:onProperty> <ns:hasChild>., _:robvqdog <rdf:type> <owl:Restriction>., _:robvqdog <owl:allValuesFrom> <ns:Child>., <ns:Mother> <rdfs:subClassOf> _:robvqdog.]
-[<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#
-[_:adnswbbm <owl:onProperty> <ns:hasChild>., <ns:Mother> <rdfs:subClassOf> _:adnswbbm., _:adnswbbm <owl:allValuesFrom> <ns:Child>., _:adnswbbm <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".]
 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#
-[<ns:Person> <rdfs:subClassOf> _:tejxcofs., _:tejxcofs <owl:allValuesFrom> <xsd:string>., _:tejxcofs <rdf:type> <owl:Restriction>., _:tejxcofs <owl:onProperty> <ns:hasName>.]
-[<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#
-[<ns:Person> <rdfs:subClassOf> _:lxtkdecg., _:lxtkdecg <owl:onProperty> <ns:hasName>., _:lxtkdecg <rdf:type> <owl:Restriction>., _:lxtkdecg <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".]
 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#
-[_:hybjyfhc <rdf:type> <owl:Restriction>., _:hybjyfhc <owl:onProperty> <ns:hasName>., _:hybjyfhc <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:hybjyfhc.]
-[<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#
-[<ns:Person> <rdfs:subClassOf> _:devwwmqk., _:devwwmqk <rdf:type> <owl:Restriction>., _:devwwmqk <owl:onProperty> <ns:hasName>., _:devwwmqk <owl:allValuesFrom> <xsd:string>.]
-[<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 = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ01#
-[_:sotrjxas <owl:allValuesFrom> <ns:Person>., <ns:Person> <rdfs:subClassOf> _:sotrjxas., _:sotrjxas <rdf:type> <owl:Restriction>., _:sotrjxas <owl:onProperty> <ns:hasChild>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>.]
-[<http://www.example.org/John> <rdf:type> <ns:Person>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdfs:label> "OWL_INDIVIDUAL_0^^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#
-[<diff:genid-A0> <rdf:type> <ns:Person>.]
-[<diff:genid-A0> <ns:hasChild> <ns:John>.]
 Inserted:
ns=http://www.example.org/ISJ01#
-[<ns:Person> <rdfs:subClassOf> _:sorshccn., _:sorshccn <rdf:type> <owl:Restriction>., _:sorshccn <owl:allValuesFrom> <ns:Person>., _:sorshccn <owl:onProperty> <ns:hasChild>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>.]
-[<http://www.example.org/John> <rdf:type> <ns:Person>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdfs:label> "OWL_INDIVIDUAL_0^^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>.]
 Removed:
ns=http://www.example.org/ISJ01#
-[<diff:genid-A0> <rdf:type> <ns:Person>.]
-[<diff:genid-A0> <ns:hasChild> <ns:John>.]
-[<ns:John> <rdf:type> <ns:Person>.]
E63
(ISJ02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ02#
-[_:vivmvaar <rdf:type> <owl:Restriction>., _:vivmvaar <owl:allValuesFrom> <ns:Person>., _:vivmvaar <owl:onProperty> <ns:hasChild>., <ns:Parent> <rdfs:subClassOf> _:vivmvaar.]
-[<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/OWL_INDIVIDUAL_0> <rdfs:label> "OWL_INDIVIDUAL_0^^xsd:string".]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdf:type> <ns:Parent>.]
-[<http://www.example.org/John> <rdfs:label> "John^^xsd:string".]
-[<ns:Parent> <rdfs:label> "Parent^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISJ02#
-[<diff:genid-A0> <rdf:type> <ns:Parent>.]
-[<diff:genid-A0> <ns:hasChild> <ns:John>.]
 Inserted:
ns=http://www.example.org/ISJ02#
-[_:otccpver <owl:allValuesFrom> <ns:Person>., _:otccpver <rdf:type> <owl:Restriction>., <ns:Parent> <rdfs:subClassOf> _:otccpver., _:otccpver <owl:onProperty> <ns:hasChild>.]
-[<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/OWL_INDIVIDUAL_0> <rdfs:label> "OWL_INDIVIDUAL_0^^xsd:string".]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdf:type> <ns:Parent>.]
-[<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:genid1> <ns:hasChild> <ns:John>.]
 Removed:
ns=http://www.example.org/ISJ02#
-[<ns:John> <rdf:type> <ns:Person>.]
-[<diff:genid-A0> <rdf:type> <ns:Parent>.]
-[<diff:genid-A0> <ns:hasChild> <ns:John>.]
E64
(ISJ03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ03#
-[<ns:Person> <rdfs:subClassOf> _:qaydhldp., _:qaydhldp <owl:onProperty> <ns:hasName>., _:qaydhldp <rdf:type> <owl:Restriction>., _:qaydhldp <owl:allValuesFrom> <xsd:string>.]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <ns:hasName> "Peter^^xsd:string".]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdfs:label> "OWL_INDIVIDUAL_0^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISJ03#
-[<diff:genid-A0> <ns:hasName> "Peter^^xsd:string".]
-[<diff:genid-A0> <rdf:type> <ns:Person>.]
 Inserted:
ns=http://www.example.org/ISJ03#
-[_:kaiicpsn <owl:onProperty> <ns:hasName>., <ns:Person> <rdfs:subClassOf> _:kaiicpsn., _:kaiicpsn <rdf:type> <owl:Restriction>., _:kaiicpsn <owl:allValuesFrom> <xsd:string>.]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <ns:hasName> "Peter^^xsd:string".]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdfs:label> "OWL_INDIVIDUAL_0^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>.]
-[<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:genid1> <ns:hasName> "Peter^^xsd:string".]
-[<ns:genid1> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISJ03#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<diff:genid-A0> <ns:hasName> "Peter^^xsd:string".]
-[<diff:genid-A0> <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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK03#
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".]
-[<http://www.example.org/Joan> <rdf:type> <ns:Person>.]
-[<http://www.example.org/Ann> <rdfs:label> "Ann^^xsd:string".]
-[<http://www.example.org/Joan> <rdfs:label> "Joan^^xsd:string".]
-[<http://www.example.org/Ann> <rdf:type> <ns:Person>.]
-[<http://www.example.org/Mary> <rdf:type> <ns:Person>.]
   Inserted:
ns=http://www.example.org/ISK03#
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".]
-[<http://www.example.org/Joan> <rdf:type> <ns:Person>.]
-[<http://www.example.org/Ann> <rdfs:label> "Ann^^xsd:string".]
-[<http://www.example.org/Joan> <rdfs:label> "Joan^^xsd:string".]
-[<http://www.example.org/Ann> <rdf:type> <ns:Person>.]
-[<http://www.example.org/Mary> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISK03#
-[_:jaksxcnf <owl:distinctMembers> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}., _:jaksxcnf <rdf:type> <owl:AllDifferent>.]
-[<ns:Ann> <rdf:type> <ns:Person>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Joan>.]
-[<ns:Mary> <rdf:type> <owl:Thing>.]
-[<ns:Ann> <rdf:type> <owl:Thing>.]
-[{x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}} <rdf:first> <ns:Ann>.]
-[<ns:Joan> <rdf:type> <ns:Person>.]
-[<ns:Mary> <rdf:type> <ns:Person>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Mary>.]
-[<ns:Joan> <rdf:type> <owl:Thing>.]
  Removed:
ns=http://www.example.org/ISK03#
-[_:gaaunagq <owl:distinctMembers> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}., _:gaaunagq <rdf:type> <owl:AllDifferent>.]
-[<ns:Ann> <rdf:type> <ns:Person>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Joan>.]
-[<ns:Mary> <rdf:type> <owl:Thing>.]
-[<ns:Ann> <rdf:type> <owl:Thing>.]
-[{x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}} <rdf:first> <ns:Ann>.]
-[<ns:Joan> <rdf:type> <ns:Person>.]
-[<ns:Mary> <rdf:type> <ns:Person>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Mary>.]
-[<ns:Joan> <rdf:type> <owl:Thing>.]
E68
(ISL01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL01#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL01#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E69
(ISL02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL02#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL02#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E70
(ISL03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL03#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL03#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E71
(ISL04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL04#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL04#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E72
(ISL05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL05#
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL05#
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
E73
(ISL06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL06#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL06#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E74
(ISL07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL07#
-[_:goxxppeh <rdf:type> <owl:Restriction>., _:goxxppeh <owl:onProperty> <ns:hasName>., _:goxxppeh <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:goxxppeh.]
-[<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#
-[_:hkeiwxej <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:hkeiwxej., _:hkeiwxej <owl:allValuesFrom> <xsd:string>., _:hkeiwxej <owl:onProperty> <ns:hasName>.]
-[<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#
-[_:dhlgjpem <owl:allValuesFrom> <xsd:string>., _:dhlgjpem <owl:onProperty> <ns:hasName>., _:dhlgjpem <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:dhlgjpem.]
-[<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#
-[<ns:Person> <rdfs:subClassOf> _:ddwxooew., _:ddwxooew <owl:allValuesFrom> <xsd:string>., _:ddwxooew <owl:onProperty> <ns:hasName>., _:ddwxooew <rdf:type> <owl:Restriction>.]
-[<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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL09#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL09#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E77
(ISL10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL10#
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL10#
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
E78
(ISL11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL11#
-[_:uihskouj <owl:onProperty> <ns:hasName>., <ns:Person> <rdfs:subClassOf> _:uihskouj., _:uihskouj <rdf:type> <owl:Restriction>., _:uihskouj <owl:allValuesFrom> <xsd:string>.]
-[<ns:Person> <rdfs:subClassOf> _:scysdrvs., _:scysdrvs <rdf:type> <owl:Restriction>., _:scysdrvs <owl:onProperty> <ns:hasSurname>., _:scysdrvs <owl:allValuesFrom> <xsd:string>.]
-[<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#
-[_:bfdcyscb <owl:onProperty> <ns:hasName>., _:bfdcyscb <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:bfdcyscb., _:bfdcyscb <owl:allValuesFrom> <xsd:string>.]
-[<ns:Person> <rdfs:subClassOf> _:rsuydmrv., _:rsuydmrv <rdf:type> <owl:Restriction>., _:rsuydmrv <owl:onProperty> <ns:hasSurname>., _:rsuydmrv <owl:allValuesFrom> <xsd:string>.]
-[<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#
-[_:nvcnmrvg <owl:onProperty> <ns:hasSurname>., <ns:Person> <rdfs:subClassOf> _:nvcnmrvg., _:nvcnmrvg <rdf:type> <owl:Restriction>., _:nvcnmrvg <owl:allValuesFrom> <xsd:string>.]
-[_:gbdnchlw <owl:allValuesFrom> <xsd:string>., _:gbdnchlw <rdf:type> <owl:Restriction>., _:gbdnchlw <owl:onProperty> <ns:hasName>., <ns:Person> <rdfs:subClassOf> _:gbdnchlw.]
-[<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#
-[_:agtywgya <owl:allValuesFrom> <xsd:string>., _:agtywgya <owl:onProperty> <ns:hasSurname>., <ns:Person> <rdfs:subClassOf> _:agtywgya., _:agtywgya <rdf:type> <owl:Restriction>.]
-[_:xiordkla <owl:allValuesFrom> <xsd:string>., _:xiordkla <owl:onProperty> <ns:hasName>., _:xiordkla <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:xiordkla.]
-[<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 = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL13#
-[_:vullkbrs <rdf:type> <owl:Restriction>., _:vullkbrs <owl:allValuesFrom> <xsd:string>., <ns:Child> <rdfs:subClassOf> _:vullkbrs., _:vullkbrs <owl:onProperty> <ns:hasName>.]
-[_:fqpejqrq <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:fqpejqrq., _:fqpejqrq <owl:onProperty> <ns:hasChild>., _:fqpejqrq <owl:allValuesFrom> <ns:Child>.]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<http://www.example.org/John> <rdf:type> <ns:Person>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdfs:label> "OWL_INDIVIDUAL_0^^xsd:string".]
-[<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".]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <ns:hasName> "Paul^^xsd:string".]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISL13#
-[<diff:genid-A0> <rdf:type> <ns:Child>.]
-[<ns:John> <ns:hasChild> <diff:genid-A0>.]
-[<diff:genid-A0> <ns:hasName> "Paul^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISL13#
-[_:bayauydx <owl:onProperty> <ns:hasName>., <ns:Child> <rdfs:subClassOf> _:bayauydx., _:bayauydx <owl:allValuesFrom> <xsd:string>., _:bayauydx <rdf:type> <owl:Restriction>.]
-[_:rljaapnh <owl:onProperty> <ns:hasChild>., _:rljaapnh <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:rljaapnh., _:rljaapnh <owl:allValuesFrom> <ns:Child>.]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<http://www.example.org/John> <rdf:type> <ns:Person>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdfs:label> "OWL_INDIVIDUAL_0^^xsd:string".]
-[<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".]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <ns:hasName> "Paul^^xsd:string".]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<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:genid-node1> <ns:hasName> "Paul^^xsd:string".]
 Removed:
ns=http://www.example.org/ISL13#
-[<diff:genid-A0> <rdf:type> <ns:Child>.]
-[<ns:John> <ns:hasChild> <diff:genid-A0>.]
-[<ns:John> <rdf:type> <ns:Person>.]
-[<diff:genid-A0> <ns:hasName> "Paul^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
E81
(ISL14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL14#
-[_:xnildrwp <owl:allValuesFrom> <xsd:string>., _:xnildrwp <owl:onProperty> <ns:hasName>., <ns:Child> <rdfs:subClassOf> _:xnildrwp., _:xnildrwp <rdf:type> <owl:Restriction>.]
-[_:xiycmafa <rdf:type> <owl:Restriction>., _:xiycmafa <owl:allValuesFrom> <ns:Child>., _:xiycmafa <owl:onProperty> <ns:hasChild>., <ns:Person> <rdfs:subClassOf> _:xiycmafa.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>.]
-[<ns:Child> <rdfs:label> "Child^^xsd:string".]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdfs:label> "OWL_INDIVIDUAL_0^^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".]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <ns:hasName> "Paul^^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#
-[<diff:genid-A0> <rdf:type> <ns:Child>.]
-[<ns:John> <ns:hasChild> <diff:genid-A0>.]
-[<diff:genid-A0> <ns:hasName> "Paul^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISL14#
-[_:pqwgsvde <rdf:type> <owl:Restriction>., <ns:Child> <rdfs:subClassOf> _:pqwgsvde., _:pqwgsvde <owl:onProperty> <ns:hasName>., _:pqwgsvde <owl:allValuesFrom> <xsd:string>.]
-[_:spmasrpr <rdf:type> <owl:Restriction>., _:spmasrpr <owl:onProperty> <ns:hasChild>., <ns:Person> <rdfs:subClassOf> _:spmasrpr., _:spmasrpr <owl:allValuesFrom> <ns:Child>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>.]
-[<ns:Child> <rdfs:label> "Child^^xsd:string".]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdfs:label> "OWL_INDIVIDUAL_0^^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".]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <ns:hasName> "Paul^^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> <ns:hasChild> <ns:genid1>.]
 Removed:
ns=http://www.example.org/ISL14#
-[<ns:John> <rdf:type> <ns:Person>.]
-[<diff:genid-A0> <rdf:type> <ns:Child>.]
-[<ns:John> <ns:hasChild> <diff:genid-A0>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<diff:genid-A0> <ns:hasName> "Paul^^xsd:string".]
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#