Interoperability from KAON2 to SemTalk (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (KAON2) Step2 (SemTalk)
E01
(ISA01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA01#
<26882951:11af2cc5588:-7d08#> <rdf:type> <owl:Ontology>
   
 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>
 
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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA05#
<26882951:11af2cc5588:-7cf8#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISA05#
<26882951:11af2cc5588:-7cfa#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA05#
<ns:> <rdf:type> <owl:Ontology>
<ns:Male> <owl:equivalentClass> <ns:Man>
<ns:Man> <rdfs:subClassOf> <ns:Male>
<ns:Man> <owl:equivalentClass> <ns:Male>
 Removed:
ns=http://www.example.org/ISA05#
<ns:> <rdf:type> <owl:Ontology>
<ns:Male> <owl:equivalentClass> <ns:Man>
<ns:Man> <rdfs:subClassOf> <ns:Male>
<ns:Man> <owl:equivalentClass> <ns:Male>
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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
_:7cde <rdf:type> <owl:Restriction>
_:7cde <owl:onProperty> <ns:wasBorn>
_:7cde <owl:someValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:7cde
<26882951:11af2cc5588:-7cdf#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:7ce4
<26882951:11af2cc5588:-7ce5#> <rdf:type> <owl:Ontology>
_:7ce4 <rdf:type> <owl:Restriction>
_:7ce4 <owl:onProperty> <ns:wasBorn>
_:7ce4 <owl:someValuesFrom> <ns:Italy>
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:7ce0
_:7ce0 <rdf:type> <owl:Restriction>
_:7ce0 <owl:onProperty> <ns:wasBorn>
_:7ce0 <owl:allValuesFrom> <ns:Italy>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:7ce6
<ns:> <rdf:type> <owl:Ontology>
_:7ce6 <rdf:type> <owl:Restriction>
_:7ce6 <owl:onProperty> <ns:wasBorn>
_:7ce6 <owl:allValuesFrom> <ns:Italy>
E09
(ISA09)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA09#
<ns:Employee> <rdfs:subClassOf> ""
Inserted:
ns=http://www.example.org/ISA09#
<26882951:11af2cc5588:-7cda#> <rdf:type> <owl:Ontology>
   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
Removed:
ns=http://www.example.org/ISA09#
<ns:> <rdf:type> <owl:Ontology>
<ns:Employee> <rdfs:subClassOf> ""
E10
(ISA10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA10#
<26882951:11af2cc5588:-7ccf#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISA10#
<26882951:11af2cc5588:-7cd3#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA10#
<ns:> <rdf:type> <owl:Ontology>
<ns:Researcher> <rdfs:subClassOf> _:7cd0
_:7cd0 <rdf:type> <owl:Restriction>
_:7cd0 <owl:onProperty> <ns:hasAffiliation>
_:7cd0 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA10#
<ns:> <rdf:type> <owl:Ontology>
_:7cd4 <rdf:type> <owl:Restriction>
_:7cd4 <owl:onProperty> <ns:hasAffiliation>
_:7cd4 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7cd4
E11
(ISA11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA11#
<26882951:11af2cc5588:-7cc7#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISA11#
<26882951:11af2cc5588:-7ccb#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:7cc8
_:7cc8 <rdf:type> <owl:Restriction>
_:7cc8 <owl:onProperty> <ns:hasMother>
_:7cc8 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:7ccc
_:7ccc <rdf:type> <owl:Restriction>
_:7ccc <owl:onProperty> <ns:hasMother>
_:7ccc <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
E12
(ISA12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA12#
<26882951:11af2cc5588:-7cbe#> <rdf:type> <owl:Ontology>
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>
Inserted:
ns=http://www.example.org/ISA12#
<26882951:11af2cc5588:-7cc3#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA12#
_:7cbf <rdf:type> <owl:Restriction>
_:7cbf <owl:onProperty> <ns:hasAffiliation>
_:7cbf <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7cc0 <rdf:type> <owl:Restriction>
_:7cc0 <owl:onProperty> <ns:hasAffiliation>
_:7cc0 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7cc0
<ns:Researcher> <rdfs:subClassOf> _:7cbf
<ns:> <rdf:type> <owl:Ontology>
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
Removed:
ns=http://www.example.org/ISA12#
_:7cc4 <rdf:type> <owl:Restriction>
_:7cc4 <owl:onProperty> <ns:hasAffiliation>
_:7cc4 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7cc4
<ns:Researcher> <rdfs:subClassOf> ""
<ns:> <rdf:type> <owl:Ontology>
E13
(ISA13)		Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> ""
Inserted:
ns=http://www.example.org/ISA13#
<26882951:11af2cc5588:-7cba#> <rdf:type> <owl:Ontology>
   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>
Removed:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> ""
<ns:> <rdf:type> <owl:Ontology>
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> _:7caa
<ns:Researcher> <rdfs:subClassOf> _:7ca9
<26882951:11af2cc5588:-7cab#> <rdf:type> <owl:Ontology>
_:7ca9 <rdf:type> <owl:Restriction>
_:7ca9 <owl:onProperty> <ns:wrotePhDThesis>
_:7ca9 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7caa <rdf:type> <owl:Restriction>
_:7caa <owl:onProperty> <ns:wrotePhDThesis>
_:7caa <owl:hasValue> ""^^<xsd:string>
  Inserted:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:7cb2
<ns:Researcher> <rdfs:subClassOf> _:7cb1
<26882951:11af2cc5588:-7cb3#> <rdf:type> <owl:Ontology>
_:7cb2 <rdf:type> <owl:Restriction>
_:7cb2 <owl:onProperty> <ns:wrotePhDThesis>
_:7cb2 <owl:hasValue> ""^^<xsd:string>
_:7cb1 <rdf:type> <owl:Restriction>
_:7cb1 <owl:onProperty> <ns:wrotePhDThesis>
_:7cb1 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:7cac
<ns:> <rdf:type> <owl:Ontology>
_:7cac <rdf:type> <owl:Restriction>
_:7cac <owl:onProperty> <ns:wrotePhDThesis>
_:7cac <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:7cb4
_:7cb4 <rdf:type> <owl:Restriction>
_:7cb4 <owl:onProperty> <ns:wrotePhDThesis>
_:7cb4 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
E15
(ISA15)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA15#
_:7c98 <rdf:type> <owl:Restriction>
_:7c98 <owl:onProperty> <ns:hasSSN>
_:7c98 <owl:hasValue> ""^^<xsd:string>
<26882951:11af2cc5588:-7c99#> <rdf:type> <owl:Ontology>
<ns:Person> <rdfs:subClassOf> _:7c98
<ns:Person> <rdfs:subClassOf> _:7c97
<ns:Person> <rdfs:subClassOf> _:7c96
_:7c96 <rdf:type> <owl:Restriction>
_:7c96 <owl:onProperty> <ns:hasSSN>
_:7c96 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7c97 <rdf:type> <owl:Restriction>
_:7c97 <owl:onProperty> <ns:hasSSN>
_:7c97 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISA15#
_:7ca2 <rdf:type> <owl:Restriction>
_:7ca2 <owl:onProperty> <ns:hasSSN>
_:7ca2 <owl:hasValue> ""^^<xsd:string>
<ns:Person> <rdfs:subClassOf> _:7ca2
<ns:Person> <rdfs:subClassOf> _:7ca1
<ns:Person> <rdfs:subClassOf> _:7ca0
<26882951:11af2cc5588:-7ca3#> <rdf:type> <owl:Ontology>
_:7ca0 <rdf:type> <owl:Restriction>
_:7ca0 <owl:onProperty> <ns:hasSSN>
_:7ca0 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7ca1 <rdf:type> <owl:Restriction>
_:7ca1 <owl:onProperty> <ns:hasSSN>
_:7ca1 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:7c9a
<ns:> <rdf:type> <owl:Ontology>
_:7c9a <rdf:type> <owl:Restriction>
_:7c9a <owl:onProperty> <ns:hasSSN>
_:7c9a <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:7ca4
_:7ca4 <rdf:type> <owl:Restriction>
_:7ca4 <owl:onProperty> <ns:hasSSN>
_:7ca4 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
E16
(ISA16)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA16#
<26882951:11af2cc5588:-7c86#> <rdf:type> <owl:Ontology>
_:7c85 <rdf:type> <owl:Restriction>
_:7c85 <owl:onProperty> <ns:wrotePhDThesis>
_:7c85 <owl:hasValue> ""^^<xsd:string>
_:7c84 <rdf:type> <owl:Restriction>
_:7c84 <owl:onProperty> <ns:wrotePhDThesis>
_:7c84 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7c85
<ns:Researcher> <rdfs:subClassOf> _:7c84
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#
<26882951:11af2cc5588:-7c8f#> <rdf:type> <owl:Ontology>
<ns:Researcher> <rdfs:subClassOf> _:7c8e
<ns:Researcher> <rdfs:subClassOf> _:7c8d
_:7c8e <rdf:type> <owl:Restriction>
_:7c8e <owl:onProperty> <ns:wrotePhDThesis>
_:7c8e <owl:hasValue> ""^^<xsd:string>
_:7c8d <rdf:type> <owl:Restriction>
_:7c8d <owl:onProperty> <ns:wrotePhDThesis>
_:7c8d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA16#
_:7c88 <rdf:type> <owl:Restriction>
_:7c88 <owl:onProperty> <ns:wrotePhDThesis>
_:7c88 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7c87 <rdf:type> <owl:Restriction>
_:7c87 <owl:onProperty> <ns:wrotePhDThesis>
_:7c87 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7c88
<ns:Researcher> <rdfs:subClassOf> _:7c87
<ns:> <rdf:type> <owl:Ontology>
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#
<ns:> <rdf:type> <owl:Ontology>
<ns:Researcher> <rdfs:subClassOf> _:7c90
<ns:Researcher> <rdfs:subClassOf> ""
_:7c90 <rdf:type> <owl:Restriction>
_:7c90 <owl:onProperty> <ns:wrotePhDThesis>
_:7c90 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB02#
<26882951:11af2cc5588:-7c59#> <rdf:type> <owl:Ontology>
<ns:Driver> <rdfs:subClassOf> _:7c58
_:7c58 <rdf:type> <owl:Restriction>
_:7c58 <owl:onProperty> <ns:hasCar>
_:7c58 <owl:someValuesFrom> <ns:Car>
  Inserted:
ns=http://www.example.org/ISB02#
<ns:Driver> <rdfs:subClassOf> _:7c5e
<26882951:11af2cc5588:-7c5f#> <rdf:type> <owl:Ontology>
_:7c5e <rdf:type> <owl:Restriction>
_:7c5e <owl:onProperty> <ns:hasCar>
_:7c5e <owl:someValuesFrom> <ns:Car>
 Removed:
ns=http://www.example.org/ISB02#
_:7c5a <rdf:type> <owl:Restriction>
_:7c5a <owl:onProperty> <ns:hasCar>
_:7c5a <owl:someValuesFrom> <ns:Car>
<ns:Driver> <owl:equivalentClass> _:7c5a
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB02#
_:7c60 <rdf:type> <owl:Restriction>
_:7c60 <owl:onProperty> <ns:hasCar>
_:7c60 <owl:someValuesFrom> <ns:Car>
<ns:Driver> <owl:equivalentClass> _:7c60
<ns:> <rdf:type> <owl:Ontology>
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB03#
_:7c4c <rdf:type> <owl:Restriction>
_:7c4c <owl:onProperty> <ns:wasBorn>
_:7c4c <owl:someValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:7c4c
<26882951:11af2cc5588:-7c4d#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISB03#
<ns:Italian> <rdfs:subClassOf> _:7c52
<26882951:11af2cc5588:-7c53#> <rdf:type> <owl:Ontology>
_:7c52 <rdf:type> <owl:Restriction>
_:7c52 <owl:onProperty> <ns:wasBorn>
_:7c52 <owl:someValuesFrom> <ns:Italy>
 Removed:
ns=http://www.example.org/ISB03#
<ns:Italian> <owl:equivalentClass> _:7c4e
<ns:> <rdf:type> <owl:Ontology>
_:7c4e <rdf:type> <owl:Restriction>
_:7c4e <owl:onProperty> <ns:wasBorn>
_:7c4e <owl:allValuesFrom> <ns:Italy>
 Removed:
ns=http://www.example.org/ISB03#
<ns:Italian> <owl:equivalentClass> _:7c54
_:7c54 <rdf:type> <owl:Restriction>
_:7c54 <owl:onProperty> <ns:wasBorn>
_:7c54 <owl:allValuesFrom> <ns:Italy>
<ns:> <rdf:type> <owl:Ontology>
E21
(ISB04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB04#
<26882951:11af2cc5588:-7c43#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISB04#
<26882951:11af2cc5588:-7c47#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <owl:equivalentClass> _:7c44
<ns:> <rdf:type> <owl:Ontology>
_:7c44 <rdf:type> <owl:Restriction>
_:7c44 <owl:onProperty> <ns:worksIn>
_:7c44 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <owl:equivalentClass> _:7c48
_:7c48 <rdf:type> <owl:Restriction>
_:7c48 <owl:onProperty> <ns:worksIn>
_:7c48 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
E22
(ISB05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB05#
<26882951:11af2cc5588:-7c3b#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISB05#
<26882951:11af2cc5588:-7c3f#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:7c3c
_:7c3c <rdf:type> <owl:Restriction>
_:7c3c <owl:onProperty> <ns:hasAffiliation>
_:7c3c <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:7c40
_:7c40 <rdf:type> <owl:Restriction>
_:7c40 <owl:onProperty> <ns:hasAffiliation>
_:7c40 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
E23
(ISB06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB06#
<26882951:11af2cc5588:-7c33#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISB06#
<26882951:11af2cc5588:-7c37#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:7c34
<ns:> <rdf:type> <owl:Ontology>
_:7c34 <rdf:type> <owl:Restriction>
_:7c34 <owl:onProperty> <ns:hasMother>
_:7c34 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:7c38
<ns:> <rdf:type> <owl:Ontology>
_:7c38 <rdf:type> <owl:Restriction>
_:7c38 <owl:onProperty> <ns:hasMother>
_:7c38 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
E24
(ISB07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB07#
<26882951:11af2cc5588:-7c2a#> <rdf:type> <owl:Ontology>
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> ""
Inserted:
ns=http://www.example.org/ISB07#
<26882951:11af2cc5588:-7c2f#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB07#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:7c2c
<ns:Researcher> <owl:equivalentClass> _:7c2b
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:7c2b <rdf:type> <owl:Restriction>
_:7c2b <owl:onProperty> <ns:hasAffiliation>
_:7c2b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7c2c <rdf:type> <owl:Restriction>
_:7c2c <owl:onProperty> <ns:hasAffiliation>
_:7c2c <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
<ns:> <rdf:type> <owl:Ontology>
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>
Removed:
ns=http://www.example.org/ISB07#
<ns:> <rdf:type> <owl:Ontology>
_:7c30 <rdf:type> <owl:Restriction>
_:7c30 <owl:onProperty> <ns:hasAffiliation>
_:7c30 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:7c30
<ns:Researcher> <owl:equivalentClass> ""
E25
(ISB08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB08#
<26882951:11af2cc5588:-7c23#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISB08#
<ns:Person> <owl:equivalentClass> ""
Inserted:
ns=http://www.example.org/ISB08#
<26882951:11af2cc5588:-7c26#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB08#
<owl:Nothing> <owl:complementOf> <ns:Person>
_:7c24 <rdf:type> <owl:Restriction>
_:7c24 <owl:onProperty> <ns:hasName>
_:7c24 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <owl:equivalentClass> _:7c24
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
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>
Removed:
ns=http://www.example.org/ISB08#
<ns:Person> <owl:equivalentClass> ""
<ns:> <rdf:type> <owl:Ontology>
E26
(ISB09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB09#
_:7c15 <rdf:type> <owl:Restriction>
_:7c15 <owl:onProperty> <ns:wrotePhDThesis>
_:7c15 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7c16
<ns:Researcher> <rdfs:subClassOf> _:7c15
<26882951:11af2cc5588:-7c17#> <rdf:type> <owl:Ontology>
_:7c16 <rdf:type> <owl:Restriction>
_:7c16 <owl:onProperty> <ns:wrotePhDThesis>
_:7c16 <owl:hasValue> ""^^<xsd:string>
  Inserted:
ns=http://www.example.org/ISB09#
<26882951:11af2cc5588:-7c1f#> <rdf:type> <owl:Ontology>
<ns:Researcher> <rdfs:subClassOf> _:7c1e
<ns:Researcher> <rdfs:subClassOf> _:7c1d
_:7c1e <rdf:type> <owl:Restriction>
_:7c1e <owl:onProperty> <ns:wrotePhDThesis>
_:7c1e <owl:hasValue> ""^^<xsd:string>
_:7c1d <rdf:type> <owl:Restriction>
_:7c1d <owl:onProperty> <ns:wrotePhDThesis>
_:7c1d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB09#
<ns:> <rdf:type> <owl:Ontology>
<ns:Researcher> <owl:equivalentClass> _:7c18
_:7c18 <rdf:type> <owl:Restriction>
_:7c18 <owl:onProperty> <ns:wrotePhDThesis>
_:7c18 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB09#
<ns:> <rdf:type> <owl:Ontology>
<ns:Researcher> <owl:equivalentClass> _:7c20
_:7c20 <rdf:type> <owl:Restriction>
_:7c20 <owl:onProperty> <ns:wrotePhDThesis>
_:7c20 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E27
(ISB10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB10#
_:7c04 <rdf:type> <owl:Restriction>
_:7c04 <owl:onProperty> <ns:hasSSN>
_:7c04 <owl:hasValue> ""^^<xsd:string>
<ns:Man> <rdfs:subClassOf> _:7c04
<ns:Man> <rdfs:subClassOf> _:7c03
<ns:Man> <rdfs:subClassOf> _:7c02
<26882951:11af2cc5588:-7c05#> <rdf:type> <owl:Ontology>
_:7c02 <rdf:type> <owl:Restriction>
_:7c02 <owl:onProperty> <ns:hasSSN>
_:7c02 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7c03 <rdf:type> <owl:Restriction>
_:7c03 <owl:onProperty> <ns:hasSSN>
_:7c03 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISB10#
_:7c0e <rdf:type> <owl:Restriction>
_:7c0e <owl:onProperty> <ns:hasSSN>
_:7c0e <owl:hasValue> ""^^<xsd:string>
<ns:Man> <rdfs:subClassOf> _:7c0e
<ns:Man> <rdfs:subClassOf> _:7c0d
<ns:Man> <rdfs:subClassOf> _:7c0c
_:7c0c <rdf:type> <owl:Restriction>
_:7c0c <owl:onProperty> <ns:hasSSN>
_:7c0c <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<26882951:11af2cc5588:-7c0f#> <rdf:type> <owl:Ontology>
_:7c0d <rdf:type> <owl:Restriction>
_:7c0d <owl:onProperty> <ns:hasSSN>
_:7c0d <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB10#
_:7c06 <rdf:type> <owl:Restriction>
_:7c06 <owl:onProperty> <ns:hasSSN>
_:7c06 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Man> <owl:equivalentClass> _:7c06
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:7c10
_:7c10 <rdf:type> <owl:Restriction>
_:7c10 <owl:onProperty> <ns:hasSSN>
_:7c10 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
E28
(ISB11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB11#
<26882951:11af2cc5588:-7bf2#> <rdf:type> <owl:Ontology>
_:7bf1 <rdf:type> <owl:Restriction>
_:7bf1 <owl:onProperty> <ns:wrotePhDThesis>
_:7bf1 <owl:hasValue> ""^^<xsd:string>
_:7bf0 <rdf:type> <owl:Restriction>
_:7bf0 <owl:onProperty> <ns:wrotePhDThesis>
_:7bf0 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7bf1
<ns:Researcher> <rdfs:subClassOf> _:7bf0
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#
<26882951:11af2cc5588:-7bfb#> <rdf:type> <owl:Ontology>
_:7bfa <rdf:type> <owl:Restriction>
_:7bfa <owl:onProperty> <ns:wrotePhDThesis>
_:7bfa <owl:hasValue> ""^^<xsd:string>
_:7bf9 <rdf:type> <owl:Restriction>
_:7bf9 <owl:onProperty> <ns:wrotePhDThesis>
_:7bf9 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7bfa
<ns:Researcher> <rdfs:subClassOf> _:7bf9
 Removed:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:7bf4
<ns:Researcher> <owl:equivalentClass> _:7bf3
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<ns:> <rdf:type> <owl:Ontology>
_:7bf3 <rdf:type> <owl:Restriction>
_:7bf3 <owl:onProperty> <ns:wrotePhDThesis>
_:7bf3 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7bf4 <rdf:type> <owl:Restriction>
_:7bf4 <owl:onProperty> <ns:wrotePhDThesis>
_:7bf4 <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#
_:7bfc <rdf:type> <owl:Restriction>
_:7bfc <owl:onProperty> <ns:wrotePhDThesis>
_:7bfc <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
<ns:Researcher> <owl:equivalentClass> _:7bfc
<ns:Researcher> <owl:equivalentClass> ""
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 = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISD01#
<26882951:11af2cc5588:-7b90#> <rdf:type> <owl:Ontology>
   
 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>
 
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 = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISD03#
<26882951:11af2cc5588:-7b88#> <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>
<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>
 
E35
(ISD04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD04#
<26882951:11af2cc5588:-7b84#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISD04#
<26882951:11af2cc5588:-7b86#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISD04#
<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>
<ns:> <rdf:type> <owl:Ontology>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>
 Removed:
ns=http://www.example.org/ISD04#
<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>
<ns:> <rdf:type> <owl:Ontology>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>
E36
(ISE01)		Interchange = 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>
Inserted:
ns=http://www.example.org/ISE08#
<26882951:11af2cc5588:-7b66#> <rdf:type> <owl:Ontology>
    Removed:
ns=http://www.example.org/ISE08#
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:> <rdf:type> <owl:Ontology>
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>
Inserted:
ns=http://www.example.org/ISE09#
<26882951:11af2cc5588:-7b62#> <rdf:type> <owl:Ontology>
    Removed:
ns=http://www.example.org/ISE09#
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:> <rdf:type> <owl:Ontology>
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>
Inserted:
ns=http://www.example.org/ISE10#
<26882951:11af2cc5588:-7b5e#> <rdf:type> <owl:Ontology>
    Removed:
ns=http://www.example.org/ISE10#
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:> <rdf:type> <owl:Ontology>
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>
Inserted:
ns=http://www.example.org/ISF02#
<26882951:11af2cc5588:-7b56#> <rdf:type> <owl:Ontology>
    Removed:
ns=http://www.example.org/ISF02#
<ns:> <rdf:type> <owl:Ontology>
<rdfs:Literal> <rdf:type> <owl:Datatype>
E48
(ISF03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF03#
<26882951:11af2cc5588:-7b50#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISF03#
<26882951:11af2cc5588:-7b52#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISF03#
<ns:hasParent> <owl:inverseOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:inverseOf> <ns:hasParent>
 Removed:
ns=http://www.example.org/ISF03#
<ns:hasParent> <owl:inverseOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:inverseOf> <ns:hasParent>
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 = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG04#
<26882951:11af2cc5588:-7b40#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISG04#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISG04#
<26882951:11af2cc5588:-7b42#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdf:type> <owl:FunctionalProperty>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdf:type> <owl:FunctionalProperty>
<ns:> <rdf:type> <owl:Ontology>
<rdfs:Literal> <rdf:type> <owl:Datatype>
E53
(ISG05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG05#
<26882951:11af2cc5588:-7b3c#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISG05#
<26882951:11af2cc5588:-7b3e#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISG05#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
 Removed:
ns=http://www.example.org/ISG05#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
E54
(ISH01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E55
(ISH02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISH02#
<ns:type> <rdf:type> <owl:ObjectProperty>
<ns:type> <rdf:type> <rdf:Property>
<ns:type> <owl:equivalentProperty> <ns:type>
<ns:type> <rdfs:subPropertyOf> <ns:type>
<26882951:11af2cc5588:-7b34#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISH02#
<26882951:11af2cc5588:-7b36#> <rdf:type> <owl:Ontology>
<ns:type> <rdf:type> <owl:ObjectProperty>
<ns:type> <rdf:type> <rdf:Property>
<ns:type> <owl:equivalentProperty> <ns:type>
<ns:type> <rdfs:subPropertyOf> <ns:type>
 Removed:
ns=http://www.example.org/ISH02#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISH02#
<ns:> <rdf:type> <owl:Ontology>
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>
Inserted:
ns=http://www.example.org/ISI04#
<26882951:11af2cc5588:-7b22#> <rdf:type> <owl:Ontology>
    Removed:
ns=http://www.example.org/ISI04#
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:> <rdf:type> <owl:Ontology>
E61
(ISI05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI05#
<26882951:11af2cc5588:-7b1c#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISI05#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISI05#
<26882951:11af2cc5588:-7b1e#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISI05#
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISI05#
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:MaryAnn> <ns:hasName> "Ann"^^<xsd:string>
<ns:> <rdf:type> <owl:Ontology>
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>
<26882951:11af2cc5588:-7b17#> <rdf:type> <owl:Ontology>
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#
<ns:> <rdf:type> <owl:Ontology>
_:7b18 <owl:sameAs> _:7b18
_:7b18 <rdf:type> <ns:Person>
_:7b18 <rdf:type> <owl:Thing>
_:7b18 <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>
<26882951:11af2cc5588:-7b11#> <rdf:type> <owl:Ontology>
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#
<ns:> <rdf:type> <owl:Ontology>
_:7b12 <owl:sameAs> _:7b12
_:7b12 <rdf:type> <ns:Parent>
_:7b12 <rdf:type> <owl:Thing>
_:7b12 <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>
<26882951:11af2cc5588:-7b0b#> <rdf:type> <owl:Ontology>
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>
Inserted:
ns=http://www.example.org/ISJ03#
<26882951:11af2cc5588:-7b0e#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISJ03#
_:7b0c <owl:sameAs> _:7b0c
_:7b0c <rdf:type> <owl:Thing>
_:7b0c <rdf:type> <ns:Person>
_:7b0c <ns:hasName> "Peter"
<ns:> <rdf:type> <owl:Ontology>
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>
<ns:> <rdf:type> <owl:Ontology>
E65
(ISK01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E66
(ISK02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK02#
<26882951:11af2cc5588:-7b02#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISK02#
<26882951:11af2cc5588:-7b04#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISK02#
<ns:MaryAnn> <owl:differentFrom> <ns:Ann>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISK02#
<ns:Ann> <owl:differentFrom> <ns:MaryAnn>
<ns:> <rdf:type> <owl:Ontology>
E67
(ISK03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK03#
<26882951:11af2cc5588:-7aea#> <rdf:type> <owl:Ontology>
_:7ae6 <rdf:first> <ns:Mary>
_:7ae6 <rdf:rest> <rdf:nil>
_:7ae7 <rdf:first> <ns:Joan>
_:7ae7 <rdf:rest> _:7ae6
_:7ae8 <rdf:first> <ns:Ann>
_:7ae8 <rdf:rest> _:7ae7
_:7ae9 <rdf:type> <owl:AllDifferent>
_:7ae9 <owl:distinctMembers> _:7ae8
  Inserted:
ns=http://www.example.org/ISK03#
<26882951:11af2cc5588:-7afc#> <rdf:type> <owl:Ontology>
_:7afa <rdf:first> <ns:Ann>
_:7afa <rdf:rest> _:7af9
_:7afb <rdf:type> <owl:AllDifferent>
_:7afb <owl:distinctMembers> _:7afa
_:7af8 <rdf:first> <ns:Mary>
_:7af8 <rdf:rest> <rdf:nil>
_:7af9 <rdf:first> <ns:Joan>
_:7af9 <rdf:rest> _:7af8
 Removed:
ns=http://www.example.org/ISK03#
_:7aeb <rdf:first> <ns:Mary>
_:7aeb <rdf:rest> <rdf:nil>
_:7aec <rdf:first> <ns:Joan>
_:7aec <rdf:rest> _:7aeb
<ns:> <rdf:type> <owl:Ontology>
_:7aed <rdf:first> <ns:Ann>
_:7aed <rdf:rest> _:7aec
_:7aee <rdf:type> <owl:AllDifferent>
_:7aee <owl:distinctMembers> _:7aed
 Removed:
ns=http://www.example.org/ISK03#
_:7aff <rdf:first> <ns:Ann>
_:7aff <rdf:rest> _:7afe
<ns:> <rdf:type> <owl:Ontology>
_:7b00 <rdf:type> <owl:AllDifferent>
_:7b00 <owl:distinctMembers> _:7aff
_:7afd <rdf:first> <ns:Mary>
_:7afd <rdf:rest> <rdf:nil>
_:7afe <rdf:first> <ns:Joan>
_:7afe <rdf:rest> _:7afd
E68
(ISL01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL01#
<26882951:11af2cc5588:-7ada#> <rdf:type> <owl:Ontology>
   
 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>
 
E69
(ISL02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL02#
<26882951:11af2cc5588:-7ad6#> <rdf:type> <owl:Ontology>
   
 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>
 
E70
(ISL03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL03#
<26882951:11af2cc5588:-7ad2#> <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>
<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>
 
E71
(ISL04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL04#
<26882951:11af2cc5588:-7ace#> <rdf:type> <owl:Ontology>
   
 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>
 
E72
(ISL05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL05#
<26882951:11af2cc5588:-7aca#> <rdf:type> <owl:Ontology>
   
 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>
 
E73
(ISL06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL06#
<26882951:11af2cc5588:-7ac6#> <rdf:type> <owl:Ontology>
   
 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>
 
E74
(ISL07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL07#
<26882951:11af2cc5588:-7ac2#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL07#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISL07#
<26882951:11af2cc5588:-7ac4#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL07#
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL07#
<ns:MaryAnn> <ns:hasName> "Ann"^^<xsd:string>
<ns:> <rdf:type> <owl:Ontology>
<rdfs:Literal> <rdf:type> <owl:Datatype>
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
<26882951:11af2cc5588:-7abe#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL08#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISL08#
<26882951:11af2cc5588:-7ac0#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL08#
<ns:> <rdf:type> <owl:Ontology>
<ns:MaryAnn> <ns:hasName> "Ann"
 Removed:
ns=http://www.example.org/ISL08#
<ns:> <rdf:type> <owl:Ontology>
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:MaryAnn> <ns:hasName> "Ann"^^<xsd:string>
E76
(ISL09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL09#
<26882951:11af2cc5588:-7aba#> <rdf:type> <owl:Ontology>
   
 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>
 
E77
(ISL10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL10#
<26882951:11af2cc5588:-7ab6#> <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>
<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>
 
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>
Inserted:
ns=http://www.example.org/ISL11#
<26882951:11af2cc5588:-7ab4#> <rdf:type> <owl:Ontology>
    Removed:
ns=http://www.example.org/ISL11#
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:> <rdf:type> <owl:Ontology>
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>
Inserted:
ns=http://www.example.org/ISL12#
<26882951:11af2cc5588:-7ab0#> <rdf:type> <owl:Ontology>
    Removed:
ns=http://www.example.org/ISL12#
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:> <rdf:type> <owl:Ontology>
E80
(ISL13)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL13#
<26882951:11af2cc5588:-7aa9#> <rdf:type> <owl:Ontology>
<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>
Inserted:
ns=http://www.example.org/ISL13#
<26882951:11af2cc5588:-7aac#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL13#
_:7aaa <owl:sameAs> _:7aaa
_:7aaa <rdf:type> <ns:Child>
_:7aaa <rdf:type> <owl:Thing>
_:7aaa <ns:hasName> "Paul"
<ns:> <rdf:type> <owl:Ontology>
<ns:John> <ns:hasChild> _:7aaa
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>
<ns:> <rdf:type> <owl:Ontology>
E81
(ISL14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL14#
<26882951:11af2cc5588:-7aa3#> <rdf:type> <owl:Ontology>
<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>
Inserted:
ns=http://www.example.org/ISL14#
<26882951:11af2cc5588:-7aa6#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL14#
_:7aa4 <owl:sameAs> _:7aa4
_:7aa4 <rdf:type> <ns:Child>
_:7aa4 <rdf:type> <owl:Thing>
_:7aa4 <ns:hasName> "Paul"
<ns:> <rdf:type> <owl:Ontology>
<ns:John> <ns:hasChild> _:7aa4
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>
<ns:> <rdf:type> <owl:Ontology>
E82
(ISL15)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL15#
<26882951:11af2cc5588:-7a9e#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISL15#
<26882951:11af2cc5588:-7aa0#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL15#
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL15#
<ns:> <rdf:type> <owl:Ontology>
Namespaces
owl=http://www.w3.org/2002/07/owl#
rdf=http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs=http://www.w3.org/2000/01/rdf-schema#
xsd=http://www.w3.org/2001/XMLSchema
#diff=http://www.aifb.uni-karlsruhe.de/WBS/dvr/owltools/diff/result#