Interoperability from WebODE to ProtegeFRAMES (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (WebODE) Step2 (ProtegeFRAMES)
E01
(ISA01)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA01#
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
  
    Removed:
ns=http://www.example.org/ISA01#
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:Person> <rdf:type> <owl:Class>.]
E02
(ISA02)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = FAIL		 Interchange = N.E.
Execution = N.E.
E03
(ISA03)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = FAIL		 Interchange = N.E.
Execution = N.E.
E04
(ISA04)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = FAIL		 Interchange = N.E.
Execution = N.E.
E05
(ISA05)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = FAIL		 Interchange = N.E.
Execution = N.E.
E06
(ISA06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA06#
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISA06#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdfs:subClassOf> <ns:Woman>.]
 Removed:
ns=http://www.example.org/ISA06#
-[<ns:Woman> <rdfs:subClassOf> <ns:Woman>.]
 Removed:
ns=http://www.example.org/ISA06#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E07
(ISA07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA07#
-[_:dkbesvcb <rdf:type> <owl:Class>., _:dkbesvcb <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasCar> <rdfs:domain> _:dkbesvcb.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Driver>.]
-[<http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar_1> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Driver> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar_1> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
 Inserted:
ns=http://www.example.org/ISA07#
-[_:wjvxtfym <rdf:type> <owl:Restriction>., <ns:Driver> <rdfs:subClassOf> _:wjvxtfym., _:wjvxtfym <owl:onProperty> <ns:hasCar>., _:wjvxtfym <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#
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar> <rdfs:domain> _:mosewxte., _:mosewxte <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:mosewxte <rdf:type> <owl:Class>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Driver>.]
-[<http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar_1> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Driver> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar_1> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
 Removed:
ns=http://www.example.org/ISA07#
-[<ns:Driver> <rdfs:subClassOf> _:kbssfiif., _:kbssfiif <owl:someValuesFrom> <ns:Car>., _:kbssfiif <rdf:type> <owl:Restriction>., _:kbssfiif <owl:onProperty> <ns:hasCar>.]
-[<ns:Car> <rdf:type> <owl:Class>.]
-[<ns:hasCar> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Driver> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISA07#
-[_:mspaxtys <owl:someValuesFrom> <ns:Car>., _:mspaxtys <owl:onProperty> <ns:hasCar>., <ns:Driver> <rdfs:subClassOf> _:mspaxtys., _:mspaxtys <rdf:type> <owl:Restriction>.]
 Removed:
ns=http://www.example.org/ISA07#
-[<ns:Driver> <rdfs:subClassOf> _:uweqqgiv., _:uweqqgiv <rdf:type> <owl:Restriction>., _:uweqqgiv <owl:onProperty> <ns:hasCar>., _:uweqqgiv <owl:allValuesFrom> <ns:Car>.]
-[<ns:Car> <rdf:type> <owl:Class>.]
-[<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> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasCar_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:Driver> <rdf:type> <owl:Class>.]
-[<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".]
E08
(ISA08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
-[_:vjiqvpvw <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#wasBorn> <rdfs:domain> _:vjiqvpvw., _:vjiqvpvw <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#wasBorn_1> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#wasBorn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#wasBorn_1> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
 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#
-[_:vxmqtjnv <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#wasBorn> <rdfs:domain> _:vxmqtjnv., _:vxmqtjnv <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#wasBorn_1> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#wasBorn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#wasBorn_1> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
 Removed:
ns=http://www.example.org/ISA08#
-[_:vgdrpaai <rdf:type> <owl:Restriction>., _:vgdrpaai <owl:allValuesFrom> <ns:Italy>., _:vgdrpaai <owl:onProperty> <ns:wasBorn>., <ns:Italian> <rdfs:subClassOf> _:vgdrpaai.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:Italy> <rdf:type> <owl:Class>.]
-[<ns:wasBorn> <rdf:type> <owl:ObjectProperty>.]
  Removed:
ns=http://www.example.org/ISA08#
-[_:bnrctdxi <owl:allValuesFrom> <ns:Italy>., <ns:Italian> <rdfs:subClassOf> _:bnrctdxi., _:bnrctdxi <owl:onProperty> <ns:wasBorn>., _:bnrctdxi <rdf:type> <owl:Restriction>.]
-[<ns:wasBorn> <rdfs:domain> <ns:Italian>.]
-[<ns:wasBorn_1> <rdfs:label> "wasBorn^^xsd:string".]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<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> <rdf:type> <owl:ObjectProperty>.]
-[<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> <rdf:type> <owl:Class>.]
-[<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 = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E11
(ISA11)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.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 = FAIL		 Interchange = N.E.
Execution = N.E.
E14
(ISA14)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = FAIL		 Interchange = N.E.
Execution = N.E.
E15
(ISA15)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = FAIL		 Interchange = N.E.
Execution = N.E.
E16
(ISA16)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = FAIL		 Interchange = N.E.
Execution = N.E.
E17
(ISA17)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = FAIL		 Interchange = N.E.
Execution = N.E.
E18
(ISB01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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".]
  
 Removed:
ns=http://www.example.org/ISB01#
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:Italiano> <rdf:type> <owl:Class>.]
-[<ns:Italian> <owl:equivalentClass> <ns:Italiano>.]
-[<ns:Italian> <owl:equivalentClass> <ns:Italienne>.]
-[<ns:Italienne> <rdf:type> <owl:Class>.]
 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:Italienne> <rdfs:label> "Italienne^^xsd:string".]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:Italiano> <rdf:type> <owl:Class>.]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
-[<ns:Italiano> <rdfs:label> "Italiano^^xsd:string".]
-[<ns:Italienne> <rdf:type> <owl:Class>.]
E19
(ISB02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB02#
-[_:kscntkmy <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:kscntkmy <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasCar> <rdfs:domain> _:kscntkmy.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#ANONYMOUS_CONCEPT_0>.]
-[<http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar_1> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar_1> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>.]
 Inserted:
ns=http://www.example.org/ISB02#
-[_:knmtgwcq <owl:onProperty> <ns:hasCar>., _:knmtgwcq <rdf:type> <owl:Restriction>., <ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:knmtgwcq., _:knmtgwcq <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#
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar> <rdfs:domain> _:gxhigmfj., _:gxhigmfj <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:gxhigmfj <rdf:type> <owl:Class>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#ANONYMOUS_CONCEPT_0>.]
-[<http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar_1> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar_1> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISB02#
-[_:qpsbhtxf <rdf:type> <owl:Restriction>., _:qpsbhtxf <owl:onProperty> <ns:hasCar>., <ns:Driver> <owl:equivalentClass> _:qpsbhtxf., _:qpsbhtxf <owl:someValuesFrom> <ns:Car>.]
-[<ns:Car> <rdf:type> <owl:Class>.]
-[<ns:Driver> <rdf:type> <owl:Class>.]
-[<ns:hasCar> <rdf:type> <owl:ObjectProperty>.]
 Removed:
ns=http://www.example.org/ISB02#
-[_:ytoquiqq <rdf:type> <owl:Restriction>., <ns:Driver> <owl:equivalentClass> _:ytoquiqq., _:ytoquiqq <owl:onProperty> <ns:hasCar>., _:ytoquiqq <owl:someValuesFrom> <ns:Car>.]
 Removed:
ns=http://www.example.org/ISB02#
-[_:fgljrfgb <owl:allValuesFrom> <ns:Car>., _:fgljrfgb <owl:onProperty> <ns:hasCar>., _:fgljrfgb <rdf:type> <owl:Restriction>., <ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:fgljrfgb.]
-[<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:hasCar> <rdf:type> <owl:ObjectProperty>.]
-[<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:Car> <rdf:type> <owl:Class>.]
-[<ns:Driver> <rdf:type> <owl:Class>.]
-[<ns:ANONYMOUS_CONCEPT_0> <rdfs:label> "ANONYMOUS_CONCEPT_0^^xsd:string".]
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB03#
-[_:wdhshpnr <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#wasBorn> <rdfs:domain> _:wdhshpnr., _:wdhshpnr <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#wasBorn_1> <rdf:type> <owl:ObjectProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#ANONYMOUS_CONCEPT_0>.]
-[<http://www.owl-ontologies.com/unnamed.owl#wasBorn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#wasBorn_1> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
 Inserted:
ns=http://www.example.org/ISB03#
-[_:lqnfhmar <rdf:type> <owl:Restriction>., _:lqnfhmar <owl:onProperty> <ns:wasBorn>., _:lqnfhmar <owl:allValuesFrom> <ns:Italy>., <ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:lqnfhmar.]
-[<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#
-[_:sdxqkdfy <rdf:type> <owl:Class>., _:sdxqkdfy <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#wasBorn> <rdfs:domain> _:sdxqkdfy.]
-[<http://www.owl-ontologies.com/unnamed.owl#wasBorn_1> <rdf:type> <owl:ObjectProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#ANONYMOUS_CONCEPT_0>.]
-[<http://www.owl-ontologies.com/unnamed.owl#wasBorn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#wasBorn_1> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
 Removed:
ns=http://www.example.org/ISB03#
-[_:jwtsftuy <owl:allValuesFrom> <ns:Italy>., _:jwtsftuy <rdf:type> <owl:Restriction>., _:jwtsftuy <owl:onProperty> <ns:wasBorn>., <ns:Italian> <owl:equivalentClass> _:jwtsftuy.]
-[<ns:Italy> <rdf:type> <owl:Class>.]
-[<ns:wasBorn> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISB03#
-[_:tctdfngp <owl:onProperty> <ns:wasBorn>., _:tctdfngp <rdf:type> <owl:Restriction>., _:tctdfngp <owl:allValuesFrom> <ns:Italy>., <ns:Italian> <owl:equivalentClass> _:tctdfngp.]
 Removed:
ns=http://www.example.org/ISB03#
-[<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:bgvtlanj., _:bgvtlanj <rdf:type> <owl:Restriction>., _:bgvtlanj <owl:onProperty> <ns:wasBorn>., _:bgvtlanj <owl:allValuesFrom> <ns:Italy>.]
-[<ns:Italy> <rdf:type> <owl:Class>.]
-[<ns:wasBorn> <rdfs:label> "wasBorn^^xsd:string".]
-[<ns:wasBorn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>.]
-[<ns:wasBorn> <rdfs:range> <ns:Italy>.]
-[<ns:wasBorn> <rdf:type> <owl:ObjectProperty>.]
-[<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>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
E21
(ISB04)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E22
(ISB05)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E23
(ISB06)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.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 = FAIL		 Interchange = N.E.
Execution = N.E.
E26
(ISB09)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = FAIL		 Interchange = N.E.
Execution = N.E.
E27
(ISB10)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = FAIL		 Interchange = N.E.
Execution = N.E.
E28
(ISB11)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = FAIL		 Interchange = N.E.
Execution = N.E.
E29
(ISB12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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".]
  
 Removed:
ns=http://www.example.org/ISB12#
-[<ns:ItalianMan> <owl:equivalentClass> _:xarueddi., _:xarueddi <rdf:type> <owl:Class>., _:xarueddi <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:ItalianMan> <rdf:type> <owl:Class>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.]
 Removed:
ns=http://www.example.org/ISB12#
-[<ns:ItalianMan> <owl:equivalentClass> _:sdocjevt., _:sdocjevt <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., _:sdocjevt <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#
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<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:ItalianMan> <rdf:type> <owl:Class>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
-[<ns:Male> <rdfs:label> "Male^^xsd:string".]
E30
(ISC01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISC01#
-[<ns:ItalianMan> <rdfs:label> "ItalianMan^^xsd:string".]
-[<ns:Male> <rdfs:label> "Male^^xsd:string".]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISC01#
-[<ns:ItalianMan> <owl:equivalentClass> _:huywjemq., _:huywjemq <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., _:huywjemq <rdf:type> <owl:Class>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.]
-[<ns:ItalianMan> <rdf:type> <owl:Class>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISC01#
-[_:mshiusbl <rdf:type> <owl:Class>., <ns:ItalianMan> <owl:equivalentClass> _:mshiusbl., _:mshiusbl <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/ISC01#
-[<ns:ItalianMan> <rdfs:label> "ItalianMan^^xsd:string".]
-[<ns:Male> <rdf:type> <owl:Class>.]
-[<ns:ItalianMan> <rdf:type> <owl:Class>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:Male> <rdfs:label> "Male^^xsd:string".]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
E31
(ISC02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISC02#
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:ItalianMan> <rdfs:label> "ItalianMan^^xsd:string".]
-[<ns:Male> <rdfs:label> "Male^^xsd:string".]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISC02#
-[_:wbygjbej <rdf:type> <owl:Class>., _:wbygjbej <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}., <ns:ItalianMan> <owl:equivalentClass> _:wbygjbej.]
-[{x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}} <rdf:first> <ns:Italian>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Person>.]
-[<ns:ItalianMan> <rdf:type> <owl:Class>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Male>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISC02#
-[_:nymqgjgt <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}., <ns:ItalianMan> <owl:equivalentClass> _:nymqgjgt., _:nymqgjgt <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#
-[<ns:ItalianMan> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:ItalianMan> <rdfs:label> "ItalianMan^^xsd:string".]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
-[<ns:Male> <rdfs:label> "Male^^xsd:string".]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
-[<ns:Person> <rdf:type> <owl:Class>.]
E32
(ISD01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD01#
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
 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#
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
    Removed:
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>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
E33
(ISD02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD02#
-[<http://www.owl-ontologies.com/unnamed.owl#isGrandFatherOf> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#isGrandFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#isAncestorOf> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#isFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#isFatherOf> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#isAncestorOf> <rdf:type> <owl:ObjectProperty>.]
 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#
-[<http://www.owl-ontologies.com/unnamed.owl#isGrandFatherOf> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#isGrandFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#isAncestorOf> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#isFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#isFatherOf> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#isAncestorOf> <rdf:type> <owl:ObjectProperty>.]
 Removed:
ns=http://www.example.org/ISD02#
-[<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>.]
-[<ns:isFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<ns:isGrandFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<ns:isAncestorOf> <rdf:type> <owl:ObjectProperty>.]
-[<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>.]
 Removed:
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:isGrandFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<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:isFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<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>.]
-[<ns:isAncestorOf> <rdf:type> <owl:ObjectProperty>.]
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 = DIFFERENT
Execution = OK		 Interchange = SAME
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 = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E37
(ISE02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE02#
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#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>.]
 Inserted:
ns=http://www.example.org/ISE02#
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISE02#
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISE02#
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<ns:hasChild> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<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 = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE03#
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> _:hqddapgb., _:hqddapgb <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:hqddapgb <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Father>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Father> <rdf:type> <owl:Class>.]
 Inserted:
ns=http://www.example.org/ISE03#
-[_:lieoqbyy <owl:onProperty> <ns:hasChild>., _:lieoqbyy <owl:allValuesFrom> <ns:Person>., _:lieoqbyy <rdf:type> <owl:Restriction>., <ns:Father> <rdfs:subClassOf> _:lieoqbyy.]
-[<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#
-[_:dmndawmy <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> _:dmndawmy., _:dmndawmy <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Father>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Father> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISE03#
-[<ns:Father> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Father>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISE03#
-[<ns:Father> <rdfs:subClassOf> _:jutntwrv., _:jutntwrv <owl:onProperty> <ns:hasChild>., _:jutntwrv <rdf:type> <owl:Restriction>., _:jutntwrv <owl:allValuesFrom> <ns:Person>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:Father> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Father>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Father> <rdfs:label> "Father^^xsd:string".]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
E39
(ISE04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE04#
-[_:nhpgqwhu <rdf:type> <owl:Class>., _:nhpgqwhu <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> _:nhpgqwhu.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
 Inserted:
ns=http://www.example.org/ISE04#
-[<ns:Person> <rdfs:subClassOf> _:eqxuakpk., _:eqxuakpk <rdf:type> <owl:Restriction>., _:eqxuakpk <owl:allValuesFrom> <ns:Person>., _:eqxuakpk <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#
-[_:gbhtfydd <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:gbhtfydd <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> _:gbhtfydd.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISE04#
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISE04#
-[_:toofdwgr <owl:allValuesFrom> <ns:Person>., _:toofdwgr <owl:onProperty> <ns:hasChild>., _:toofdwgr <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:toofdwgr.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
E40
(ISE05)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = FAIL		 Interchange = N.E.
Execution = N.E.
E41
(ISE06)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = FAIL		 Interchange = N.E.
Execution = N.E.
E42
(ISE07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE07#
-[_:ouhocsae <rdf:type> <owl:Class>., _:ouhocsae <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasSSN> <rdfs:domain> _:ouhocsae.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSSN> <rdfs:range> <xsd:string>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSSN> <rdf:type> <owl:DatatypeProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Inserted:
ns=http://www.example.org/ISE07#
-[_:nmqpdqke <owl:allValuesFrom> <xsd:string>., _:nmqpdqke <owl:onProperty> <ns:hasSSN>., _:nmqpdqke <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:nmqpdqke.]
-[<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#
-[<http://www.owl-ontologies.com/unnamed.owl#hasSSN> <rdfs:domain> _:osposxrn., _:osposxrn <rdf:type> <owl:Class>., _:osposxrn <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSSN> <rdfs:range> <xsd:string>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSSN> <rdf:type> <owl:DatatypeProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISE07#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasSSN> <rdfs:domain> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISE07#
-[<ns:Person> <rdfs:subClassOf> _:xdrbnmnq., _:xdrbnmnq <rdf:type> <owl:Restriction>., _:xdrbnmnq <owl:allValuesFrom> <xsd:string>., _:xdrbnmnq <owl:onProperty> <ns:hasSSN>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasSSN> <rdfs:comment> "^^xsd:string".]
-[<ns:hasSSN> <rdfs:range> <xsd:string>.]
-[<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasSSN> <rdfs:domain> <ns:Person>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:hasSSN> <rdfs:label> "hasSSN^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
E43
(ISE08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
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>.]
  
E44
(ISE09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE09#
-[_:rsnatrmg <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:rsnatrmg., _:rsnatrmg <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Inserted:
ns=http://www.example.org/ISE09#
-[<ns:Person> <rdfs:subClassOf> _:crmqkgbi., _:crmqkgbi <owl:allValuesFrom> <xsd:string>., _:crmqkgbi <rdf:type> <owl:Restriction>., _:crmqkgbi <owl:onProperty> <ns:hasName>.]
-[<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#
-[_:ykjahsjj <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:ykjahsjj., _:ykjahsjj <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISE09#
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
 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#
-[_:vtltumfu <rdf:type> <owl:Restriction>., _:vtltumfu <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:vtltumfu., _:vtltumfu <owl:onProperty> <ns:hasName>.]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
E45
(ISE10)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = FAIL		 Interchange = N.E.
Execution = N.E.
E46
(ISF01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF01#
-[<http://www.owl-ontologies.com/unnamed.owl#isResidentIn> <rdfs:domain> _:gffahiuw., _:gffahiuw <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:gffahiuw <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#livesIn> <rdfs:domain> _:hksqmflu., _:hksqmflu <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:hksqmflu <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#livesIn> <rdf:type> <owl:ObjectProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#isResidentIn> <rdf:type> <owl:ObjectProperty>.]
 Inserted:
ns=http://www.example.org/ISF01#
-[_:gjmrmlry <owl:allValuesFrom> <ns:City>., _:gjmrmlry <rdf:type> <owl:Restriction>., _:gjmrmlry <owl:onProperty> <ns:livesIn>., <ns:Person> <rdfs:subClassOf> _:gjmrmlry.]
-[_:grlrcfys <owl:onProperty> <ns:isResidentIn>., _:grlrcfys <owl:allValuesFrom> <ns:City>., _:grlrcfys <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:grlrcfys.]
-[<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#
-[_:buuovwft <rdf:type> <owl:Class>., _:buuovwft <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#isResidentIn> <rdfs:domain> _:buuovwft.]
-[_:tweghdnh <rdf:type> <owl:Class>., _:tweghdnh <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#livesIn> <rdfs:domain> _:tweghdnh.]
-[<http://www.owl-ontologies.com/unnamed.owl#livesIn> <rdf:type> <owl:ObjectProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#isResidentIn> <rdf:type> <owl:ObjectProperty>.]
 Removed:
ns=http://www.example.org/ISF01#
-[<ns:livesIn> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:isResidentIn> <rdf:type> <owl:ObjectProperty>.]
-[<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>.]
-[<ns:livesIn> <rdfs:range> <ns:City>.]
-[<ns:isResidentIn> <rdfs:range> <ns:City>.]
-[<ns:livesIn> <rdfs:domain> <ns:Person>.]
-[<ns:City> <rdf:type> <owl:Class>.]
-[<ns:isResidentIn> <rdfs:domain> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISF01#
-[<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>.]
 Removed:
ns=http://www.example.org/ISF01#
-[_:kcufggla <owl:onProperty> <ns:livesIn>., _:kcufggla <owl:allValuesFrom> <ns:City>., _:kcufggla <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:kcufggla.]
-[_:okangdhk <owl:onProperty> <ns:isResidentIn>., _:okangdhk <owl:allValuesFrom> <ns:City>., <ns:Person> <rdfs:subClassOf> _:okangdhk., _:okangdhk <rdf:type> <owl:Restriction>.]
-[<ns:livesIn> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:City> <rdfs:label> "City^^xsd:string".]
-[<ns:isResidentIn> <rdf:type> <owl:ObjectProperty>.]
-[<ns:isResidentIn> <rdfs:label> "isResidentIn^^xsd:string".]
-[<ns:isResidentIn> <rdfs:range> <ns:City>.]
-[<ns:livesIn> <rdfs:range> <ns:City>.]
-[<ns:livesIn> <rdfs:label> "livesIn^^xsd:string".]
-[<ns:livesIn> <rdfs:domain> <ns:Person>.]
-[<ns:City> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:isResidentIn> <rdfs:domain> <ns:Person>.]
E47
(ISF02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF02#
-[_:iioqjbuo <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasSpanishName> <rdfs:domain> _:iioqjbuo., _:iioqjbuo <rdf:type> <owl:Class>.]
-[_:tgpbqvym <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:tgpbqvym., _:tgpbqvym <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSpanishName> <rdf:type> <owl:DatatypeProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSpanishName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<http://www.owl-ontologies.com/unnamed.owl#City> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#City>.]
 Inserted:
ns=http://www.example.org/ISF02#
-[_:egcpltgw <rdf:type> <owl:Restriction>., _:egcpltgw <owl:allValuesFrom> <xsd:string>., <ns:City> <rdfs:subClassOf> _:egcpltgw., _:egcpltgw <owl:onProperty> <ns:hasSpanishName>.]
-[_:tphkwrbl <owl:allValuesFrom> <xsd:string>., _:tphkwrbl <rdf:type> <owl:Restriction>., <ns:City> <rdfs:subClassOf> _:tphkwrbl., _:tphkwrbl <owl:onProperty> <ns:hasName>.]
-[<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#
-[<http://www.owl-ontologies.com/unnamed.owl#hasSpanishName> <rdfs:domain> _:qwvnkkre., _:qwvnkkre <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:qwvnkkre <rdf:type> <owl:Class>.]
-[_:kbhrqanr <rdf:type> <owl:Class>., _:kbhrqanr <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:kbhrqanr.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSpanishName> <rdf:type> <owl:DatatypeProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSpanishName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<http://www.owl-ontologies.com/unnamed.owl#City> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#City>.]
 Removed:
ns=http://www.example.org/ISF02#
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasSpanishName> <rdfs:domain> <ns:City>.]
-[<ns:hasSpanishName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:City> <rdf:type> <owl:Class>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasSpanishName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdfs:domain> <ns:City>.]
-[<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>.]
 Removed:
ns=http://www.example.org/ISF02#
-[_:pmpipsld <owl:allValuesFrom> <xsd:string>., _:pmpipsld <owl:onProperty> <ns:hasSpanishName>., <ns:City> <rdfs:subClassOf> _:pmpipsld., _:pmpipsld <rdf:type> <owl:Restriction>.]
-[_:scqxrmlu <owl:onProperty> <ns:hasName>., <ns:City> <rdfs:subClassOf> _:scqxrmlu., _:scqxrmlu <rdf:type> <owl:Restriction>., _:scqxrmlu <owl:allValuesFrom> <xsd:string>.]
-[<ns:hasSpanishName> <rdfs:range> <xsd:string>.]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<ns:hasSpanishName> <rdfs:domain> <ns:City>.]
-[<ns:hasSpanishName> <rdfs:label> "hasSpanishName^^xsd:string".]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:City>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasSpanishName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:City> <rdf:type> <owl:Class>.]
-[<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>.]
E48
(ISF03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF03#
-[_:hcnlyuam <rdf:type> <owl:Class>., _:hcnlyuam <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasParent> <rdfs:domain> _:hcnlyuam.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasParent> <rdf:type> <owl:ObjectProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Child>.]
 Inserted:
ns=http://www.example.org/ISF03#
-[_:guhxyiyr <owl:allValuesFrom> <ns:Person>., <ns:Child> <rdfs:subClassOf> _:guhxyiyr., _:guhxyiyr <owl:onProperty> <ns:hasParent>., _:guhxyiyr <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#
-[<http://www.owl-ontologies.com/unnamed.owl#hasParent> <rdfs:domain> _:frmdllqq., _:frmdllqq <rdf:type> <owl:Class>., _:frmdllqq <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasParent> <rdf:type> <owl:ObjectProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Child>.]
 Removed:
ns=http://www.example.org/ISF03#
-[<ns:hasParent> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasParent> <owl:inverseOf> <ns:hasChild>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:hasParent> <rdfs:range> <ns:Person>.]
-[<ns:hasParent> <rdfs:domain> <ns:Child>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISF03#
-[<ns:hasParent> <owl:inverseOf> <ns:hasChild>.]
 Removed:
ns=http://www.example.org/ISF03#
-[_:wcfmceme <owl:allValuesFrom> <ns:Person>., _:wcfmceme <rdf:type> <owl:Restriction>., <ns:Child> <rdfs:subClassOf> _:wcfmceme., _:wcfmceme <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:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Child> <rdfs:label> "Child^^xsd:string".]
-[<ns:hasChild> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:hasParent> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:hasParent> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:hasParent> <rdfs:domain> <ns:Child>.]
-[<ns:hasParent> <rdfs:label> "hasParent^^xsd:string".]
-[<ns:Person> <rdf:type> <owl:Class>.]
E49
(ISG01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG01#
-[_:ufiphrup <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasFriend> <rdfs:domain> _:ufiphrup., _:ufiphrup <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasFriend> <rdf:type> <owl:ObjectProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
 Inserted:
ns=http://www.example.org/ISG01#
-[<ns:Person> <rdfs:subClassOf> _:rxxdfcve., _:rxxdfcve <owl:allValuesFrom> <ns:Person>., _:rxxdfcve <rdf:type> <owl:Restriction>., _:rxxdfcve <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#
-[_:jobfqdyy <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:jobfqdyy <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasFriend> <rdfs:domain> _:jobfqdyy.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasFriend> <rdf:type> <owl:ObjectProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISG01#
-[<ns:hasFriend> <rdfs:range> <ns:Person>.]
-[<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>.]
-[<ns:hasFriend> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasFriend> <rdf:type> <owl:ObjectProperty>.]
 Removed:
ns=http://www.example.org/ISG01#
-[<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>.]
 Removed:
ns=http://www.example.org/ISG01#
-[_:kxyaguru <owl:allValuesFrom> <ns:Person>., <ns:Person> <rdfs:subClassOf> _:kxyaguru., _:kxyaguru <owl:onProperty> <ns:hasFriend>., _:kxyaguru <rdf:type> <owl:Restriction>.]
-[<ns:hasFriend> <rdfs:range> <ns:Person>.]
-[<ns:hasFriend> <rdfs:domain> <ns:Person>.]
-[<ns:hasFriend> <rdfs:label> "hasFriend^^xsd:string".]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasFriend> <rdf:type> <owl:ObjectProperty>.]
E50
(ISG02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG02#
-[_:ywhbdrew <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasFriend> <rdfs:domain> _:ywhbdrew., _:ywhbdrew <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasFriend> <rdf:type> <owl:ObjectProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
 Inserted:
ns=http://www.example.org/ISG02#
-[_:qoqmbxhw <owl:allValuesFrom> <ns:Person>., <ns:Person> <rdfs:subClassOf> _:qoqmbxhw., _:qoqmbxhw <rdf:type> <owl:Restriction>., _:qoqmbxhw <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#
-[<http://www.owl-ontologies.com/unnamed.owl#hasFriend> <rdfs:domain> _:dferwhtx., _:dferwhtx <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:dferwhtx <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasFriend> <rdf:type> <owl:ObjectProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISG02#
-[<ns:hasFriend> <rdfs:domain> <ns:Person>.]
-[<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasFriend> <rdfs:range> <ns:Person>.]
-[<ns:hasFriend> <rdf:type> <owl:ObjectProperty>.]
 Removed:
ns=http://www.example.org/ISG02#
-[<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>.]
 Removed:
ns=http://www.example.org/ISG02#
-[<ns:Person> <rdfs:subClassOf> _:mgmgdemp., _:mgmgdemp <owl:onProperty> <ns:hasFriend>., _:mgmgdemp <rdf:type> <owl:Restriction>., _:mgmgdemp <owl:allValuesFrom> <ns:Person>.]
-[<ns:hasFriend> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasFriend> <rdfs:label> "hasFriend^^xsd:string".]
-[<ns:hasFriend> <rdfs:range> <ns:Person>.]
-[<ns:hasFriend> <rdf:type> <owl:ObjectProperty>.]
E51
(ISG03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG03#
-[_:eneldaum <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., <http://www.owl-ontologies.com/unnamed.owl#Woman> <rdfs:subClassOf> _:eneldaum., _:eneldaum <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#hasHusband>., _:eneldaum <rdf:type> <owl:Restriction>.]
-[_:xprnsiku <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasHusband> <rdfs:domain> _:xprnsiku., _:xprnsiku <rdf:type> <owl:Class>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Woman>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasHusband> <rdf:type> <owl:ObjectProperty>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Woman> <rdfs:subClassOf> <owl:Thing>.]
 Inserted:
ns=http://www.example.org/ISG03#
-[<ns:Woman> <rdfs:subClassOf> _:gsdlhwoo., _:gsdlhwoo <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:gsdlhwoo <rdf:type> <owl:Restriction>., _:gsdlhwoo <owl:onProperty> <ns:hasHusband>.]
-[<ns:Woman> <rdfs:subClassOf> _:dspsjpjv., _:dspsjpjv <owl:onProperty> <ns:hasHusband>., _:dspsjpjv <owl:allValuesFrom> <ns:Man>., _:dspsjpjv <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#
-[<http://www.owl-ontologies.com/unnamed.owl#Woman> <rdfs:subClassOf> _:eiygqpxl., _:eiygqpxl <rdf:type> <owl:Restriction>., _:eiygqpxl <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#hasHusband>., _:eiygqpxl <owl:maxCardinality> "1^^xsd:nonNegativeInteger".]
-[_:oowvtrxo <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:oowvtrxo <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasHusband> <rdfs:domain> _:oowvtrxo.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Woman>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasHusband> <rdf:type> <owl:ObjectProperty>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Woman> <rdfs:subClassOf> <owl:Thing>.]
 Removed:
ns=http://www.example.org/ISG03#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:hasHusband> <rdfs:range> <ns:Man>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:hasHusband> <rdf:type> <owl:FunctionalProperty>.]
-[<ns:hasHusband> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasHusband> <rdfs:domain> <ns:Woman>.]
 Removed:
ns=http://www.example.org/ISG03#
-[<ns:hasHusband> <rdf:type> <owl:FunctionalProperty>.]
 Removed:
ns=http://www.example.org/ISG03#
-[<ns:Woman> <rdfs:subClassOf> _:kkuhcsav., _:kkuhcsav <owl:onProperty> <ns:hasHusband>., _:kkuhcsav <rdf:type> <owl:Restriction>., _:kkuhcsav <owl:maxCardinality> "1^^xsd:nonNegativeInteger".]
-[<ns:Woman> <rdfs:subClassOf> _:mqnxyxsi., _:mqnxyxsi <owl:allValuesFrom> <ns:Man>., _:mqnxyxsi <rdf:type> <owl:Restriction>., _:mqnxyxsi <owl:onProperty> <ns:hasHusband>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:hasHusband> <rdfs:label> "hasHusband^^xsd:string".]
-[<ns:hasHusband> <rdfs:range> <ns:Man>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:hasHusband> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasHusband> <rdfs:domain> <ns:Woman>.]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E52
(ISG04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG04#
-[<http://www.owl-ontologies.com/unnamed.owl#hasAge> <rdfs:domain> _:nwtayagc., _:nwtayagc <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:nwtayagc <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdfs:subClassOf> _:liwrjmpc., _:liwrjmpc <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:liwrjmpc <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#hasAge>., _:liwrjmpc <rdf:type> <owl:Restriction>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasAge> <rdf:type> <owl:DatatypeProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdfs:subClassOf> <owl:Thing>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasAge> <rdfs:range> <xsd:string>.]
 Inserted:
ns=http://www.example.org/ISG04#
-[_:tvhhfipo <rdf:type> <owl:Restriction>., _:tvhhfipo <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:tvhhfipo., _:tvhhfipo <owl:onProperty> <ns:hasAge>.]
-[_:nkuqdmfa <owl:onProperty> <ns:hasAge>., <ns:Person> <rdfs:subClassOf> _:nkuqdmfa., _:nkuqdmfa <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:nkuqdmfa <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>.]
 Inserted:
ns=http://www.example.org/ISG04#
-[_:mrxjnrcb <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:mrxjnrcb <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasAge> <rdfs:domain> _:mrxjnrcb.]
-[_:npdiqffb <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#hasAge>., _:npdiqffb <rdf:type> <owl:Restriction>., _:npdiqffb <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., <http://www.owl-ontologies.com/unnamed.owl#Person> <rdfs:subClassOf> _:npdiqffb.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasAge> <rdf:type> <owl:DatatypeProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdfs:subClassOf> <owl:Thing>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasAge> <rdfs:range> <xsd:string>.]
 Removed:
ns=http://www.example.org/ISG04#
-[<ns:hasAge> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasAge> <rdfs:domain> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasAge> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<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>.]
 Removed:
ns=http://www.example.org/ISG04#
-[_:dlyqyuhd <owl:allValuesFrom> <xsd:string>., _:dlyqyuhd <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:dlyqyuhd., _:dlyqyuhd <owl:onProperty> <ns:hasAge>.]
-[_:sdejkgfj <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:sdejkgfj <owl:onProperty> <ns:hasAge>., _:sdejkgfj <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:sdejkgfj.]
-[<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".]
-[<ns:hasAge> <rdfs:domain> <ns:Person>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:hasAge> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
E53
(ISG05)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = FAIL		 Interchange = N.E.
Execution = N.E.
E54
(ISH01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISH01#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Peter> <rdfs:label> "p1:Peter^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
 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#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Peter> <rdfs:label> "p1:Peter^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISH01#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns: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:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<http://www.example.org/Peter> <rdfs:label> "Peter^^xsd:string".]
-[<http://www.example.org/Peter> <rdf:type> <ns:Person>.]
E55
(ISH02)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = FAIL		 Interchange = N.E.
Execution = N.E.
E56
(ISH03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISH03#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Peter> <rdfs:label> "p1:Peter^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdfs:label> "p1:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Paul> <rdfs:label> "p1:Paul^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#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>.]
 Inserted:
ns=http://www.example.org/ISH03#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Peter> <rdfs:label> "p1:Peter^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdfs:label> "p1:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Paul> <rdfs:label> "p1:Paul^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#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>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
 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#
-[<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".]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<http://www.example.org/Paul> <rdf:type> <ns:Person>.]
E57
(ISI01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI01#
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> _:uvvmopkx., _:uvvmopkx <rdf:type> <owl:Class>., _:uvvmopkx <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdfs:label> "p1:Mary^^xsd:string".]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Paul> <rdfs:label> "p1:Paul^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
 Inserted:
ns=http://www.example.org/ISI01#
-[_:wselyjcg <owl:allValuesFrom> <ns:Person>., _:wselyjcg <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:wselyjcg., _:wselyjcg <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#
-[_:eauchkeh <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> _:eauchkeh., _:eauchkeh <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdfs:label> "p1:Mary^^xsd:string".]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Paul> <rdfs:label> "p1:Paul^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
 Removed:
ns=http://www.example.org/ISI01#
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:Mary> <rdf:type> <ns:Person>.]
-[<ns:Mary> <ns:hasChild> <ns:Paul>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Paul> <rdf:type> <ns:Person>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
 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:Person> <rdfs:subClassOf> _:jlbornyu., _:jlbornyu <owl:allValuesFrom> <ns:Person>., _:jlbornyu <owl:onProperty> <ns:hasChild>., _:jlbornyu <rdf:type> <owl:Restriction>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<http://www.example.org/Mary> <rdf:type> <ns:Person>.]
-[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<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>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
E58
(ISI02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI02#
-[_:nbpyijvr <rdf:type> <owl:Class>., _:nbpyijvr <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#knows> <rdfs:domain> _:nbpyijvr.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Peter> <rdfs:label> "p1:Peter^^xsd:string".]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#knows> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
 Inserted:
ns=http://www.example.org/ISI02#
-[_:cjvckrhm <owl:allValuesFrom> <ns:Person>., _:cjvckrhm <rdf:type> <owl:Restriction>., _:cjvckrhm <owl:onProperty> <ns:knows>., <ns:Person> <rdfs:subClassOf> _:cjvckrhm.]
-[<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#
-[<http://www.owl-ontologies.com/unnamed.owl#knows> <rdfs:domain> _:ilgildbd., _:ilgildbd <rdf:type> <owl:Class>., _:ilgildbd <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Peter> <rdfs:label> "p1:Peter^^xsd:string".]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#knows> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISI02#
-[<ns:Peter> <ns:knows> <ns:Peter>.]
-[<ns:knows> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:knows> <rdfs:domain> <ns:Person>.]
-[<ns:knows> <rdfs:range> <ns:Person>.]
-[<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>.]
 Removed:
ns=http://www.example.org/ISI02#
-[_:ijywxaml <owl:allValuesFrom> <ns:Person>., _:ijywxaml <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:ijywxaml., _:ijywxaml <owl:onProperty> <ns:knows>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:knows> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:knows> <rdfs:label> "knows^^xsd:string".]
-[<ns:knows> <rdfs:domain> <ns:Person>.]
-[<http://www.example.org/Peter> <rdfs:label> "Peter^^xsd:string".]
-[<ns:knows> <rdfs:range> <ns:Person>.]
-[<http://www.example.org/Peter> <rdf:type> <ns:Person>.]
E59
(ISI03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI03#
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> _:kvtfgmbm., _:kvtfgmbm <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:kvtfgmbm <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdfs:label> "p1:Mary^^xsd:string".]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Mother>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Mother> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Paul> <rdfs:label> "p1:Paul^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Mother>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Child>.]
 Inserted:
ns=http://www.example.org/ISI03#
-[_:svrdtmjx <owl:allValuesFrom> <ns:Child>., <ns:Mother> <rdfs:subClassOf> _:svrdtmjx., _:svrdtmjx <owl:onProperty> <ns:hasChild>., _:svrdtmjx <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#
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> _:fhlivlcd., _:fhlivlcd <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:fhlivlcd <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdfs:label> "p1:Mary^^xsd:string".]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Mother>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Mother> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Paul> <rdfs:label> "p1:Paul^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Mother>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Child>.]
 Removed:
ns=http://www.example.org/ISI03#
-[<ns:Paul> <rdf:type> <ns:Child>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Mary> <ns:hasChild> <ns:Paul>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:Mother> <rdf:type> <owl:Class>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Mother>.]
-[<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>.]
 Removed:
ns=http://www.example.org/ISI03#
-[_:wcrtdtvt <rdf:type> <owl:Restriction>., _:wcrtdtvt <owl:allValuesFrom> <ns:Child>., _:wcrtdtvt <owl:onProperty> <ns:hasChild>., <ns:Mother> <rdfs:subClassOf> _:wcrtdtvt.]
-[<http://www.example.org/Paul> <rdf:type> <ns:Child>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<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:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:Mother> <rdfs:label> "Mother^^xsd:string".]
-[<ns:Mother> <rdf:type> <owl:Class>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<http://www.example.org/Paul> <rdfs:label> "Paul^^xsd:string".]
-[<ns:Child> <rdfs:label> "Child^^xsd:string".]
-[<ns:hasChild> <rdfs:domain> <ns:Mother>.]
E60
(ISI04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI04#
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:eyewypuw., _:eyewypuw <rdf:type> <owl:Class>., _:eyewypuw <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MarySmith> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MarySmith> <rdfs:label> "p1:MarySmith^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MarySmith> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
 Inserted:
ns=http://www.example.org/ISI04#
-[_:yqvhqeix <owl:onProperty> <ns:hasName>., _:yqvhqeix <rdf:type> <owl:Restriction>., _:yqvhqeix <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:yqvhqeix.]
-[<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#
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:uvvlflre., _:uvvlflre <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:uvvlflre <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MarySmith> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MarySmith> <rdfs:label> "p1:MarySmith^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MarySmith> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
 Removed:
ns=http://www.example.org/ISI04#
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<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>.]
 Removed:
ns=http://www.example.org/ISI04#
-[<ns:Person> <rdfs:subClassOf> _:akudhbjb., _:akudhbjb <owl:allValuesFrom> <xsd:string>., _:akudhbjb <owl:onProperty> <ns:hasName>., _:akudhbjb <rdf:type> <owl:Restriction>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<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>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<http://www.example.org/MarySmith> <ns:hasName> "Mary^^xsd:string".]
E61
(ISI05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI05#
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:yfinkthx., _:yfinkthx <rdf:type> <owl:Class>., _:yfinkthx <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Ann^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdfs:label> "p1:MaryAnn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Inserted:
ns=http://www.example.org/ISI05#
-[_:ocqsbxvc <owl:onProperty> <ns:hasName>., <ns:Person> <rdfs:subClassOf> _:ocqsbxvc., _:ocqsbxvc <owl:allValuesFrom> <xsd:string>., _:ocqsbxvc <rdf:type> <owl:Restriction>.]
-[<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#
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:hqwjtusk., _:hqwjtusk <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:hqwjtusk <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Ann^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdfs:label> "p1:MaryAnn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISI05#
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<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>.]
 Removed:
ns=http://www.example.org/ISI05#
-[_:hdohfjmt <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:hdohfjmt., _:hdohfjmt <owl:onProperty> <ns:hasName>., _:hdohfjmt <owl:allValuesFrom> <xsd:string>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<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>.]
E62
(ISJ01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ01#
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> _:obbxlkkw., _:obbxlkkw <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:obbxlkkw <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdfs:label> "p1:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdfs:label> "p1:OWL_INDIVIDUAL_0^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISJ01#
-[<ns:Person> <rdfs:subClassOf> _:betgsabc., _:betgsabc <rdf:type> <owl:Restriction>., _:betgsabc <owl:onProperty> <ns:hasChild>., _:betgsabc <owl:allValuesFrom> <ns:Person>.]
-[<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#
-[_:pqqblvhd <rdf:type> <owl:Class>., _:pqqblvhd <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> _:pqqblvhd.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdfs:label> "p1:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdfs:label> "p1:OWL_INDIVIDUAL_0^^xsd:string".]
 Removed:
ns=http://www.example.org/ISJ01#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<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>.]
 Removed:
ns=http://www.example.org/ISJ01#
-[<ns:Person> <rdfs:subClassOf> _:yasekntt., _:yasekntt <owl:onProperty> <ns:hasChild>., _:yasekntt <owl:allValuesFrom> <ns:Person>., _:yasekntt <rdf:type> <owl:Restriction>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<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".]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
E63
(ISJ02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ02#
-[_:fgjpatyh <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:fgjpatyh <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> _:fgjpatyh.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Parent> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Parent>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Parent>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdfs:label> "p1:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdfs:label> "p1:OWL_INDIVIDUAL_0^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISJ02#
-[_:wnesssvy <owl:onProperty> <ns:hasChild>., _:wnesssvy <owl:allValuesFrom> <ns:Person>., _:wnesssvy <rdf:type> <owl:Restriction>., <ns:Parent> <rdfs:subClassOf> _:wnesssvy.]
-[<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#
-[_:keglmmrf <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> _:keglmmrf., _:keglmmrf <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Parent> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Parent>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Parent>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdfs:label> "p1:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdfs:label> "p1:OWL_INDIVIDUAL_0^^xsd:string".]
 Removed:
ns=http://www.example.org/ISJ02#
-[<ns:genid1> <rdf:type> <ns:Parent>.]
-[<ns:John> <rdf:type> <ns:Person>.]
-[<ns:Parent> <rdf:type> <owl:Class>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:domain> <ns:Parent>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
 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#
-[_:xhunpqjy <owl:onProperty> <ns:hasChild>., _:xhunpqjy <rdf:type> <owl:Restriction>., <ns:Parent> <rdfs:subClassOf> _:xhunpqjy., _:xhunpqjy <owl:allValuesFrom> <ns:Person>.]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/John> <rdf:type> <ns:Person>.]
-[<ns:Parent> <rdf:type> <owl:Class>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdfs:label> "OWL_INDIVIDUAL_0^^xsd:string".]
-[<ns:hasChild> <rdfs:domain> <ns:Parent>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdf:type> <ns:Parent>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<http://www.example.org/John> <rdfs:label> "John^^xsd:string".]
-[<ns:Parent> <rdfs:label> "Parent^^xsd:string".]
-[<ns:Person> <rdf:type> <owl:Class>.]
E64
(ISJ03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ03#
-[_:jnjrxdrv <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:jnjrxdrv., _:jnjrxdrv <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdfs:label> "p1:OWL_INDIVIDUAL_0^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Peter^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISJ03#
-[_:assbabuo <owl:onProperty> <ns:hasName>., _:assbabuo <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:assbabuo., _:assbabuo <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#
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:fpuqnskv., _:fpuqnskv <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:fpuqnskv <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdfs:label> "p1:OWL_INDIVIDUAL_0^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Peter^^xsd:string".]
 Removed:
ns=http://www.example.org/ISJ03#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:genid1> <ns:hasName> "Peter^^xsd:string".]
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<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>.]
 Removed:
ns=http://www.example.org/ISJ03#
-[_:fhduhree <owl:allValuesFrom> <xsd:string>., _:fhduhree <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:fhduhree., _:fhduhree <owl:onProperty> <ns:hasName>.]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<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".]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
E65
(ISK01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK01#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdfs:label> "p1:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdfs:label> "p1:MaryAnn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#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>.]
 Inserted:
ns=http://www.example.org/ISK01#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdfs:label> "p1:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdfs:label> "p1:MaryAnn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
 Removed:
ns=http://www.example.org/ISK01#
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<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>.]
 Removed:
ns=http://www.example.org/ISK01#
-[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<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>.]
E66
(ISK02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK02#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Ann> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdfs:label> "p1:MaryAnn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Ann> <rdfs:label> "p1:Ann^^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".]
 Inserted:
ns=http://www.example.org/ISK02#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Ann> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdfs:label> "p1:MaryAnn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Ann> <rdfs:label> "p1:Ann^^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>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
 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#
-[<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".]
-[<ns:Person> <rdf:type> <owl:Class>.]
E67
(ISK03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK03#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdfs:label> "p1:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Joan> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Ann> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Joan> <rdfs:label> "p1:Joan^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Ann> <rdfs:label> "p1:Ann^^xsd:string".]
 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#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdfs:label> "p1:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Joan> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Ann> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Joan> <rdfs:label> "p1:Joan^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Ann> <rdfs:label> "p1:Ann^^xsd:string".]
 Removed:
ns=http://www.example.org/ISK03#
-[_:rinqnlvo <rdf:type> <owl:AllDifferent>., _:rinqnlvo <owl:distinctMembers> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}.]
-[<ns:Ann> <rdf:type> <ns:Person>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Joan>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<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#
-[_:ykwghtib <rdf:type> <owl:AllDifferent>., _:ykwghtib <owl:distinctMembers> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}.]
-[<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#
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<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>.]
E68
(ISL01)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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".]
  
    Removed:
ns=http://www.example.org/ISL01#
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E69
(ISL02)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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".]
  
    Removed:
ns=http://www.example.org/ISL02#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E70
(ISL03)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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".]
  
    Removed:
ns=http://www.example.org/ISL03#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
-[<ns:Man> <rdf:type> <owl:Class>.]
E71
(ISL04)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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".]
  
    Removed:
ns=http://www.example.org/ISL04#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E72
(ISL05)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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".]
  
    Removed:
ns=http://www.example.org/ISL05#
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
E73
(ISL06)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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".]
  
    Removed:
ns=http://www.example.org/ISL06#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
-[<ns:Man> <rdf:type> <owl:Class>.]
E74
(ISL07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL07#
-[_:uagvjcrt <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:uagvjcrt., _:uagvjcrt <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Ann^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdfs:label> "p1:MaryAnn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Inserted:
ns=http://www.example.org/ISL07#
-[_:qqyxdluu <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:qqyxdluu., _:qqyxdluu <rdf:type> <owl:Restriction>., _:qqyxdluu <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>.]
 Inserted:
ns=http://www.example.org/ISL07#
-[_:wqkvgufy <rdf:type> <owl:Class>., _:wqkvgufy <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:wqkvgufy.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Ann^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdfs:label> "p1:MaryAnn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<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:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
 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:Person> <rdfs:subClassOf> _:kyousljb., _:kyousljb <owl:onProperty> <ns:hasName>., _:kyousljb <rdf:type> <owl:Restriction>., _:kyousljb <owl:allValuesFrom> <xsd:string>.]
-[<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:domain> <ns:Person>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<http://www.example.org/MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
-[_:klelstwf <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:klelstwf., _:klelstwf <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Ann^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdfs:label> "p1:MaryAnn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Inserted:
ns=http://www.example.org/ISL08#
-[_:amavxopk <rdf:type> <owl:Restriction>., _:amavxopk <owl:onProperty> <ns:hasName>., <ns:Person> <rdfs:subClassOf> _:amavxopk., _:amavxopk <owl:allValuesFrom> <xsd:string>.]
-[<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#
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:jwtfhjeo., _:jwtfhjeo <rdf:type> <owl:Class>., _:jwtfhjeo <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Ann^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdfs:label> "p1:MaryAnn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL08#
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<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>.]
 Removed:
ns=http://www.example.org/ISL08#
-[_:lhrqeppm <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:lhrqeppm., _:lhrqeppm <owl:onProperty> <ns:hasName>., _:lhrqeppm <owl:allValuesFrom> <xsd:string>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<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>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<http://www.example.org/MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
E76
(ISL09)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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".]
  
    Removed:
ns=http://www.example.org/ISL09#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E77
(ISL10)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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".]
  
    Removed:
ns=http://www.example.org/ISL10#
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
E78
(ISL11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL11#
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:sivwiwee., _:sivwiwee <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:sivwiwee <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSurname> <rdfs:domain> _:atxixryr., _:atxixryr <rdf:type> <owl:Class>., _:atxixryr <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <rdfs:label> "p1:JohnDoe^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <http://www.owl-ontologies.com/unnamed.owl#hasSurname> "Doe^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSurname> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSurname> <rdf:type> <owl:DatatypeProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <http://www.owl-ontologies.com/unnamed.owl#hasName> "John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Inserted:
ns=http://www.example.org/ISL11#
-[_:blojsygw <rdf:type> <owl:Restriction>., _:blojsygw <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:blojsygw., _:blojsygw <owl:onProperty> <ns:hasName>.]
-[_:nseakqfu <owl:allValuesFrom> <xsd:string>., _:nseakqfu <owl:onProperty> <ns:hasSurname>., <ns:Person> <rdfs:subClassOf> _:nseakqfu., _:nseakqfu <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#
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:kppcfgsp., _:kppcfgsp <rdf:type> <owl:Class>., _:kppcfgsp <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[_:xrcmaoiw <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:xrcmaoiw <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasSurname> <rdfs:domain> _:xrcmaoiw.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <rdfs:label> "p1:JohnDoe^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <http://www.owl-ontologies.com/unnamed.owl#hasSurname> "Doe^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSurname> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSurname> <rdf:type> <owl:DatatypeProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <http://www.owl-ontologies.com/unnamed.owl#hasName> "John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL11#
-[<ns:hasSurname> <rdf:type> <owl:DatatypeProperty>.]
-[<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>.]
-[<ns:hasSurname> <rdfs:domain> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
 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#
-[_:wipjnfcd <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:wipjnfcd., _:wipjnfcd <rdf:type> <owl:Restriction>., _:wipjnfcd <owl:onProperty> <ns:hasName>.]
-[_:cmyjhtsh <owl:onProperty> <ns:hasSurname>., _:cmyjhtsh <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:cmyjhtsh., _:cmyjhtsh <owl:allValuesFrom> <xsd:string>.]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<http://www.example.org/JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<ns:hasSurname> <rdf:type> <owl:DatatypeProperty>.]
-[<http://www.example.org/JohnDoe> <rdf:type> <ns:Person>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<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".]
-[<ns:hasSurname> <rdfs:domain> <ns:Person>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL12#
-[_:kbgaklud <rdf:type> <owl:Class>., _:kbgaklud <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:kbgaklud.]
-[_:cslinmku <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasSurname> <rdfs:domain> _:cslinmku., _:cslinmku <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <rdfs:label> "p1:JohnDoe^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <http://www.owl-ontologies.com/unnamed.owl#hasSurname> "Doe^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSurname> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSurname> <rdf:type> <owl:DatatypeProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <http://www.owl-ontologies.com/unnamed.owl#hasName> "John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Inserted:
ns=http://www.example.org/ISL12#
-[_:imraaxwv <owl:allValuesFrom> <xsd:string>., _:imraaxwv <owl:onProperty> <ns:hasSurname>., <ns:Person> <rdfs:subClassOf> _:imraaxwv., _:imraaxwv <rdf:type> <owl:Restriction>.]
-[_:vyscltca <rdf:type> <owl:Restriction>., _:vyscltca <owl:onProperty> <ns:hasName>., _:vyscltca <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:vyscltca.]
-[<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#
-[_:bkexcvwk <rdf:type> <owl:Class>., _:bkexcvwk <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:bkexcvwk.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSurname> <rdfs:domain> _:tmivilen., _:tmivilen <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:tmivilen <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <rdfs:label> "p1:JohnDoe^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <http://www.owl-ontologies.com/unnamed.owl#hasSurname> "Doe^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSurname> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasSurname> <rdf:type> <owl:DatatypeProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <http://www.owl-ontologies.com/unnamed.owl#hasName> "John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL12#
-[<ns:hasSurname> <rdfs:domain> <ns:Person>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:JohnDoe> <rdf:type> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasSurname> <rdf:type> <owl:DatatypeProperty>.]
-[<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".]
 Removed:
ns=http://www.example.org/ISL12#
-[_:trillgjb <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:trillgjb., _:trillgjb <owl:onProperty> <ns:hasSurname>., _:trillgjb <rdf:type> <owl:Restriction>.]
-[_:ngomvdyv <owl:allValuesFrom> <xsd:string>., _:ngomvdyv <owl:onProperty> <ns:hasName>., <ns:Person> <rdfs:subClassOf> _:ngomvdyv., _:ngomvdyv <rdf:type> <owl:Restriction>.]
-[<ns:hasSurname> <rdfs:range> <xsd:string>.]
-[<http://www.example.org/JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<ns:hasSurname> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<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> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<ns:hasSurname> <rdf:type> <owl:DatatypeProperty>.]
-[<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>.]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
E80
(ISL13)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL13#
-[_:bumqenep <rdf:type> <owl:Class>., _:bumqenep <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:bumqenep.]
-[_:irisggxr <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> _:irisggxr., _:irisggxr <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Child> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdfs:label> "p1:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdfs:label> "p1:OWL_INDIVIDUAL_0^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Paul^^xsd:string".]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Child>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Child>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Inserted:
ns=http://www.example.org/ISL13#
-[_:ekyrgrqm <owl:onProperty> <ns:hasName>., _:ekyrgrqm <rdf:type> <owl:Restriction>., <ns:Child> <rdfs:subClassOf> _:ekyrgrqm., _:ekyrgrqm <owl:allValuesFrom> <xsd:string>.]
-[_:toeowvpp <owl:onProperty> <ns:hasChild>., <ns:Person> <rdfs:subClassOf> _:toeowvpp., _:toeowvpp <owl:allValuesFrom> <ns:Child>., _:toeowvpp <rdf:type> <owl:Restriction>.]
-[<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#
-[_:jyuamihv <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:jyuamihv <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:jyuamihv.]
-[_:avvhmgdr <rdf:type> <owl:Class>., _:avvhmgdr <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> _:avvhmgdr.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Child> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdfs:label> "p1:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdfs:label> "p1:OWL_INDIVIDUAL_0^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Paul^^xsd:string".]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Child>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Child>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL13#
-[<ns:genid-node1> <rdf:type> <ns:Child>.]
-[<ns:John> <ns:hasChild> <ns:genid-node1>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:hasName> <rdfs:domain> <ns:Child>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:John> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:genid-node1> <ns:hasName> "Paul^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<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>.]
 Removed:
ns=http://www.example.org/ISL13#
-[_:mqphinju <owl:allValuesFrom> <xsd:string>., _:mqphinju <rdf:type> <owl:Restriction>., _:mqphinju <owl:onProperty> <ns:hasName>., <ns:Child> <rdfs:subClassOf> _:mqphinju.]
-[_:mbjjjdrj <owl:onProperty> <ns:hasChild>., _:mbjjjdrj <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:mbjjjdrj., _:mbjjjdrj <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:Child> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<http://www.example.org/John> <rdfs:label> "John^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Child>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <ns:hasName> "Paul^^xsd:string".]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
E81
(ISL14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL14#
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> _:evigseyq., _:evigseyq <rdf:type> <owl:Class>., _:evigseyq <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[_:xsglmnyk <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:xsglmnyk <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:xsglmnyk.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdfs:label> "p1:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdfs:label> "p1:OWL_INDIVIDUAL_0^^xsd:string".]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Child>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Paul^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Child>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Inserted:
ns=http://www.example.org/ISL14#
-[_:lgroiyyw <owl:onProperty> <ns:hasName>., _:lgroiyyw <owl:allValuesFrom> <xsd:string>., _:lgroiyyw <rdf:type> <owl:Restriction>., <ns:Child> <rdfs:subClassOf> _:lgroiyyw.]
-[_:nlajxdfc <owl:onProperty> <ns:hasChild>., _:nlajxdfc <owl:allValuesFrom> <ns:Child>., <ns:Person> <rdfs:subClassOf> _:nlajxdfc., _:nlajxdfc <rdf:type> <owl:Restriction>.]
-[<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#
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:domain> _:nqxttkxn., _:nqxttkxn <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:nqxttkxn <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> _:ahslsdas., _:ahslsdas <rdf:type> <owl:Class>., _:ahslsdas <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Child> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdfs:range> <xsd:string>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdfs:label> "p1:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdfs:label> "p1:OWL_INDIVIDUAL_0^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <http://www.owl-ontologies.com/unnamed.owl#hasName> "Paul^^xsd:string".]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Child>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_OWL_INDIVIDUAL_0> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Child>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL14#
-[<ns:genid1> <ns:hasName> "Paul^^xsd:string".]
-[<ns:genid1> <rdf:type> <ns:Child>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:hasName> <rdfs:domain> <ns:Child>.]
-[<ns:John> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:John> <ns:hasChild> <ns:genid1>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<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>.]
 Removed:
ns=http://www.example.org/ISL14#
-[_:rvvpghti <owl:onProperty> <ns:hasName>., _:rvvpghti <rdf:type> <owl:Restriction>., <ns:Child> <rdfs:subClassOf> _:rvvpghti., _:rvvpghti <owl:allValuesFrom> <xsd:string>.]
-[_:fixpbqnf <owl:onProperty> <ns:hasChild>., _:fixpbqnf <rdf:type> <owl:Restriction>., _:fixpbqnf <owl:allValuesFrom> <ns:Child>., <ns:Person> <rdfs:subClassOf> _:fixpbqnf.]
-[<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".]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<http://www.example.org/John> <rdfs:label> "John^^xsd:string".]
-[<http://www.example.org/OWL_INDIVIDUAL_0> <ns:hasName> "Paul^^xsd:string".]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:hasName> <rdfs:domain> <ns:Child>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
E82
(ISL15)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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".]
  
 Removed:
ns=http://www.example.org/ISL15#
-[<ns:Book> <rdfs:label> "Libro@es".]
-[<ns:Book> <rdf:type> <owl:Class>.]
-[<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".]
 Removed:
ns=http://www.example.org/ISL15#
-[<ns:Book> <rdf:type> <owl:Class>.]
-[<ns:Book> <rdfs:comment> "rdfs:label : Book||rdfs:label : Libro||^^xsd:string".]
-[<ns:Book> <rdfs:label> "Book^^xsd:string".]
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#