Interoperability from Jena to SemTalk (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (Jena) Step2 (SemTalk)
E01
(ISA01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA01#
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7e4a <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA01#
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:7e4c <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#
_:7e46 <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>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA02#
<ns:Child> <owl:sameAs> <ns:Child>
<ns:Child> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
_:7e48 <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <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>
 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>
E03
(ISA03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA03#
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:7e42 <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Child> <owl:sameAs> <ns:Child>
<ns:Child> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA03#
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7e44 <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>
 Removed:
ns=http://www.example.org/ISA03#
<ns:Child> <rdfs:subClassOf> <ns:Man>
<ns:Child> <rdfs:subClassOf> <ns:Person>
E04
(ISA04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA04#
<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>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7e3e <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISA04#
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
_:7e40 <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>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISA04#
<ns:Woman> <rdfs:subClassOf> <ns:Person>
<ns:Man> <rdfs:subClassOf> <ns:Person>
 Removed:
ns=http://www.example.org/ISA04#
<ns:Woman> <rdfs:subClassOf> <ns:Person>
<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#
_:7e3a <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Male> <owl:sameAs> <ns:Male>
<ns:Male> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA05#
_:7e3c <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<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: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: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#
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
_:7e36 <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISA06#
_:7e38 <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
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#
<ns:Italienne> <owl:sameAs> <ns:Italienne>
<ns:Italienne> <rdf:type> <owl:Thing>
<ns:Italian> <owl:sameAs> <ns:Italian>
<ns:Italian> <rdf:type> <owl:Thing>
_:7e32 <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Italiano> <owl:sameAs> <ns:Italiano>
<ns:Italiano> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISB01#
<ns:Italienne> <owl:sameAs> <ns:Italienne>
<ns:Italienne> <rdf:type> <owl:Thing>
<ns:Italian> <owl:sameAs> <ns:Italian>
<ns:Italian> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Italiano> <owl:sameAs> <ns:Italiano>
<ns:Italiano> <rdf:type> <owl:Thing>
_:7e34 <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>
 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>
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#
_:7e2e <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISD01#
_:7e30 <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
E33
(ISD02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD02#
_:7e2a <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>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISD02#
<ns:isFatherOf> <owl:sameAs> <ns:isFatherOf>
<ns:isFatherOf> <rdf:type> <owl:Thing>
_:7e2c <rdf:type> <owl:Ontology>
<ns:isGrandFatherOf> <owl:sameAs> <ns:isGrandFatherOf>
<ns:isGrandFatherOf> <rdf:type> <owl:Thing>
<ns:isAncestorOf> <owl:sameAs> <ns:isAncestorOf>
<ns:isAncestorOf> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISD02#
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
<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: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#
<ns:hasAge> <owl:sameAs> <ns:hasAge>
<ns:hasAge> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7e26 <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISD03#
<ns:hasAge> <owl:sameAs> <ns:hasAge>
<ns:hasAge> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7e28 <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#
<ns:isInteger> <owl:sameAs> <ns:isInteger>
<ns:isInteger> <rdf:type> <owl:Thing>
<ns:isReal> <owl:sameAs> <ns:isReal>
<ns:isReal> <rdf:type> <owl:Thing>
_:7e22 <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:isRational> <owl:sameAs> <ns:isRational>
<ns:isRational> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISD04#
<ns:isInteger> <owl:sameAs> <ns:isInteger>
<ns:isInteger> <rdf:type> <owl:Thing>
<ns:isReal> <owl:sameAs> <ns:isReal>
<ns:isReal> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7e24 <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: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: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#
_:7e1e <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISE01#
_:7e20 <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISE01#
<ns:hasChild> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISE01#
<ns:hasChild> <rdfs:domain> <ns:Person>
E37
(ISE02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE02#
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7e1a <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISE02#
_:7e1c <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISE02#
<ns:hasChild> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISE02#
<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#
_:7e16 <rdf:type> <owl:Ontology>
<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:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISE03#
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
_:7e18 <rdf:type> <owl:Ontology>
<ns:Father> <owl:sameAs> <ns:Father>
<ns:Father> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISE03#
<ns:hasChild> <rdfs:domain> <ns:Father>
<ns:hasChild> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISE03#
<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#
_:7e12 <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISE04#
_:7e14 <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<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/ISE04#
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISE04#
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <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>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7e0e <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>
  Inserted:
ns=http://www.example.org/ISE05#
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
_:7e10 <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <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>
 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>
 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>
E41
(ISE06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE06#
_:7e0a <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>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISE06#
<ns:Child> <owl:sameAs> <ns:Child>
<ns:Child> <rdf:type> <owl:Thing>
<ns:Human> <owl:sameAs> <ns:Human>
<ns:Human> <rdf:type> <owl:Thing>
_:7e0c <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISE06#
<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:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Human>
<ns:hasChild> <rdfs:range> <ns:Child>
E42
(ISE07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE07#
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:hasSSN> <owl:sameAs> <ns:hasSSN>
<ns:hasSSN> <rdf:type> <owl:Thing>
_:7e06 <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISE07#
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7e08 <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>
 Removed:
ns=http://www.example.org/ISE07#
<ns:hasSSN> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISE07#
<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#
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
_:7e02 <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISE08#
_:7e04 <rdf:type> <owl:Ontology>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
E44
(ISE09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE09#
_:7dfe <rdf:type> <owl:Ontology>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISE09#
_:7e00 <rdf:type> <owl:Ontology>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISE09#
<ns:hasName> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISE09#
<ns:hasName> <rdfs:domain> <ns:Person>
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:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Mother> <owl:sameAs> <ns:Mother>
<ns:Mother> <rdf:type> <owl:Thing>
_:7dfa <rdf:type> <owl:Ontology>
<ns:hasChildNamed> <owl:sameAs> <ns:hasChildNamed>
<ns:hasChildNamed> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISE10#
_:7dfc <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <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>
 Removed:
ns=http://www.example.org/ISE10#
<ns:hasChildNamed> <rdfs:domain> <ns:Woman>
<ns:hasChildNamed> <rdfs:domain> <ns:Mother>
 Removed:
ns=http://www.example.org/ISE10#
<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#
<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:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:City> <owl:sameAs> <ns:City>
<ns:City> <rdf:type> <owl:Thing>
_:7df6 <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISF01#
_:7df8 <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:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:City> <owl:sameAs> <ns:City>
<ns:City> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISF01#
<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: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>
E47
(ISF02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF02#
_:7df2 <rdf:type> <owl:Ontology>
<ns:City> <owl:sameAs> <ns:City>
<ns:City> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <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#
<ns:City> <owl:sameAs> <ns:City>
<ns:City> <rdf:type> <owl:Thing>
_:7df4 <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <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>
 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>
E48
(ISF03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF03#
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
_:7dee <rdf:type> <owl:Ontology>
<ns:Child> <owl:sameAs> <ns:Child>
<ns:Child> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:hasParent> <owl:sameAs> <ns:hasParent>
<ns:hasParent> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISF03#
<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:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:hasParent> <owl:sameAs> <ns:hasParent>
<ns:hasParent> <rdf:type> <owl:Thing>
_:7df0 <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:hasChild> <owl:inverseOf> <ns:hasParent>
 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: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:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:hasFriend> <owl:sameAs> <ns:hasFriend>
<ns:hasFriend> <rdf:type> <owl:Thing>
_:7dea <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISG01#
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:hasFriend> <owl:sameAs> <ns:hasFriend>
<ns:hasFriend> <rdf:type> <owl:Thing>
_:7dec <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISG01#
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISG01#
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <rdfs:domain> <ns:Person>
E50
(ISG02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG02#
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:hasFriend> <owl:sameAs> <ns:hasFriend>
<ns:hasFriend> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:7de6 <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISG02#
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:hasFriend> <owl:sameAs> <ns:hasFriend>
<ns:hasFriend> <rdf:type> <owl:Thing>
_:7de8 <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISG02#
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISG02#
<ns:hasFriend> <rdfs:range> <ns:Person>
<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#
_:7de2 <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:hasHusband> <owl:sameAs> <ns:hasHusband>
<ns:hasHusband> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISG03#
_:7de4 <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:hasHusband> <owl:sameAs> <ns:hasHusband>
<ns:hasHusband> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISG03#
<ns:hasHusband> <rdfs:domain> <ns:Woman>
<ns:hasHusband> <rdfs:range> <ns:Man>
<ns:hasHusband> <rdf:type> <owl:ObjectProperty>
 Removed:
ns=http://www.example.org/ISG03#
<ns:hasHusband> <rdfs:domain> <ns:Woman>
<ns:hasHusband> <rdfs:range> <ns:Man>
<ns:hasHusband> <rdf:type> <owl:ObjectProperty>
E52
(ISG04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG04#
<ns:hasAge> <owl:sameAs> <ns:hasAge>
<ns:hasAge> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7dde <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISG04#
<ns:hasAge> <owl:sameAs> <ns:hasAge>
<ns:hasAge> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7de0 <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:domain> <ns:Person>
<ns:hasAge> <rdfs:range> <rdfs:Literal>
<ns:hasAge> <rdf:type> <owl:DatatypeProperty>
 Removed:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:domain> <ns:Person>
<ns:hasAge> <rdfs:range> <rdfs:Literal>
<ns:hasAge> <rdf:type> <owl:DatatypeProperty>
E53
(ISG05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG05#
<ns:Professor> <owl:sameAs> <ns:Professor>
<ns:Professor> <rdf:type> <owl:Thing>
_:7dda <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<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#
_:7ddc <rdf:type> <owl:Ontology>
<ns:Professor> <owl:sameAs> <ns:Professor>
<ns:Professor> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<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:hasTutor> <rdfs:domain> <ns:Professor>
<ns:hasTutor> <rdfs:range> <ns:Student>
<ns:hasTutor> <rdf:type> <owl:ObjectProperty>
 Removed:
ns=http://www.example.org/ISG05#
<ns:hasTutor> <rdfs:domain> <ns:Professor>
<ns:hasTutor> <rdfs:range> <ns:Student>
<ns:hasTutor> <rdf:type> <owl:ObjectProperty>
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>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7dd6 <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISH01#
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7dd8 <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#
_:7dd2 <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <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>
  Inserted:
ns=http://www.example.org/ISH02#
_:7dd4 <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <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>
 Removed:
ns=http://www.example.org/ISH02#
<ns:Peter> <rdf:type> <ns:Person>
<ns:Peter> <rdf:type> <ns:Father>
 Removed:
ns=http://www.example.org/ISH02#
<ns:Peter> <rdf:type> <ns:Person>
<ns:Peter> <rdf:type> <ns:Father>
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>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7dce <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISH03#
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7dd0 <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#
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7dca <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISI01#
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7dcc <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISI01#
<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:Mary> <ns:hasChild> <ns:Paul>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
E58
(ISI02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI02#
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:knows> <owl:sameAs> <ns:knows>
<ns:knows> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:7dc6 <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISI02#
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:knows> <owl:sameAs> <ns:knows>
<ns:knows> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:7dc8 <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISI02#
<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:knows> <rdfs:domain> <ns:Person>
<ns:knows> <rdfs:range> <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#
_:7dc2 <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <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>
  Inserted:
ns=http://www.example.org/ISI03#
<ns:hasChild> <owl:sameAs> <ns:hasChild>
<ns:hasChild> <rdf:type> <owl:Thing>
_:7dc4 <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <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>
 Removed:
ns=http://www.example.org/ISI03#
<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: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#
_:7dbe <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>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISI04#
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
_:7dc0 <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISI04#
<ns:MarySmith> <ns:hasName> "Mary"
<ns:hasName> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISI04#
<ns:MarySmith> <ns:hasName> "Mary"
<ns:hasName> <rdfs:domain> <ns:Person>
E61
(ISI05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI05#
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:7dba <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISI05#
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:7dbc <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISI05#
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
<ns:hasName> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISI05#
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
<ns:hasName> <rdfs:domain> <ns:Person>
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#
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:7db6 <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISK01#
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
_:7db8 <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISK01#
<ns:MaryAnn> <owl:sameAs> <ns:Mary>
<ns:Mary> <owl:sameAs> <ns:MaryAnn>
 Removed:
ns=http://www.example.org/ISK01#
<ns:MaryAnn> <owl:sameAs> <ns:Mary>
<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#
_:7db2 <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISK02#
_:7db4 <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISK02#
<ns:MaryAnn> <owl:differentFrom> <ns:Ann>
 Removed:
ns=http://www.example.org/ISK02#
<ns:MaryAnn> <owl:differentFrom> <ns:Ann>
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>
_:7dae <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISL01#
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
_:7db0 <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
E69
(ISL02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL02#
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
_:7daa <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISL02#
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
_:7dac <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
E70
(ISL03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL03#
_:7da6 <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>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISL03#
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7da8 <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#
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
_:7da2 <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISL04#
_:7da4 <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>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
E72
(ISL05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL05#
_:7d9e <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISL05#
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
_:7da0 <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>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7d9a <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>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7d9c <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#
_:7d96 <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>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISL07#
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7d98 <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>
 Removed:
ns=http://www.example.org/ISL07#
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
<ns:hasName> <rdfs:domain> <ns:Person>
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7d92 <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISL08#
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7d94 <rdf:type> <owl:Ontology>
<ns:Person> <owl:sameAs> <ns:Person>
<ns:Person> <rdf:type> <owl:Thing>
<ns:hasName> <owl:sameAs> <ns:hasName>
<ns:hasName> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISL08#
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
<ns:hasName> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISL08#
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
<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#
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7d8e <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISL09#
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7d90 <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#
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
_:7d8a <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISL10#
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
_:7d8c <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
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>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
_:7d86 <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>
  Inserted:
ns=http://www.example.org/ISL11#
<ns:hasSurname> <owl:sameAs> <ns:hasSurname>
<ns:hasSurname> <rdf:type> <owl:Thing>
<ns:> <owl:sameAs> <ns:>
<ns:> <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>
_:7d88 <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>
 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>
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL12#
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<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>
_:7d82 <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISL12#
_:7d84 <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<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>
 Removed:
ns=http://www.example.org/ISL12#
<ns:hasSurname> <rdfs:domain> <ns:Person>
<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:JohnDoe> <ns:hasName> "John"
<ns:JohnDoe> <ns:hasSurname> "Doe"
<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>
_:7d7e <rdf:type> <owl:Ontology>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/Jena/SemTalk/finals/final_ontologyISL15.owl#label> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/Jena/SemTalk/finals/final_ontologyISL15.owl#label> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/Jena/SemTalk/finals/final_ontologyISL15.owl#label> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/Jena/SemTalk/finals/final_ontologyISL15.owl#label>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/Jena/SemTalk/finals/final_ontologyISL15.owl#label> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/Jena/SemTalk/finals/final_ontologyISL15.owl#label>
<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>
<ns:> <owl:sameAs> <ns:>
<ns:> <rdf:type> <owl:Thing>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/Jena/SemTalk/finals/final_ontologyISL15.owl#label> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/Jena/SemTalk/finals/final_ontologyISL15.owl#label> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/Jena/SemTalk/finals/final_ontologyISL15.owl#label> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/Jena/SemTalk/finals/final_ontologyISL15.owl#label>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/Jena/SemTalk/finals/final_ontologyISL15.owl#label> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/Jena/SemTalk/finals/final_ontologyISL15.owl#label>
_:7d80 <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:Book> <rdfs:label> "Book"@en
<ns:Book> <rdfs:label> "Libro"@es
 Removed:
ns=http://www.example.org/ISL15#
<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#