Interoperability from Gate to ProtegeFRAMES (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (Gate) Step2 (ProtegeFRAMES)
E01
(ISA01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E02
(ISA02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA02#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdfs:label> "p1:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Man> <rdfs:label> "p1:Man^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISA02#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdfs:label> "p1:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Man> <rdfs:label> "p1:Man^^xsd:string".]
 Removed:
ns=http://www.example.org/ISA02#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Child> <rdfs:subClassOf> <ns:Man>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISA02#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Child> <rdfs:subClassOf> <ns:Man>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Person>.]
E03
(ISA03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA03#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdfs:label> "p1:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISA03#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdfs:label> "p1:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
 Removed:
ns=http://www.example.org/ISA03#
-[<ns:Child> <rdfs:subClassOf> <ns:Person>.]
-[<ns:Child> <rdfs:subClassOf> <ns:Man>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISA03#
-[<ns:Child> <rdfs:subClassOf> <ns:Person>.]
-[<ns:Child> <rdfs:subClassOf> <ns:Man>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
E04
(ISA04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA04#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdfs:label> "p1:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Man> <rdfs:label> "p1:Man^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISA04#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdfs:label> "p1:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Man> <rdfs:label> "p1:Man^^xsd:string".]
 Removed:
ns=http://www.example.org/ISA04#
-[<ns:Woman> <rdfs:subClassOf> <ns:Person>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISA04#
-[<ns:Woman> <rdfs:subClassOf> <ns:Person>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Person>.]
E05
(ISA05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA05#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Male> <rdfs:label> "p1:Male^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Man> <rdfs:label> "p1:Man^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISA05#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Male> <rdfs:label> "p1:Male^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Man> <rdfs:label> "p1:Man^^xsd:string".]
 Removed:
ns=http://www.example.org/ISA05#
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Male> <rdfs:subClassOf> <ns:Man>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Male>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISA05#
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Male> <rdfs:subClassOf> <ns:Man>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Male>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
E06
(ISA06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA06#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdfs:label> "p1:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdf:type> <owl:Class>.]
   Inserted:
ns=http://www.example.org/ISA06#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdfs:label> "p1:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISA06#
-[<ns:Woman> <rdfs:subClassOf> <ns:Woman>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISA06#
-[<ns:Woman> <rdfs:subClassOf> <ns:Woman>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
E07
(ISA07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA07#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Driver> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasCar> <rdfs:label> "p1:hasCar^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasCar> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Driver> <rdfs:label> "p1:Driver^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISA07#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Driver> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasCar> <rdfs:label> "p1:hasCar^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasCar> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Driver> <rdfs:label> "p1:Driver^^xsd:string".]
 Removed:
ns=http://www.example.org/ISA07#
-[<ns:Driver> <rdfs:subClassOf> _:eubiytgr., _:eubiytgr <owl:someValuesFrom> <ns:Car>., _:eubiytgr <owl:onProperty> <ns:hasCar>., _:eubiytgr <rdf:type> <owl:Restriction>.]
-[<ns:hasCar> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Driver> <rdf:type> <owl:Class>.]
-[<ns:Car> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISA07#
-[_:ovgcqbdk <owl:onProperty> <ns:hasCar>., _:ovgcqbdk <owl:someValuesFrom> <ns:Car>., <ns:Driver> <rdfs:subClassOf> _:ovgcqbdk., _:ovgcqbdk <rdf:type> <owl:Restriction>.]
-[<ns:hasCar> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Driver> <rdf:type> <owl:Class>.]
-[<ns:Car> <rdf:type> <owl:Class>.]
E08
(ISA08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_wasBorn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_wasBorn> <rdfs:label> "p1:wasBorn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Italian> <rdfs:label> "p1:Italian^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISA08#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_wasBorn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_wasBorn> <rdfs:label> "p1:wasBorn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Italian> <rdfs:label> "p1:Italian^^xsd:string".]
 Removed:
ns=http://www.example.org/ISA08#
-[_:ogycdeim <rdf:type> <owl:Restriction>., <ns:Italian> <rdfs:subClassOf> _:ogycdeim., _:ogycdeim <owl:allValuesFrom> <ns:Italy>., _:ogycdeim <owl:onProperty> <ns:wasBorn>.]
-[<ns:Italy> <rdf:type> <owl:Class>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:wasBorn> <rdf:type> <owl:ObjectProperty>.]
  Removed:
ns=http://www.example.org/ISA08#
-[<ns:Italian> <rdfs:subClassOf> _:bekryaug., _:bekryaug <rdf:type> <owl:Restriction>., _:bekryaug <owl:allValuesFrom> <ns:Italy>., _:bekryaug <owl:onProperty> <ns:wasBorn>.]
-[<ns:Italy> <rdf:type> <owl:Class>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:wasBorn> <rdf:type> <owl:ObjectProperty>.]
E09
(ISA09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA09#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_worksIn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Employee> <rdfs:label> "p1:Employee^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_worksIn> <rdfs:label> "p1:worksIn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Employee> <rdf:type> <owl:Class>.]
   Inserted:
ns=http://www.example.org/ISA09#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_worksIn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Employee> <rdfs:label> "p1:Employee^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_worksIn> <rdfs:label> "p1:worksIn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Employee> <rdf:type> <owl:Class>.]
 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#
-[<ns:Employee> <rdfs:subClassOf> "".]
-[<ns:worksIn> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Employee> <rdf:type> <owl:Class>.]
E10
(ISA10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA10#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Researcher> <rdfs:label> "p1:Researcher^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Researcher> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasAffiliation> <rdfs:label> "p1:hasAffiliation^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
   Inserted:
ns=http://www.example.org/ISA10#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Researcher> <rdfs:label> "p1:Researcher^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Researcher> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasAffiliation> <rdfs:label> "p1:hasAffiliation^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
 Removed:
ns=http://www.example.org/ISA10#
-[_:ssicvtdw <owl:onProperty> <ns:hasAffiliation>., <ns:Researcher> <rdfs:subClassOf> _:ssicvtdw., _:ssicvtdw <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:ssicvtdw <rdf:type> <owl:Restriction>.]
-[<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISA10#
-[_:ccsmbael <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., <ns:Researcher> <rdfs:subClassOf> _:ccsmbael., _:ccsmbael <rdf:type> <owl:Restriction>., _:ccsmbael <owl:onProperty> <ns:hasAffiliation>.]
-[<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
E11
(ISA11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA11#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasMother> <rdfs:label> "p1:hasMother^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasMother> <rdf:type> <owl:ObjectProperty>.]
   Inserted:
ns=http://www.example.org/ISA11#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasMother> <rdfs:label> "p1:hasMother^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasMother> <rdf:type> <owl:ObjectProperty>.]
 Removed:
ns=http://www.example.org/ISA11#
-[_:iqsmuywc <owl:onProperty> <ns:hasMother>., _:iqsmuywc <rdf:type> <owl:Restriction>., _:iqsmuywc <owl:cardinality> "1^^xsd:nonNegativeInteger"., <ns:Person> <rdfs:subClassOf> _:iqsmuywc.]
-[<ns:hasMother> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISA11#
-[<ns:Person> <rdfs:subClassOf> _:sfagicwx., _:sfagicwx <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:sfagicwx <owl:onProperty> <ns:hasMother>., _:sfagicwx <rdf:type> <owl:Restriction>.]
-[<ns:hasMother> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
E12
(ISA12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA12#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Researcher> <rdfs:label> "p1:Researcher^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Researcher> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasAffiliation> <rdfs:label> "p1:hasAffiliation^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
   Inserted:
ns=http://www.example.org/ISA12#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Researcher> <rdfs:label> "p1:Researcher^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Researcher> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasAffiliation> <rdfs:label> "p1:hasAffiliation^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
 Removed:
ns=http://www.example.org/ISA12#
-[_:xeufvikq <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:xeufvikq <rdf:type> <owl:Restriction>., _:xeufvikq <owl:onProperty> <ns:hasAffiliation>., <ns:Researcher> <rdfs:subClassOf> _:xeufvikq.]
-[<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Researcher> <rdfs:subClassOf> "".]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISA12#
-[_:cvwmloxo <owl:onProperty> <ns:hasAffiliation>., <ns:Researcher> <rdfs:subClassOf> _:cvwmloxo., _:cvwmloxo <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:cvwmloxo <rdf:type> <owl:Restriction>.]
-[<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Researcher> <rdfs:subClassOf> "".]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
E13
(ISA13)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA13#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISA13#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
 Removed:
ns=http://www.example.org/ISA13#
-[<ns:Person> <rdfs:subClassOf> "".]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISA13#
-[<ns:Person> <rdfs:subClassOf> "".]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
E14
(ISA14)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA14#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_wrotePhDThesis> <rdfs:label> "p1:wrotePhDThesis^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Researcher> <rdfs:label> "p1:Researcher^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Researcher> <rdf:type> <owl:Class>.]
   Inserted:
ns=http://www.example.org/ISA14#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_wrotePhDThesis> <rdfs:label> "p1:wrotePhDThesis^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Researcher> <rdfs:label> "p1:Researcher^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Researcher> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISA14#
-[<ns:Researcher> <rdfs:subClassOf> _:qpdxlmbt., _:qpdxlmbt <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:qpdxlmbt <rdf:type> <owl:Restriction>., _:qpdxlmbt <owl:onProperty> <ns:wrotePhDThesis>.]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
-[<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>.]
  Removed:
ns=http://www.example.org/ISA14#
-[_:whuwvpvk <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:whuwvpvk., _:whuwvpvk <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:whuwvpvk <rdf:type> <owl:Restriction>.]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
-[<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>.]
E15
(ISA15)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA15#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasSSN> <rdfs:label> "p1:hasSSN^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISA15#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasSSN> <rdfs:label> "p1:hasSSN^^xsd:string".]
 Removed:
ns=http://www.example.org/ISA15#
-[_:mxegutgh <owl:onProperty> <ns:hasSSN>., <ns:Person> <rdfs:subClassOf> _:mxegutgh., _:mxegutgh <rdf:type> <owl:Restriction>., _:mxegutgh <owl:cardinality> "1^^xsd:nonNegativeInteger".]
-[<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISA15#
-[_:ruikgott <owl:onProperty> <ns:hasSSN>., <ns:Person> <rdfs:subClassOf> _:ruikgott., _:ruikgott <rdf:type> <owl:Restriction>., _:ruikgott <owl:cardinality> "1^^xsd:nonNegativeInteger".]
-[<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
E16
(ISA16)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA16#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_wrotePhDThesis> <rdfs:label> "p1:wrotePhDThesis^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Researcher> <rdfs:label> "p1:Researcher^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Researcher> <rdf:type> <owl:Class>.]
   Inserted:
ns=http://www.example.org/ISA16#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_wrotePhDThesis> <rdfs:label> "p1:wrotePhDThesis^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Researcher> <rdfs:label> "p1:Researcher^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Researcher> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISA16#
-[_:cjafqusm <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:cjafqusm., _:cjafqusm <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:cjafqusm <rdf:type> <owl:Restriction>.]
-[<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Researcher> <rdfs:subClassOf> "".]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISA16#
-[_:pqidhebs <owl:onProperty> <ns:wrotePhDThesis>., _:pqidhebs <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., <ns:Researcher> <rdfs:subClassOf> _:pqidhebs., _:pqidhebs <rdf:type> <owl:Restriction>.]
-[<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Researcher> <rdfs:subClassOf> "".]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
E17
(ISA17)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA17#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_ItalianMale> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#p1_Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Male> <rdfs:label> "p1:Male^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_ItalianMan> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_ItalianMale> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#p1_Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_ItalianMale> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_ItalianMale> <rdfs:label> "p1:ItalianMale^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_ItalianMan> <rdfs:label> "p1:ItalianMan^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Italian> <rdfs:label> "p1:Italian^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISA17#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_ItalianMale> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#p1_Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Male> <rdfs:label> "p1:Male^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_ItalianMan> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_ItalianMale> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#p1_Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_ItalianMale> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_ItalianMale> <rdfs:label> "p1:ItalianMale^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_ItalianMan> <rdfs:label> "p1:ItalianMan^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Italian> <rdfs:label> "p1:Italian^^xsd:string".]
 Removed:
ns=http://www.example.org/ISA17#
-[_:bypognkx <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., _:bypognkx <rdf:type> <owl:Class>., <ns:ItalianMale> <owl:equivalentClass> _:bypognkx.]
-[<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMale>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:ItalianMale> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
-[<ns:ItalianMan> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISA17#
-[<ns:ItalianMale> <owl:equivalentClass> _:ugdajoto., _:ugdajoto <rdf:type> <owl:Class>., _:ugdajoto <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}.]
-[<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMale>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:ItalianMale> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
-[<ns:ItalianMan> <rdf:type> <owl:Class>.]
E18
(ISB01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB01#
-[<http://www.owl-ontologies.com/unnamed.owl#Italiano> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italian> <owl:equivalentClass> <http://www.owl-ontologies.com/unnamed.owl#Italiano>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italienne> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italian> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italienne> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italian> <owl:equivalentClass> <http://www.owl-ontologies.com/unnamed.owl#Italienne>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italiano> <rdf:type> <owl:Class>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
   Inserted:
ns=http://www.example.org/ISB01#
-[<http://www.owl-ontologies.com/unnamed.owl#Italiano> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italian> <owl:equivalentClass> <http://www.owl-ontologies.com/unnamed.owl#Italiano>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italienne> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italian> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italienne> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italian> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italian> <owl:equivalentClass> <http://www.owl-ontologies.com/unnamed.owl#Italienne>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italiano> <rdf:type> <owl:Class>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISB01#
-[<ns:Italienne> <rdf:type> <owl:Class>.]
-[<ns:Italian> <owl:equivalentClass> <ns:Italiano>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:Italian> <owl:equivalentClass> <ns:Italienne>.]
-[<ns:Italiano> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISB01#
-[<ns:Italienne> <rdf:type> <owl:Class>.]
-[<ns:Italian> <owl:equivalentClass> <ns:Italiano>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:Italian> <owl:equivalentClass> <ns:Italienne>.]
-[<ns:Italiano> <rdf:type> <owl:Class>.]
E19
(ISB02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB02#
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Driver> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#Driver>.]
   Inserted:
ns=http://www.example.org/ISB02#
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Driver> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasCar> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#Driver>.]
 Removed:
ns=http://www.example.org/ISB02#
-[_:tefxkugw <owl:onProperty> <ns:hasCar>., _:tefxkugw <rdf:type> <owl:Restriction>., <ns:Driver> <owl:equivalentClass> _:tefxkugw., _:tefxkugw <owl:someValuesFrom> <ns:Car>.]
-[<ns:hasCar> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Driver> <rdf:type> <owl:Class>.]
-[<ns:Car> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISB02#
-[_:pmypipnh <owl:someValuesFrom> <ns:Car>., _:pmypipnh <rdf:type> <owl:Restriction>., _:pmypipnh <owl:onProperty> <ns:hasCar>., <ns:Driver> <owl:equivalentClass> _:pmypipnh.]
-[<ns:hasCar> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Driver> <rdf:type> <owl:Class>.]
-[<ns:Car> <rdf:type> <owl:Class>.]
E20
(ISB03)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E21
(ISB04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB04#
-[_:qneqxixv <rdf:type> <owl:Restriction>., _:qneqxixv <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#worksIn>., <http://www.owl-ontologies.com/unnamed.owl#Employee> <rdfs:subClassOf> _:qneqxixv., _:qneqxixv <owl:minCardinality> "1^^xsd:nonNegativeInteger".]
-[<http://www.owl-ontologies.com/unnamed.owl#Employee> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#worksIn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#worksIn> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#Employee>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Employee> <rdfs:subClassOf> <owl:Thing>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
   Inserted:
ns=http://www.example.org/ISB04#
-[_:lsjhqwhw <rdf:type> <owl:Restriction>., _:lsjhqwhw <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#worksIn>., <http://www.owl-ontologies.com/unnamed.owl#Employee> <rdfs:subClassOf> _:lsjhqwhw., _:lsjhqwhw <owl:minCardinality> "1^^xsd:nonNegativeInteger".]
-[<http://www.owl-ontologies.com/unnamed.owl#Employee> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#worksIn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#worksIn> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#Employee>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Employee> <rdfs:subClassOf> <owl:Thing>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISB04#
-[_:rypbhpoy <owl:minCardinality> "1^^xsd:nonNegativeInteger"., _:rypbhpoy <owl:onProperty> <ns:worksIn>., _:rypbhpoy <rdf:type> <owl:Restriction>., <ns:Employee> <owl:equivalentClass> _:rypbhpoy.]
-[<ns:Employee> <rdf:type> <owl:Class>.]
-[<ns:worksIn> <rdf:type> <owl:ObjectProperty>.]
  Removed:
ns=http://www.example.org/ISB04#
-[_:imwauwsx <owl:onProperty> <ns:worksIn>., _:imwauwsx <owl:minCardinality> "1^^xsd:nonNegativeInteger"., _:imwauwsx <rdf:type> <owl:Restriction>., <ns:Employee> <owl:equivalentClass> _:imwauwsx.]
-[<ns:Employee> <rdf:type> <owl:Class>.]
-[<ns:worksIn> <rdf:type> <owl:ObjectProperty>.]
E22
(ISB05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB05#
-[_:eeifxyrm <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#hasAffiliation>., <http://www.owl-ontologies.com/unnamed.owl#Researcher> <rdfs:subClassOf> _:eeifxyrm., _:eeifxyrm <rdf:type> <owl:Restriction>., _:eeifxyrm <owl:maxCardinality> "1^^xsd:nonNegativeInteger".]
-[<http://www.owl-ontologies.com/unnamed.owl#Researcher> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasAffiliation> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#Researcher>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Researcher> <rdf:type> <owl:Class>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
   Inserted:
ns=http://www.example.org/ISB05#
-[_:xrutbkcj <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#hasAffiliation>., <http://www.owl-ontologies.com/unnamed.owl#Researcher> <rdfs:subClassOf> _:xrutbkcj., _:xrutbkcj <rdf:type> <owl:Restriction>., _:xrutbkcj <owl:maxCardinality> "1^^xsd:nonNegativeInteger".]
-[<http://www.owl-ontologies.com/unnamed.owl#Researcher> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasAffiliation> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#Researcher>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Researcher> <rdf:type> <owl:Class>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISB05#
-[<ns:Researcher> <owl:equivalentClass> _:rbaeucmg., _:rbaeucmg <rdf:type> <owl:Restriction>., _:rbaeucmg <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:rbaeucmg <owl:onProperty> <ns:hasAffiliation>.]
-[<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISB05#
-[<ns:Researcher> <owl:equivalentClass> _:hpqmycpm., _:hpqmycpm <owl:onProperty> <ns:hasAffiliation>., _:hpqmycpm <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:hpqmycpm <rdf:type> <owl:Restriction>.]
-[<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
E23
(ISB06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB06#
-[<http://www.owl-ontologies.com/unnamed.owl#Man> <rdfs:subClassOf> _:rxbeqyqg., _:rxbeqyqg <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:rxbeqyqg <rdf:type> <owl:Restriction>., _:rxbeqyqg <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#hasMother>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Man> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasMother> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#Man>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Man> <rdf:type> <owl:Class>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasMother> <rdf:type> <owl:ObjectProperty>.]
   Inserted:
ns=http://www.example.org/ISB06#
-[_:qvmskseh <owl:cardinality> "1^^xsd:nonNegativeInteger"., <http://www.owl-ontologies.com/unnamed.owl#Man> <rdfs:subClassOf> _:qvmskseh., _:qvmskseh <rdf:type> <owl:Restriction>., _:qvmskseh <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#hasMother>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Man> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasMother> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#Man>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Man> <rdf:type> <owl:Class>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasMother> <rdf:type> <owl:ObjectProperty>.]
 Removed:
ns=http://www.example.org/ISB06#
-[_:oukbdxup <rdf:type> <owl:Restriction>., _:oukbdxup <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:oukbdxup <owl:onProperty> <ns:hasMother>., <ns:Man> <owl:equivalentClass> _:oukbdxup.]
-[<ns:hasMother> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISB06#
-[_:eraelmgp <owl:onProperty> <ns:hasMother>., <ns:Man> <owl:equivalentClass> _:eraelmgp., _:eraelmgp <rdf:type> <owl:Restriction>., _:eraelmgp <owl:cardinality> "1^^xsd:nonNegativeInteger".]
-[<ns:hasMother> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
E24
(ISB07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB07#
-[_:mbcocjmn <owl:unionOf> {x <rdf:rest> <rdf:nil>}., <http://www.owl-ontologies.com/unnamed.owl#hasAffiliation> <rdfs:domain> _:mbcocjmn., _:mbcocjmn <rdf:type> <owl:Class>.]
-[_:uwjvhuwt <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:uwjvhuwt <rdf:type> <owl:Restriction>., <http://www.owl-ontologies.com/unnamed.owl#Researcher> <rdfs:subClassOf> _:uwjvhuwt., _:uwjvhuwt <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#hasAffiliation>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Researcher>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Researcher> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Researcher> <rdf:type> <owl:Class>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
   Inserted:
ns=http://www.example.org/ISB07#
-[<http://www.owl-ontologies.com/unnamed.owl#hasAffiliation> <rdfs:domain> _:xibhoafa., _:xibhoafa <rdf:type> <owl:Class>., _:xibhoafa <owl:unionOf> {x <rdf:rest> <rdf:nil>}.]
-[_:udviwbaq <owl:onProperty> <http://www.owl-ontologies.com/unnamed.owl#hasAffiliation>., <http://www.owl-ontologies.com/unnamed.owl#Researcher> <rdfs:subClassOf> _:udviwbaq., _:udviwbaq <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:udviwbaq <rdf:type> <owl:Restriction>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <http://www.owl-ontologies.com/unnamed.owl#Researcher>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Researcher> <rdfs:subClassOf> <owl:Thing>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Researcher> <rdf:type> <owl:Class>.]
-[<owl:Thing> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISB07#
-[_:qeqblwjh <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:qeqblwjh <rdf:type> <owl:Restriction>., <ns:Researcher> <owl:equivalentClass> _:qeqblwjh., _:qeqblwjh <owl:onProperty> <ns:hasAffiliation>.]
-[<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
-[<ns:Researcher> <owl:equivalentClass> "".]
  Removed:
ns=http://www.example.org/ISB07#
-[<ns:Researcher> <owl:equivalentClass> _:ebmsgtky., _:ebmsgtky <owl:onProperty> <ns:hasAffiliation>., _:ebmsgtky <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:ebmsgtky <rdf:type> <owl:Restriction>.]
-[<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Researcher> <rdf:type> <owl:Class>.]
-[<ns:Researcher> <owl:equivalentClass> "".]
E25
(ISB08)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E26
(ISB09)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E27
(ISB10)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E28
(ISB11)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E29
(ISB12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB12#
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italian> <rdf:type> <owl:Class>.]
   Inserted:
ns=http://www.example.org/ISB12#
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italian> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISB12#
-[_:fifevfxt <rdf:type> <owl:Class>., _:fifevfxt <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., <ns:ItalianMan> <owl:equivalentClass> _:fifevfxt.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:ItalianMan> <rdf:type> <owl:Class>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.]
  Removed:
ns=http://www.example.org/ISB12#
-[_:hdfidjsv <rdf:type> <owl:Class>., _:hdfidjsv <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., <ns:ItalianMan> <owl:equivalentClass> _:hdfidjsv.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:ItalianMan> <rdf:type> <owl:Class>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.]
E30
(ISC01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISC01#
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italian> <rdf:type> <owl:Class>.]
   Inserted:
ns=http://www.example.org/ISC01#
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italian> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISC01#
-[_:lcculves <rdf:type> <owl:Class>., <ns:ItalianMan> <owl:equivalentClass> _:lcculves., _:lcculves <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.]
-[{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>.]
  Removed:
ns=http://www.example.org/ISC01#
-[<ns:ItalianMan> <owl:equivalentClass> _:kkktfxyi., _:kkktfxyi <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., _:kkktfxyi <rdf:type> <owl:Class>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.]
-[<ns:ItalianMan> <rdf:type> <owl:Class>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
E31
(ISC02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISC02#
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italian> <rdf:type> <owl:Class>.]
   Inserted:
ns=http://www.example.org/ISC02#
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#Male>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Male> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#ItalianMan> <rdfs:subClassOf> <http://www.owl-ontologies.com/unnamed.owl#Italian>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Italian> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISC02#
-[_:iqektrts <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}., <ns:ItalianMan> <owl:equivalentClass> _:iqektrts., _:iqektrts <rdf:type> <owl:Class>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Male>.]
-[<ns:ItalianMan> <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:Person> <rdf:type> <owl:Class>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISC02#
-[_:odgkrspy <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}., _:odgkrspy <rdf:type> <owl:Class>., <ns:ItalianMan> <owl:equivalentClass> _:odgkrspy.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Male>.]
-[<ns:ItalianMan> <rdf:type> <owl:Class>.]
-[{x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}} <rdf:first> <ns:Italian>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Italian> <rdf:type> <owl:Class>.]
-[<ns:Male> <rdf:type> <owl:Class>.]
E32
(ISD01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E33
(ISD02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD02#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isAncestorOf> <rdfs:label> "p1:isAncestorOf^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isAncestorOf> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isFatherOf> <rdfs:label> "p1:isFatherOf^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isGrandFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isGrandFatherOf> <rdfs:label> "p1:isGrandFatherOf^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISD02#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isAncestorOf> <rdfs:label> "p1:isAncestorOf^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isAncestorOf> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isFatherOf> <rdfs:label> "p1:isFatherOf^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isGrandFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isGrandFatherOf> <rdfs:label> "p1:isGrandFatherOf^^xsd:string".]
 Removed:
ns=http://www.example.org/ISD02#
-[<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>.]
-[<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>.]
-[<ns:isAncestorOf> <rdf:type> <owl:ObjectProperty>.]
-[<ns:isFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<ns:isGrandFatherOf> <rdf:type> <owl:ObjectProperty>.]
  Removed:
ns=http://www.example.org/ISD02#
-[<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>.]
-[<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>.]
-[<ns:isAncestorOf> <rdf:type> <owl:ObjectProperty>.]
-[<ns:isFatherOf> <rdf:type> <owl:ObjectProperty>.]
-[<ns:isGrandFatherOf> <rdf:type> <owl:ObjectProperty>.]
E34
(ISD03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E35
(ISD04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD04#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isRational> <rdfs:label> "p1:isRational^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isReal> <rdfs:label> "p1:isReal^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isInteger> <rdfs:label> "p1:isInteger^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISD04#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isRational> <rdfs:label> "p1:isRational^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isReal> <rdfs:label> "p1:isReal^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isInteger> <rdfs:label> "p1:isInteger^^xsd:string".]
 Removed:
ns=http://www.example.org/ISD04#
-[<ns:isInteger> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>.]
-[<ns:isRational> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>.]
-[<ns:isReal> <rdf:type> <owl:DatatypeProperty>.]
  Removed:
ns=http://www.example.org/ISD04#
-[<ns:isInteger> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>.]
-[<ns:isRational> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>.]
-[<ns:isReal> <rdf:type> <owl:DatatypeProperty>.]
E36
(ISE01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE01#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISE01#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
 Removed:
ns=http://www.example.org/ISE01#
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
  Removed:
ns=http://www.example.org/ISE01#
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
E37
(ISE02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE02#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISE02#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
 Removed:
ns=http://www.example.org/ISE02#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
  Removed:
ns=http://www.example.org/ISE02#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
E38
(ISE03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE03#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Father> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Father> <rdfs:label> "p1:Father^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISE03#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Father> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Father> <rdfs:label> "p1:Father^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
 Removed:
ns=http://www.example.org/ISE03#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Father> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Father>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISE03#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Father> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Father>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
E39
(ISE04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE04#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISE04#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
 Removed:
ns=http://www.example.org/ISE04#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISE04#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
E40
(ISE05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE05#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mother> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mother> <rdfs:label> "p1:Mother^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdfs:label> "p1:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISE05#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mother> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mother> <rdfs:label> "p1:Mother^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdfs:label> "p1:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
 Removed:
ns=http://www.example.org/ISE05#
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Mother> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:hasChild> <rdfs:domain> <ns:Woman>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Mother>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISE05#
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Mother> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:hasChild> <rdfs:domain> <ns:Woman>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Mother>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
E41
(ISE06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE06#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdfs:label> "p1:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Human> <rdfs:label> "p1:Human^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Human> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISE06#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdfs:label> "p1:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Human> <rdfs:label> "p1:Human^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Human> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
 Removed:
ns=http://www.example.org/ISE06#
-[<ns:Human> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:range> <ns:Human>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<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:Human> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:range> <ns:Human>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
E42
(ISE07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE07#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasSSN> <rdfs:label> "p1:hasSSN^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISE07#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasSSN> <rdfs:label> "p1:hasSSN^^xsd:string".]
 Removed:
ns=http://www.example.org/ISE07#
-[<ns:hasSSN> <rdfs:domain> <ns:Person>.]
-[<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISE07#
-[<ns:hasSSN> <rdfs:domain> <ns:Person>.]
-[<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
E43
(ISE08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE08#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISE08#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
 Removed:
ns=http://www.example.org/ISE08#
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
  Removed:
ns=http://www.example.org/ISE08#
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
E44
(ISE09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE09#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISE09#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
 Removed:
ns=http://www.example.org/ISE09#
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
  Removed:
ns=http://www.example.org/ISE09#
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
E45
(ISE10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE10#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mother> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mother> <rdfs:label> "p1:Mother^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdfs:label> "p1:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChildNamed> <rdfs:label> "p1:hasChildNamed^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISE10#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mother> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mother> <rdfs:label> "p1:Mother^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdfs:label> "p1:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChildNamed> <rdfs:label> "p1:hasChildNamed^^xsd:string".]
 Removed:
ns=http://www.example.org/ISE10#
-[<ns:hasChildNamed> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasChildNamed> <rdfs:range> <rdfs:Literal>.]
-[<ns:Mother> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasChildNamed> <rdfs:domain> <ns:Woman>.]
-[<ns:hasChildNamed> <rdfs:domain> <ns:Mother>.]
  Removed:
ns=http://www.example.org/ISE10#
-[<ns:hasChildNamed> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasChildNamed> <rdfs:range> <rdfs:Literal>.]
-[<ns:Mother> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasChildNamed> <rdfs:domain> <ns:Woman>.]
-[<ns:hasChildNamed> <rdfs:domain> <ns:Mother>.]
E46
(ISF01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF01#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isResidentIn> <rdfs:label> "p1:isResidentIn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isResidentIn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_livesIn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_livesIn> <rdfs:label> "p1:livesIn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_City> <rdfs:label> "p1:City^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_City> <rdf:type> <owl:Class>.]
   Inserted:
ns=http://www.example.org/ISF01#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isResidentIn> <rdfs:label> "p1:isResidentIn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_isResidentIn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_livesIn> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_livesIn> <rdfs:label> "p1:livesIn^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_City> <rdfs:label> "p1:City^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_City> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISF01#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:isResidentIn> <rdfs:domain> <ns:Person>.]
-[<ns:livesIn> <rdfs:domain> <ns:Person>.]
-[<ns:City> <rdf:type> <owl:Class>.]
-[<ns:isResidentIn> <rdf:type> <owl:ObjectProperty>.]
-[<ns:livesIn> <rdf:type> <owl:ObjectProperty>.]
-[<ns:isResidentIn> <rdfs:range> <ns:City>.]
-[<ns:livesIn> <rdfs:range> <ns:City>.]
-[<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>.]
  Removed:
ns=http://www.example.org/ISF01#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:isResidentIn> <rdfs:domain> <ns:Person>.]
-[<ns:livesIn> <rdfs:domain> <ns:Person>.]
-[<ns:City> <rdf:type> <owl:Class>.]
-[<ns:isResidentIn> <rdf:type> <owl:ObjectProperty>.]
-[<ns:livesIn> <rdf:type> <owl:ObjectProperty>.]
-[<ns:isResidentIn> <rdfs:range> <ns:City>.]
-[<ns:livesIn> <rdfs:range> <ns:City>.]
-[<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>.]
E47
(ISF02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF02#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasSpanishName> <rdfs:label> "p1:hasSpanishName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_City> <rdfs:label> "p1:City^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_City> <rdf:type> <owl:Class>.]
   Inserted:
ns=http://www.example.org/ISF02#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasSpanishName> <rdfs:label> "p1:hasSpanishName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_City> <rdfs:label> "p1:City^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_City> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISF02#
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasSpanishName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasSpanishName> <rdfs:range> <rdfs:Literal>.]
-[<ns:City> <rdf:type> <owl:Class>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:domain> <ns:City>.]
-[<ns:hasName> <owl:equivalentProperty> <ns:hasSpanishName>.]
-[<ns:hasSpanishName> <rdfs:domain> <ns:City>.]
  Removed:
ns=http://www.example.org/ISF02#
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasSpanishName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasSpanishName> <rdfs:range> <rdfs:Literal>.]
-[<ns:City> <rdf:type> <owl:Class>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:domain> <ns:City>.]
-[<ns:hasName> <owl:equivalentProperty> <ns:hasSpanishName>.]
-[<ns:hasSpanishName> <rdfs:domain> <ns:City>.]
E48
(ISF03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF03#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdfs:label> "p1:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasParent> <rdfs:label> "p1:hasParent^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasParent> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISF03#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdfs:label> "p1:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasParent> <rdfs:label> "p1:hasParent^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasParent> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
 Removed:
ns=http://www.example.org/ISF03#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasParent> <rdfs:range> <ns:Person>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasParent> <owl:inverseOf> <ns:hasChild>.]
-[<ns:hasParent> <rdfs:domain> <ns:Child>.]
-[<ns:hasParent> <rdf:type> <owl:ObjectProperty>.]
  Removed:
ns=http://www.example.org/ISF03#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasParent> <rdfs:range> <ns:Person>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasParent> <owl:inverseOf> <ns:hasChild>.]
-[<ns:hasParent> <rdfs:domain> <ns:Child>.]
-[<ns:hasParent> <rdf:type> <owl:ObjectProperty>.]
E49
(ISG01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG01#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasFriend> <rdfs:label> "p1:hasFriend^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasFriend> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISG01#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasFriend> <rdfs:label> "p1:hasFriend^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasFriend> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
 Removed:
ns=http://www.example.org/ISG01#
-[<ns:hasFriend> <rdfs:range> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasFriend> <rdfs:domain> <ns:Person>.]
-[<ns:hasFriend> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>.]
  Removed:
ns=http://www.example.org/ISG01#
-[<ns:hasFriend> <rdfs:range> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasFriend> <rdfs:domain> <ns:Person>.]
-[<ns:hasFriend> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>.]
E50
(ISG02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG02#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasFriend> <rdfs:label> "p1:hasFriend^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasFriend> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISG02#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasFriend> <rdfs:label> "p1:hasFriend^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasFriend> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
 Removed:
ns=http://www.example.org/ISG02#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasFriend> <rdfs:range> <ns:Person>.]
-[<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>.]
-[<ns:hasFriend> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasFriend> <rdfs:domain> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISG02#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasFriend> <rdfs:range> <ns:Person>.]
-[<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>.]
-[<ns:hasFriend> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasFriend> <rdfs:domain> <ns:Person>.]
E51
(ISG03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG03#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasHusband> <rdf:type> <owl:FunctionalProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasHusband> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasHusband> <rdfs:label> "p1:hasHusband^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdfs:label> "p1:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Man> <rdfs:label> "p1:Man^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISG03#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasHusband> <rdf:type> <owl:FunctionalProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasHusband> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasHusband> <rdfs:label> "p1:hasHusband^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Man> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdfs:label> "p1:Woman^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Woman> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Man> <rdfs:label> "p1:Man^^xsd:string".]
 Removed:
ns=http://www.example.org/ISG03#
-[<ns:hasHusband> <rdfs:domain> <ns:Woman>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:hasHusband> <rdf:type> <owl:FunctionalProperty>.]
-[<ns:hasHusband> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasHusband> <rdfs:range> <ns:Man>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISG03#
-[<ns:hasHusband> <rdfs:domain> <ns:Woman>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:hasHusband> <rdf:type> <owl:FunctionalProperty>.]
-[<ns:hasHusband> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasHusband> <rdfs:range> <ns:Man>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
E52
(ISG04)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E53
(ISG05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG05#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasTutor> <rdfs:label> "p1:hasTutor^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasTutor> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Student> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Professor> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Student> <rdfs:label> "p1:Student^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Professor> <rdfs:label> "p1:Professor^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISG05#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasTutor> <rdfs:label> "p1:hasTutor^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasTutor> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Student> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Professor> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Student> <rdfs:label> "p1:Student^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Professor> <rdfs:label> "p1:Professor^^xsd:string".]
 Removed:
ns=http://www.example.org/ISG05#
-[<ns:Professor> <rdf:type> <owl:Class>.]
-[<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>.]
-[<ns:hasTutor> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasTutor> <rdfs:domain> <ns:Professor>.]
-[<ns:Student> <rdf:type> <owl:Class>.]
-[<ns:hasTutor> <rdfs:range> <ns:Student>.]
  Removed:
ns=http://www.example.org/ISG05#
-[<ns:Professor> <rdf:type> <owl:Class>.]
-[<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>.]
-[<ns:hasTutor> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasTutor> <rdfs:domain> <ns:Professor>.]
-[<ns:Student> <rdf:type> <owl:Class>.]
-[<ns:hasTutor> <rdfs:range> <ns:Student>.]
E54
(ISH01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISH01#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Peter> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISH01#
-[<ns:Peter> <rdf:type> <ns:Person>.]
  
E55
(ISH02)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E56
(ISH03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISH03#
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
   Inserted:
ns=http://www.example.org/ISH03#
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
 Removed:
ns=http://www.example.org/ISH03#
-[<ns:Paul> <rdf:type> <ns:Person>.]
-[<ns:Mary> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Peter> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISH03#
-[<ns:Mary> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISH03#
-[<ns:Paul> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Peter> <rdf:type> <ns:Person>.]
E57
(ISI01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI01#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Paul> <rdfs:label> "p1:Paul^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdfs:label> "p1:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISI01#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Paul> <rdfs:label> "p1:Paul^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdfs:label> "p1:Mary^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
 Removed:
ns=http://www.example.org/ISI01#
-[<ns:Mary> <ns:hasChild> <ns:Paul>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Mary> <rdf:type> <ns:Person>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:Paul> <rdf:type> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISI01#
-[<ns:Mary> <ns:hasChild> <ns:Paul>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:Mary> <rdf:type> <ns:Person>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:Paul> <rdf:type> <ns:Person>.]
E58
(ISI02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI02#
-[<http://www.owl-ontologies.com/unnamed.owl#Peter> <http://www.owl-ontologies.com/unnamed.owl#knows> <http://www.owl-ontologies.com/unnamed.owl#Peter>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#knows> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#knows> <rdf:type> <owl:ObjectProperty>.]
   Inserted:
ns=http://www.example.org/ISI02#
-[<http://www.owl-ontologies.com/unnamed.owl#Peter> <http://www.owl-ontologies.com/unnamed.owl#knows> <http://www.owl-ontologies.com/unnamed.owl#Peter>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#knows> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Peter> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#knows> <rdf:type> <owl:ObjectProperty>.]
 Removed:
ns=http://www.example.org/ISI02#
-[<ns:knows> <rdf:type> <owl:ObjectProperty>.]
-[<ns:knows> <rdfs:range> <ns:Person>.]
-[<ns:Peter> <rdf:type> <ns:Person>.]
-[<ns:Peter> <ns:knows> <ns:Peter>.]
-[<ns:knows> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISI02#
-[<ns:knows> <rdf:type> <owl:ObjectProperty>.]
-[<ns:knows> <rdfs:range> <ns:Person>.]
-[<ns:Peter> <rdf:type> <ns:Person>.]
-[<ns:Peter> <ns:knows> <ns:Peter>.]
-[<ns:knows> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
E59
(ISI03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI03#
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Mother>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Mother> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#Mother>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Mary> <http://www.owl-ontologies.com/unnamed.owl#hasChild> <http://www.owl-ontologies.com/unnamed.owl#Paul>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Child>.]
   Inserted:
ns=http://www.example.org/ISI03#
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Mother>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Mother> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#Mother>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Mary> <http://www.owl-ontologies.com/unnamed.owl#hasChild> <http://www.owl-ontologies.com/unnamed.owl#Paul>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Paul> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Child>.]
 Removed:
ns=http://www.example.org/ISI03#
-[<ns:Mother> <rdf:type> <owl:Class>.]
-[<ns:Mary> <ns:hasChild> <ns:Paul>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:Mary> <rdf:type> <ns:Mother>.]
-[<ns:Paul> <rdf:type> <ns:Child>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:hasChild> <rdfs:domain> <ns:Mother>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
  Removed:
ns=http://www.example.org/ISI03#
-[<ns:Mother> <rdf:type> <owl:Class>.]
-[<ns:Mary> <ns:hasChild> <ns:Paul>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:Mary> <rdf:type> <ns:Mother>.]
-[<ns:Paul> <rdf:type> <ns:Child>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:hasChild> <rdfs:domain> <ns:Mother>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
E60
(ISI04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI04#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MarySmith> <rdfs:label> "p1:MarySmith^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MarySmith> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISI04#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MarySmith> <rdfs:label> "p1:MarySmith^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MarySmith> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
 Removed:
ns=http://www.example.org/ISI04#
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:MarySmith> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:MarySmith> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
  Removed:
ns=http://www.example.org/ISI04#
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:MarySmith> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:MarySmith> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
E61
(ISI05)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.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#John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdfs:label> "@_:Unode3^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <http://www.owl-ontologies.com/unnamed.owl#hasChild> <http://www.owl-ontologies.com/unnamed.owl#John>.]
 Inserted:
ns=http://www.example.org/ISJ01#
-[<diff:genid-node3> <ns:hasChild> <ns:John>.]
-[<diff:genid-node3> <rdf:type> <ns:Person>.]
 Inserted:
ns=http://www.example.org/ISJ01#
-[<http://www.owl-ontologies.com/unnamed.owl#John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdfs:label> "@_:Unode3^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#hasChild> <rdfs:domain> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <http://www.owl-ontologies.com/unnamed.owl#hasChild> <http://www.owl-ontologies.com/unnamed.owl#John>.]
 Removed:
ns=http://www.example.org/ISJ01#
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:John> <rdf:type> <ns:Person>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
 Removed:
ns=http://www.example.org/ISJ01#
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
 Removed:
ns=http://www.example.org/ISJ01#
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:John> <rdf:type> <ns:Person>.]
-[<diff:genid-node3> <ns:hasChild> <ns:John>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<diff:genid-node3> <rdf:type> <ns:Person>.]
E63
(ISJ02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ02#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Parent> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Parent>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdfs:label> "@_:Unode3^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdfs:label> "p1:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Parent> <rdfs:label> "p1:Parent^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISJ02#
-[<diff:genid-node3> <ns:hasChild> <ns:John>.]
-[<diff:genid-node3> <rdf:type> <ns:Parent>.]
 Inserted:
ns=http://www.example.org/ISJ02#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Parent> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Parent>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdfs:label> "@_:Unode3^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdfs:label> "p1:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Parent> <rdfs:label> "p1:Parent^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
 Removed:
ns=http://www.example.org/ISJ02#
-[<ns:genid1> <rdf:type> <ns:Parent>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Parent> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Parent>.]
-[<ns:John> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISJ02#
-[<ns:genid1> <rdf:type> <ns:Parent>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
 Removed:
ns=http://www.example.org/ISJ02#
-[<diff:genid-node3> <ns:hasChild> <ns:John>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<diff:genid-node3> <rdf:type> <ns:Parent>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Parent> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:Parent>.]
-[<ns:John> <rdf:type> <ns:Person>.]
E64
(ISJ03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ03#
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdfs:label> "@_:Unode3^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISJ03#
-[<diff:genid-node3> <ns:hasName> "Peter^^xsd:string".]
-[<diff:genid-node3> <rdf:type> <ns:Person>.]
 Inserted:
ns=http://www.example.org/ISJ03#
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdfs:label> "@_:Unode3^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
 Removed:
ns=http://www.example.org/ISJ03#
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:genid1> <ns:hasName> "Peter^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISJ03#
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<ns:genid1> <ns:hasName> "Peter^^xsd:string".]
 Removed:
ns=http://www.example.org/ISJ03#
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<diff:genid-node3> <ns:hasName> "Peter^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<diff:genid-node3> <rdf:type> <ns:Person>.]
E65
(ISK01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK01#
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
   Inserted:
ns=http://www.example.org/ISK01#
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
 Removed:
ns=http://www.example.org/ISK01#
-[<ns:Mary> <owl:sameAs> <ns:MaryAnn>.]
-[<ns:Mary> <rdf:type> <ns:Person>.]
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISK01#
-[<ns:Mary> <owl:sameAs> <ns:MaryAnn>.]
-[<ns:Mary> <rdf:type> <ns:Person>.]
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
E66
(ISK02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK02#
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Ann> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
   Inserted:
ns=http://www.example.org/ISK02#
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Ann> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
 Removed:
ns=http://www.example.org/ISK02#
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Ann> <rdf:type> <ns:Person>.]
-[<ns:Ann> <owl:differentFrom> <ns:MaryAnn>.]
  Removed:
ns=http://www.example.org/ISK02#
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:Ann> <rdf:type> <ns:Person>.]
-[<ns:Ann> <owl:differentFrom> <ns:MaryAnn>.]
E67
(ISK03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK03#
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Ann> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Joan> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
   Inserted:
ns=http://www.example.org/ISK03#
-[<http://www.owl-ontologies.com/unnamed.owl#Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Mary> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Ann> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#Joan> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#Person>.]
 Removed:
ns=http://www.example.org/ISK03#
-[_:hoxtxfbj <rdf:type> <owl:AllDifferent>., _:hoxtxfbj <owl:distinctMembers> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Joan>.]
-[<ns:Joan> <rdf:type> <owl:Thing>.]
-[<ns:Joan> <rdf:type> <ns:Person>.]
-[{x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}} <rdf:first> <ns:Ann>.]
-[<ns:Mary> <rdf:type> <ns:Person>.]
-[<ns:Mary> <rdf:type> <owl:Thing>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Mary>.]
-[<ns:Ann> <rdf:type> <owl:Thing>.]
-[<ns:Ann> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISK03#
-[_:ddtvudel <owl:distinctMembers> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}., _:ddtvudel <rdf:type> <owl:AllDifferent>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Joan>.]
-[<ns:Joan> <rdf:type> <owl:Thing>.]
-[<ns:Joan> <rdf:type> <ns:Person>.]
-[{x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}} <rdf:first> <ns:Ann>.]
-[<ns:Mary> <rdf:type> <ns:Person>.]
-[<ns:Mary> <rdf:type> <owl:Thing>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Mary>.]
-[<ns:Ann> <rdf:type> <owl:Thing>.]
-[<ns:Ann> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
E68
(ISL01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E69
(ISL02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E70
(ISL03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E71
(ISL04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E72
(ISL05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E73
(ISL06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E74
(ISL07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL07#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdfs:label> "p1:MaryAnn^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL07#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdfs:label> "p1:MaryAnn^^xsd:string".]
 Removed:
ns=http://www.example.org/ISL07#
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
  Removed:
ns=http://www.example.org/ISL07#
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdfs:label> "p1:MaryAnn^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL08#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_MaryAnn> <rdfs:label> "p1:MaryAnn^^xsd:string".]
 Removed:
ns=http://www.example.org/ISL08#
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISL08#
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
E76
(ISL09)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E77
(ISL10)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E78
(ISL11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL11#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasSurname> <rdfs:label> "p1:hasSurname^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <rdfs:label> "p1:JohnDoe^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL11#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasSurname> <rdfs:label> "p1:hasSurname^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <rdfs:label> "p1:JohnDoe^^xsd:string".]
 Removed:
ns=http://www.example.org/ISL11#
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasSurname> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<ns:JohnDoe> <rdf:type> <ns:Person>.]
-[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<ns:hasSurname> <rdfs:domain> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
  Removed:
ns=http://www.example.org/ISL11#
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasSurname> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<ns:JohnDoe> <rdf:type> <ns:Person>.]
-[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<ns:hasSurname> <rdfs:domain> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL12#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasSurname> <rdfs:label> "p1:hasSurname^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <rdfs:label> "p1:JohnDoe^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL12#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasSurname> <rdfs:label> "p1:hasSurname^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_JohnDoe> <rdfs:label> "p1:JohnDoe^^xsd:string".]
 Removed:
ns=http://www.example.org/ISL12#
-[<ns:hasSurname> <rdfs:domain> <ns:Person>.]
-[<ns:JohnDoe> <rdf:type> <ns:Person>.]
-[<ns:hasSurname> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
  Removed:
ns=http://www.example.org/ISL12#
-[<ns:hasSurname> <rdfs:domain> <ns:Person>.]
-[<ns:JohnDoe> <rdf:type> <ns:Person>.]
-[<ns:hasSurname> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
E80
(ISL13)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL13#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdfs:label> "p1:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Child>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdfs:label> "@_:Unode3^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdfs:label> "p1:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISL13#
-[<diff:genid-node3> <rdf:type> <ns:Child>.]
-[<diff:genid-node3> <ns:hasName> "Paul^^xsd:string".]
-[<ns:John> <ns:hasChild> <diff:genid-node3>.]
 Inserted:
ns=http://www.example.org/ISL13#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdfs:label> "p1:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Child>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdfs:label> "@_:Unode3^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdfs:label> "p1:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
 Removed:
ns=http://www.example.org/ISL13#
-[<ns:genid-node1> <rdf:type> <ns:Child>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:genid-node1> <ns:hasName> "Paul^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Child>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:John> <ns:hasChild> <ns:genid-node1>.]
-[<ns:John> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISL13#
-[<ns:genid-node1> <rdf:type> <ns:Child>.]
-[<ns:genid-node1> <ns:hasName> "Paul^^xsd:string".]
-[<ns:John> <ns:hasChild> <ns:genid-node1>.]
 Removed:
ns=http://www.example.org/ISL13#
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<diff:genid-node3> <ns:hasName> "Paul^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:John> <ns:hasChild> <diff:genid-node3>.]
-[<ns:hasName> <rdfs:domain> <ns:Child>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<diff:genid-node3> <rdf:type> <ns:Child>.]
-[<ns:John> <rdf:type> <ns:Person>.]
E81
(ISL14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL14#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdfs:label> "p1:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Child>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdfs:label> "@_:Unode3^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdfs:label> "p1:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISL14#
-[<ns:John> <ns:hasChild> <diff:genid-node3>.]
-[<diff:genid-node3> <rdf:type> <ns:Child>.]
-[<diff:genid-node3> <ns:hasName> "Paul^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISL14#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Child> <rdfs:label> "p1:Child^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasName> <rdfs:label> "p1:hasName^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Child>.]
-[<http://www.owl-ontologies.com/unnamed.owl#___Unode3> <rdfs:label> "@_:Unode3^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdfs:label> "p1:John^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Person> <rdfs:label> "p1:Person^^xsd:string".]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_John> <rdf:type> <http://www.owl-ontologies.com/unnamed.owl#p1_Person>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_hasChild> <rdfs:label> "p1:hasChild^^xsd:string".]
 Removed:
ns=http://www.example.org/ISL14#
-[<ns:hasName> <rdfs:domain> <ns:Child>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:John> <rdf:type> <ns:Person>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:John> <ns:hasChild> <ns:genid1>.]
-[<ns:genid1> <rdf:type> <ns:Child>.]
-[<ns:genid1> <ns:hasName> "Paul^^xsd:string".]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISL14#
-[<ns:John> <ns:hasChild> <ns:genid1>.]
-[<ns:genid1> <rdf:type> <ns:Child>.]
-[<ns:genid1> <ns:hasName> "Paul^^xsd:string".]
 Removed:
ns=http://www.example.org/ISL14#
-[<ns:hasName> <rdfs:domain> <ns:Child>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:Child> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:John> <rdf:type> <ns:Person>.]
-[<ns:John> <ns:hasChild> <diff:genid-node3>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<diff:genid-node3> <rdf:type> <ns:Child>.]
-[<diff:genid-node3> <ns:hasName> "Paul^^xsd:string".]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:Person> <rdf:type> <owl:Class>.]
E82
(ISL15)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL15#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Book> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Book> <rdfs:label> "p1:Book^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL15#
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Book> <rdf:type> <owl:Class>.]
-[<http://www.owl-ontologies.com/unnamed.owl#p1_Book> <rdfs:label> "p1:Book^^xsd:string".]
 Removed:
ns=http://www.example.org/ISL15#
-[<ns:Book> <rdf:type> <owl:Class>.]
-[<ns:Book> <rdfs:label> "Book@en".]
-[<ns:Book> <rdfs:label> "Libro@es".]
  Removed:
ns=http://www.example.org/ISL15#
-[<ns:Book> <rdf:type> <owl:Class>.]
-[<ns:Book> <rdfs:label> "Book@en".]
-[<ns:Book> <rdfs:label> "Libro@es".]
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#