Interoperability from KAON2 to Gate (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (KAON2) Step2 (Gate)
E01
(ISA01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA01#
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
Removed:
ns=http://www.example.org/ISA01#
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
Removed:
ns=http://www.example.org/ISA01#
<ns:> <rdf:type> <owl:Ontology>
E02
(ISA02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E03
(ISA03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E04
(ISA04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E05
(ISA05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E06
(ISA06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E07
(ISA07)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E08
(ISA08)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E09
(ISA09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA09#
<ns:Employee> <rdfs:subClassOf> ""
Inserted:
ns=http://www.example.org/ISA09#
<ns:Employee> <rdfs:subClassOf> ""
 
 Removed:
ns=http://www.example.org/ISA09#
_:61b7 <rdf:type> <owl:Restriction>
_:61b7 <owl:onProperty> <ns:worksIn>
_:61b7 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:61b7
Removed:
ns=http://www.example.org/ISA09#
_:7ff7 <rdf:type> <owl:Restriction>
_:7ff7 <owl:onProperty> <ns:worksIn>
_:7ff7 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:7ff7
 
E10
(ISA10)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E11
(ISA11)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E12
(ISA12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA12#
<ns:Researcher> <rdfs:subClassOf> ""
<ns:Researcher> <rdfs:subClassOf> _:619d
_:619d <rdf:type> <owl:Restriction>
_:619d <owl:onProperty> <ns:hasAffiliation>
_:619d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISA12#
<ns:Researcher> <rdfs:subClassOf> _:7fef
<ns:Researcher> <rdfs:subClassOf> ""
_:7fef <rdf:type> <owl:Restriction>
_:7fef <owl:onProperty> <ns:hasAffiliation>
_:7fef <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
 Removed:
ns=http://www.example.org/ISA12#
_:619f <rdf:type> <owl:Restriction>
_:619f <owl:onProperty> <ns:hasAffiliation>
_:619f <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:619e <rdf:type> <owl:Restriction>
_:619e <owl:onProperty> <ns:hasAffiliation>
_:619e <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:619f
<ns:Researcher> <rdfs:subClassOf> _:619e
Removed:
ns=http://www.example.org/ISA12#
_:7ff1 <rdf:type> <owl:Restriction>
_:7ff1 <owl:onProperty> <ns:hasAffiliation>
_:7ff1 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7ff0 <rdf:type> <owl:Restriction>
_:7ff0 <owl:onProperty> <ns:hasAffiliation>
_:7ff0 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7ff1
<ns:Researcher> <rdfs:subClassOf> _:7ff0
 
E13
(ISA13)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> ""
Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> ""
 
 Removed:
ns=http://www.example.org/ISA13#
_:6199 <rdf:type> <owl:Restriction>
_:6199 <owl:onProperty> <ns:hasName>
_:6199 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:6199
Removed:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:7feb
_:7feb <rdf:type> <owl:Restriction>
_:7feb <owl:onProperty> <ns:hasName>
_:7feb <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
 
E14
(ISA14)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:6192
<ns:wrotePhDThesis> <rdf:type> <owl:ObjectProperty>
_:6192 <rdf:type> <owl:Restriction>
_:6192 <owl:onProperty> <ns:wrotePhDThesis>
_:6192 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:6196
<ns:wrotePhDThesis> <rdf:type> <owl:ObjectProperty>
_:6196 <rdf:type> <owl:Restriction>
_:6196 <owl:onProperty> <ns:wrotePhDThesis>
_:6196 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:6193
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
_:6193 <rdf:type> <owl:Restriction>
_:6193 <owl:onProperty> <ns:wrotePhDThesis>
_:6193 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:6197
_:6197 <rdf:type> <owl:Restriction>
_:6197 <owl:onProperty> <ns:wrotePhDThesis>
_:6197 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
E15
(ISA15)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:618a
<ns:hasSSN> <rdf:type> <owl:ObjectProperty>
_:618a <rdf:type> <owl:Restriction>
_:618a <owl:onProperty> <ns:hasSSN>
_:618a <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:618e
<ns:hasSSN> <rdf:type> <owl:ObjectProperty>
_:618e <rdf:type> <owl:Restriction>
_:618e <owl:onProperty> <ns:hasSSN>
_:618e <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:618b
<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>
_:618b <rdf:type> <owl:Restriction>
_:618b <owl:onProperty> <ns:hasSSN>
_:618b <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:618f
<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>
_:618f <rdf:type> <owl:Restriction>
_:618f <owl:onProperty> <ns:hasSSN>
_:618f <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
E16
(ISA16)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> ""
<ns:Researcher> <rdfs:subClassOf> _:6181
<ns:wrotePhDThesis> <rdf:type> <owl:ObjectProperty>
_:6181 <rdf:type> <owl:Restriction>
_:6181 <owl:onProperty> <ns:wrotePhDThesis>
_:6181 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISA16#
_:7fe3 <rdf:type> <owl:Restriction>
_:7fe3 <owl:onProperty> <ns:wrotePhDThesis>
_:7fe3 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7fe3
<ns:Researcher> <rdfs:subClassOf> ""
Inserted:
ns=http://www.example.org/ISA16#
_:6186 <rdf:type> <owl:Restriction>
_:6186 <owl:onProperty> <ns:wrotePhDThesis>
_:6186 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:6186
<ns:wrotePhDThesis> <rdf:type> <owl:ObjectProperty>
 Removed:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> _:6183
<ns:Researcher> <rdfs:subClassOf> _:6182
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
_:6183 <rdf:type> <owl:Restriction>
_:6183 <owl:onProperty> <ns:wrotePhDThesis>
_:6183 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6182 <rdf:type> <owl:Restriction>
_:6182 <owl:onProperty> <ns:wrotePhDThesis>
_:6182 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA16#
_:7d66 <rdf:type> <owl:Restriction>
_:7d66 <owl:onProperty> <ns:wrotePhDThesis>
_:7d66 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7d65 <rdf:type> <owl:Restriction>
_:7d65 <owl:onProperty> <ns:wrotePhDThesis>
_:7d65 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7d66
<ns:Researcher> <rdfs:subClassOf> _:7d65
Removed:
ns=http://www.example.org/ISA16#
_:6187 <rdf:type> <owl:Restriction>
_:6187 <owl:onProperty> <ns:wrotePhDThesis>
_:6187 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:6187
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
E17
(ISA17)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E18
(ISB01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E19
(ISB02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E20
(ISB03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E21
(ISB04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E22
(ISB05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E23
(ISB06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E24
(ISB07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB07#
<ns:Researcher> <owl:equivalentClass> ""
<ns:Researcher> <owl:equivalentClass> _:6155
_:6155 <rdf:type> <owl:Restriction>
_:6155 <owl:onProperty> <ns:hasAffiliation>
_:6155 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISB07#
_:7d4a <rdf:type> <owl:Restriction>
_:7d4a <owl:onProperty> <ns:hasAffiliation>
_:7d4a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:7d4a
<ns:Researcher> <owl:equivalentClass> ""
 
 Removed:
ns=http://www.example.org/ISB07#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:6157
<ns:Researcher> <owl:equivalentClass> _:6156
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:6156 <rdf:type> <owl:Restriction>
_:6156 <owl:onProperty> <ns:hasAffiliation>
_:6156 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6157 <rdf:type> <owl:Restriction>
_:6157 <owl:onProperty> <ns:hasAffiliation>
_:6157 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
Removed:
ns=http://www.example.org/ISB07#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:6248
<ns:Researcher> <owl:equivalentClass> _:6247
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:6247 <rdf:type> <owl:Restriction>
_:6247 <owl:onProperty> <ns:hasAffiliation>
_:6247 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6248 <rdf:type> <owl:Restriction>
_:6248 <owl:onProperty> <ns:hasAffiliation>
_:6248 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
 
E25
(ISB08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB08#
<ns:Person> <owl:equivalentClass> ""
Inserted:
ns=http://www.example.org/ISB08#
<ns:Person> <owl:equivalentClass> ""
 
 Removed:
ns=http://www.example.org/ISB08#
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:Person> <owl:equivalentClass> _:6151
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
_:6151 <rdf:type> <owl:Restriction>
_:6151 <owl:onProperty> <ns:hasName>
_:6151 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Person>
Removed:
ns=http://www.example.org/ISB08#
_:7fc5 <rdf:type> <owl:Restriction>
_:7fc5 <owl:onProperty> <ns:hasName>
_:7fc5 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:Person> <owl:equivalentClass> _:7fc5
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
<owl:Nothing> <owl:complementOf> <ns:Person>
 
E26
(ISB09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB09#
<ns:wrotePhDThesis> <rdf:type> <owl:ObjectProperty>
<ns:Researcher> <owl:equivalentClass> _:614a
_:614a <rdf:type> <owl:Restriction>
_:614a <owl:onProperty> <ns:wrotePhDThesis>
_:614a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISB09#
<ns:wrotePhDThesis> <rdf:type> <owl:ObjectProperty>
<ns:Researcher> <owl:equivalentClass> _:614e
_:614e <rdf:type> <owl:Restriction>
_:614e <owl:onProperty> <ns:wrotePhDThesis>
_:614e <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB09#
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
<ns:Researcher> <owl:equivalentClass> _:614b
_:614b <rdf:type> <owl:Restriction>
_:614b <owl:onProperty> <ns:wrotePhDThesis>
_:614b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB09#
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
_:614f <rdf:type> <owl:Restriction>
_:614f <owl:onProperty> <ns:wrotePhDThesis>
_:614f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:614f
E27
(ISB10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB10#
_:6142 <rdf:type> <owl:Restriction>
_:6142 <owl:onProperty> <ns:hasSSN>
_:6142 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Man> <owl:equivalentClass> _:6142
<ns:hasSSN> <rdf:type> <owl:ObjectProperty>
  Inserted:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:6146
_:6146 <rdf:type> <owl:Restriction>
_:6146 <owl:onProperty> <ns:hasSSN>
_:6146 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:hasSSN> <rdf:type> <owl:ObjectProperty>
 Removed:
ns=http://www.example.org/ISB10#
_:6143 <rdf:type> <owl:Restriction>
_:6143 <owl:onProperty> <ns:hasSSN>
_:6143 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Man> <owl:equivalentClass> _:6143
<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>
 Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:6147
_:6147 <rdf:type> <owl:Restriction>
_:6147 <owl:onProperty> <ns:hasSSN>
_:6147 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>
E28
(ISB11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB11#
_:6139 <rdf:type> <owl:Restriction>
_:6139 <owl:onProperty> <ns:wrotePhDThesis>
_:6139 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> ""
<ns:Researcher> <owl:equivalentClass> _:6139
<ns:wrotePhDThesis> <rdf:type> <owl:ObjectProperty>
Inserted:
ns=http://www.example.org/ISB11#
_:7fbd <rdf:type> <owl:Restriction>
_:7fbd <owl:onProperty> <ns:wrotePhDThesis>
_:7fbd <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:7fbd
<ns:Researcher> <owl:equivalentClass> ""
Inserted:
ns=http://www.example.org/ISB11#
_:613e <rdf:type> <owl:Restriction>
_:613e <owl:onProperty> <ns:wrotePhDThesis>
_:613e <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:613e
<ns:wrotePhDThesis> <rdf:type> <owl:ObjectProperty>
 Removed:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
<ns:Researcher> <owl:equivalentClass> _:613b
<ns:Researcher> <owl:equivalentClass> _:613a
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:613a <rdf:type> <owl:Restriction>
_:613a <owl:onProperty> <ns:wrotePhDThesis>
_:613a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:613b <rdf:type> <owl:Restriction>
_:613b <owl:onProperty> <ns:wrotePhDThesis>
_:613b <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
Removed:
ns=http://www.example.org/ISB11#
_:7fbf <rdf:type> <owl:Restriction>
_:7fbf <owl:onProperty> <ns:wrotePhDThesis>
_:7fbf <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:7fbf
<ns:Researcher> <owl:equivalentClass> _:7fbe
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
_:7fbe <rdf:type> <owl:Restriction>
_:7fbe <owl:onProperty> <ns:wrotePhDThesis>
_:7fbe <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB11#
_:613f <rdf:type> <owl:Restriction>
_:613f <owl:onProperty> <ns:wrotePhDThesis>
_:613f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:613f
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
E29
(ISB12)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E30
(ISC01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E31
(ISC02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E32
(ISD01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISD01#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
Removed:
ns=http://www.example.org/ISD01#
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
Removed:
ns=http://www.example.org/ISD01#
<ns:> <rdf:type> <owl:Ontology>
E33
(ISD02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E34
(ISD03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISD03#
<ns:hasAge> <rdf:type> <owl:DatatypeProperty>
<ns:hasAge> <rdf:type> <rdf:Property>
<ns:hasAge> <owl:equivalentProperty> <ns:hasAge>
<ns:hasAge> <rdfs:subPropertyOf> <ns:hasAge>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISD03#
<ns:hasAge> <rdf:type> <owl:DatatypeProperty>
<ns:hasAge> <rdf:type> <rdf:Property>
<ns:hasAge> <owl:equivalentProperty> <ns:hasAge>
<ns:hasAge> <rdfs:subPropertyOf> <ns:hasAge>
Removed:
ns=http://www.example.org/ISD03#
<ns:> <rdf:type> <owl:Ontology>
E35
(ISD04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E36
(ISE01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E37
(ISE02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E38
(ISE03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E39
(ISE04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E40
(ISE05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E41
(ISE06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E42
(ISE07)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E43
(ISE08)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISE08#
<rdfs:Literal> <rdf:type> <owl:Datatype>
 
    Removed:
ns=http://www.example.org/ISE08#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E44
(ISE09)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISE09#
<rdfs:Literal> <rdf:type> <owl:Datatype>
 
    Removed:
ns=http://www.example.org/ISE09#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E45
(ISE10)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISE10#
<rdfs:Literal> <rdf:type> <owl:Datatype>
 
    Removed:
ns=http://www.example.org/ISE10#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E46
(ISF01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E47
(ISF02)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISF02#
<rdfs:Literal> <rdf:type> <owl:Datatype>
 
    Removed:
ns=http://www.example.org/ISF02#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E48
(ISF03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E49
(ISG01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E50
(ISG02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E51
(ISG03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E52
(ISG04)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISG04#
<rdfs:Literal> <rdf:type> <owl:Datatype>
 
    Removed:
ns=http://www.example.org/ISG04#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E53
(ISG05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E54
(ISH01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E55
(ISH02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E56
(ISH03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E57
(ISI01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E58
(ISI02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E59
(ISI03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E60
(ISI04)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISI04#
<rdfs:Literal> <rdf:type> <owl:Datatype>
 
    Removed:
ns=http://www.example.org/ISI04#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E61
(ISI05)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISI05#
<rdfs:Literal> <rdf:type> <owl:Datatype>
 
    Removed:
ns=http://www.example.org/ISI05#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E62
(ISJ01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ01#
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Person>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasChild> <ns:John>
Inserted:
ns=http://www.example.org/ISJ01#
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Person>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasChild> <ns:John>
 
 Removed:
ns=http://www.example.org/ISJ01#
_:6103 <owl:sameAs> _:6103
_:6103 <rdf:type> <ns:Person>
_:6103 <rdf:type> <owl:Thing>
_:6103 <ns:hasChild> <ns:John>
Removed:
ns=http://www.example.org/ISJ01#
_:7f9b <owl:sameAs> _:7f9b
_:7f9b <rdf:type> <ns:Person>
_:7f9b <rdf:type> <owl:Thing>
_:7f9b <ns:hasChild> <ns:John>
 
E63
(ISJ02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ02#
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Parent>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasChild> <ns:John>
Inserted:
ns=http://www.example.org/ISJ02#
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Parent>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasChild> <ns:John>
 
 Removed:
ns=http://www.example.org/ISJ02#
_:6101 <owl:sameAs> _:6101
_:6101 <rdf:type> <ns:Parent>
_:6101 <rdf:type> <owl:Thing>
_:6101 <ns:hasChild> <ns:John>
Removed:
ns=http://www.example.org/ISJ02#
_:7f99 <owl:sameAs> _:7f99
_:7f99 <rdf:type> <ns:Parent>
_:7f99 <rdf:type> <owl:Thing>
_:7f99 <ns:hasChild> <ns:John>
 
E64
(ISJ03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ03#
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <rdf:type> <ns:Person>
<ns:genid1> <ns:hasName> "Peter"^^<xsd:string>
Inserted:
ns=http://www.example.org/ISJ03#
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <rdf:type> <ns:Person>
<ns:genid1> <ns:hasName> "Peter"^^<xsd:string>
 
 Removed:
ns=http://www.example.org/ISJ03#
_:60ff <owl:sameAs> _:60ff
_:60ff <rdf:type> <owl:Thing>
_:60ff <rdf:type> <ns:Person>
_:60ff <ns:hasName> "Peter"
Removed:
ns=http://www.example.org/ISJ03#
_:7f97 <owl:sameAs> _:7f97
_:7f97 <rdf:type> <owl:Thing>
_:7f97 <rdf:type> <ns:Person>
_:7f97 <ns:hasName> "Peter"
Removed:
ns=http://www.example.org/ISJ03#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E65
(ISK01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E66
(ISK02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E67
(ISK03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E68
(ISL01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL01#
<ns:> <rdf:type> <owl:Ontology>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
Removed:
ns=http://www.example.org/ISL01#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
Removed:
ns=http://www.example.org/ISL01#
<ns:> <rdf:type> <owl:Ontology>
E69
(ISL02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL02#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:> <rdf:type> <owl:Ontology>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
Removed:
ns=http://www.example.org/ISL02#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
Removed:
ns=http://www.example.org/ISL02#
<ns:> <rdf:type> <owl:Ontology>
E70
(ISL03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL03#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL03#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
Removed:
ns=http://www.example.org/ISL03#
<ns:> <rdf:type> <owl:Ontology>
E71
(ISL04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL04#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:> <rdf:type> <owl:Ontology>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
Removed:
ns=http://www.example.org/ISL04#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
Removed:
ns=http://www.example.org/ISL04#
<ns:> <rdf:type> <owl:Ontology>
E72
(ISL05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL05#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:> <rdf:type> <owl:Ontology>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL05#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL05#
<ns:> <rdf:type> <owl:Ontology>
E73
(ISL06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL06#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:> <rdf:type> <owl:Ontology>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL06#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL06#
<ns:> <rdf:type> <owl:Ontology>
E74
(ISL07)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISL07#
<rdfs:Literal> <rdf:type> <owl:Datatype>
 
    Removed:
ns=http://www.example.org/ISL07#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E75
(ISL08)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISL08#
<rdfs:Literal> <rdf:type> <owl:Datatype>
 
    Removed:
ns=http://www.example.org/ISL08#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E76
(ISL09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL09#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:> <rdf:type> <owl:Ontology>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL09#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL09#
<ns:> <rdf:type> <owl:Ontology>
E77
(ISL10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL10#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL10#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL10#
<ns:> <rdf:type> <owl:Ontology>
E78
(ISL11)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISL11#
<rdfs:Literal> <rdf:type> <owl:Datatype>
 
    Removed:
ns=http://www.example.org/ISL11#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E79
(ISL12)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISL12#
<rdfs:Literal> <rdf:type> <owl:Datatype>
 
    Removed:
ns=http://www.example.org/ISL12#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E80
(ISL13)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL13#
<ns:genid-node1> <owl:sameAs> <ns:genid-node1>
<ns:genid-node1> <rdf:type> <ns:Child>
<ns:genid-node1> <rdf:type> <owl:Thing>
<ns:genid-node1> <ns:hasName> "Paul"^^<xsd:string>
<ns:John> <ns:hasChild> <ns:genid-node1>
Inserted:
ns=http://www.example.org/ISL13#
<ns:genid-node1> <owl:sameAs> <ns:genid-node1>
<ns:genid-node1> <rdf:type> <ns:Child>
<ns:genid-node1> <rdf:type> <owl:Thing>
<ns:genid-node1> <ns:hasName> "Paul"^^<xsd:string>
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:John> <ns:hasChild> <ns:genid-node1>
 
 Removed:
ns=http://www.example.org/ISL13#
_:60ed <owl:sameAs> _:60ed
_:60ed <rdf:type> <ns:Child>
_:60ed <rdf:type> <owl:Thing>
_:60ed <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:60ed
Removed:
ns=http://www.example.org/ISL13#
_:7f8d <owl:sameAs> _:7f8d
_:7f8d <rdf:type> <ns:Child>
_:7f8d <rdf:type> <owl:Thing>
_:7f8d <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:7f8d
Removed:
ns=http://www.example.org/ISL13#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E81
(ISL14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL14#
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Child>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasName> "Paul"^^<xsd:string>
<ns:John> <ns:hasChild> <ns:genid1>
Inserted:
ns=http://www.example.org/ISL14#
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Child>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasName> "Paul"^^<xsd:string>
<ns:John> <ns:hasChild> <ns:genid1>
 
 Removed:
ns=http://www.example.org/ISL14#
_:60eb <owl:sameAs> _:60eb
_:60eb <rdf:type> <ns:Child>
_:60eb <rdf:type> <owl:Thing>
_:60eb <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:60eb
Removed:
ns=http://www.example.org/ISL14#
<ns:John> <ns:hasChild> _:7f8b
_:7f8b <owl:sameAs> _:7f8b
_:7f8b <rdf:type> <ns:Child>
_:7f8b <rdf:type> <owl:Thing>
_:7f8b <ns:hasName> "Paul"
Removed:
ns=http://www.example.org/ISL14#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E82
(ISL15)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
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#