Interoperability from ProtegeOWL to SemTalk (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)
Interoperability Step1 (ProtegeOWL) Step2 (SemTalk)
E01
(ISA01)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA01#
<http://www.example.org#ISA01#> <rdf:type> <owl:Ontology>
_:7862 <rdf:type> <owl:Ontology>
<http://www.example.org#ISA01> <owl:sameAs> <http://www.example.org#ISA01>
<http://www.example.org#ISA01> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA01#
<http://www.example.org#ISA01#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISA01> <owl:sameAs> <http://www.example.org#ISA01>
<http://www.example.org#ISA01> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:7864 <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA01#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA01#
<ns:> <rdf:type> <owl:Ontology>
E02
(ISA02)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA02#
<http://www.example.org#ISA02#> <rdf:type> <owl:Ontology>
_:785e <rdf:type> <owl:Ontology>
<ns:Child> <owl:sameAs> <ns:Child>
<ns:Child> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<http://www.example.org#ISA02> <owl:sameAs> <http://www.example.org#ISA02>
<http://www.example.org#ISA02> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA02#
<http://www.example.org#ISA02#> <rdf:type> <owl:Ontology>
<ns:Child> <owl:sameAs> <ns:Child>
<ns:Child> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
_:7860 <rdf:type> <owl:Ontology>
<http://www.example.org#ISA02> <owl:sameAs> <http://www.example.org#ISA02>
<http://www.example.org#ISA02> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISA02#
<ns:Man> <rdfs:subClassOf> <ns:Person>
<ns:Child> <rdfs:subClassOf> <ns:Man>
<ns:Child> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA02#
<ns:Man> <rdfs:subClassOf> <ns:Person>
<ns:Child> <rdfs:subClassOf> <ns:Man>
<ns:Child> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
E03
(ISA03)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA03#
<http://www.example.org#ISA03#> <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:785a <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<http://www.example.org#ISA03> <owl:sameAs> <http://www.example.org#ISA03>
<http://www.example.org#ISA03> <rdf:type> <owl:Thing>
<ns:Child> <owl:sameAs> <ns:Child>
<ns:Child> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA03#
<http://www.example.org#ISA03#> <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<http://www.example.org#ISA03> <owl:sameAs> <http://www.example.org#ISA03>
<http://www.example.org#ISA03> <rdf:type> <owl:Thing>
_:785c <rdf:type> <owl:Ontology>
<ns:Child> <owl:sameAs> <ns:Child>
<ns:Child> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISA03#
<ns:Child> <rdfs:subClassOf> <ns:Man>
<ns:Child> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA03#
<ns:Child> <rdfs:subClassOf> <ns:Man>
<ns:Child> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
E04
(ISA04)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA04#
<http://www.example.org#ISA04> <owl:sameAs> <http://www.example.org#ISA04>
<http://www.example.org#ISA04> <rdf:type> <owl:Thing>
<http://www.example.org#ISA04#> <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:7856 <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA04#
<http://www.example.org#ISA04> <owl:sameAs> <http://www.example.org#ISA04>
<http://www.example.org#ISA04> <rdf:type> <owl:Thing>
<http://www.example.org#ISA04#> <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
_:7858 <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA04#
<ns:Woman> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:Man> <rdfs:subClassOf> <ns:Person>
 Removed:
ns=http://www.example.org/ISA04#
<ns:Woman> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<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.example.org#ISA05> <owl:sameAs> <http://www.example.org#ISA05>
<http://www.example.org#ISA05> <rdf:type> <owl:Thing>
<http://www.example.org#ISA05#> <rdf:type> <owl:Ontology>
<ns:Male> <owl:sameAs> <ns:Male>
<ns:Male> <rdf:type> <owl:Thing>
_:7852 <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA05#
<http://www.example.org#ISA05> <owl:sameAs> <http://www.example.org#ISA05>
<http://www.example.org#ISA05> <rdf:type> <owl:Thing>
<http://www.example.org#ISA05#> <rdf:type> <owl:Ontology>
_:7854 <rdf:type> <owl:Ontology>
<ns:Male> <owl:sameAs> <ns:Male>
<ns:Male> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISA05#
<ns:> <rdf:type> <owl:Ontology>
<ns:Male> <rdfs:subClassOf> <ns:Man>
<ns:Male> <owl:equivalentClass> <ns:Man>
<ns:Man> <rdfs:subClassOf> <ns:Male>
<ns:Man> <owl:equivalentClass> <ns:Male>
 Removed:
ns=http://www.example.org/ISA05#
<ns:> <rdf:type> <owl:Ontology>
<ns:Male> <rdfs:subClassOf> <ns:Man>
<ns:Male> <owl:equivalentClass> <ns:Man>
<ns:Man> <rdfs:subClassOf> <ns:Male>
<ns:Man> <owl:equivalentClass> <ns:Male>
E06
(ISA06)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA06#
<http://www.example.org#ISA06> <owl:sameAs> <http://www.example.org#ISA06>
<http://www.example.org#ISA06> <rdf:type> <owl:Thing>
_:784e <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<http://www.example.org#ISA06#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISA06#
<http://www.example.org#ISA06> <owl:sameAs> <http://www.example.org#ISA06>
<http://www.example.org#ISA06> <rdf:type> <owl:Thing>
_:7850 <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<http://www.example.org#ISA06#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA06#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA06#
<ns:> <rdf:type> <owl:Ontology>
E07
(ISA07)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E08
(ISA08)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E09
(ISA09)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E10
(ISA10)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E11
(ISA11)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E12
(ISA12)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E13
(ISA13)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E14
(ISA14)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E15
(ISA15)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E16
(ISA16)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E17
(ISA17)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E18
(ISB01)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB01#
<http://www.example.org#ISB01#> <rdf:type> <owl:Ontology>
<ns:Italienne> <owl:sameAs> <ns:Italienne>
<ns:Italienne> <rdf:type> <owl:Thing>
<ns:Italian> <owl:sameAs> <ns:Italian>
<ns:Italian> <rdf:type> <owl:Thing>
<http://www.example.org#ISB01> <owl:sameAs> <http://www.example.org#ISB01>
<http://www.example.org#ISB01> <rdf:type> <owl:Thing>
_:784a <rdf:type> <owl:Ontology>
<ns:Italiano> <owl:sameAs> <ns:Italiano>
<ns:Italiano> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISB01#
<http://www.example.org#ISB01#> <rdf:type> <owl:Ontology>
<ns:Italienne> <owl:sameAs> <ns:Italienne>
<ns:Italienne> <rdf:type> <owl:Thing>
<ns:Italian> <owl:sameAs> <ns:Italian>
<ns:Italian> <rdf:type> <owl:Thing>
<http://www.example.org#ISB01> <owl:sameAs> <http://www.example.org#ISB01>
<http://www.example.org#ISB01> <rdf:type> <owl:Thing>
_:784c <rdf:type> <owl:Ontology>
<ns:Italiano> <owl:sameAs> <ns:Italiano>
<ns:Italiano> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISB01#
<ns:Italienne> <rdfs:subClassOf> <ns:Italiano>
<ns:Italienne> <rdfs:subClassOf> <ns:Italian>
<ns:Italienne> <owl:equivalentClass> <ns:Italiano>
<ns:Italienne> <owl:equivalentClass> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <ns:Italiano>
<ns:Italian> <rdfs:subClassOf> <ns:Italienne>
<ns:Italian> <owl:equivalentClass> <ns:Italiano>
<ns:Italian> <owl:equivalentClass> <ns:Italienne>
<ns:Italiano> <rdfs:subClassOf> <ns:Italian>
<ns:Italiano> <rdfs:subClassOf> <ns:Italienne>
<ns:Italiano> <owl:equivalentClass> <ns:Italian>
<ns:Italiano> <owl:equivalentClass> <ns:Italienne>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB01#
<ns:Italienne> <rdfs:subClassOf> <ns:Italiano>
<ns:Italienne> <rdfs:subClassOf> <ns:Italian>
<ns:Italienne> <owl:equivalentClass> <ns:Italiano>
<ns:Italienne> <owl:equivalentClass> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <ns:Italiano>
<ns:Italian> <rdfs:subClassOf> <ns:Italienne>
<ns:Italian> <owl:equivalentClass> <ns:Italiano>
<ns:Italian> <owl:equivalentClass> <ns:Italienne>
<ns:Italiano> <rdfs:subClassOf> <ns:Italian>
<ns:Italiano> <rdfs:subClassOf> <ns:Italienne>
<ns:Italiano> <owl:equivalentClass> <ns:Italian>
<ns:Italiano> <owl:equivalentClass> <ns:Italienne>
<ns:> <rdf:type> <owl:Ontology>
E19
(ISB02)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E20
(ISB03)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E21
(ISB04)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E22
(ISB05)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E23
(ISB06)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E24
(ISB07)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E25
(ISB08)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E26
(ISB09)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E27
(ISB10)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E28
(ISB11)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E29
(ISB12)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E30
(ISC01)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E31
(ISC02)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E32
(ISD01)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD01#
_:7846 <rdf:type> <owl:Ontology>
<http://www.example.org#ISD01> <owl:sameAs> <http://www.example.org#ISD01>
<http://www.example.org#ISD01> <rdf:type> <owl:Thing>
<http://www.example.org#ISD01#> <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISD01#
<http://www.example.org#ISD01> <owl:sameAs> <http://www.example.org#ISD01>
<http://www.example.org#ISD01> <rdf:type> <owl:Thing>
_:7848 <rdf:type> <owl:Ontology>
<http://www.example.org#ISD01#> <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISD01#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISD01#
<ns:> <rdf:type> <owl:Ontology>
E33
(ISD02)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD02#
<http://www.example.org#ISD02#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISD02> <owl:sameAs> <http://www.example.org#ISD02>
<http://www.example.org#ISD02> <rdf:type> <owl:Thing>
<ns:isFatherOf> <owl:sameAs> <ns:isFatherOf>
<ns:isFatherOf> <rdf:type> <owl:Thing>
<ns:isGrandFatherOf> <owl:sameAs> <ns:isGrandFatherOf>
<ns:isGrandFatherOf> <rdf:type> <owl:Thing>
<ns:isAncestorOf> <owl:sameAs> <ns:isAncestorOf>
<ns:isAncestorOf> <rdf:type> <owl:Thing>
_:7842 <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISD02#
<http://www.example.org#ISD02#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISD02> <owl:sameAs> <http://www.example.org#ISD02>
<http://www.example.org#ISD02> <rdf:type> <owl:Thing>
_:7844 <rdf:type> <owl:Ontology>
<ns:isFatherOf> <owl:sameAs> <ns:isFatherOf>
<ns:isFatherOf> <rdf:type> <owl:Thing>
<ns:isGrandFatherOf> <owl:sameAs> <ns:isGrandFatherOf>
<ns:isGrandFatherOf> <rdf:type> <owl:Thing>
<ns:isAncestorOf> <owl:sameAs> <ns:isAncestorOf>
<ns:isAncestorOf> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISD02#
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
<ns:> <rdf:type> <owl:Ontology>
<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
 Removed:
ns=http://www.example.org/ISD02#
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
<ns:> <rdf:type> <owl:Ontology>
<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
E34
(ISD03)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD03#
<http://www.example.org#ISD03> <owl:sameAs> <http://www.example.org#ISD03>
<http://www.example.org#ISD03> <rdf:type> <owl:Thing>
_:783e <rdf:type> <owl:Ontology>
<ns:hasAge> <owl:sameAs> <ns:hasAge>
<ns:hasAge> <rdf:type> <owl:Thing>
<http://www.example.org#ISD03#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISD03#
<http://www.example.org#ISD03> <owl:sameAs> <http://www.example.org#ISD03>
<http://www.example.org#ISD03> <rdf:type> <owl:Thing>
<ns:hasAge> <owl:sameAs> <ns:hasAge>
<ns:hasAge> <rdf:type> <owl:Thing>
_:7840 <rdf:type> <owl:Ontology>
<http://www.example.org#ISD03#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISD03#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISD03#
<ns:> <rdf:type> <owl:Ontology>
E35
(ISD04)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD04#
<http://www.example.org#ISD04#> <rdf:type> <owl:Ontology>
<ns:isInteger> <owl:sameAs> <ns:isInteger>
<ns:isInteger> <rdf:type> <owl:Thing>
<ns:isReal> <owl:sameAs> <ns:isReal>
<ns:isReal> <rdf:type> <owl:Thing>
_:783a <rdf:type> <owl:Ontology>
<http://www.example.org#ISD04> <owl:sameAs> <http://www.example.org#ISD04>
<http://www.example.org#ISD04> <rdf:type> <owl:Thing>
<ns:isRational> <owl:sameAs> <ns:isRational>
<ns:isRational> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISD04#
<http://www.example.org#ISD04#> <rdf:type> <owl:Ontology>
<ns:isInteger> <owl:sameAs> <ns:isInteger>
<ns:isInteger> <rdf:type> <owl:Thing>
<ns:isReal> <owl:sameAs> <ns:isReal>
<ns:isReal> <rdf:type> <owl:Thing>
<http://www.example.org#ISD04> <owl:sameAs> <http://www.example.org#ISD04>
<http://www.example.org#ISD04> <rdf:type> <owl:Thing>
_:783c <rdf:type> <owl:Ontology>
<ns:isRational> <owl:sameAs> <ns:isRational>
<ns:isRational> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISD04#
<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>
<ns:> <rdf:type> <owl:Ontology>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>
 Removed:
ns=http://www.example.org/ISD04#
<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>
<ns:> <rdf:type> <owl:Ontology>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>
E36
(ISE01)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE01#
<http://www.example.org#ISE01#> <rdf:type> <owl:Ontology>
_:7836 <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISE01> <owl:sameAs> <http://www.example.org#ISE01>
<http://www.example.org#ISE01> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISE01#
<http://www.example.org#ISE01#> <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:7838 <rdf:type> <owl:Ontology>
<http://www.example.org#ISE01> <owl:sameAs> <http://www.example.org#ISE01>
<http://www.example.org#ISE01> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISE01#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISE01#
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
E37
(ISE02)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE02#
<http://www.example.org#ISE02#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISE02> <owl:sameAs> <http://www.example.org#ISE02>
<http://www.example.org#ISE02> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:7832 <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISE02#
<http://www.example.org#ISE02#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISE02> <owl:sameAs> <http://www.example.org#ISE02>
<http://www.example.org#ISE02> <rdf:type> <owl:Thing>
_:7834 <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISE02#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISE02#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:range> <ns:Person>
E38
(ISE03)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE03#
<http://www.example.org#ISE03#> <rdf:type> <owl:Ontology>
_:782e <rdf:type> <owl:Ontology>
<http://www.example.org#ISE03> <owl:sameAs> <http://www.example.org#ISE03>
<http://www.example.org#ISE03> <rdf:type> <owl:Thing>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
<ns:Father> <owl:sameAs> <ns:Father>
<ns:Father> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISE03#
<http://www.example.org#ISE03#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISE03> <owl:sameAs> <http://www.example.org#ISE03>
<http://www.example.org#ISE03> <rdf:type> <owl:Thing>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
_:7830 <rdf:type> <owl:Ontology>
<ns:Father> <owl:sameAs> <ns:Father>
<ns:Father> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISE03#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:domain> <ns:Father>
<ns:hasChild> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISE03#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdfs:domain> <ns:Father>
E39
(ISE04)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE04#
<http://www.example.org#ISE04#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISE04> <owl:sameAs> <http://www.example.org#ISE04>
<http://www.example.org#ISE04> <rdf:type> <owl:Thing>
_:782a <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISE04#
<http://www.example.org#ISE04#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISE04> <owl:sameAs> <http://www.example.org#ISE04>
<http://www.example.org#ISE04> <rdf:type> <owl:Thing>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
_:782c <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISE04#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISE04#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:range> <ns:Person>
<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#
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
<http://www.example.org#ISE05#> <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
_:7826 <rdf:type> <owl:Ontology>
<http://www.example.org#ISE05> <owl:sameAs> <http://www.example.org#ISE05>
<http://www.example.org#ISE05> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:Mother> <owl:sameAs> <ns:Mother>
<ns:Mother> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISE05#
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
<http://www.example.org#ISE05#> <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<http://www.example.org#ISE05> <owl:sameAs> <http://www.example.org#ISE05>
<http://www.example.org#ISE05> <rdf:type> <owl:Thing>
_:7828 <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:Mother> <owl:sameAs> <ns:Mother>
<ns:Mother> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISE05#
<ns:hasChild> <rdfs:domain> <ns:Woman>
<ns:hasChild> <rdfs:domain> <ns:Mother>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISE05#
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:domain> <ns:Mother>
<ns:hasChild> <rdfs:domain> <ns:Woman>
<ns:> <rdf:type> <owl:Ontology>
E41
(ISE06)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE06#
<http://www.example.org#ISE06#> <rdf:type> <owl:Ontology>
<ns:Child> <owl:sameAs> <ns:Child>
<ns:Child> <rdf:type> <owl:Thing>
<ns:Human> <owl:sameAs> <ns:Human>
<ns:Human> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISE06> <owl:sameAs> <http://www.example.org#ISE06>
<http://www.example.org#ISE06> <rdf:type> <owl:Thing>
_:7822 <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISE06#
_:7824 <rdf:type> <owl:Ontology>
<http://www.example.org#ISE06#> <rdf:type> <owl:Ontology>
<ns:Child> <owl:sameAs> <ns:Child>
<ns:Child> <rdf:type> <owl:Thing>
<ns:Human> <owl:sameAs> <ns:Human>
<ns:Human> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISE06> <owl:sameAs> <http://www.example.org#ISE06>
<http://www.example.org#ISE06> <rdf:type> <owl:Thing>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISE06#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Human>
<ns:hasChild> <rdfs:range> <ns:Child>
 Removed:
ns=http://www.example.org/ISE06#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Child>
<ns:hasChild> <rdfs:range> <ns:Human>
<ns:hasChild> <rdfs:range> <ns:Person>
E42
(ISE07)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE07#
_:781e <rdf:type> <owl:Ontology>
<http://www.example.org#ISE07#> <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:hasSSN> <owl:sameAs> <ns:hasSSN>
<ns:hasSSN> <rdf:type> <owl:Thing>
<http://www.example.org#ISE07> <owl:sameAs> <http://www.example.org#ISE07>
<http://www.example.org#ISE07> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISE07#
<http://www.example.org#ISE07#> <rdf:type> <owl:Ontology>
_:7820 <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:hasSSN> <owl:sameAs> <ns:hasSSN>
<ns:hasSSN> <rdf:type> <owl:Thing>
<http://www.example.org#ISE07> <owl:sameAs> <http://www.example.org#ISE07>
<http://www.example.org#ISE07> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISE07#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasSSN> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISE07#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasSSN> <rdfs:domain> <ns:Person>
E43
(ISE08)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE08#
_:781a <rdf:type> <owl:Ontology>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<http://www.example.org#ISE08> <owl:sameAs> <http://www.example.org#ISE08>
<http://www.example.org#ISE08> <rdf:type> <owl:Thing>
<http://www.example.org#ISE08#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISE08#
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<http://www.example.org#ISE08> <owl:sameAs> <http://www.example.org#ISE08>
<http://www.example.org#ISE08> <rdf:type> <owl:Thing>
_:781c <rdf:type> <owl:Ontology>
<http://www.example.org#ISE08#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISE08#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISE08#
<ns:> <rdf:type> <owl:Ontology>
E44
(ISE09)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE09#
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<http://www.example.org#ISE09> <owl:sameAs> <http://www.example.org#ISE09>
<http://www.example.org#ISE09> <rdf:type> <owl:Thing>
<http://www.example.org#ISE09#> <rdf:type> <owl:Ontology>
_:7816 <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISE09#
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<http://www.example.org#ISE09> <owl:sameAs> <http://www.example.org#ISE09>
<http://www.example.org#ISE09> <rdf:type> <owl:Thing>
<http://www.example.org#ISE09#> <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:7818 <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISE09#
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISE09#
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
E45
(ISE10)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE10#
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Mother> <owl:sameAs> <ns:Mother>
<ns:Mother> <rdf:type> <owl:Thing>
<ns:hasChildNamed> <owl:sameAs> <ns:hasChildNamed>
<ns:hasChildNamed> <rdf:type> <owl:Thing>
<http://www.example.org#ISE10> <owl:sameAs> <http://www.example.org#ISE10>
<http://www.example.org#ISE10> <rdf:type> <owl:Thing>
_:7812 <rdf:type> <owl:Ontology>
<http://www.example.org#ISE10#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISE10#
_:7814 <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Mother> <owl:sameAs> <ns:Mother>
<ns:Mother> <rdf:type> <owl:Thing>
<ns:hasChildNamed> <owl:sameAs> <ns:hasChildNamed>
<ns:hasChildNamed> <rdf:type> <owl:Thing>
<http://www.example.org#ISE10> <owl:sameAs> <http://www.example.org#ISE10>
<http://www.example.org#ISE10> <rdf:type> <owl:Thing>
<http://www.example.org#ISE10#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISE10#
<ns:hasChildNamed> <rdfs:domain> <ns:Woman>
<ns:hasChildNamed> <rdfs:domain> <ns:Mother>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISE10#
<ns:hasChildNamed> <rdfs:domain> <ns:Mother>
<ns:hasChildNamed> <rdfs:domain> <ns:Woman>
<ns:> <rdf:type> <owl:Ontology>
E46
(ISF01)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF01#
<http://www.example.org#ISF01#> <rdf:type> <owl:Ontology>
_:780e <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:livesIn> <owl:sameAs> <ns:livesIn>
<ns:livesIn> <rdf:type> <owl:Thing>
<ns:isResidentIn> <owl:sameAs> <ns:isResidentIn>
<ns:isResidentIn> <rdf:type> <owl:Thing>
<ns:City> <owl:sameAs> <ns:City>
<ns:City> <rdf:type> <owl:Thing>
<http://www.example.org#ISF01> <owl:sameAs> <http://www.example.org#ISF01>
<http://www.example.org#ISF01> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISF01#
<http://www.example.org#ISF01#> <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:livesIn> <owl:sameAs> <ns:livesIn>
<ns:livesIn> <rdf:type> <owl:Thing>
<ns:isResidentIn> <owl:sameAs> <ns:isResidentIn>
<ns:isResidentIn> <rdf:type> <owl:Thing>
_:7810 <rdf:type> <owl:Ontology>
<ns:City> <owl:sameAs> <ns:City>
<ns:City> <rdf:type> <owl:Thing>
<http://www.example.org#ISF01> <owl:sameAs> <http://www.example.org#ISF01>
<http://www.example.org#ISF01> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISF01#
<ns:> <rdf:type> <owl:Ontology>
<ns:isResidentIn> <rdfs:domain> <ns:Person>
<ns:isResidentIn> <rdfs:range> <ns:City>
<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>
<ns:isResidentIn> <rdfs:subPropertyOf> <ns:livesIn>
<ns:livesIn> <rdfs:domain> <ns:Person>
<ns:livesIn> <rdfs:range> <ns:City>
<ns:livesIn> <owl:equivalentProperty> <ns:isResidentIn>
<ns:livesIn> <rdfs:subPropertyOf> <ns:isResidentIn>
 Removed:
ns=http://www.example.org/ISF01#
<ns:> <rdf:type> <owl:Ontology>
<ns:isResidentIn> <rdfs:domain> <ns:Person>
<ns:isResidentIn> <rdfs:range> <ns:City>
<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>
<ns:isResidentIn> <rdfs:subPropertyOf> <ns:livesIn>
<ns:livesIn> <rdfs:range> <ns:City>
<ns:livesIn> <rdfs:domain> <ns:Person>
<ns:livesIn> <owl:equivalentProperty> <ns:isResidentIn>
<ns:livesIn> <rdfs:subPropertyOf> <ns:isResidentIn>
E47
(ISF02)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF02#
<http://www.example.org#ISF02#> <rdf:type> <owl:Ontology>
<ns:City> <owl:sameAs> <ns:City>
<ns:City> <rdf:type> <owl:Thing>
_:780a <rdf:type> <owl:Ontology>
<http://www.example.org#ISF02> <owl:sameAs> <http://www.example.org#ISF02>
<http://www.example.org#ISF02> <rdf:type> <owl:Thing>
<ns:hasSpanishName> <owl:sameAs> <ns:hasSpanishName>
<ns:hasSpanishName> <rdf:type> <owl:Thing>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISF02#
<http://www.example.org#ISF02#> <rdf:type> <owl:Ontology>
<ns:City> <owl:sameAs> <ns:City>
<ns:City> <rdf:type> <owl:Thing>
_:780c <rdf:type> <owl:Ontology>
<http://www.example.org#ISF02> <owl:sameAs> <http://www.example.org#ISF02>
<http://www.example.org#ISF02> <rdf:type> <owl:Thing>
<ns:hasSpanishName> <owl:sameAs> <ns:hasSpanishName>
<ns:hasSpanishName> <rdf:type> <owl:Thing>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISF02#
<ns:hasName> <rdfs:domain> <ns:City>
<ns:hasName> <owl:equivalentProperty> <ns:hasSpanishName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasSpanishName>
<ns:hasSpanishName> <rdfs:domain> <ns:City>
<ns:hasSpanishName> <owl:equivalentProperty> <ns:hasName>
<ns:hasSpanishName> <rdfs:subPropertyOf> <ns:hasName>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISF02#
<ns:hasName> <rdfs:domain> <ns:City>
<ns:hasName> <owl:equivalentProperty> <ns:hasSpanishName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasSpanishName>
<ns:hasSpanishName> <rdfs:domain> <ns:City>
<ns:hasSpanishName> <owl:equivalentProperty> <ns:hasName>
<ns:hasSpanishName> <rdfs:subPropertyOf> <ns:hasName>
<ns:> <rdf:type> <owl:Ontology>
E48
(ISF03)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF03#
<http://www.example.org#ISF03> <owl:sameAs> <http://www.example.org#ISF03>
<http://www.example.org#ISF03> <rdf:type> <owl:Thing>
<http://www.example.org#ISF03#> <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
<ns:Child> <owl:sameAs> <ns:Child>
<ns:Child> <rdf:type> <owl:Thing>
_:7806 <rdf:type> <owl:Ontology>
<ns:hasParent> <owl:sameAs> <ns:hasParent>
<ns:hasParent> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISF03#
<http://www.example.org#ISF03> <owl:sameAs> <http://www.example.org#ISF03>
<http://www.example.org#ISF03> <rdf:type> <owl:Thing>
<http://www.example.org#ISF03#> <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
<ns:Child> <owl:sameAs> <ns:Child>
<ns:Child> <rdf:type> <owl:Thing>
<ns:hasParent> <owl:sameAs> <ns:hasParent>
<ns:hasParent> <rdf:type> <owl:Thing>
_:7808 <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISF03#
<ns:hasParent> <rdfs:domain> <ns:Child>
<ns:hasParent> <rdfs:range> <ns:Person>
<ns:hasParent> <owl:inverseOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:inverseOf> <ns:hasParent>
 Removed:
ns=http://www.example.org/ISF03#
<ns:hasParent> <rdfs:range> <ns:Person>
<ns:hasParent> <rdfs:domain> <ns:Child>
<ns:hasParent> <owl:inverseOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:inverseOf> <ns:hasParent>
E49
(ISG01)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG01#
<ns:hasFriend> <owl:sameAs> <ns:hasFriend>
<ns:hasFriend> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISG01> <owl:sameAs> <http://www.example.org#ISG01>
<http://www.example.org#ISG01> <rdf:type> <owl:Thing>
_:7802 <rdf:type> <owl:Ontology>
<http://www.example.org#ISG01#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISG01#
_:7804 <rdf:type> <owl:Ontology>
<ns:hasFriend> <owl:sameAs> <ns:hasFriend>
<ns:hasFriend> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISG01> <owl:sameAs> <http://www.example.org#ISG01>
<http://www.example.org#ISG01> <rdf:type> <owl:Thing>
<http://www.example.org#ISG01#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISG01#
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <rdfs:domain> <ns:Person>
<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISG01#
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <rdfs:domain> <ns:Person>
<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>
<ns:> <rdf:type> <owl:Ontology>
E50
(ISG02)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG02#
<http://www.example.org#ISG02#> <rdf:type> <owl:Ontology>
<ns:hasFriend> <owl:sameAs> <ns:hasFriend>
<ns:hasFriend> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:77fe <rdf:type> <owl:Ontology>
<http://www.example.org#ISG02> <owl:sameAs> <http://www.example.org#ISG02>
<http://www.example.org#ISG02> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISG02#
<http://www.example.org#ISG02#> <rdf:type> <owl:Ontology>
<ns:hasFriend> <owl:sameAs> <ns:hasFriend>
<ns:hasFriend> <rdf:type> <owl:Thing>
_:7800 <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISG02> <owl:sameAs> <http://www.example.org#ISG02>
<http://www.example.org#ISG02> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISG02#
<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <rdfs:domain> <ns:Person>
<ns:hasFriend> <owl:inverseOf> <ns:hasFriend>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISG02#
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>
<ns:hasFriend> <rdfs:domain> <ns:Person>
<ns:hasFriend> <owl:inverseOf> <ns:hasFriend>
<ns:> <rdf:type> <owl:Ontology>
E51
(ISG03)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG03#
_:77fa <rdf:type> <owl:Ontology>
<http://www.example.org#ISG03#> <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:hasHusband> <owl:sameAs> <ns:hasHusband>
<ns:hasHusband> <rdf:type> <owl:Thing>
<http://www.example.org#ISG03> <owl:sameAs> <http://www.example.org#ISG03>
<http://www.example.org#ISG03> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISG03#
<http://www.example.org#ISG03#> <rdf:type> <owl:Ontology>
_:77fc <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:hasHusband> <owl:sameAs> <ns:hasHusband>
<ns:hasHusband> <rdf:type> <owl:Thing>
<http://www.example.org#ISG03> <owl:sameAs> <http://www.example.org#ISG03>
<http://www.example.org#ISG03> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISG03#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasHusband> <rdfs:domain> <ns:Woman>
<ns:hasHusband> <rdfs:range> <ns:Man>
<ns:hasHusband> <rdf:type> <owl:FunctionalProperty>
 Removed:
ns=http://www.example.org/ISG03#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasHusband> <rdfs:range> <ns:Man>
<ns:hasHusband> <rdfs:domain> <ns:Woman>
<ns:hasHusband> <rdf:type> <owl:FunctionalProperty>
E52
(ISG04)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG04#
<http://www.example.org#ISG04> <owl:sameAs> <http://www.example.org#ISG04>
<http://www.example.org#ISG04> <rdf:type> <owl:Thing>
_:77f6 <rdf:type> <owl:Ontology>
<http://www.example.org#ISG04#> <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:hasAge> <owl:sameAs> <ns:hasAge>
<ns:hasAge> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISG04#
<http://www.example.org#ISG04> <owl:sameAs> <http://www.example.org#ISG04>
<http://www.example.org#ISG04> <rdf:type> <owl:Thing>
<http://www.example.org#ISG04#> <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:77f8 <rdf:type> <owl:Ontology>
<ns:hasAge> <owl:sameAs> <ns:hasAge>
<ns:hasAge> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:domain> <ns:Person>
<ns:hasAge> <rdf:type> <owl:FunctionalProperty>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:domain> <ns:Person>
<ns:hasAge> <rdf:type> <owl:FunctionalProperty>
<ns:> <rdf:type> <owl:Ontology>
E53
(ISG05)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG05#
<http://www.example.org#ISG05#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISG05> <owl:sameAs> <http://www.example.org#ISG05>
<http://www.example.org#ISG05> <rdf:type> <owl:Thing>
<ns:Professor> <owl:sameAs> <ns:Professor>
<ns:Professor> <rdf:type> <owl:Thing>
_:77f2 <rdf:type> <owl:Ontology>
<ns:Student> <owl:sameAs> <ns:Student>
<ns:Student> <rdf:type> <owl:Thing>
<ns:hasTutor> <owl:sameAs> <ns:hasTutor>
<ns:hasTutor> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISG05#
<http://www.example.org#ISG05#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISG05> <owl:sameAs> <http://www.example.org#ISG05>
<http://www.example.org#ISG05> <rdf:type> <owl:Thing>
<ns:Professor> <owl:sameAs> <ns:Professor>
<ns:Professor> <rdf:type> <owl:Thing>
_:77f4 <rdf:type> <owl:Ontology>
<ns:Student> <owl:sameAs> <ns:Student>
<ns:Student> <rdf:type> <owl:Thing>
<ns:hasTutor> <owl:sameAs> <ns:hasTutor>
<ns:hasTutor> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISG05#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasTutor> <rdfs:domain> <ns:Professor>
<ns:hasTutor> <rdfs:range> <ns:Student>
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
 Removed:
ns=http://www.example.org/ISG05#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasTutor> <rdfs:domain> <ns:Professor>
<ns:hasTutor> <rdfs:range> <ns:Student>
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
E54
(ISH01)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISH01#
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISH01#> <rdf:type> <owl:Ontology>
_:77ee <rdf:type> <owl:Ontology>
<http://www.example.org#ISH01> <owl:sameAs> <http://www.example.org#ISH01>
<http://www.example.org#ISH01> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISH01#
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISH01#> <rdf:type> <owl:Ontology>
_:77f0 <rdf:type> <owl:Ontology>
<http://www.example.org#ISH01> <owl:sameAs> <http://www.example.org#ISH01>
<http://www.example.org#ISH01> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISH01#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISH01#
<ns:> <rdf:type> <owl:Ontology>
E55
(ISH02)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISH02#
_:77ea <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISH02> <owl:sameAs> <http://www.example.org#ISH02>
<http://www.example.org#ISH02> <rdf:type> <owl:Thing>
<ns:Father> <owl:sameAs> <ns:Father>
<ns:Father> <rdf:type> <owl:Thing>
<ns:Student> <owl:sameAs> <ns:Student>
<ns:Student> <rdf:type> <owl:Thing>
<http://www.example.org#ISH02#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISH02#
_:77ec <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISH02> <owl:sameAs> <http://www.example.org#ISH02>
<http://www.example.org#ISH02> <rdf:type> <owl:Thing>
<ns:Father> <owl:sameAs> <ns:Father>
<ns:Father> <rdf:type> <owl:Thing>
<ns:Student> <owl:sameAs> <ns:Student>
<ns:Student> <rdf:type> <owl:Thing>
<http://www.example.org#ISH02#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISH02#
<ns:Peter> <rdf:type> <ns:Student>
<ns:Peter> <rdf:type> <ns:Father>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISH02#
<ns:Peter> <rdf:type> <ns:Student>
<ns:Peter> <rdf:type> <ns:Father>
<ns:> <rdf:type> <owl:Ontology>
E56
(ISH03)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISH03#
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISH03#> <rdf:type> <owl:Ontology>
_:77e6 <rdf:type> <owl:Ontology>
<http://www.example.org#ISH03> <owl:sameAs> <http://www.example.org#ISH03>
<http://www.example.org#ISH03> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISH03#
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISH03#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISH03> <owl:sameAs> <http://www.example.org#ISH03>
<http://www.example.org#ISH03> <rdf:type> <owl:Thing>
_:77e8 <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISH03#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISH03#
<ns:> <rdf:type> <owl:Ontology>
E57
(ISI01)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI01#
<http://www.example.org#ISI01> <owl:sameAs> <http://www.example.org#ISI01>
<http://www.example.org#ISI01> <rdf:type> <owl:Thing>
_:77e2 <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISI01#> <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISI01#
<http://www.example.org#ISI01> <owl:sameAs> <http://www.example.org#ISI01>
<http://www.example.org#ISI01> <rdf:type> <owl:Thing>
_:77e4 <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISI01#> <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISI01#
<ns:> <rdf:type> <owl:Ontology>
<ns:Mary> <ns:hasChild> <ns:Paul>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISI01#
<ns:> <rdf:type> <owl:Ontology>
<ns:Mary> <ns:hasChild> <ns:Paul>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdfs:domain> <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.example.org#ISI02> <owl:sameAs> <http://www.example.org#ISI02>
<http://www.example.org#ISI02> <rdf:type> <owl:Thing>
_:77de <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:knows> <owl:sameAs> <ns:knows>
<ns:knows> <rdf:type> <owl:Thing>
<http://www.example.org#ISI02#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISI02#
_:77e0 <rdf:type> <owl:Ontology>
<http://www.example.org#ISI02> <owl:sameAs> <http://www.example.org#ISI02>
<http://www.example.org#ISI02> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:knows> <owl:sameAs> <ns:knows>
<ns:knows> <rdf:type> <owl:Thing>
<http://www.example.org#ISI02#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISI02#
<ns:> <rdf:type> <owl:Ontology>
<ns:knows> <rdfs:domain> <ns:Person>
<ns:knows> <rdfs:range> <ns:Person>
<ns:Peter> <ns:knows> <ns:Peter>
 Removed:
ns=http://www.example.org/ISI02#
<ns:> <rdf:type> <owl:Ontology>
<ns:knows> <rdfs:range> <ns:Person>
<ns:knows> <rdfs:domain> <ns:Person>
<ns:Peter> <ns:knows> <ns:Peter>
E59
(ISI03)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI03#
_:77da <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
<http://www.example.org#ISI03> <owl:sameAs> <http://www.example.org#ISI03>
<http://www.example.org#ISI03> <rdf:type> <owl:Thing>
<ns:Child> <owl:sameAs> <ns:Child>
<ns:Child> <rdf:type> <owl:Thing>
<ns:Mother> <owl:sameAs> <ns:Mother>
<ns:Mother> <rdf:type> <owl:Thing>
<http://www.example.org#ISI03#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISI03#
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
_:77dc <rdf:type> <owl:Ontology>
<http://www.example.org#ISI03> <owl:sameAs> <http://www.example.org#ISI03>
<http://www.example.org#ISI03> <rdf:type> <owl:Thing>
<ns:Child> <owl:sameAs> <ns:Child>
<ns:Child> <rdf:type> <owl:Thing>
<ns:Mother> <owl:sameAs> <ns:Mother>
<ns:Mother> <rdf:type> <owl:Thing>
<http://www.example.org#ISI03#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISI03#
<ns:> <rdf:type> <owl:Ontology>
<ns:Mary> <ns:hasChild> <ns:Paul>
<ns:hasChild> <rdfs:domain> <ns:Mother>
<ns:hasChild> <rdfs:range> <ns:Child>
 Removed:
ns=http://www.example.org/ISI03#
<ns:> <rdf:type> <owl:Ontology>
<ns:Mary> <ns:hasChild> <ns:Paul>
<ns:hasChild> <rdfs:domain> <ns:Mother>
<ns:hasChild> <rdfs:range> <ns:Child>
E60
(ISI04)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI04#
<http://www.example.org#ISI04#> <rdf:type> <owl:Ontology>
_:77d6 <rdf:type> <owl:Ontology>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<http://www.example.org#ISI04> <owl:sameAs> <http://www.example.org#ISI04>
<http://www.example.org#ISI04> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISI04#
<http://www.example.org#ISI04#> <rdf:type> <owl:Ontology>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
_:77d8 <rdf:type> <owl:Ontology>
<http://www.example.org#ISI04> <owl:sameAs> <http://www.example.org#ISI04>
<http://www.example.org#ISI04> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISI04#
<ns:MarySmith> <ns:hasName> "Mary"
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISI04#
<ns:MarySmith> <ns:hasName> "Mary"^^<xsd:string>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
E61
(ISI05)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI05#
<http://www.example.org#ISI05#> <rdf:type> <owl:Ontology>
_:77d2 <rdf:type> <owl:Ontology>
<http://www.example.org#ISI05> <owl:sameAs> <http://www.example.org#ISI05>
<http://www.example.org#ISI05> <rdf:type> <owl:Thing>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISI05#
<http://www.example.org#ISI05#> <rdf:type> <owl:Ontology>
_:77d4 <rdf:type> <owl:Ontology>
<http://www.example.org#ISI05> <owl:sameAs> <http://www.example.org#ISI05>
<http://www.example.org#ISI05> <rdf:type> <owl:Thing>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISI05#
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISI05#
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:MaryAnn> <ns:hasName> "Ann"^^<xsd:string>
<ns:MaryAnn> <ns:hasName> "Mary"^^<xsd:string>
<ns:> <rdf:type> <owl:Ontology>
E62
(ISJ01)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E63
(ISJ02)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E64
(ISJ03)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E65
(ISK01)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK01#
<http://www.example.org#ISK01#> <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISK01> <owl:sameAs> <http://www.example.org#ISK01>
<http://www.example.org#ISK01> <rdf:type> <owl:Thing>
_:77ce <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISK01#
<http://www.example.org#ISK01#> <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISK01> <owl:sameAs> <http://www.example.org#ISK01>
<http://www.example.org#ISK01> <rdf:type> <owl:Thing>
_:77d0 <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISK01#
<ns:MaryAnn> <owl:sameAs> <ns:Mary>
<ns:> <rdf:type> <owl:Ontology>
<ns:Mary> <owl:sameAs> <ns:MaryAnn>
 Removed:
ns=http://www.example.org/ISK01#
<ns:MaryAnn> <owl:sameAs> <ns:Mary>
<ns:> <rdf:type> <owl:Ontology>
<ns:Mary> <owl:sameAs> <ns:MaryAnn>
E66
(ISK02)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK02#
_:77ca <rdf:type> <owl:Ontology>
<http://www.example.org#ISK02> <owl:sameAs> <http://www.example.org#ISK02>
<http://www.example.org#ISK02> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISK02#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISK02#
<http://www.example.org#ISK02#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISK02> <owl:sameAs> <http://www.example.org#ISK02>
<http://www.example.org#ISK02> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:77cc <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISK02#
<ns:MaryAnn> <owl:differentFrom> <ns:Ann>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISK02#
<ns:MaryAnn> <owl:differentFrom> <ns:Ann>
<ns:> <rdf:type> <owl:Ontology>
E67
(ISK03)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E68
(ISL01)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL01#
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<http://www.example.org#ISL01> <owl:sameAs> <http://www.example.org#ISL01>
<http://www.example.org#ISL01> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<http://www.example.org#ISL01#> <rdf:type> <owl:Ontology>
_:77c6 <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISL01#
_:77c8 <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<http://www.example.org#ISL01> <owl:sameAs> <http://www.example.org#ISL01>
<http://www.example.org#ISL01> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<http://www.example.org#ISL01#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL01#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL01#
<ns:> <rdf:type> <owl:Ontology>
E69
(ISL02)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL02#
_:77c2 <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<http://www.example.org#ISL02#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISL02> <owl:sameAs> <http://www.example.org#ISL02>
<http://www.example.org#ISL02> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISL02#
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
_:77c4 <rdf:type> <owl:Ontology>
<http://www.example.org#ISL02#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISL02> <owl:sameAs> <http://www.example.org#ISL02>
<http://www.example.org#ISL02> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISL02#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL02#
<ns:> <rdf:type> <owl:Ontology>
E70
(ISL03)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL03#
<http://www.example.org#ISL03> <owl:sameAs> <http://www.example.org#ISL03>
<http://www.example.org#ISL03> <rdf:type> <owl:Thing>
_:77be <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<http://www.example.org#ISL03#> <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISL03#
_:77c0 <rdf:type> <owl:Ontology>
<http://www.example.org#ISL03> <owl:sameAs> <http://www.example.org#ISL03>
<http://www.example.org#ISL03> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<http://www.example.org#ISL03#> <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISL03#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL03#
<ns:> <rdf:type> <owl:Ontology>
E71
(ISL04)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL04#
<http://www.example.org#ISL04> <owl:sameAs> <http://www.example.org#ISL04>
<http://www.example.org#ISL04> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<http://www.example.org#ISL04#> <rdf:type> <owl:Ontology>
_:77ba <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISL04#
_:77bc <rdf:type> <owl:Ontology>
<http://www.example.org#ISL04> <owl:sameAs> <http://www.example.org#ISL04>
<http://www.example.org#ISL04> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<http://www.example.org#ISL04#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL04#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL04#
<ns:> <rdf:type> <owl:Ontology>
E72
(ISL05)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL05#
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<http://www.example.org#ISL05> <owl:sameAs> <http://www.example.org#ISL05>
<http://www.example.org#ISL05> <rdf:type> <owl:Thing>
<http://www.example.org#ISL05#> <rdf:type> <owl:Ontology>
_:77b6 <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISL05#
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
_:77b8 <rdf:type> <owl:Ontology>
<http://www.example.org#ISL05> <owl:sameAs> <http://www.example.org#ISL05>
<http://www.example.org#ISL05> <rdf:type> <owl:Thing>
<http://www.example.org#ISL05#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL05#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL05#
<ns:> <rdf:type> <owl:Ontology>
E73
(ISL06)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL06#
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
_:77b2 <rdf:type> <owl:Ontology>
<http://www.example.org#ISL06> <owl:sameAs> <http://www.example.org#ISL06>
<http://www.example.org#ISL06> <rdf:type> <owl:Thing>
<http://www.example.org#ISL06#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISL06#
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<http://www.example.org#ISL06> <owl:sameAs> <http://www.example.org#ISL06>
<http://www.example.org#ISL06> <rdf:type> <owl:Thing>
_:77b4 <rdf:type> <owl:Ontology>
<http://www.example.org#ISL06#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL06#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL06#
<ns:> <rdf:type> <owl:Ontology>
E74
(ISL07)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL07#
<http://www.example.org#ISL07#> <rdf:type> <owl:Ontology>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
_:77ae <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISL07> <owl:sameAs> <http://www.example.org#ISL07>
<http://www.example.org#ISL07> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISL07#
<http://www.example.org#ISL07#> <rdf:type> <owl:Ontology>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISL07> <owl:sameAs> <http://www.example.org#ISL07>
<http://www.example.org#ISL07> <rdf:type> <owl:Thing>
_:77b0 <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL07#
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL07#
<ns:MaryAnn> <ns:hasName> "Ann"^^<xsd:string>
<ns:MaryAnn> <ns:hasName> "Mary"^^<xsd:string>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
E75
(ISL08)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
<http://www.example.org#ISL08#> <rdf:type> <owl:Ontology>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISL08> <owl:sameAs> <http://www.example.org#ISL08>
<http://www.example.org#ISL08> <rdf:type> <owl:Thing>
_:77aa <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISL08#
<http://www.example.org#ISL08#> <rdf:type> <owl:Ontology>
_:77ac <rdf:type> <owl:Ontology>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISL08> <owl:sameAs> <http://www.example.org#ISL08>
<http://www.example.org#ISL08> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISL08#
<ns:> <rdf:type> <owl:Ontology>
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
<ns:hasName> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISL08#
<ns:> <rdf:type> <owl:Ontology>
<ns:MaryAnn> <ns:hasName> "Ann"^^<xsd:string>
<ns:MaryAnn> <ns:hasName> "Mary"^^<xsd:string>
<ns:hasName> <rdfs:domain> <ns:Person>
E76
(ISL09)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL09#
<http://www.example.org#ISL09> <owl:sameAs> <http://www.example.org#ISL09>
<http://www.example.org#ISL09> <rdf:type> <owl:Thing>
<http://www.example.org#ISL09#> <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
_:77a6 <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISL09#
<http://www.example.org#ISL09> <owl:sameAs> <http://www.example.org#ISL09>
<http://www.example.org#ISL09> <rdf:type> <owl:Thing>
<http://www.example.org#ISL09#> <rdf:type> <owl:Ontology>
_:77a8 <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISL09#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL09#
<ns:> <rdf:type> <owl:Ontology>
E77
(ISL10)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL10#
_:77a2 <rdf:type> <owl:Ontology>
<http://www.example.org#ISL10> <owl:sameAs> <http://www.example.org#ISL10>
<http://www.example.org#ISL10> <rdf:type> <owl:Thing>
<http://www.example.org#ISL10#> <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISL10#
_:77a4 <rdf:type> <owl:Ontology>
<http://www.example.org#ISL10> <owl:sameAs> <http://www.example.org#ISL10>
<http://www.example.org#ISL10> <rdf:type> <owl:Thing>
<http://www.example.org#ISL10#> <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISL10#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL10#
<ns:> <rdf:type> <owl:Ontology>
E78
(ISL11)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL11#
<ns:hasSurname> <owl:sameAs> <ns:hasSurname>
<ns:hasSurname> <rdf:type> <owl:Thing>
_:779e <rdf:type> <owl:Ontology>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISL11#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISL11> <owl:sameAs> <http://www.example.org#ISL11>
<http://www.example.org#ISL11> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISL11#
<ns:hasSurname> <owl:sameAs> <ns:hasSurname>
<ns:hasSurname> <rdf:type> <owl:Thing>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISL11#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISL11> <owl:sameAs> <http://www.example.org#ISL11>
<http://www.example.org#ISL11> <rdf:type> <owl:Thing>
_:77a0 <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL11#
<ns:JohnDoe> <ns:hasSurname> "Doe"
<ns:JohnDoe> <ns:hasName> "John"
<ns:hasSurname> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL11#
<ns:JohnDoe> <ns:hasSurname> "Doe"^^<xsd:string>
<ns:JohnDoe> <ns:hasName> "John"^^<xsd:string>
<ns:hasSurname> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
E79
(ISL12)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL12#
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<ns:hasSurname> <owl:sameAs> <ns:hasSurname>
<ns:hasSurname> <rdf:type> <owl:Thing>
<http://www.example.org#ISL12#> <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:779a <rdf:type> <owl:Ontology>
<http://www.example.org#ISL12> <owl:sameAs> <http://www.example.org#ISL12>
<http://www.example.org#ISL12> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISL12#
_:779c <rdf:type> <owl:Ontology>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<ns:hasSurname> <owl:sameAs> <ns:hasSurname>
<ns:hasSurname> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<http://www.example.org#ISL12#> <rdf:type> <owl:Ontology>
<http://www.example.org#ISL12> <owl:sameAs> <http://www.example.org#ISL12>
<http://www.example.org#ISL12> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISL12#
<ns:hasSurname> <rdfs:domain> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:JohnDoe> <ns:hasName> "John"
<ns:JohnDoe> <ns:hasSurname> "Doe"
<ns:hasName> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISL12#
<ns:hasSurname> <rdfs:domain> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:JohnDoe> <ns:hasName> "John"^^<xsd:string>
<ns:JohnDoe> <ns:hasSurname> "Doe"^^<xsd:string>
<ns:hasName> <rdfs:domain> <ns:Person>
E80
(ISL13)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E81
(ISL14)
Interchange = N.E.
Execution = FAIL
Interchange = SAME
Execution = OK
Interchange = N.E.
Execution = FAIL
E82
(ISL15)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL15#
<#label> <rdf:type> <owl:DatatypeProperty>
<#label> <rdf:type> <rdf:Property>
<#label> <owl:equivalentProperty> <#label>
<#label> <rdfs:subPropertyOf> <#label>
<http://www.example.org#ISL15> <owl:sameAs> <http://www.example.org#ISL15>
<http://www.example.org#ISL15> <rdf:type> <owl:Thing>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/ProtegeOWL/SemTalk/finals/final_ontologyISL15.owl#label> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/ProtegeOWL/SemTalk/finals/final_ontologyISL15.owl#label> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/ProtegeOWL/SemTalk/finals/final_ontologyISL15.owl#label> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/ProtegeOWL/SemTalk/finals/final_ontologyISL15.owl#label>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/ProtegeOWL/SemTalk/finals/final_ontologyISL15.owl#label> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/ProtegeOWL/SemTalk/finals/final_ontologyISL15.owl#label>
<http://www.example.org#ISL15#> <rdf:type> <owl:Ontology>
_:7796 <rdf:type> <owl:Ontology>
<ns:Book> <owl:sameAs> <ns:Book>
<ns:Book> <rdf:type> <owl:Thing>
<ns:Book> <#label> "; "^^<xsd:string>
  Inserted:
ns=http://www.example.org/ISL15#
<#label> <rdf:type> <owl:DatatypeProperty>
<#label> <rdf:type> <rdf:Property>
<#label> <owl:equivalentProperty> <#label>
<#label> <rdfs:subPropertyOf> <#label>
_:7798 <rdf:type> <owl:Ontology>
<http://www.example.org#ISL15> <owl:sameAs> <http://www.example.org#ISL15>
<http://www.example.org#ISL15> <rdf:type> <owl:Thing>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/ProtegeOWL/SemTalk/finals/final_ontologyISL15.owl#label> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/ProtegeOWL/SemTalk/finals/final_ontologyISL15.owl#label> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/ProtegeOWL/SemTalk/finals/final_ontologyISL15.owl#label> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/ProtegeOWL/SemTalk/finals/final_ontologyISL15.owl#label>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/ProtegeOWL/SemTalk/finals/final_ontologyISL15.owl#label> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/ProtegeOWL/SemTalk/finals/final_ontologyISL15.owl#label>
<http://www.example.org#ISL15#> <rdf:type> <owl:Ontology>
<ns:Book> <owl:sameAs> <ns:Book>
<ns:Book> <rdf:type> <owl:Thing>
<ns:Book> <#label> "; "^^<xsd:string>
 Removed:
ns=http://www.example.org/ISL15#
<ns:> <rdf:type> <owl:Ontology>
<ns:Book> <rdfs:label> "Book"@en
<ns:Book> <rdfs:label> "Libro"@es
 Removed:
ns=http://www.example.org/ISL15#
<ns:> <rdf:type> <owl:Ontology>
<ns:Book> <rdfs:label> "Libro"@es
<ns:Book> <rdfs:label> "Book"@en
Namespaces
owl=http://www.w3.org/2002/07/owl#
rdf=http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs=http://www.w3.org/2000/01/rdf-schema#
xsd=http://www.w3.org/2001/XMLSchema
#diff=http://www.aifb.uni-karlsruhe.de/WBS/dvr/owltools/diff/result#