Interoperability from Gate to WebODE (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (Gate) Step2 (WebODE)
E01
(ISA01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
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
 Removed:
ns=http://www.example.org/ISA05#
<ns:Male> <owl:equivalentClass> <ns:Man>
<ns:Man> <rdfs:subClassOf> <ns:Male>
<ns:Man> <owl:equivalentClass> <ns:Male>
 Removed:
ns=http://www.example.org/ISA05#
<ns:Male> <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 = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA07#
<ns:hasCar> <rdfs:domain> <ns:Driver>
_:7979 <rdf:type> <owl:Restriction>
_:7979 <owl:onProperty> <ns:hasCar>
_:7979 <owl:allValuesFrom> <owl:Thing>
<ns:Driver> <rdfs:subClassOf> _:7979
Inserted:
ns=http://www.example.org/ISA07#
_:7ffa <rdf:type> <owl:Restriction>
_:7ffa <owl:onProperty> <ns:hasCar>
_:7ffa <owl:someValuesFrom> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:7ffa
Inserted:
ns=http://www.example.org/ISA07#
_:797d <rdf:type> <owl:Restriction>
_:797d <owl:onProperty> <ns:hasCar>
_:797d <owl:allValuesFrom> <owl:Thing>
<ns:hasCar> <rdfs:domain> <ns:Driver>
<ns:Driver> <rdfs:subClassOf> _:797d
 Removed:
ns=http://www.example.org/ISA07#
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
_:797a <rdf:type> <owl:Restriction>
_:797a <owl:onProperty> <ns:hasCar>
_:797a <owl:someValuesFrom> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:797a
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
Removed:
ns=http://www.example.org/ISA07#
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
_:7ffb <rdf:type> <owl:Restriction>
_:7ffb <owl:onProperty> <ns:hasCar>
_:7ffb <owl:someValuesFrom> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:7ffb
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
Removed:
ns=http://www.example.org/ISA07#
<ns:Driver> <rdfs:subClassOf> _:797e
_:797e <rdf:type> <owl:Restriction>
_:797e <owl:onProperty> <ns:hasCar>
_:797e <owl:someValuesFrom> <ns:Car>
E08
(ISA08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
<ns:wasBorn> <rdfs:domain> <ns:Italian>
_:795c <rdf:type> <owl:Restriction>
_:795c <owl:onProperty> <ns:wasBorn>
_:795c <owl:allValuesFrom> <owl:Thing>
<ns:Italian> <rdfs:subClassOf> _:795c
Inserted:
ns=http://www.example.org/ISA08#
_:7ff6 <rdf:type> <owl:Restriction>
_:7ff6 <owl:onProperty> <ns:wasBorn>
_:7ff6 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:7ff6
Inserted:
ns=http://www.example.org/ISA08#
<ns:wasBorn> <rdfs:domain> <ns:Italian>
_:7960 <rdf:type> <owl:Restriction>
_:7960 <owl:onProperty> <ns:wasBorn>
_:7960 <owl:allValuesFrom> <owl:Thing>
<ns:Italian> <rdfs:subClassOf> _:7960
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
_:795d <rdf:type> <owl:Restriction>
_:795d <owl:onProperty> <ns:wasBorn>
_:795d <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:795d
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
Removed:
ns=http://www.example.org/ISA08#
<ns:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
_:7ff7 <rdf:type> <owl:Restriction>
_:7ff7 <owl:onProperty> <ns:wasBorn>
_:7ff7 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:7ff7
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
Removed:
ns=http://www.example.org/ISA08#
_:7961 <rdf:type> <owl:Restriction>
_:7961 <owl:onProperty> <ns:wasBorn>
_:7961 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:7961
E09
(ISA09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA09#
_:793e <rdf:type> <owl:Restriction>
_:793e <owl:onProperty> <ns:worksIn>
_:793e <owl:allValuesFrom> <owl:Thing>
<ns:Employee> <rdfs:subClassOf> _:793e
<ns:worksIn> <rdfs:domain> <ns:Employee>
  Inserted:
ns=http://www.example.org/ISA09#
_:7942 <rdf:type> <owl:Restriction>
_:7942 <owl:onProperty> <ns:worksIn>
_:7942 <owl:allValuesFrom> <owl:Thing>
<ns:Employee> <rdfs:subClassOf> _:7942
<ns:worksIn> <rdfs:domain> <ns:Employee>
 Removed:
ns=http://www.example.org/ISA09#
_:793f <rdf:type> <owl:Restriction>
_:793f <owl:onProperty> <ns:worksIn>
_:793f <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:793f
 Removed:
ns=http://www.example.org/ISA09#
_:7943 <rdf:type> <owl:Restriction>
_:7943 <owl:onProperty> <ns:worksIn>
_:7943 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:7943
E10
(ISA10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:791f
<ns:Researcher> <rdfs:subClassOf> _:791e
_:791f <rdf:type> <owl:Restriction>
_:791f <owl:onProperty> <ns:hasAffiliation>
_:791f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:791e <rdf:type> <owl:Restriction>
_:791e <owl:onProperty> <ns:hasAffiliation>
_:791e <owl:allValuesFrom> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:7925
<ns:Researcher> <rdfs:subClassOf> _:7924
_:7924 <rdf:type> <owl:Restriction>
_:7924 <owl:onProperty> <ns:hasAffiliation>
_:7924 <owl:allValuesFrom> <owl:Thing>
_:7925 <rdf:type> <owl:Restriction>
_:7925 <owl:onProperty> <ns:hasAffiliation>
_:7925 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA10#
<ns:Researcher> <rdfs:subClassOf> _:7920
_:7920 <rdf:type> <owl:Restriction>
_:7920 <owl:onProperty> <ns:hasAffiliation>
_:7920 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA10#
_:7926 <rdf:type> <owl:Restriction>
_:7926 <owl:onProperty> <ns:hasAffiliation>
_:7926 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7926
E11
(ISA11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:78fd
<ns:Person> <rdfs:subClassOf> _:78fc
_:78fd <rdf:type> <owl:Restriction>
_:78fd <owl:onProperty> <ns:hasMother>
_:78fd <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:78fc <rdf:type> <owl:Restriction>
_:78fc <owl:onProperty> <ns:hasMother>
_:78fc <owl:allValuesFrom> <owl:Thing>
<ns:hasMother> <rdfs:domain> <ns:Person>
  Inserted:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:7904
<ns:Person> <rdfs:subClassOf> _:7903
_:7904 <rdf:type> <owl:Restriction>
_:7904 <owl:onProperty> <ns:hasMother>
_:7904 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7903 <rdf:type> <owl:Restriction>
_:7903 <owl:onProperty> <ns:hasMother>
_:7903 <owl:allValuesFrom> <owl:Thing>
<ns:hasMother> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:78fe
_:78fe <rdf:type> <owl:Restriction>
_:78fe <owl:onProperty> <ns:hasMother>
_:78fe <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:7905
_:7905 <rdf:type> <owl:Restriction>
_:7905 <owl:onProperty> <ns:hasMother>
_:7905 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
E12
(ISA12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA12#
_:78d8 <rdf:type> <owl:Restriction>
_:78d8 <owl:onProperty> <ns:hasAffiliation>
_:78d8 <owl:allValuesFrom> <owl:Thing>
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:78d9
<ns:Researcher> <rdfs:subClassOf> _:78d8
_:78d9 <rdf:type> <owl:Restriction>
_:78d9 <owl:onProperty> <ns:hasAffiliation>
_:78d9 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISA12#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:78e1
<ns:Researcher> <rdfs:subClassOf> _:78e0
_:78e0 <rdf:type> <owl:Restriction>
_:78e0 <owl:onProperty> <ns:hasAffiliation>
_:78e0 <owl:allValuesFrom> <owl:Thing>
_:78e1 <rdf:type> <owl:Restriction>
_:78e1 <owl:onProperty> <ns:hasAffiliation>
_:78e1 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA12#
<ns:Researcher> <rdfs:subClassOf> _:78db
<ns:Researcher> <rdfs:subClassOf> _:78da
_:78db <rdf:type> <owl:Restriction>
_:78db <owl:onProperty> <ns:hasAffiliation>
_:78db <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:78da <rdf:type> <owl:Restriction>
_:78da <owl:onProperty> <ns:hasAffiliation>
_:78da <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA12#
_:78e3 <rdf:type> <owl:Restriction>
_:78e3 <owl:onProperty> <ns:hasAffiliation>
_:78e3 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:78e2 <rdf:type> <owl:Restriction>
_:78e2 <owl:onProperty> <ns:hasAffiliation>
_:78e2 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:78e3
<ns:Researcher> <rdfs:subClassOf> _:78e2
E13
(ISA13)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:78b8
_:78b8 <rdf:type> <owl:Restriction>
_:78b8 <owl:onProperty> <ns:hasName>
_:78b8 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:78bd
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
_:78bd <rdf:type> <owl:Restriction>
_:78bd <owl:onProperty> <ns:hasName>
_:78bd <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISA13#
_:78ba <rdf:type> <owl:Restriction>
_:78ba <owl:onProperty> <ns:hasName>
_:78ba <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:78ba
 Removed:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:78be
_:78be <rdf:type> <owl:Restriction>
_:78be <owl:onProperty> <ns:hasName>
_:78be <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> _:7899
<ns:Researcher> <rdfs:subClassOf> _:7898
_:7899 <rdf:type> <owl:Restriction>
_:7899 <owl:onProperty> <ns:wrotePhDThesis>
_:7899 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:7898 <rdf:type> <owl:Restriction>
_:7898 <owl:onProperty> <ns:wrotePhDThesis>
_:7898 <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:789f
<ns:Researcher> <rdfs:subClassOf> _:789e
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:789f <rdf:type> <owl:Restriction>
_:789f <owl:onProperty> <ns:wrotePhDThesis>
_:789f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:789e <rdf:type> <owl:Restriction>
_:789e <owl:onProperty> <ns:wrotePhDThesis>
_:789e <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:789a
_:789a <rdf:type> <owl:Restriction>
_:789a <owl:onProperty> <ns:wrotePhDThesis>
_:789a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:78a0
_:78a0 <rdf:type> <owl:Restriction>
_:78a0 <owl:onProperty> <ns:wrotePhDThesis>
_:78a0 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
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> _:7878
<ns:Person> <rdfs:subClassOf> _:7877
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
_:7878 <rdf:type> <owl:Restriction>
_:7878 <owl:onProperty> <ns:hasSSN>
_:7878 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:7877 <rdf:type> <owl:Restriction>
_:7877 <owl:onProperty> <ns:hasSSN>
_:7877 <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISA15#
_:787e <rdf:type> <owl:Restriction>
_:787e <owl:onProperty> <ns:hasSSN>
_:787e <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:787e
<ns:Person> <rdfs:subClassOf> _:787d
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
_:787d <rdf:type> <owl:Restriction>
_:787d <owl:onProperty> <ns:hasSSN>
_:787d <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:7879
_:7879 <rdf:type> <owl:Restriction>
_:7879 <owl:onProperty> <ns:hasSSN>
_:7879 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:787f
_:787f <rdf:type> <owl:Restriction>
_:787f <owl:onProperty> <ns:hasSSN>
_:787f <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
E16
(ISA16)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA16#
_:7853 <rdf:type> <owl:Restriction>
_:7853 <owl:onProperty> <ns:wrotePhDThesis>
_:7853 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7852 <rdf:type> <owl:Restriction>
_:7852 <owl:onProperty> <ns:wrotePhDThesis>
_:7852 <owl:allValuesFrom> <xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:7853
<ns:Researcher> <rdfs:subClassOf> _:7852
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> _:785b
<ns:Researcher> <rdfs:subClassOf> _:785a
_:785b <rdf:type> <owl:Restriction>
_:785b <owl:onProperty> <ns:wrotePhDThesis>
_:785b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:785a <rdf:type> <owl:Restriction>
_:785a <owl:onProperty> <ns:wrotePhDThesis>
_:785a <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
 Removed:
ns=http://www.example.org/ISA16#
_:7855 <rdf:type> <owl:Restriction>
_:7855 <owl:onProperty> <ns:wrotePhDThesis>
_:7855 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7854 <rdf:type> <owl:Restriction>
_:7854 <owl:onProperty> <ns:wrotePhDThesis>
_:7854 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7855
<ns:Researcher> <rdfs:subClassOf> _:7854
 Removed:
ns=http://www.example.org/ISA16#
_:785d <rdf:type> <owl:Restriction>
_:785d <owl:onProperty> <ns:wrotePhDThesis>
_:785d <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:785c
<ns:Researcher> <rdfs:subClassOf> _:785d
_:785c <rdf:type> <owl:Restriction>
_:785c <owl:onProperty> <ns:wrotePhDThesis>
_:785c <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E17
(ISA17)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA17#
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:7834 <rdf:first> <ns:Italian>
_:7834 <rdf:rest> _:7833
<ns:ItalianMale> <owl:intersectionOf> _:7834
<ns:ItalianMale> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMale> <rdfs:subClassOf> <ns:Male>
_:7833 <rdf:first> <ns:Male>
_:7833 <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISA17#
_:7837 <rdf:first> <ns:Male>
_:7837 <rdf:rest> <rdf:nil>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMale> <owl:intersectionOf> _:7838
<ns:ItalianMale> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMale> <rdfs:subClassOf> <ns:Male>
_:7838 <rdf:first> <ns:Italian>
_:7838 <rdf:rest> _:7837
E18
(ISB01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISB01#
<ns:Italienne> <rdfs:subClassOf> <ns:Italiano>
<ns:Italienne> <rdfs:subClassOf> <ns:Italian>
<ns:Italienne> <owl:equivalentClass> <ns:Italiano>
<ns:Italienne> <owl:equivalentClass> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <ns:Italiano>
<ns:Italian> <rdfs:subClassOf> <ns:Italienne>
<ns:Italian> <owl:equivalentClass> <ns:Italiano>
<ns:Italian> <owl:equivalentClass> <ns:Italienne>
<ns:Italiano> <rdfs:subClassOf> <ns:Italian>
<ns:Italiano> <rdfs:subClassOf> <ns:Italienne>
<ns:Italiano> <owl:equivalentClass> <ns:Italian>
<ns:Italiano> <owl:equivalentClass> <ns:Italienne>
 Removed:
ns=http://www.example.org/ISB01#
<ns:Italienne> <rdfs:subClassOf> <ns:Italiano>
<ns:Italienne> <rdfs:subClassOf> <ns:Italian>
<ns:Italienne> <owl:equivalentClass> <ns:Italiano>
<ns:Italienne> <owl:equivalentClass> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <ns:Italiano>
<ns:Italian> <rdfs:subClassOf> <ns:Italienne>
<ns:Italian> <owl:equivalentClass> <ns:Italiano>
<ns:Italian> <owl:equivalentClass> <ns:Italienne>
<ns:Italiano> <rdfs:subClassOf> <ns:Italian>
<ns:Italiano> <rdfs:subClassOf> <ns:Italienne>
<ns:Italiano> <owl:equivalentClass> <ns:Italian>
<ns:Italiano> <owl:equivalentClass> <ns:Italienne>
E19
(ISB02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB02#
<ns:hasCar> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
_:7800 <rdf:type> <owl:Restriction>
_:7800 <owl:onProperty> <ns:hasCar>
_:7800 <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7800
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB02#
<ns:Driver> <owl:equivalentClass> _:7fda
_:7fda <rdf:type> <owl:Restriction>
_:7fda <owl:onProperty> <ns:hasCar>
_:7fda <owl:someValuesFrom> <ns:Car>
Inserted:
ns=http://www.example.org/ISB02#
<ns:hasCar> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
_:7804 <rdf:type> <owl:Restriction>
_:7804 <owl:onProperty> <ns:hasCar>
_:7804 <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7804
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
 Removed:
ns=http://www.example.org/ISB02#
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
<ns:Driver> <owl:equivalentClass> _:7801
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
_:7801 <rdf:type> <owl:Restriction>
_:7801 <owl:onProperty> <ns:hasCar>
_:7801 <owl:someValuesFrom> <ns:Car>
Removed:
ns=http://www.example.org/ISB02#
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
<ns:Driver> <owl:equivalentClass> _:7fdb
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
_:7fdb <rdf:type> <owl:Restriction>
_:7fdb <owl:onProperty> <ns:hasCar>
_:7fdb <owl:someValuesFrom> <ns:Car>
Removed:
ns=http://www.example.org/ISB02#
<ns:Driver> <owl:equivalentClass> _:7805
_:7805 <rdf:type> <owl:Restriction>
_:7805 <owl:onProperty> <ns:hasCar>
_:7805 <owl:someValuesFrom> <ns:Car>
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB03#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:77e2
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:77e2 <rdf:type> <owl:Restriction>
_:77e2 <owl:onProperty> <ns:wasBorn>
_:77e2 <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:wasBorn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB03#
_:7fd6 <rdf:type> <owl:Restriction>
_:7fd6 <owl:onProperty> <ns:wasBorn>
_:7fd6 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:7fd6
Inserted:
ns=http://www.example.org/ISB03#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:77e6
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:77e6 <rdf:type> <owl:Restriction>
_:77e6 <owl:onProperty> <ns:wasBorn>
_:77e6 <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:wasBorn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
 Removed:
ns=http://www.example.org/ISB03#
_:77e3 <rdf:type> <owl:Restriction>
_:77e3 <owl:onProperty> <ns:wasBorn>
_:77e3 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:77e3
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
Removed:
ns=http://www.example.org/ISB03#
_:7fd7 <rdf:type> <owl:Restriction>
_:7fd7 <owl:onProperty> <ns:wasBorn>
_:7fd7 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:7fd7
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
Removed:
ns=http://www.example.org/ISB03#
_:77e7 <rdf:type> <owl:Restriction>
_:77e7 <owl:onProperty> <ns:wasBorn>
_:77e7 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:77e7
E21
(ISB04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB04#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:77c5
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:77c5 <rdf:type> <owl:Restriction>
_:77c5 <owl:onProperty> <ns:worksIn>
_:77c5 <owl:allValuesFrom> <owl:Thing>
<ns:worksIn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISB04#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:77c9
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:77c9 <rdf:type> <owl:Restriction>
_:77c9 <owl:onProperty> <ns:worksIn>
_:77c9 <owl:allValuesFrom> <owl:Thing>
<ns:worksIn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
 Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <owl:equivalentClass> _:77c6
_:77c6 <rdf:type> <owl:Restriction>
_:77c6 <owl:onProperty> <ns:worksIn>
_:77c6 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <owl:equivalentClass> _:77ca
_:77ca <rdf:type> <owl:Restriction>
_:77ca <owl:onProperty> <ns:worksIn>
_:77ca <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
E22
(ISB05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB05#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:77a4 <rdf:type> <owl:Restriction>
_:77a4 <owl:onProperty> <ns:hasAffiliation>
_:77a4 <owl:allValuesFrom> <owl:Thing>
_:77a5 <rdf:type> <owl:Restriction>
_:77a5 <owl:onProperty> <ns:hasAffiliation>
_:77a5 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:77a5
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:77a4
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISB05#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:77ab
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:77aa
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
_:77aa <rdf:type> <owl:Restriction>
_:77aa <owl:onProperty> <ns:hasAffiliation>
_:77aa <owl:allValuesFrom> <owl:Thing>
_:77ab <rdf:type> <owl:Restriction>
_:77ab <owl:onProperty> <ns:hasAffiliation>
_:77ab <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:77a6
_:77a6 <rdf:type> <owl:Restriction>
_:77a6 <owl:onProperty> <ns:hasAffiliation>
_:77a6 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:77ac
_:77ac <rdf:type> <owl:Restriction>
_:77ac <owl:onProperty> <ns:hasAffiliation>
_:77ac <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E23
(ISB06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB06#
_:7783 <rdf:type> <owl:Restriction>
_:7783 <owl:onProperty> <ns:hasMother>
_:7783 <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7784 <rdf:type> <owl:Restriction>
_:7784 <owl:onProperty> <ns:hasMother>
_:7784 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7784
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7783
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasMother> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISB06#
_:7789 <rdf:type> <owl:Restriction>
_:7789 <owl:onProperty> <ns:hasMother>
_:7789 <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:778a
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7789
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:778a <rdf:type> <owl:Restriction>
_:778a <owl:onProperty> <ns:hasMother>
_:778a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:hasMother> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:7785
_:7785 <rdf:type> <owl:Restriction>
_:7785 <owl:onProperty> <ns:hasMother>
_:7785 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:778b
_:778b <rdf:type> <owl:Restriction>
_:778b <owl:onProperty> <ns:hasMother>
_:778b <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
E24
(ISB07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB07#
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7761
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:7761 <rdf:type> <owl:Restriction>
_:7761 <owl:onProperty> <ns:hasAffiliation>
_:7761 <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISB07#
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7767
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7767 <rdf:type> <owl:Restriction>
_:7767 <owl:onProperty> <ns:hasAffiliation>
_:7767 <owl:allValuesFrom> <owl:Thing>
 Removed:
ns=http://www.example.org/ISB07#
_:7763 <rdf:type> <owl:Restriction>
_:7763 <owl:onProperty> <ns:hasAffiliation>
_:7763 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:7763
<ns:Researcher> <owl:equivalentClass> _:7762
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
_:7762 <rdf:type> <owl:Restriction>
_:7762 <owl:onProperty> <ns:hasAffiliation>
_:7762 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB07#
_:7769 <rdf:type> <owl:Restriction>
_:7769 <owl:onProperty> <ns:hasAffiliation>
_:7769 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:7768
<ns:Researcher> <owl:equivalentClass> _:7769
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:7768 <rdf:type> <owl:Restriction>
_:7768 <owl:onProperty> <ns:hasAffiliation>
_:7768 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
E25
(ISB08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB08#
_:7743 <rdf:type> <owl:Restriction>
_:7743 <owl:onProperty> <ns:hasName>
_:7743 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7743
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasName> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISB08#
_:7747 <rdf:type> <owl:Restriction>
_:7747 <owl:onProperty> <ns:hasName>
_:7747 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7747
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasName> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasName> <rdfs:range> <xsd:string>
 Removed:
ns=http://www.example.org/ISB08#
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:Person> <owl:equivalentClass> _:7744
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
_:7744 <rdf:type> <owl:Restriction>
_:7744 <owl:onProperty> <ns:hasName>
_:7744 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Person>
 Removed:
ns=http://www.example.org/ISB08#
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:Person> <owl:equivalentClass> _:7748
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
<owl:Nothing> <owl:complementOf> <ns:Person>
_:7748 <rdf:type> <owl:Restriction>
_:7748 <owl:onProperty> <ns:hasName>
_:7748 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
E26
(ISB09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB09#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7722 <rdf:type> <owl:Restriction>
_:7722 <owl:onProperty> <ns:wrotePhDThesis>
_:7722 <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7723
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7722
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:7723 <rdf:type> <owl:Restriction>
_:7723 <owl:onProperty> <ns:wrotePhDThesis>
_:7723 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISB09#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7728 <rdf:type> <owl:Restriction>
_:7728 <owl:onProperty> <ns:wrotePhDThesis>
_:7728 <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7729
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7728
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:7729 <rdf:type> <owl:Restriction>
_:7729 <owl:onProperty> <ns:wrotePhDThesis>
_:7729 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB09#
<ns:Researcher> <owl:equivalentClass> _:7724
_:7724 <rdf:type> <owl:Restriction>
_:7724 <owl:onProperty> <ns:wrotePhDThesis>
_:7724 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB09#
_:772a <rdf:type> <owl:Restriction>
_:772a <owl:onProperty> <ns:wrotePhDThesis>
_:772a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:772a
E27
(ISB10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB10#
<ns:hasSSN> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasSSN> <rdfs:range> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7701 <rdf:type> <owl:Restriction>
_:7701 <owl:onProperty> <ns:hasSSN>
_:7701 <owl:allValuesFrom> <xsd:string>
_:7702 <rdf:type> <owl:Restriction>
_:7702 <owl:onProperty> <ns:hasSSN>
_:7702 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7702
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7701
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISB10#
<ns:hasSSN> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasSSN> <rdfs:range> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7707 <rdf:type> <owl:Restriction>
_:7707 <owl:onProperty> <ns:hasSSN>
_:7707 <owl:allValuesFrom> <xsd:string>
_:7708 <rdf:type> <owl:Restriction>
_:7708 <owl:onProperty> <ns:hasSSN>
_:7708 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7708
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7707
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
 Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:7703
_:7703 <rdf:type> <owl:Restriction>
_:7703 <owl:onProperty> <ns:hasSSN>
_:7703 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB10#
_:7709 <rdf:type> <owl:Restriction>
_:7709 <owl:onProperty> <ns:hasSSN>
_:7709 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Man> <owl:equivalentClass> _:7709
E28
(ISB11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:76dc <rdf:type> <owl:Restriction>
_:76dc <owl:onProperty> <ns:wrotePhDThesis>
_:76dc <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:76dd <rdf:type> <owl:Restriction>
_:76dd <owl:onProperty> <ns:wrotePhDThesis>
_:76dd <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:76dd
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:76dc
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:76e4 <rdf:type> <owl:Restriction>
_:76e4 <owl:onProperty> <ns:wrotePhDThesis>
_:76e4 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:76e5
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:76e4
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:76e5 <rdf:type> <owl:Restriction>
_:76e5 <owl:onProperty> <ns:wrotePhDThesis>
_:76e5 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:76df
<ns:Researcher> <owl:equivalentClass> _:76de
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:76de <rdf:type> <owl:Restriction>
_:76de <owl:onProperty> <ns:wrotePhDThesis>
_:76de <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:76df <rdf:type> <owl:Restriction>
_:76df <owl:onProperty> <ns:wrotePhDThesis>
_:76df <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
 Removed:
ns=http://www.example.org/ISB11#
_:76e6 <rdf:type> <owl:Restriction>
_:76e6 <owl:onProperty> <ns:wrotePhDThesis>
_:76e6 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:76e7 <rdf:type> <owl:Restriction>
_:76e7 <owl:onProperty> <ns:wrotePhDThesis>
_:76e7 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:76e6
<ns:Researcher> <owl:equivalentClass> _:76e7
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
E29
(ISB12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB12#
<ns:OWL_ANONYM_CLASS_0> <rdf:type> <owl:Class>
<ns:OWL_ANONYM_CLASS_0> <owl:disjointWith> <owl:Nothing>
<ns:OWL_ANONYM_CLASS_0> <rdfs:subClassOf> <ns:OWL_ANONYM_CLASS_0>
<ns:OWL_ANONYM_CLASS_0> <rdfs:subClassOf> <owl:Thing>
<ns:OWL_ANONYM_CLASS_0> <owl:equivalentClass> <ns:OWL_ANONYM_CLASS_0>
<owl:Nothing> <owl:disjointWith> <ns:OWL_ANONYM_CLASS_0>
<owl:Nothing> <rdfs:subClassOf> <ns:OWL_ANONYM_CLASS_0>
  Inserted:
ns=http://www.example.org/ISB12#
<ns:OWL_ANONYM_CLASS_0> <rdf:type> <owl:Class>
<ns:OWL_ANONYM_CLASS_0> <owl:disjointWith> <owl:Nothing>
<ns:OWL_ANONYM_CLASS_0> <rdfs:subClassOf> <ns:OWL_ANONYM_CLASS_0>
<ns:OWL_ANONYM_CLASS_0> <rdfs:subClassOf> <owl:Thing>
<ns:OWL_ANONYM_CLASS_0> <owl:equivalentClass> <ns:OWL_ANONYM_CLASS_0>
<owl:Nothing> <owl:disjointWith> <ns:OWL_ANONYM_CLASS_0>
<owl:Nothing> <rdfs:subClassOf> <ns:OWL_ANONYM_CLASS_0>
 Removed:
ns=http://www.example.org/ISB12#
_:76bc <rdf:type> <owl:Class>
_:76bc <owl:intersectionOf> _:76bb
_:76bb <rdf:first> <ns:Italian>
_:76bb <rdf:rest> _:76ba
<ns:ItalianMan> <owl:equivalentClass> _:76bc
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:76ba <rdf:first> <ns:Male>
_:76ba <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISB12#
_:76c1 <rdf:type> <owl:Class>
_:76c1 <owl:intersectionOf> _:76c0
_:76c0 <rdf:first> <ns:Italian>
_:76c0 <rdf:rest> _:76c2
<ns:ItalianMan> <owl:equivalentClass> _:76c1
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:76c2 <rdf:first> <ns:Male>
_:76c2 <rdf:rest> <rdf:nil>
E30
(ISC01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISC01#
<ns:ItalianMan> <owl:intersectionOf> _:769c
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:769c <rdf:first> <ns:Italian>
_:769c <rdf:rest> _:769b
_:769b <rdf:first> <ns:Male>
_:769b <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISC01#
<ns:ItalianMan> <owl:intersectionOf> _:76a0
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:76a0 <rdf:first> <ns:Italian>
_:76a0 <rdf:rest> _:769f
_:769f <rdf:first> <ns:Male>
_:769f <rdf:rest> <rdf:nil>
E31
(ISC02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISC02#
_:767d <rdf:first> <ns:Italian>
_:767d <rdf:rest> _:767c
_:767c <rdf:first> <ns:Male>
_:767c <rdf:rest> _:767b
_:767b <rdf:first> <ns:Person>
_:767b <rdf:rest> <rdf:nil>
<ns:ItalianMan> <owl:intersectionOf> _:767d
<ns:ItalianMan> <rdfs:subClassOf> <ns:Person>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
 Removed:
ns=http://www.example.org/ISC02#
_:7683 <rdf:first> <ns:Person>
_:7683 <rdf:rest> <rdf:nil>
_:7682 <rdf:first> <ns:Italian>
_:7682 <rdf:rest> _:7681
_:7681 <rdf:first> <ns:Male>
_:7681 <rdf:rest> _:7683
<ns:ItalianMan> <owl:intersectionOf> _:7682
<ns:ItalianMan> <rdfs:subClassOf> <ns:Person>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
E32
(ISD01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E33
(ISD02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISD02#
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
 Removed:
ns=http://www.example.org/ISD02#
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
E34
(ISD03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 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: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
 Removed:
ns=http://www.example.org/ISD04#
<ns:isRational> <rdf:type> <owl:DatatypeProperty>
<ns:isRational> <rdf:type> <rdf:Property>
<ns:isRational> <owl:equivalentProperty> <ns:isRational>
<ns:isRational> <rdfs:subPropertyOf> <ns:isRational>
<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>
<ns:isReal> <rdf:type> <owl:DatatypeProperty>
<ns:isReal> <rdf:type> <rdf:Property>
<ns:isReal> <owl:equivalentProperty> <ns:isReal>
<ns:isReal> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdf:type> <owl:DatatypeProperty>
<ns:isInteger> <rdf:type> <rdf:Property>
<ns:isInteger> <owl:equivalentProperty> <ns:isInteger>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isInteger>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>
 Removed:
ns=http://www.example.org/ISD04#
<ns:isRational> <rdf:type> <owl:DatatypeProperty>
<ns:isRational> <rdf:type> <rdf:Property>
<ns:isRational> <owl:equivalentProperty> <ns:isRational>
<ns:isRational> <rdfs:subPropertyOf> <ns:isRational>
<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>
<ns:isReal> <rdf:type> <owl:DatatypeProperty>
<ns:isReal> <rdf:type> <rdf:Property>
<ns:isReal> <owl:equivalentProperty> <ns:isReal>
<ns:isReal> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdf:type> <owl:DatatypeProperty>
<ns:isInteger> <rdf:type> <rdf:Property>
<ns:isInteger> <owl:equivalentProperty> <ns:isInteger>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isInteger>
<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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE05#
<ns:hasChild> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:75a8
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Woman>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Mother>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:75a8 <rdf:type> <owl:Restriction>
_:75a8 <owl:onProperty> <ns:hasChild>
_:75a8 <owl:allValuesFrom> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISE05#
<ns:hasChild> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:75aa
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Woman>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Mother>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:75aa <rdf:type> <owl:Restriction>
_:75aa <owl:onProperty> <ns:hasChild>
_:75aa <owl:allValuesFrom> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
E41
(ISE06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE06#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Child>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Human>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:Person> <rdfs:subClassOf> _:758f
_:758f <rdf:type> <owl:Restriction>
_:758f <owl:onProperty> <ns:hasChild>
_:758f <owl:allValuesFrom> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasChild> <rdfs:range> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISE06#
_:7591 <rdf:type> <owl:Restriction>
_:7591 <owl:onProperty> <ns:hasChild>
_:7591 <owl:allValuesFrom> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Child>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Human>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:Person> <rdfs:subClassOf> _:7591
<ns:hasChild> <rdfs:range> <ns:ANONYMOUS_CONCEPT_0>
E42
(ISE07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE07#
_:7575 <rdf:type> <owl:Restriction>
_:7575 <owl:onProperty> <ns:hasSSN>
_:7575 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:7575
<ns:hasSSN> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISE07#
<ns:Person> <rdfs:subClassOf> _:7577
<ns:hasSSN> <rdfs:range> <xsd:string>
_:7577 <rdf:type> <owl:Restriction>
_:7577 <owl:onProperty> <ns:hasSSN>
_:7577 <owl:allValuesFrom> <xsd:string>
E43
(ISE08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE08#
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
 Removed:
ns=http://www.example.org/ISE08#
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
E44
(ISE09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE09#
_:7546 <rdf:type> <owl:Restriction>
_:7546 <owl:onProperty> <ns:hasName>
_:7546 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:7546
  Inserted:
ns=http://www.example.org/ISE09#
_:7549 <rdf:type> <owl:Restriction>
_:7549 <owl:onProperty> <ns:hasName>
_:7549 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:7549
E45
(ISE10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE10#
<ns:hasChildNamed> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasChildNamed> <rdfs:range> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:752d
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Mother>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Woman>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:752d <rdf:type> <owl:Restriction>
_:752d <owl:onProperty> <ns:hasChildNamed>
_:752d <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISE10#
<ns:hasChildNamed> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasChildNamed> <rdfs:range> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:752f
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Mother>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Woman>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:752f <rdf:type> <owl:Restriction>
_:752f <owl:onProperty> <ns:hasChildNamed>
_:752f <owl:allValuesFrom> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
E46
(ISF01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF01#
<ns:Person> <rdfs:subClassOf> _:7511
<ns:Person> <rdfs:subClassOf> _:7510
_:7511 <rdf:type> <owl:Restriction>
_:7511 <owl:onProperty> <ns:isResidentIn>
_:7511 <owl:allValuesFrom> <ns:City>
_:7510 <rdf:type> <owl:Restriction>
_:7510 <owl:onProperty> <ns:livesIn>
_:7510 <owl:allValuesFrom> <ns:City>
  Inserted:
ns=http://www.example.org/ISF01#
<ns:Person> <rdfs:subClassOf> _:7516
<ns:Person> <rdfs:subClassOf> _:7515
_:7516 <rdf:type> <owl:Restriction>
_:7516 <owl:onProperty> <ns:isResidentIn>
_:7516 <owl:allValuesFrom> <ns:City>
_:7515 <rdf:type> <owl:Restriction>
_:7515 <owl:onProperty> <ns:livesIn>
_:7515 <owl:allValuesFrom> <ns:City>
 Removed:
ns=http://www.example.org/ISF01#
<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>
<ns:isResidentIn> <rdfs:subPropertyOf> <ns:livesIn>
<ns:livesIn> <owl:equivalentProperty> <ns:isResidentIn>
<ns:livesIn> <rdfs:subPropertyOf> <ns:isResidentIn>
 Removed:
ns=http://www.example.org/ISF01#
<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>
<ns:isResidentIn> <rdfs:subPropertyOf> <ns:livesIn>
<ns:livesIn> <owl:equivalentProperty> <ns:isResidentIn>
<ns:livesIn> <rdfs:subPropertyOf> <ns:isResidentIn>
E47
(ISF02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF02#
_:74f4 <rdf:type> <owl:Restriction>
_:74f4 <owl:onProperty> <ns:hasName>
_:74f4 <owl:allValuesFrom> <xsd:string>
<ns:City> <rdfs:subClassOf> _:74f4
<ns:City> <rdfs:subClassOf> _:74f3
_:74f3 <rdf:type> <owl:Restriction>
_:74f3 <owl:onProperty> <ns:hasSpanishName>
_:74f3 <owl:allValuesFrom> <xsd:string>
<ns:hasSpanishName> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISF02#
<ns:City> <rdfs:subClassOf> _:74f8
<ns:City> <rdfs:subClassOf> _:74f7
_:74f7 <rdf:type> <owl:Restriction>
_:74f7 <owl:onProperty> <ns:hasSpanishName>
_:74f7 <owl:allValuesFrom> <xsd:string>
_:74f8 <rdf:type> <owl:Restriction>
_:74f8 <owl:onProperty> <ns:hasName>
_:74f8 <owl:allValuesFrom> <xsd:string>
<ns:hasSpanishName> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
E48
(ISF03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF03#
<ns:Child> <rdfs:subClassOf> _:74d8
_:74d8 <rdf:type> <owl:Restriction>
_:74d8 <owl:onProperty> <ns:hasParent>
_:74d8 <owl:allValuesFrom> <ns:Person>
  Inserted:
ns=http://www.example.org/ISF03#
<ns:Child> <rdfs:subClassOf> _:74da
_:74da <rdf:type> <owl:Restriction>
_:74da <owl:onProperty> <ns:hasParent>
_:74da <owl:allValuesFrom> <ns:Person>
 Removed:
ns=http://www.example.org/ISF03#
<ns:hasParent> <owl:inverseOf> <ns:hasChild>
<ns:hasChild> <owl:inverseOf> <ns:hasParent>
 Removed:
ns=http://www.example.org/ISF03#
<ns:hasParent> <owl:inverseOf> <ns:hasChild>
<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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:746c
<ns:Person> <rdfs:subClassOf> _:746b
_:746c <rdf:type> <owl:Restriction>
_:746c <owl:onProperty> <ns:hasAge>
_:746c <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:746b <rdf:type> <owl:Restriction>
_:746b <owl:onProperty> <ns:hasAge>
_:746b <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:7471
<ns:Person> <rdfs:subClassOf> _:7470
_:7471 <rdf:type> <owl:Restriction>
_:7471 <owl:onProperty> <ns:hasAge>
_:7471 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7470 <rdf:type> <owl:Restriction>
_:7470 <owl:onProperty> <ns:hasAge>
_:7470 <owl:allValuesFrom> <xsd:string>
E53
(ISG05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG05#
<ns:Professor> <rdfs:subClassOf> _:7451
_:7451 <rdf:type> <owl:Restriction>
_:7451 <owl:onProperty> <ns:hasTutor>
_:7451 <owl:allValuesFrom> <ns:Student>
  Inserted:
ns=http://www.example.org/ISG05#
<ns:Professor> <rdfs:subClassOf> _:7453
_:7453 <rdf:type> <owl:Restriction>
_:7453 <owl:onProperty> <ns:hasTutor>
_:7453 <owl:allValuesFrom> <ns:Student>
 Removed:
ns=http://www.example.org/ISG05#
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
 Removed:
ns=http://www.example.org/ISG05#
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
E54
(ISH01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISH01#
<ns:Peter> <owl:sameAs> <ns:Peter>
<ns:Peter> <rdf:type> <ns:Person>
<ns:Peter> <rdf:type> <owl:Thing>
Removed:
ns=http://www.example.org/ISH01#
<ns:Peter> <owl:sameAs> <ns:Peter>
<ns:Peter> <rdf:type> <ns:Person>
<ns:Peter> <rdf:type> <owl:Thing>
 
E55
(ISH02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISH02#
<ns:Peter> <rdf:type> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Student>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Father>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISH02#
<ns:Peter> <rdf:type> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Student>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Father>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
E56
(ISH03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISH03#
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <rdf:type> <ns:Person>
Removed:
ns=http://www.example.org/ISH03#
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <rdf:type> <ns:Person>
 
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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI04#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:73aa
_:73aa <rdf:type> <owl:Restriction>
_:73aa <owl:onProperty> <ns:hasName>
_:73aa <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISI04#
<ns:hasName> <rdfs:range> <xsd:string>
_:73ac <rdf:type> <owl:Restriction>
_:73ac <owl:onProperty> <ns:hasName>
_:73ac <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:73ac
E61
(ISI05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI05#
<ns:Person> <rdfs:subClassOf> _:7390
_:7390 <rdf:type> <owl:Restriction>
_:7390 <owl:onProperty> <ns:hasName>
_:7390 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISI05#
<ns:Person> <rdfs:subClassOf> _:7393
_:7393 <rdf:type> <owl:Restriction>
_:7393 <owl:onProperty> <ns:hasName>
_:7393 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
E62
(ISJ01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ01#
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasChild> <ns:John>
<ns:Person> <rdfs:subClassOf> _:7374
_:7374 <rdf:type> <owl:Restriction>
_:7374 <owl:onProperty> <ns:hasChild>
_:7374 <owl:allValuesFrom> <ns:Person>
  Inserted:
ns=http://www.example.org/ISJ01#
_:7378 <rdf:type> <owl:Restriction>
_:7378 <owl:onProperty> <ns:hasChild>
_:7378 <owl:allValuesFrom> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasChild> <ns:John>
<ns:Person> <rdfs:subClassOf> _:7378
 Removed:
ns=http://www.example.org/ISJ01#
_:7375 <owl:sameAs> _:7375
_:7375 <rdf:type> <ns:Person>
_:7375 <rdf:type> <owl:Thing>
_:7375 <ns:hasChild> <ns:John>
 Removed:
ns=http://www.example.org/ISJ01#
_:7379 <owl:sameAs> _:7379
_:7379 <rdf:type> <ns:Person>
_:7379 <rdf:type> <owl:Thing>
_:7379 <ns:hasChild> <ns:John>
E63
(ISJ02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ02#
<ns:Parent> <rdfs:subClassOf> _:7356
_:7356 <rdf:type> <owl:Restriction>
_:7356 <owl:onProperty> <ns:hasChild>
_:7356 <owl:allValuesFrom> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Parent>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasChild> <ns:John>
  Inserted:
ns=http://www.example.org/ISJ02#
<ns:Parent> <rdfs:subClassOf> _:735a
_:735a <rdf:type> <owl:Restriction>
_:735a <owl:onProperty> <ns:hasChild>
_:735a <owl:allValuesFrom> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Parent>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasChild> <ns:John>
 Removed:
ns=http://www.example.org/ISJ02#
_:7357 <owl:sameAs> _:7357
_:7357 <rdf:type> <ns:Parent>
_:7357 <rdf:type> <owl:Thing>
_:7357 <ns:hasChild> <ns:John>
 Removed:
ns=http://www.example.org/ISJ02#
_:735b <owl:sameAs> _:735b
_:735b <rdf:type> <ns:Parent>
_:735b <rdf:type> <owl:Thing>
_:735b <ns:hasChild> <ns:John>
E64
(ISJ03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ03#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:7338
_:7338 <rdf:type> <owl:Restriction>
_:7338 <owl:onProperty> <ns:hasName>
_:7338 <owl:allValuesFrom> <xsd:string>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Peter"^^<xsd:string>
  Inserted:
ns=http://www.example.org/ISJ03#
<ns:hasName> <rdfs:range> <xsd:string>
_:733c <rdf:type> <owl:Restriction>
_:733c <owl:onProperty> <ns:hasName>
_:733c <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:733c
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Peter"^^<xsd:string>
 Removed:
ns=http://www.example.org/ISJ03#
_:7339 <owl:sameAs> _:7339
_:7339 <rdf:type> <owl:Thing>
_:7339 <rdf:type> <ns:Person>
_:7339 <ns:hasName> "Peter"
 Removed:
ns=http://www.example.org/ISJ03#
_:733e <owl:sameAs> _:733e
_:733e <rdf:type> <owl:Thing>
_:733e <rdf:type> <ns:Person>
_:733e <ns:hasName> "Peter"
E65
(ISK01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISK01#
<ns:MaryAnn> <owl:sameAs> <ns:Mary>
<ns:Mary> <owl:sameAs> <ns:MaryAnn>
 Removed:
ns=http://www.example.org/ISK01#
<ns:MaryAnn> <owl:sameAs> <ns:Mary>
<ns:Mary> <owl:sameAs> <ns:MaryAnn>
E66
(ISK02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISK02#
<ns:MaryAnn> <owl:differentFrom> <ns:Ann>
 Removed:
ns=http://www.example.org/ISK02#
<ns:MaryAnn> <owl:differentFrom> <ns:Ann>
E67
(ISK03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISK03#
_:72ec <rdf:type> <owl:AllDifferent>
_:72ec <owl:distinctMembers> _:72eb
_:72eb <rdf:first> <ns:Ann>
_:72eb <rdf:rest> _:72ea
_:72e9 <rdf:first> <ns:Mary>
_:72e9 <rdf:rest> <rdf:nil>
_:72ea <rdf:first> <ns:Joan>
_:72ea <rdf:rest> _:72e9
 Removed:
ns=http://www.example.org/ISK03#
_:72f2 <rdf:first> <ns:Ann>
_:72f2 <rdf:rest> _:72f5
_:72f5 <rdf:first> <ns:Joan>
_:72f5 <rdf:rest> _:72f4
_:72f4 <rdf:first> <ns:Mary>
_:72f4 <rdf:rest> <rdf:nil>
_:72f3 <rdf:type> <owl:AllDifferent>
_:72f3 <owl:distinctMembers> _:72f2
E68
(ISL01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E69
(ISL02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E70
(ISL03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E71
(ISL04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E72
(ISL05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E73
(ISL06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E74
(ISL07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL07#
_:724d <rdf:type> <owl:Restriction>
_:724d <owl:onProperty> <ns:hasName>
_:724d <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:724d
  Inserted:
ns=http://www.example.org/ISL07#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:724f
_:724f <rdf:type> <owl:Restriction>
_:724f <owl:onProperty> <ns:hasName>
_:724f <owl:allValuesFrom> <xsd:string>
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
_:7233 <rdf:type> <owl:Restriction>
_:7233 <owl:onProperty> <ns:hasName>
_:7233 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:7233
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISL08#
<ns:Person> <rdfs:subClassOf> _:7235
_:7235 <rdf:type> <owl:Restriction>
_:7235 <owl:onProperty> <ns:hasName>
_:7235 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
E76
(ISL09)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E77
(ISL10)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E78
(ISL11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL11#
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:71eb
<ns:Person> <rdfs:subClassOf> _:71ea
_:71ea <rdf:type> <owl:Restriction>
_:71ea <owl:onProperty> <ns:hasSurname>
_:71ea <owl:allValuesFrom> <xsd:string>
_:71eb <rdf:type> <owl:Restriction>
_:71eb <owl:onProperty> <ns:hasName>
_:71eb <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISL11#
<ns:hasSurname> <rdfs:range> <xsd:string>
_:71ef <rdf:type> <owl:Restriction>
_:71ef <owl:onProperty> <ns:hasSurname>
_:71ef <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:71f0
<ns:Person> <rdfs:subClassOf> _:71ef
_:71f0 <rdf:type> <owl:Restriction>
_:71f0 <owl:onProperty> <ns:hasName>
_:71f0 <owl:allValuesFrom> <xsd:string>
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL12#
_:71cc <rdf:type> <owl:Restriction>
_:71cc <owl:onProperty> <ns:hasName>
_:71cc <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:71cc
<ns:Person> <rdfs:subClassOf> _:71cb
_:71cb <rdf:type> <owl:Restriction>
_:71cb <owl:onProperty> <ns:hasSurname>
_:71cb <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISL12#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
_:71cf <rdf:type> <owl:Restriction>
_:71cf <owl:onProperty> <ns:hasSurname>
_:71cf <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:71d0
<ns:Person> <rdfs:subClassOf> _:71cf
_:71d0 <rdf:type> <owl:Restriction>
_:71d0 <owl:onProperty> <ns:hasName>
_:71d0 <owl:allValuesFrom> <xsd:string>
E80
(ISL13)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL13#
_:71a8 <rdf:type> <owl:Restriction>
_:71a8 <owl:onProperty> <ns:hasChild>
_:71a8 <owl:allValuesFrom> <ns:Child>
_:71a9 <rdf:type> <owl:Restriction>
_:71a9 <owl:onProperty> <ns:hasName>
_:71a9 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:71a9
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Paul"^^<xsd:string>
<ns:Person> <rdfs:subClassOf> _:71a8
  Inserted:
ns=http://www.example.org/ISL13#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:71b0
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Paul"^^<xsd:string>
_:71af <rdf:type> <owl:Restriction>
_:71af <owl:onProperty> <ns:hasChild>
_:71af <owl:allValuesFrom> <ns:Child>
<ns:Person> <rdfs:subClassOf> _:71af
_:71b0 <rdf:type> <owl:Restriction>
_:71b0 <owl:onProperty> <ns:hasName>
_:71b0 <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISL13#
<ns:John> <ns:hasChild> _:71aa
_:71aa <owl:sameAs> _:71aa
_:71aa <rdf:type> <ns:Child>
_:71aa <rdf:type> <owl:Thing>
_:71aa <ns:hasName> "Paul"
 Removed:
ns=http://www.example.org/ISL13#
_:71b1 <owl:sameAs> _:71b1
_:71b1 <rdf:type> <ns:Child>
_:71b1 <rdf:type> <owl:Thing>
_:71b1 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:71b1
E81
(ISL14)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL14#
<ns:hasName> <rdfs:range> <xsd:string>
_:7183 <rdf:type> <owl:Restriction>
_:7183 <owl:onProperty> <ns:hasChild>
_:7183 <owl:allValuesFrom> <ns:Child>
_:7184 <rdf:type> <owl:Restriction>
_:7184 <owl:onProperty> <ns:hasName>
_:7184 <owl:allValuesFrom> <xsd:string>
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
<ns:Person> <rdfs:subClassOf> _:7183
<ns:Child> <rdfs:subClassOf> _:7184
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Paul"^^<xsd:string>
  Inserted:
ns=http://www.example.org/ISL14#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
_:718b <rdf:type> <owl:Restriction>
_:718b <owl:onProperty> <ns:hasChild>
_:718b <owl:allValuesFrom> <ns:Child>
<ns:Person> <rdfs:subClassOf> _:718b
<ns:Child> <rdfs:subClassOf> _:718c
_:718c <rdf:type> <owl:Restriction>
_:718c <owl:onProperty> <ns:hasName>
_:718c <owl:allValuesFrom> <xsd:string>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Paul"^^<xsd:string>
 Removed:
ns=http://www.example.org/ISL14#
_:7185 <owl:sameAs> _:7185
_:7185 <rdf:type> <ns:Child>
_:7185 <rdf:type> <owl:Thing>
_:7185 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:7185
 Removed:
ns=http://www.example.org/ISL14#
_:718d <owl:sameAs> _:718d
_:718d <rdf:type> <ns:Child>
_:718d <rdf:type> <owl:Thing>
_:718d <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:718d
E82
(ISL15)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL15#
<ns:Book> <rdfs:comment> "rdfs:label : Book||rdfs:label : Libro||"
  Inserted:
ns=http://www.example.org/ISL15#
<ns:Book> <rdfs:comment> "rdfs:label : Book||rdfs:label : Libro||"
 Removed:
ns=http://www.example.org/ISL15#
<ns:Book> <rdfs:label> "Book"@en
<ns:Book> <rdfs:label> "Libro"@es
 Removed:
ns=http://www.example.org/ISL15#
<ns:Book> <rdfs:label> "Libro"@es
<ns:Book> <rdfs:label> "Book"@en
Namespaces
owl=http://www.w3.org/2002/07/owl#
rdf=http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs=http://www.w3.org/2000/01/rdf-schema#
xsd=http://www.w3.org/2001/XMLSchema
#diff=http://www.aifb.uni-karlsruhe.de/WBS/dvr/owltools/diff/result#