Interoperability from ProtegeFRAMES to WebODE (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (ProtegeFRAMES) Step2 (WebODE)
E01
(ISA01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA01#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISA01#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISA01#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E02
(ISA02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA02#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdfs:label> "ibs:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Man>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
  
 Removed:
ns=http://www.example.org/ISA02#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Person>.]
-[<ns:Child> <rdfs:subClassOf> <ns:Man>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 Removed:
ns=http://www.example.org/ISA02#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Person>.]
-[<ns:Child> <rdfs:subClassOf> <ns:Man>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISA02#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdfs:label> "ibs:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Man>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E03
(ISA03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA03#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdfs:label> "ibs:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Man>.]
  
 Removed:
ns=http://www.example.org/ISA03#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Child> <rdfs:subClassOf> <ns:Person>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:Child> <rdfs:subClassOf> <ns:Man>.]
 Removed:
ns=http://www.example.org/ISA03#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Child> <rdfs:subClassOf> <ns:Person>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:Child> <rdfs:subClassOf> <ns:Man>.]
 Removed:
ns=http://www.example.org/ISA03#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdfs:label> "ibs:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Man>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E04
(ISA04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA04#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
  
 Removed:
ns=http://www.example.org/ISA04#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdfs:subClassOf> <ns:Person>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISA04#
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdfs:subClassOf> <ns:Person>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISA04#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E05
(ISA05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA05#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdfs:label> "ibs:Male^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <owl:equivalentClass> <http://www.owl-ontologies.com/unnamed.owl#ibs_Man>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdf:type> <owl:Class>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:subClassOf> <owl:Thing>.]
  
 Removed:
ns=http://www.example.org/ISA05#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Male>.]
-[<ns:Male> <rdfs:subClassOf> <ns:Man>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISA05#
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Male>.]
-[<ns:Male> <rdfs:subClassOf> <ns:Man>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISA05#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <owl:equivalentClass> <http://www.owl-ontologies.com/unnamed.owl#ibs_Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <owl:equivalentClass> <http://www.owl-ontologies.com/unnamed.owl#ibs_Man>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdfs:label> "ibs:Male^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E06
(ISA06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA06#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:subClassOf> <owl:Thing>.]
  
 Removed:
ns=http://www.example.org/ISA06#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdfs:subClassOf> <ns:Woman>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <owl:equivalentClass> <http://www.owl-ontologies.com/unnamed.owl#ibs_Woman>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E07
(ISA07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA07#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Driver> <rdfs:label> "ibs:Driver^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasCar> <rdfs:label> "ibs:hasCar^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Car> <rdfs:label> "ibs:Car^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Driver> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasCar> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Driver>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Car> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasCar> <rdf:type> <owl:ObjectProperty>.]
  
 Removed:
ns=http://www.example.org/ISA07#
-[_:ahotkpxh <owl:onProperty> <ns:hasCar>., <ns:Driver> <rdfs:subClassOf> _:ahotkpxh., _:ahotkpxh <owl:someValuesFrom> <ns:Car>., _:ahotkpxh <rdf:type> <owl:Restriction>.]
-[<ns:Car> <rdf:type> <owl:Class>.]
-[<ns:hasCar> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Driver> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 Removed:
ns=http://www.example.org/ISA07#
-[_:idqffaoh <owl:onProperty> <ns:hasCar>., _:idqffaoh <owl:someValuesFrom> <ns:Car>., <ns:Driver> <rdfs:subClassOf> _:idqffaoh., _:idqffaoh <rdf:type> <owl:Restriction>.]
-[<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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Driver> <rdfs:label> "ibs:Driver^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasCar> <rdfs:label> "ibs:hasCar^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Car> <rdfs:label> "ibs:Car^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Driver> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasCar> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Driver>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Car> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasCar> <rdf:type> <owl:ObjectProperty>.]
E08
(ISA08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA08#
-[_:lsamolvo <rdf:type> <owl:Restriction>., <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:subClassOf> _:lsamolvo., _:lsamolvo <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_wasBorn>., _:lsamolvo <owl:allValuesFrom> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italy>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_wasBorn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_wasBorn> <rdfs:label> "ibs:wasBorn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdf:type> <owl:Class>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:label> "ibs:Italian^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italy> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_wasBorn> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italy> <rdfs:label> "ibs:Italy^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISA08#
-[_:toygbxnc <owl:allValuesFrom> <ns:Italy>., <ns:Italian> <rdfs:subClassOf> _:toygbxnc., _:toygbxnc <rdf:type> <owl:Restriction>., _:toygbxnc <owl:onProperty> <ns:wasBorn>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Italy> <rdf:type> <owl:Class>.]
-[<ns:wasBorn> <rdf:type> <owl:ObjectProperty>.]
 Removed:
ns=http://www.example.org/ISA08#
-[<ns:Italian> <rdfs:subClassOf> _:hvrmogcn., _:hvrmogcn <owl:onProperty> <ns:wasBorn>., _:hvrmogcn <rdf:type> <owl:Restriction>., _:hvrmogcn <owl:allValuesFrom> <ns:Italy>.]
-[<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#
-[_:plhrcfpr <owl:allValuesFrom> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italy>., _:plhrcfpr <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_wasBorn>., _:plhrcfpr <rdf:type> <owl:Restriction>., <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:subClassOf> _:plhrcfpr.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_wasBorn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_wasBorn> <rdfs:label> "ibs:wasBorn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:label> "ibs:Italian^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italy> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_wasBorn> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italy> <rdfs:label> "ibs:Italy^^xsd:string".]
E09
(ISA09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA09#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_worksIn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_worksIn> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Employee>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Employee> <rdfs:label> "ibs:Employee^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_worksIn> <rdfs:label> "ibs:worksIn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Employee> <rdf:type> <owl:Class>.]
  
 Removed:
ns=http://www.example.org/ISA09#
-[_:thtyisxd <rdf:type> <owl:Restriction>., _:thtyisxd <owl:minCardinality> "0 -[<ns:worksIn> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Employee> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 Removed:
ns=http://www.example.org/ISA09#
-[<ns:Employee> <rdfs:subClassOf> "".]
-[<ns:worksIn> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Employee> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISA09#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_worksIn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_worksIn> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Employee>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Employee> <rdfs:label> "ibs:Employee^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_worksIn> <rdfs:label> "ibs:worksIn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Employee> <rdf:type> <owl:Class>.]
E10
(ISA10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA10#
-[_:scnaoiow <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:scnaoiow <rdf:type> <owl:Restriction>., _:scnaoiow <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation>., <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:subClassOf> _:scnaoiow.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:label> "ibs:Researcher^^xsd:string".]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdfs:label> "ibs:hasAffiliation^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISA10#
-[_:xyjnyuak <rdf:type> <owl:Restriction>., _:xyjnyuak <owl:maxCardinality> "1 -[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
-[<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
 Removed:
ns=http://www.example.org/ISA10#
-[_:mgiqqrtv <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:mgiqqrtv <owl:onProperty> <ns:hasAffiliation>., <ns:Researcher> <rdfs:subClassOf> _:mgiqqrtv., _:mgiqqrtv <rdf:type> <owl:Restriction>.]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
-[<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
 Removed:
ns=http://www.example.org/ISA10#
-[_:vbraduyi <rdf:type> <owl:Restriction>., _:vbraduyi <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation>., _:vbraduyi <owl:maxCardinality> "1^^xsd:int"., <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:subClassOf> _:vbraduyi.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:label> "ibs:Researcher^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdfs:label> "ibs:hasAffiliation^^xsd:string".]
E11
(ISA11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA11#
-[_:pxjygrqc <owl:cardinality> "1^^xsd:nonNegativeInteger"., <http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:subClassOf> _:pxjygrqc., _:pxjygrqc <rdf:type> <owl:Restriction>., _:pxjygrqc <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasMother>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasMother> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasMother> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasMother> <rdfs:label> "ibs:hasMother^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISA11#
-[_:oqlippcw <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:oqlippcw., _:oqlippcw <owl:cardinality> "1 -[<ns:hasMother> <rdf:type> <owl:ObjectProperty>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISA11#
-[_:mpvdiwvr <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:mpvdiwvr <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:mpvdiwvr., _:mpvdiwvr <owl:onProperty> <ns:hasMother>.]
-[<ns:hasMother> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISA11#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:subClassOf> _:fadkoami., _:fadkoami <owl:cardinality> "1^^xsd:int"., _:fadkoami <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasMother>., _:fadkoami <rdf:type> <owl:Restriction>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasMother> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasMother> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasMother> <rdfs:label> "ibs:hasMother^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E12
(ISA12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA12#
-[_:bntoausn <rdf:type> <owl:Restriction>., _:bntoausn <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:bntoausn <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation>., <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:subClassOf> _:bntoausn.]
-[_:xinhjavs <rdf:type> <owl:Class>., <http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdfs:domain> _:xinhjavs., _:xinhjavs <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:label> "ibs:Researcher^^xsd:string".]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdfs:label> "ibs:hasAffiliation^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISA12#
-[_:dstritob <rdf:type> <owl:Restriction>., <ns:Researcher> <rdfs:subClassOf> _:dstritob., _:dstritob <owl:maxCardinality> "1 -[_:mnjethvb <rdf:type> <owl:Restriction>., _:mnjethvb <owl:onProperty> <ns:hasAffiliation>., <ns:Researcher> <rdfs:subClassOf> _:mnjethvb., _:mnjethvb <owl:minCardinality> "0 -[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISA12#
-[_:mwijulds <rdf:type> <owl:Restriction>., _:mwijulds <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:mwijulds <owl:onProperty> <ns:hasAffiliation>., <ns:Researcher> <rdfs:subClassOf> _:mwijulds.]
-[<ns:Researcher> <rdfs:subClassOf> "".]
-[<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISA12#
-[_:vcqjxkcv <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation>., _:vcqjxkcv <rdf:type> <owl:Restriction>., <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:subClassOf> _:vcqjxkcv., _:vcqjxkcv <owl:maxCardinality> "1^^xsd:int".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdfs:domain> _:bdcakgsu., _:bdcakgsu <rdf:type> <owl:Class>., _:bdcakgsu <owl:unionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:label> "ibs:Researcher^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdfs:label> "ibs:hasAffiliation^^xsd:string".]
E13
(ISA13)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E14
(ISA14)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E15
(ISA15)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E16
(ISA16)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E17
(ISA17)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA17#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMale> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdfs:label> "ibs:Male^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMale> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMale> <rdfs:label> "ibs:ItalianMale^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMale>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:label> "ibs:ItalianMan^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMale> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:label> "ibs:Italian^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISA17#
-[<ns:ItalianMale> <rdf:type> <owl:Class>.]
-[<ns:ItalianMale> <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
-[<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMale>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:ItalianMan> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISA17#
-[_:udmnrysh <rdf:type> <owl:Class>., <ns:ItalianMale> <owl:equivalentClass> _:udmnrysh., _:udmnrysh <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}.]
-[<ns:ItalianMale> <rdf:type> <owl:Class>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
-[<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMale>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.]
-[<ns:ItalianMan> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISA17#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMale> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdfs:label> "ibs:Male^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMale> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMale> <rdfs:label> "ibs:ItalianMale^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMale>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:label> "ibs:ItalianMan^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMale> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:label> "ibs:Italian^^xsd:string".]
E18
(ISB01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISB01#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italiano> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italienne> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italienne> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <owl:equivalentClass> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italienne>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italiano> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italiano> <rdfs:label> "ibs:Italiano^^xsd:string".]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <owl:equivalentClass> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italiano>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italienne> <rdfs:label> "ibs:Italienne^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:label> "ibs:Italian^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISB01#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:Italiano> <rdf:type> <owl:Class>.]
-[<ns:Italiano> <owl:equivalentClass> <ns:Italian>.]
-[<ns:Italienne> <owl:equivalentClass> <ns:Italian>.]
-[<ns:Italienne> <rdf:type> <owl:Class>.]
 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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italiano> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italienne> <rdfs:label> "ibs:Italienne^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italienne> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italienne> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italienne> <owl:equivalentClass> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italiano> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <owl:equivalentClass> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italienne>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italiano> <rdfs:label> "ibs:Italiano^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <owl:equivalentClass> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italiano>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italiano> <owl:equivalentClass> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:label> "ibs:Italian^^xsd:string".]
E19
(ISB02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISB02#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Driver> <rdfs:label> "ibs:Driver^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasCar> <rdfs:label> "ibs:hasCar^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Car> <rdfs:label> "ibs:Car^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Driver> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasCar> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Driver>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Car> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasCar> <rdf:type> <owl:ObjectProperty>.]
  
 Removed:
ns=http://www.example.org/ISB02#
-[<ns:Driver> <owl:equivalentClass> _:ekmgmrff., _:ekmgmrff <owl:onProperty> <ns:hasCar>., _:ekmgmrff <owl:someValuesFrom> <ns:Car>., _:ekmgmrff <rdf:type> <owl:Restriction>.]
-[<ns:Car> <rdf:type> <owl:Class>.]
-[<ns:Driver> <rdf:type> <owl:Class>.]
-[<ns:hasCar> <rdf:type> <owl:ObjectProperty>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 Removed:
ns=http://www.example.org/ISB02#
-[_:rgdvwudu <owl:someValuesFrom> <ns:Car>., <ns:Driver> <owl:equivalentClass> _:rgdvwudu., _:rgdvwudu <rdf:type> <owl:Restriction>., _:rgdvwudu <owl:onProperty> <ns:hasCar>.]
-[<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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Driver> <rdfs:label> "ibs:Driver^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasCar> <rdfs:label> "ibs:hasCar^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Car> <rdfs:label> "ibs:Car^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Driver> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasCar> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Driver>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Car> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasCar> <rdf:type> <owl:ObjectProperty>.]
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISB03#
-[_:waaxotav <owl:allValuesFrom> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italy>., _:waaxotav <rdf:type> <owl:Restriction>., _:waaxotav <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_wasBorn>., <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:subClassOf> _:waaxotav.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_wasBorn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_wasBorn> <rdfs:label> "ibs:wasBorn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdf:type> <owl:Class>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:label> "ibs:Italian^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italy> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_wasBorn> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italy> <rdfs:label> "ibs:Italy^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISB03#
-[_:hptcsbkj <owl:onProperty> <ns:wasBorn>., _:hptcsbkj <rdf:type> <owl:Restriction>., <ns:Italian> <owl:equivalentClass> _:hptcsbkj., _:hptcsbkj <owl:allValuesFrom> <ns:Italy>.]
-[<ns:Italy> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:wasBorn> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISB03#
-[_:egnvfvlf <owl:onProperty> <ns:wasBorn>., <ns:Italian> <owl:equivalentClass> _:egnvfvlf., _:egnvfvlf <owl:allValuesFrom> <ns:Italy>., _:egnvfvlf <rdf:type> <owl:Restriction>.]
-[<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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:subClassOf> _:xlgmryej., _:xlgmryej <owl:allValuesFrom> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italy>., _:xlgmryej <rdf:type> <owl:Restriction>., _:xlgmryej <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_wasBorn>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_wasBorn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_wasBorn> <rdfs:label> "ibs:wasBorn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:label> "ibs:Italian^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italy> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_wasBorn> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italy> <rdfs:label> "ibs:Italy^^xsd:string".]
E21
(ISB04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISB04#
-[_:fpsdhhjg <owl:minCardinality> "1^^xsd:nonNegativeInteger"., <http://www.owl-ontologies.com/unnamed.owl#ibs_Employee> <rdfs:subClassOf> _:fpsdhhjg., _:fpsdhhjg <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_worksIn>., _:fpsdhhjg <rdf:type> <owl:Restriction>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_worksIn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_worksIn> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Employee>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Employee> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Employee> <rdfs:label> "ibs:Employee^^xsd:string".]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_worksIn> <rdfs:label> "ibs:worksIn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Employee> <rdf:type> <owl:Class>.]
  
 Removed:
ns=http://www.example.org/ISB04#
-[<ns:Employee> <owl:equivalentClass> _:evfpjnob., _:evfpjnob <owl:onProperty> <ns:worksIn>., _:evfpjnob <owl:minCardinality> "1 -[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:worksIn> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Employee> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISB04#
-[<ns:Employee> <owl:equivalentClass> _:lqltmtur., _:lqltmtur <rdf:type> <owl:Restriction>., _:lqltmtur <owl:minCardinality> "1^^xsd:nonNegativeInteger"., _:lqltmtur <owl:onProperty> <ns:worksIn>.]
-[<ns:worksIn> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Employee> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISB04#
-[_:ovjhbffy <owl:minCardinality> "1^^xsd:int"., _:ovjhbffy <rdf:type> <owl:Restriction>., <http://www.owl-ontologies.com/unnamed.owl#ibs_Employee> <rdfs:subClassOf> _:ovjhbffy., _:ovjhbffy <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_worksIn>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_worksIn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_worksIn> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Employee>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Employee> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Employee> <rdfs:label> "ibs:Employee^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_worksIn> <rdfs:label> "ibs:worksIn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Employee> <rdf:type> <owl:Class>.]
E22
(ISB05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISB05#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:subClassOf> _:vmvvphjt., _:vmvvphjt <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation>., _:vmvvphjt <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:vmvvphjt <rdf:type> <owl:Restriction>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:label> "ibs:Researcher^^xsd:string".]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdfs:label> "ibs:hasAffiliation^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISB05#
-[_:hwryjkde <owl:maxCardinality> "1 -[<ns:Researcher> <rdf:type> <owl:Class>.]
-[<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 Removed:
ns=http://www.example.org/ISB05#
-[_:bvqbmfsm <rdf:type> <owl:Restriction>., <ns:Researcher> <owl:equivalentClass> _:bvqbmfsm., _:bvqbmfsm <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:bvqbmfsm <owl:onProperty> <ns:hasAffiliation>.]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
-[<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
 Removed:
ns=http://www.example.org/ISB05#
-[_:otjjcdbx <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation>., <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:subClassOf> _:otjjcdbx., _:otjjcdbx <rdf:type> <owl:Restriction>., _:otjjcdbx <owl:maxCardinality> "1^^xsd:int".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:label> "ibs:Researcher^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdfs:label> "ibs:hasAffiliation^^xsd:string".]
E23
(ISB06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISB06#
-[_:fanahnwb <rdf:type> <owl:Restriction>., <http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:subClassOf> _:fanahnwb., _:fanahnwb <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:fanahnwb <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasMother>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasMother> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasMother> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Man>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasMother> <rdfs:label> "ibs:hasMother^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:subClassOf> <owl:Thing>.]
  
 Removed:
ns=http://www.example.org/ISB06#
-[_:ndoqsmyx <rdf:type> <owl:Restriction>., _:ndoqsmyx <owl:cardinality> "1 -[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:hasMother> <rdf:type> <owl:ObjectProperty>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 Removed:
ns=http://www.example.org/ISB06#
-[_:uotbdqrw <rdf:type> <owl:Restriction>., <ns:Man> <owl:equivalentClass> _:uotbdqrw., _:uotbdqrw <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:uotbdqrw <owl:onProperty> <ns:hasMother>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:hasMother> <rdf:type> <owl:ObjectProperty>.]
 Removed:
ns=http://www.example.org/ISB06#
-[_:iclgilve <owl:cardinality> "1^^xsd:int"., <http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:subClassOf> _:iclgilve., _:iclgilve <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasMother>., _:iclgilve <rdf:type> <owl:Restriction>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasMother> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasMother> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Man>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasMother> <rdfs:label> "ibs:hasMother^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E24
(ISB07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISB07#
-[_:yvhslgiy <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:subClassOf> _:yvhslgiy., _:yvhslgiy <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation>., _:yvhslgiy <rdf:type> <owl:Restriction>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdfs:domain> _:gfkygumf., _:gfkygumf <owl:unionOf> {x <rdf:rest> <rdf:nil>}., _:gfkygumf <rdf:type> <owl:Class>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:label> "ibs:Researcher^^xsd:string".]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdfs:label> "ibs:hasAffiliation^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISB07#
-[_:tpvfkyit <rdf:type> <owl:Restriction>., <ns:Researcher> <owl:equivalentClass> _:tpvfkyit., _:tpvfkyit <owl:maxCardinality> "1 -[<ns:Researcher> <owl:equivalentClass> _:brjnlydd., _:brjnlydd <rdf:type> <owl:Restriction>., _:brjnlydd <owl:onProperty> <ns:hasAffiliation>., _:brjnlydd <owl:minCardinality> "0 -[<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 Removed:
ns=http://www.example.org/ISB07#
-[_:dlprnens <rdf:type> <owl:Restriction>., <ns:Researcher> <owl:equivalentClass> _:dlprnens., _:dlprnens <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:dlprnens <owl:onProperty> <ns:hasAffiliation>.]
-[<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Researcher> <owl:equivalentClass> "".]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISB07#
-[_:nhpradye <owl:maxCardinality> "1^^xsd:int"., _:nhpradye <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation>., _:nhpradye <rdf:type> <owl:Restriction>., <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:subClassOf> _:nhpradye.]
-[_:pnwflvaj <owl:unionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., <http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdfs:domain> _:pnwflvaj., _:pnwflvaj <rdf:type> <owl:Class>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:label> "ibs:Researcher^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Researcher> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAffiliation> <rdfs:label> "ibs:hasAffiliation^^xsd:string".]
E25
(ISB08)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E26
(ISB09)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E27
(ISB10)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E28
(ISB11)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E29
(ISB12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISB12#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdfs:label> "ibs:Male^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:label> "ibs:ItalianMan^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:label> "ibs:Italian^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISB12#
-[<ns:ItalianMan> <owl:equivalentClass> _:errsextt., _:errsextt <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., _:errsextt <rdf:type> <owl:Class>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<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#
-[_:nmctaovg <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., _:nmctaovg <rdf:type> <owl:Class>., <ns:ItalianMan> <owl:equivalentClass> _:nmctaovg.]
-[{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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdfs:label> "ibs:Male^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:label> "ibs:ItalianMan^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:label> "ibs:Italian^^xsd:string".]
E30
(ISC01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISC01#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdfs:label> "ibs:Male^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:label> "ibs:ItalianMan^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:label> "ibs:Italian^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISC01#
-[{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:> <rdf:type> <owl:Ontology>.]
-[<ns:ItalianMan> <rdf:type> <owl:Class>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:ItalianMan> <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}.]
 Removed:
ns=http://www.example.org/ISC01#
-[_:pdmfwxld <rdf:type> <owl:Class>., <ns:ItalianMan> <owl:equivalentClass> _:pdmfwxld., _:pdmfwxld <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}.]
-[{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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdfs:label> "ibs:Male^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:label> "ibs:ItalianMan^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:label> "ibs:Italian^^xsd:string".]
E31
(ISC02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISC02#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdfs:label> "ibs:Male^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:label> "ibs:ItalianMan^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:label> "ibs:Italian^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISC02#
-[{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:> <rdf:type> <owl:Ontology>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
-[<ns:ItalianMan> <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}.]
-[{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#
-[_:ekdiluhq <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}., <ns:ItalianMan> <owl:equivalentClass> _:ekdiluhq., _:ekdiluhq <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>.]
-[<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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdfs:label> "ibs:Male^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:label> "ibs:ItalianMan^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Italian> <rdfs:label> "ibs:Italian^^xsd:string".]
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#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
  
 Removed:
ns=http://www.example.org/ISD01#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
  Removed:
ns=http://www.example.org/ISD01#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_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#ibs_isFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isGrandFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isGrandFatherOf> <rdfs:label> "ibs:isGrandFatherOf^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isFatherOf> <rdfs:label> "ibs:isFatherOf^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isAncestorOf> <rdfs:label> "ibs:isAncestorOf^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_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:> <rdf:type> <owl:Ontology>.]
-[<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> <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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isGrandFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isGrandFatherOf> <rdfs:label> "ibs:isGrandFatherOf^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isFatherOf> <rdfs:label> "ibs:isFatherOf^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isAncestorOf> <rdfs:label> "ibs:isAncestorOf^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isAncestorOf> <rdf:type> <owl:ObjectProperty>.]
E34
(ISD03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISD03#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAge> <rdfs:label> "ibs:hasAge^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISD03#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:hasAge> <rdf:type> <owl:DatatypeProperty>.]
  Removed:
ns=http://www.example.org/ISD03#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAge> <rdf:type> <rdf:Property>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAge> <rdfs:label> "ibs:hasAge^^xsd:string".]
E35
(ISD04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISD04#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isInteger> <rdfs:label> "ibs:isInteger^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isRational> <rdfs:label> "ibs:isRational^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isReal> <rdfs:label> "ibs:isReal^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISD04#
-[<ns:isReal> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:isInteger> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>.]
-[<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>.]
-[<ns:isRational> <rdf:type> <owl:DatatypeProperty>.]
 Removed:
ns=http://www.example.org/ISD04#
-[<ns:isReal> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:isInteger> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>.]
-[<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>.]
-[<ns:isRational> <rdf:type> <owl:DatatypeProperty>.]
 Removed:
ns=http://www.example.org/ISD04#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isInteger> <rdfs:label> "ibs:isInteger^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isRational> <rdf:type> <rdf:Property>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isRational> <rdfs:label> "ibs:isRational^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isInteger> <rdf:type> <rdf:Property>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isReal> <rdfs:label> "ibs:isReal^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isReal> <rdf:type> <rdf:Property>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E36
(ISE01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISE01#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
  
 Removed:
ns=http://www.example.org/ISE01#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISE01#
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISE01#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
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#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
  
 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>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
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#ibs_Father> <rdfs:label> "ibs:Father^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Father> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Father>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
  
 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>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Father> <rdfs:label> "ibs:Father^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Father> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Father>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
E39
(ISE04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISE04#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
  
 Removed:
ns=http://www.example.org/ISE04#
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
 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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
E40
(ISE05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISE05#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mother> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Woman>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mother> <rdfs:label> "ibs:Mother^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISE05#
-[<ns:Mother> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:domain> <ns:Mother>.]
-[<ns:hasChild> <rdfs:domain> <ns:Woman>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISE05#
-[<ns:Mother> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:domain> <ns:Mother>.]
-[<ns:hasChild> <rdfs:domain> <ns:Woman>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISE05#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mother> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Woman>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mother> <rdfs:label> "ibs:Mother^^xsd:string".]
E41
(ISE06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISE06#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Human> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Human> <rdfs:label> "ibs:Human^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdfs:label> "ibs:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
  
 Removed:
ns=http://www.example.org/ISE06#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:range> <ns:Human>.]
-[<ns:Human> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISE06#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:range> <ns:Human>.]
-[<ns:Human> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISE06#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Human> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Human> <rdfs:label> "ibs:Human^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdfs:label> "ibs:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
E42
(ISE07)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E43
(ISE08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISE08#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasName> <rdfs:label> "ibs:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasName> <rdf:type> <owl:ObjectProperty>.]
  
 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>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISE08#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasName> <rdfs:label> "ibs:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasName> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasName> <rdfs:label> "ibs:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasName> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasName> <rdf:type> <owl:ObjectProperty>.]
  
 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>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
 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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasName> <rdfs:label> "ibs:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasName> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasName> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E45
(ISE10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISE10#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mother> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChildNamed> <rdfs:label> "ibs:hasChildNamed^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChildNamed> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Woman>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChildNamed> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mother> <rdfs:label> "ibs:Mother^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISE10#
-[<ns:hasChildNamed> <rdfs:domain> <ns:Woman>.]
-[<ns:hasChildNamed> <rdfs:domain> <ns:Mother>.]
-[<ns:hasChildNamed> <rdfs:range> <rdfs:Literal>.]
-[<ns:Mother> <rdf:type> <owl:Class>.]
-[<ns:hasChildNamed> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 Removed:
ns=http://www.example.org/ISE10#
-[<ns:hasChildNamed> <rdfs:domain> <ns:Woman>.]
-[<ns:hasChildNamed> <rdfs:domain> <ns:Mother>.]
-[<ns:hasChildNamed> <rdfs:range> <rdfs:Literal>.]
-[<ns:Mother> <rdf:type> <owl:Class>.]
-[<ns:hasChildNamed> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISE10#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mother> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChildNamed> <rdfs:label> "ibs:hasChildNamed^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChildNamed> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Woman>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChildNamed> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mother> <rdfs:label> "ibs:Mother^^xsd:string".]
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#ibs_isResidentIn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_livesIn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_City> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_City> <rdfs:label> "ibs:City^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isResidentIn> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_livesIn> <rdfs:label> "ibs:livesIn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_livesIn> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isResidentIn> <rdfs:label> "ibs:isResidentIn^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISF01#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<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: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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isResidentIn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_livesIn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_City> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_City> <rdfs:label> "ibs:City^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isResidentIn> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_livesIn> <rdfs:label> "ibs:livesIn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_livesIn> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_isResidentIn> <rdfs:label> "ibs:isResidentIn^^xsd:string".]
E47
(ISF02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISF02#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasName> <rdfs:label> "ibs:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasName> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_City>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_City> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasSpanishName> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_City>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_City> <rdfs:label> "ibs:City^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasName> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasSpanishName> <rdfs:label> "ibs:hasSpanishName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasSpanishName> <rdf:type> <owl:ObjectProperty>.]
  
 Removed:
ns=http://www.example.org/ISF02#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<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>.]
-[<ns:hasSpanishName> <owl:equivalentProperty> <ns:hasName>.]
 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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasName> <rdfs:label> "ibs:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasName> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_City>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_City> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasSpanishName> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_City>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_City> <rdfs:label> "ibs:City^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasName> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasSpanishName> <rdfs:label> "ibs:hasSpanishName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasSpanishName> <rdf:type> <owl:ObjectProperty>.]
E48
(ISF03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISF03#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasParent> <rdfs:label> "ibs:hasParent^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasParent> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Child>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdfs:label> "ibs:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasParent> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <owl:inverseOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasParent>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasParent> <owl:inverseOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
  
 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:> <rdf:type> <owl:Ontology>.]
-[<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> <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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasParent> <rdfs:label> "ibs:hasParent^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasParent> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Child>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdfs:label> "ibs:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasParent> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <owl:inverseOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasParent>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasParent> <owl:inverseOf> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
E49
(ISG01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISG01#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasFriend> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasFriend> <rdfs:label> "ibs:hasFriend^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasFriend> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
  
 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:> <rdf:type> <owl:Ontology>.]
-[<ns:hasFriend> <rdf:type> <owl:ObjectProperty>.]
 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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasFriend> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasFriend> <rdfs:label> "ibs:hasFriend^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasFriend> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E50
(ISG02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISG02#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasFriend> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasFriend> <rdfs:label> "ibs:hasFriend^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasFriend> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
  
 Removed:
ns=http://www.example.org/ISG02#
-[<ns:hasFriend> <rdfs:domain> <ns:Person>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<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> <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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasFriend> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasFriend> <rdfs:label> "ibs:hasFriend^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasFriend> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E51
(ISG03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISG03#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasHusband> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasHusband> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Woman>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasHusband> <rdfs:label> "ibs:hasHusband^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasHusband> <rdf:type> <owl:FunctionalProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISG03#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<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: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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasHusband> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasHusband> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Woman>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasHusband> <rdfs:label> "ibs:hasHusband^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasHusband> <rdf:type> <owl:FunctionalProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
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#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAge> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAge> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAge> <rdf:type> <owl:FunctionalProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAge> <rdfs:label> "ibs:hasAge^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISG04#
-[<ns:hasAge> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasAge> <rdfs:domain> <ns:Person>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<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>.]
-[<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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAge> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAge> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAge> <rdf:type> <owl:FunctionalProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasAge> <rdfs:label> "ibs:hasAge^^xsd:string".]
E53
(ISG05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISG05#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Professor> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasTutor> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Professor>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Student> <rdfs:label> "ibs:Student^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasTutor> <rdfs:label> "ibs:hasTutor^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Professor> <rdfs:label> "ibs:Professor^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasTutor> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Student> <rdf:type> <owl:Class>.]
  
 Removed:
ns=http://www.example.org/ISG05#
-[<ns:hasTutor> <rdfs:range> <ns:Student>.]
-[<ns:hasTutor> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Student> <rdf:type> <owl:Class>.]
-[<ns:hasTutor> <rdfs:domain> <ns:Professor>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>.]
-[<ns:Professor> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISG05#
-[<ns:hasTutor> <rdfs:range> <ns:Student>.]
-[<ns:hasTutor> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Student> <rdf:type> <owl:Class>.]
-[<ns:hasTutor> <rdfs:domain> <ns:Professor>.]
-[<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>.]
-[<ns:Professor> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISG05#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Professor> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasTutor> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Professor>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Student> <rdfs:label> "ibs:Student^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasTutor> <rdfs:label> "ibs:hasTutor^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Professor> <rdfs:label> "ibs:Professor^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasTutor> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Student> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
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#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <rdfs:label> "ibs:Peter^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISH01#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Peter> <rdf:type> <ns:Person>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <rdfs:label> "ibs:Peter^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E55
(ISH02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISH02#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Father> <rdfs:label> "ibs:Father^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Father> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Student> <rdfs:label> "ibs:Student^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Student> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <rdfs:label> "ibs:Peter^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISH02#
-[<ns:Peter> <rdf:type> <ns:Student>.]
-[<ns:Student> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Peter> <rdf:type> <ns:Father>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Father> <rdf:type> <owl:Class>.]
-[<ns:Peter> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISH02#
-[<ns:Peter> <rdf:type> <ns:Student>.]
-[<ns:Student> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Peter> <rdf:type> <ns:Father>.]
-[<ns:Father> <rdf:type> <owl:Class>.]
-[<ns:Peter> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISH02#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Father> <rdfs:label> "ibs:Father^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Father> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Student> <rdfs:label> "ibs:Student^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Student> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <rdfs:label> "ibs:Peter^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
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#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdfs:label> "ibs:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <rdfs:label> "ibs:Peter^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Paul> <rdfs:label> "ibs:Paul^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISH03#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<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>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISH03#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdfs:label> "ibs:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <rdfs:label> "ibs:Peter^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Paul> <rdfs:label> "ibs:Paul^^xsd:string".]
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#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <http://www.owl-ontologies.com/unnamed.owl#ibs_Paul>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdfs:label> "ibs:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Paul> <rdfs:label> "ibs:Paul^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISI01#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<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: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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <http://www.owl-ontologies.com/unnamed.owl#ibs_Paul>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdfs:label> "ibs:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Paul> <rdfs:label> "ibs:Paul^^xsd:string".]
E58
(ISI02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISI02#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <http://www.owl-ontologies.com/unnamed.owl#ibs_knows> <http://www.owl-ontologies.com/unnamed.owl#ibs_Peter>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_knows> <rdfs:label> "ibs:knows^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_knows> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <rdfs:label> "ibs:Peter^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_knows> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
  
 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:> <rdf:type> <owl:Ontology>.]
-[<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: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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <http://www.owl-ontologies.com/unnamed.owl#ibs_knows> <http://www.owl-ontologies.com/unnamed.owl#ibs_Peter>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_knows> <rdfs:label> "ibs:knows^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_knows> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Peter> <rdfs:label> "ibs:Peter^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_knows> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
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#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Mother>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mother> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdfs:label> "ibs:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Mother>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <http://www.owl-ontologies.com/unnamed.owl#ibs_Paul>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdfs:label> "ibs:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Child>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mother> <rdfs:label> "ibs:Mother^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Paul> <rdfs:label> "ibs:Paul^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
  
 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:> <rdf:type> <owl:Ontology>.]
-[<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: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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mother> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Mother>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <http://www.owl-ontologies.com/unnamed.owl#ibs_Paul>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Mother>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdfs:label> "ibs:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Child> <rdfs:label> "ibs:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Child>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Paul> <rdfs:label> "ibs:Paul^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mother> <rdfs:label> "ibs:Mother^^xsd:string".]
E60
(ISI04)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E61
(ISI05)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
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#ibs_John> <rdfs:label> "ibs:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___A14376> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <http://www.owl-ontologies.com/unnamed.owl#ibs_John>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#___A14376> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___A14376> <rdfs:label> "@_:A14376^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
  
 Removed:
ns=http://www.example.org/ISJ01#
-[_:dnipcrqq <ns:hasChild> <ns:John>., _:dnipcrqq <rdf:type> <ns:Person>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:John> <rdf:type> <ns:Person>.]
 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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_John> <rdfs:label> "ibs:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___A14376> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <http://www.owl-ontologies.com/unnamed.owl#ibs_John>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#___A14376> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___A14376> <rdfs:label> "@_:A14376^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
E63
(ISJ02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISJ02#
-[<http://www.owl-ontologies.com/unnamed.owl#___A14403> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Parent>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_John> <rdfs:label> "ibs:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Parent>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Parent> <rdfs:label> "ibs:Parent^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#___A14403> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <http://www.owl-ontologies.com/unnamed.owl#ibs_John>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Parent> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___A14403> <rdfs:label> "@_:A14403^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
  
 Removed:
ns=http://www.example.org/ISJ02#
-[_:xdcxxith <rdf:type> <ns:Parent>., _:xdcxxith <ns:hasChild> <ns:John>.]
-[<ns:John> <rdf:type> <ns:Person>.]
-[<ns:Parent> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:domain> <ns:Parent>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 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#
-[<http://www.owl-ontologies.com/unnamed.owl#___A14403> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Parent>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_John> <rdfs:label> "ibs:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:label> "ibs:hasChild^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Parent> <rdfs:label> "ibs:Parent^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Parent> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___A14403> <http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <http://www.owl-ontologies.com/unnamed.owl#ibs_John>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#ibs_Parent>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___A14403> <rdfs:label> "@_:A14403^^xsd:string".]
E64
(ISJ03)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
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#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdfs:label> "ibs:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_MaryAnn> <rdfs:label> "ibs:MaryAnn^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISK01#
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<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:Person> <rdf:type> <owl:Class>.]
-[<ns:Mary> <rdf:type> <ns:Person>.]
-[<ns:Mary> <owl:sameAs> <ns:MaryAnn>.]
 Removed:
ns=http://www.example.org/ISK01#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdfs:label> "ibs:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_MaryAnn> <rdfs:label> "ibs:MaryAnn^^xsd:string".]
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#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Ann> <rdfs:label> "ibs:Ann^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Ann> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_MaryAnn> <rdfs:label> "ibs:MaryAnn^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISK02#
-[<ns:MaryAnn> <owl:differentFrom> <ns:Ann>.]
-[<ns:Ann> <rdf:type> <ns:Person>.]
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<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>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISK02#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Ann> <rdfs:label> "ibs:Ann^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Ann> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_MaryAnn> <rdfs:label> "ibs:MaryAnn^^xsd:string".]
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#ibs_Joan> <rdfs:label> "ibs:Joan^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Joan> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Ann> <rdfs:label> "ibs:Ann^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdfs:label> "ibs:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Ann> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
  
 Removed:
ns=http://www.example.org/ISK03#
-[_:jblufcbu <owl:distinctMembers> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}., _:jblufcbu <rdf:type> <owl:AllDifferent>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Ann> <rdf:type> <ns:Person>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Joan>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[{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>.]
 Removed:
ns=http://www.example.org/ISK03#
-[_:jxebvuje <owl:distinctMembers> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}., _:jxebvuje <rdf:type> <owl:AllDifferent>.]
-[<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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Joan> <rdfs:label> "ibs:Joan^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Joan> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Ann> <rdfs:label> "ibs:Ann^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Person> <rdfs:label> "ibs:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdfs:label> "ibs:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Ann> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#ibs_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E68
(ISL01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISL01#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISL01#
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISL01#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E69
(ISL02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISL02#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISL02#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISL02#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E70
(ISL03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISL03#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISL03#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISL03#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E71
(ISL04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISL04#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
  
 Removed:
ns=http://www.example.org/ISL04#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
  Removed:
ns=http://www.example.org/ISL04#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdfs:label> "ibs:Man^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Woman> <rdfs:label> "ibs:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E72
(ISL05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL05#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
  Removed:
ns=http://www.example.org/ISL05#
-[<http://www.owl-ontologies.com/unnamed.owl#Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E73
(ISL06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL06#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
  Removed:
ns=http://www.example.org/ISL06#
-[<http://www.owl-ontologies.com/unnamed.owl#Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E74
(ISL07)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E75
(ISL08)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E76
(ISL09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL09#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISL09#
-[<http://www.owl-ontologies.com/unnamed.owl#Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E77
(ISL10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL10#
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
  Removed:
ns=http://www.example.org/ISL10#
-[<http://www.owl-ontologies.com/unnamed.owl#Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
E78
(ISL11)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E79
(ISL12)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E80
(ISL13)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E81
(ISL14)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E82
(ISL15)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISL15#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Book> <rdfs:label> "ibs:Book^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Book> <rdf:type> <owl:Class>.]
  
 Removed:
ns=http://www.example.org/ISL15#
-[<ns:Book> <rdfs:label> "Libro@es".]
-[<ns:Book> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Book> <rdfs:label> "Book@en".]
 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#
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Book> <rdfs:label> "ibs:Book^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#ibs_Book> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl> <rdf:type> <owl:Ontology>.]
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#