Interoperability from SWIProlog to WebODE (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (SWIProlog) 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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA07#
_:3145 <rdf:type> <owl:Restriction>
_:3145 <owl:onProperty> <ns:hasCar>
_:3145 <owl:allValuesFrom> <owl:Thing>
<ns:hasCar> <rdfs:domain> <ns:Driver>
<ns:Driver> <rdfs:subClassOf> _:3145
  Inserted:
ns=http://www.example.org/ISA07#
<ns:hasCar> <rdfs:domain> <ns:Driver>
<ns:Driver> <rdfs:subClassOf> _:3149
_:3149 <rdf:type> <owl:Restriction>
_:3149 <owl:onProperty> <ns:hasCar>
_:3149 <owl:allValuesFrom> <owl:Thing>
 Removed:
ns=http://www.example.org/ISA07#
_:3146 <rdf:type> <owl:Restriction>
_:3146 <owl:onProperty> <ns:hasCar>
_:3146 <owl:someValuesFrom> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:3146
 Removed:
ns=http://www.example.org/ISA07#
<ns:Driver> <rdfs:subClassOf> _:314a
_:314a <rdf:type> <owl:Restriction>
_:314a <owl:onProperty> <ns:hasCar>
_:314a <owl:someValuesFrom> <ns:Car>
E08
(ISA08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
_:3128 <rdf:type> <owl:Restriction>
_:3128 <owl:onProperty> <ns:wasBorn>
_:3128 <owl:allValuesFrom> <owl:Thing>
<ns:wasBorn> <rdfs:domain> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> _:3128
  Inserted:
ns=http://www.example.org/ISA08#
<ns:wasBorn> <rdfs:domain> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> _:312c
_:312c <rdf:type> <owl:Restriction>
_:312c <owl:onProperty> <ns:wasBorn>
_:312c <owl:allValuesFrom> <owl:Thing>
 Removed:
ns=http://www.example.org/ISA08#
_:3129 <rdf:type> <owl:Restriction>
_:3129 <owl:onProperty> <ns:wasBorn>
_:3129 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:3129
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:312d
_:312d <rdf:type> <owl:Restriction>
_:312d <owl:allValuesFrom> <ns:Italy>
_:312d <owl:onProperty> <ns:wasBorn>
E09
(ISA09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA09#
_:310b <rdf:type> <owl:Restriction>
_:310b <owl:onProperty> <ns:worksIn>
_:310b <owl:allValuesFrom> <owl:Thing>
<ns:Employee> <rdfs:subClassOf> _:310b
<ns:worksIn> <rdfs:domain> <ns:Employee>
  Inserted:
ns=http://www.example.org/ISA09#
<ns:Employee> <rdfs:subClassOf> _:310f
_:310f <rdf:type> <owl:Restriction>
_:310f <owl:onProperty> <ns:worksIn>
_:310f <owl:allValuesFrom> <owl:Thing>
<ns:worksIn> <rdfs:domain> <ns:Employee>
 Removed:
ns=http://www.example.org/ISA09#
_:310c <rdf:type> <owl:Restriction>
_:310c <owl:onProperty> <ns:worksIn>
_:310c <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:310c
 Removed:
ns=http://www.example.org/ISA09#
_:3110 <rdf:type> <owl:Restriction>
_:3110 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:3110 <owl:onProperty> <ns:worksIn>
<ns:Employee> <rdfs:subClassOf> _:3110
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> _:30ec
<ns:Researcher> <rdfs:subClassOf> _:30eb
_:30ec <rdf:type> <owl:Restriction>
_:30ec <owl:onProperty> <ns:hasAffiliation>
_:30ec <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:30eb <rdf:type> <owl:Restriction>
_:30eb <owl:onProperty> <ns:hasAffiliation>
_:30eb <owl:allValuesFrom> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:30f2
<ns:Researcher> <rdfs:subClassOf> _:30f1
_:30f2 <rdf:type> <owl:Restriction>
_:30f2 <owl:onProperty> <ns:hasAffiliation>
_:30f2 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:30f1 <rdf:type> <owl:Restriction>
_:30f1 <owl:onProperty> <ns:hasAffiliation>
_:30f1 <owl:allValuesFrom> <owl:Thing>
 Removed:
ns=http://www.example.org/ISA10#
<ns:Researcher> <rdfs:subClassOf> _:30ed
_:30ed <rdf:type> <owl:Restriction>
_:30ed <owl:onProperty> <ns:hasAffiliation>
_:30ed <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA10#
<ns:Researcher> <rdfs:subClassOf> _:30f3
_:30f3 <rdf:type> <owl:Restriction>
_:30f3 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:30f3 <owl:onProperty> <ns:hasAffiliation>
E11
(ISA11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA11#
_:30cb <rdf:type> <owl:Restriction>
_:30cb <owl:onProperty> <ns:hasMother>
_:30cb <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:30ca <rdf:type> <owl:Restriction>
_:30ca <owl:onProperty> <ns:hasMother>
_:30ca <owl:allValuesFrom> <owl:Thing>
<ns:Person> <rdfs:subClassOf> _:30cb
<ns:Person> <rdfs:subClassOf> _:30ca
<ns:hasMother> <rdfs:domain> <ns:Person>
  Inserted:
ns=http://www.example.org/ISA11#
_:30d0 <rdf:type> <owl:Restriction>
_:30d0 <owl:onProperty> <ns:hasMother>
_:30d0 <owl:allValuesFrom> <owl:Thing>
<ns:Person> <rdfs:subClassOf> _:30d1
<ns:Person> <rdfs:subClassOf> _:30d0
<ns:hasMother> <rdfs:domain> <ns:Person>
_:30d1 <rdf:type> <owl:Restriction>
_:30d1 <owl:onProperty> <ns:hasMother>
_:30d1 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA11#
_:30cc <rdf:type> <owl:Restriction>
_:30cc <owl:onProperty> <ns:hasMother>
_:30cc <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:30cc
 Removed:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:30d2
_:30d2 <rdf:type> <owl:Restriction>
_:30d2 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:30d2 <owl:onProperty> <ns:hasMother>
E12
(ISA12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA12#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
_:30a7 <rdf:type> <owl:Restriction>
_:30a7 <owl:onProperty> <ns:hasAffiliation>
_:30a7 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:30a7
<ns:Researcher> <rdfs:subClassOf> _:30a6
_:30a6 <rdf:type> <owl:Restriction>
_:30a6 <owl:onProperty> <ns:hasAffiliation>
_:30a6 <owl:allValuesFrom> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA12#
_:30ae <rdf:type> <owl:Restriction>
_:30ae <owl:onProperty> <ns:hasAffiliation>
_:30ae <owl:allValuesFrom> <owl:Thing>
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:30af
<ns:Researcher> <rdfs:subClassOf> _:30ae
_:30af <rdf:type> <owl:Restriction>
_:30af <owl:onProperty> <ns:hasAffiliation>
_:30af <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA12#
_:30a9 <rdf:type> <owl:Restriction>
_:30a9 <owl:onProperty> <ns:hasAffiliation>
_:30a9 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:30a8 <rdf:type> <owl:Restriction>
_:30a8 <owl:onProperty> <ns:hasAffiliation>
_:30a8 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:30a9
<ns:Researcher> <rdfs:subClassOf> _:30a8
 Removed:
ns=http://www.example.org/ISA12#
_:30b1 <rdf:type> <owl:Restriction>
_:30b1 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:30b1 <owl:onProperty> <ns:hasAffiliation>
_:30b0 <rdf:type> <owl:Restriction>
_:30b0 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:30b0 <owl:onProperty> <ns:hasAffiliation>
<ns:Researcher> <rdfs:subClassOf> _:30b1
<ns:Researcher> <rdfs:subClassOf> _:30b0
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> _:3087
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
_:3087 <rdf:type> <owl:Restriction>
_:3087 <owl:onProperty> <ns:hasName>
_:3087 <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:308b
_:308b <rdf:type> <owl:Restriction>
_:308b <owl:onProperty> <ns:hasName>
_:308b <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
 Removed:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:3088
_:3088 <rdf:type> <owl:Restriction>
_:3088 <owl:onProperty> <ns:hasName>
_:3088 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:308c
_:308c <rdf:type> <owl:Restriction>
_:308c <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:308c <owl:onProperty> <ns:hasName>
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> _:3066
<ns:Researcher> <rdfs:subClassOf> _:3065
_:3065 <rdf:type> <owl:Restriction>
_:3065 <owl:onProperty> <ns:wrotePhDThesis>
_:3065 <owl:allValuesFrom> <xsd:string>
_:3066 <rdf:type> <owl:Restriction>
_:3066 <owl:onProperty> <ns:wrotePhDThesis>
_:3066 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:306c
<ns:Researcher> <rdfs:subClassOf> _:306b
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:306c <rdf:type> <owl:Restriction>
_:306c <owl:onProperty> <ns:wrotePhDThesis>
_:306c <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:306b <rdf:type> <owl:Restriction>
_:306b <owl:onProperty> <ns:wrotePhDThesis>
_:306b <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:3067
_:3067 <rdf:type> <owl:Restriction>
_:3067 <owl:onProperty> <ns:wrotePhDThesis>
_:3067 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:306d
_:306d <rdf:type> <owl:Restriction>
_:306d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:306d <owl:onProperty> <ns:wrotePhDThesis>
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> _:3044
<ns:Person> <rdfs:subClassOf> _:3043
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
_:3044 <rdf:type> <owl:Restriction>
_:3044 <owl:onProperty> <ns:hasSSN>
_:3044 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:3043 <rdf:type> <owl:Restriction>
_:3043 <owl:onProperty> <ns:hasSSN>
_:3043 <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:304a
<ns:Person> <rdfs:subClassOf> _:3049
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
_:304a <rdf:type> <owl:Restriction>
_:304a <owl:onProperty> <ns:hasSSN>
_:304a <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:3049 <rdf:type> <owl:Restriction>
_:3049 <owl:onProperty> <ns:hasSSN>
_:3049 <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:3045
_:3045 <rdf:type> <owl:Restriction>
_:3045 <owl:onProperty> <ns:hasSSN>
_:3045 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:304b
_:304b <rdf:type> <owl:Restriction>
_:304b <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:304b <owl:onProperty> <ns:hasSSN>
E16
(ISA16)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> _:301f
<ns:Researcher> <rdfs:subClassOf> _:301e
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:301e <rdf:type> <owl:Restriction>
_:301e <owl:onProperty> <ns:wrotePhDThesis>
_:301e <owl:allValuesFrom> <xsd:string>
_:301f <rdf:type> <owl:Restriction>
_:301f <owl:onProperty> <ns:wrotePhDThesis>
_:301f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISA16#
_:3027 <rdf:type> <owl:Restriction>
_:3027 <owl:onProperty> <ns:wrotePhDThesis>
_:3027 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:3027
<ns:Researcher> <rdfs:subClassOf> _:3026
_:3026 <rdf:type> <owl:Restriction>
_:3026 <owl:onProperty> <ns:wrotePhDThesis>
_:3026 <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
 Removed:
ns=http://www.example.org/ISA16#
_:3020 <rdf:type> <owl:Restriction>
_:3020 <owl:onProperty> <ns:wrotePhDThesis>
_:3020 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:3021
<ns:Researcher> <rdfs:subClassOf> _:3020
_:3021 <rdf:type> <owl:Restriction>
_:3021 <owl:onProperty> <ns:wrotePhDThesis>
_:3021 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA16#
_:3029 <rdf:type> <owl:Restriction>
_:3029 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:3029 <owl:onProperty> <ns:wrotePhDThesis>
_:3028 <rdf:type> <owl:Restriction>
_:3028 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:3028 <owl:onProperty> <ns:wrotePhDThesis>
<ns:Researcher> <rdfs:subClassOf> _:3029
<ns:Researcher> <rdfs:subClassOf> _:3028
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>
_:2fff <rdf:first> <ns:Male>
_:2fff <rdf:rest> <rdf:nil>
_:3000 <rdf:first> <ns:Italian>
_:3000 <rdf:rest> _:2fff
<ns:ItalianMale> <owl:intersectionOf> _:3000
<ns:ItalianMale> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMale> <rdfs:subClassOf> <ns:Male>
 Removed:
ns=http://www.example.org/ISA17#
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMale> <owl:intersectionOf> _:3004
<ns:ItalianMale> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMale> <rdfs:subClassOf> <ns:Male>
_:3004 <rdf:first> <ns:Italian>
_:3004 <rdf:rest> _:3003
_:3003 <rdf:first> <ns:Male>
_:3003 <rdf:rest> <rdf:nil>
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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB02#
<ns:hasCar> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
_:2fcd <rdf:type> <owl:Restriction>
_:2fcd <owl:onProperty> <ns:hasCar>
_:2fcd <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> _:2fcd
<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:hasCar> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
_:2fd1 <rdf:type> <owl:Restriction>
_:2fd1 <owl:onProperty> <ns:hasCar>
_:2fd1 <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> _:2fd1
<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:Driver> <owl:equivalentClass> _:2fce
_:2fce <rdf:type> <owl:Restriction>
_:2fce <owl:onProperty> <ns:hasCar>
_:2fce <owl:someValuesFrom> <ns:Car>
 Removed:
ns=http://www.example.org/ISB02#
<ns:Driver> <owl:equivalentClass> _:2fd2
_:2fd2 <rdf:type> <owl:Restriction>
_:2fd2 <owl:onProperty> <ns:hasCar>
_:2fd2 <owl:someValuesFrom> <ns:Car>
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
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> _:2fb0
<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>
_:2fb0 <rdf:type> <owl:Restriction>
_:2fb0 <owl:onProperty> <ns:wasBorn>
_:2fb0 <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#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2fb4
<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>
_:2fb4 <rdf:type> <owl:Restriction>
_:2fb4 <owl:onProperty> <ns:wasBorn>
_:2fb4 <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#
<ns:Italian> <owl:equivalentClass> _:2fb1
_:2fb1 <rdf:type> <owl:Restriction>
_:2fb1 <owl:onProperty> <ns:wasBorn>
_:2fb1 <owl:allValuesFrom> <ns:Italy>
 Removed:
ns=http://www.example.org/ISB03#
_:2fb5 <rdf:type> <owl:Restriction>
_:2fb5 <owl:allValuesFrom> <ns:Italy>
_:2fb5 <owl:onProperty> <ns:wasBorn>
<ns:Italian> <owl:equivalentClass> _:2fb5
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> _:2f93
<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:worksIn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
_:2f93 <rdf:type> <owl:Restriction>
_:2f93 <owl:onProperty> <ns:worksIn>
_:2f93 <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/ISB04#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2f97
<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>
_:2f97 <rdf:type> <owl:Restriction>
_:2f97 <owl:onProperty> <ns:worksIn>
_:2f97 <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> _:2f94
_:2f94 <rdf:type> <owl:Restriction>
_:2f94 <owl:onProperty> <ns:worksIn>
_:2f94 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <owl:equivalentClass> _:2f98
_:2f98 <rdf:type> <owl:Restriction>
_:2f98 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:2f98 <owl:onProperty> <ns:worksIn>
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>
_:2f73 <rdf:type> <owl:Restriction>
_:2f73 <owl:onProperty> <ns:hasAffiliation>
_:2f73 <owl:allValuesFrom> <owl:Thing>
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2f74
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2f73
<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>
_:2f74 <rdf:type> <owl:Restriction>
_:2f74 <owl:onProperty> <ns:hasAffiliation>
_:2f74 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISB05#
_:2f7a <rdf:type> <owl:Restriction>
_:2f7a <owl:onProperty> <ns:hasAffiliation>
_:2f7a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:2f79 <rdf:type> <owl:Restriction>
_:2f79 <owl:onProperty> <ns:hasAffiliation>
_:2f79 <owl:allValuesFrom> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2f7a
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2f79
<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>
 Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:2f75
_:2f75 <rdf:type> <owl:Restriction>
_:2f75 <owl:onProperty> <ns:hasAffiliation>
_:2f75 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:2f7b
_:2f7b <rdf:type> <owl:Restriction>
_:2f7b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:2f7b <owl:onProperty> <ns:hasAffiliation>
E23
(ISB06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB06#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:2f52 <rdf:type> <owl:Restriction>
_:2f52 <owl:onProperty> <ns:hasMother>
_:2f52 <owl:allValuesFrom> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2f53
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2f52
<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>
_:2f53 <rdf:type> <owl:Restriction>
_:2f53 <owl:onProperty> <ns:hasMother>
_:2f53 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:hasMother> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISB06#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:2f58 <rdf:type> <owl:Restriction>
_:2f58 <owl:onProperty> <ns:hasMother>
_:2f58 <owl:allValuesFrom> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2f59
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2f58
<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>
_:2f59 <rdf:type> <owl:Restriction>
_:2f59 <owl:onProperty> <ns:hasMother>
_:2f59 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:hasMother> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:2f54
_:2f54 <rdf:type> <owl:Restriction>
_:2f54 <owl:onProperty> <ns:hasMother>
_:2f54 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:2f5a
_:2f5a <rdf:type> <owl:Restriction>
_:2f5a <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:2f5a <owl:onProperty> <ns:hasMother>
E24
(ISB07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB07#
<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> _:2f2e
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2f2d
<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>
_:2f2d <rdf:type> <owl:Restriction>
_:2f2d <owl:onProperty> <ns:hasAffiliation>
_:2f2d <owl:allValuesFrom> <owl:Thing>
_:2f2e <rdf:type> <owl:Restriction>
_:2f2e <owl:onProperty> <ns:hasAffiliation>
_:2f2e <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISB07#
_:2f36 <rdf:type> <owl:Restriction>
_:2f36 <owl:onProperty> <ns:hasAffiliation>
_:2f36 <owl:allValuesFrom> <owl:Thing>
_:2f37 <rdf:type> <owl:Restriction>
_:2f37 <owl:onProperty> <ns:hasAffiliation>
_:2f37 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<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> _:2f37
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2f36
<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>
 Removed:
ns=http://www.example.org/ISB07#
_:2f30 <rdf:type> <owl:Restriction>
_:2f30 <owl:onProperty> <ns:hasAffiliation>
_:2f30 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:2f30
<ns:Researcher> <owl:equivalentClass> _:2f2f
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:2f2f <rdf:type> <owl:Restriction>
_:2f2f <owl:onProperty> <ns:hasAffiliation>
_:2f2f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
 Removed:
ns=http://www.example.org/ISB07#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:2f39
<ns:Researcher> <owl:equivalentClass> _:2f38
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:2f38 <rdf:type> <owl:Restriction>
_:2f38 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:2f38 <owl:onProperty> <ns:hasAffiliation>
_:2f39 <rdf:type> <owl:Restriction>
_:2f39 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:2f39 <owl:onProperty> <ns:hasAffiliation>
<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#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2f0d
<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>
_:2f0d <rdf:type> <owl:Restriction>
_:2f0d <owl:onProperty> <ns:hasName>
_:2f0d <owl:allValuesFrom> <xsd:string>
<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#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2f11
<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>
_:2f11 <rdf:type> <owl:Restriction>
_:2f11 <owl:onProperty> <ns:hasName>
_:2f11 <owl:allValuesFrom> <xsd:string>
<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> _:2f0e
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
_:2f0e <rdf:type> <owl:Restriction>
_:2f0e <owl:onProperty> <ns:hasName>
_:2f0e <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> _:2f12
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
_:2f12 <rdf:type> <owl:Restriction>
_:2f12 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:2f12 <owl:onProperty> <ns:hasName>
<owl:Nothing> <owl:complementOf> <ns:Person>
E26
(ISB09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB09#
_:2eee <rdf:type> <owl:Restriction>
_:2eee <owl:onProperty> <ns:wrotePhDThesis>
_:2eee <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<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>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2eee
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2eed
<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>
_:2eed <rdf:type> <owl:Restriction>
_:2eed <owl:onProperty> <ns:wrotePhDThesis>
_:2eed <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISB09#
_:2ef3 <rdf:type> <owl:Restriction>
_:2ef3 <owl:onProperty> <ns:wrotePhDThesis>
_:2ef3 <owl:allValuesFrom> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:2ef4 <rdf:type> <owl:Restriction>
_:2ef4 <owl:onProperty> <ns:wrotePhDThesis>
_:2ef4 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<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> _:2ef4
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2ef3
<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/ISB09#
<ns:Researcher> <owl:equivalentClass> _:2eef
_:2eef <rdf:type> <owl:Restriction>
_:2eef <owl:onProperty> <ns:wrotePhDThesis>
_:2eef <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB09#
<ns:Researcher> <owl:equivalentClass> _:2ef5
_:2ef5 <rdf:type> <owl:Restriction>
_:2ef5 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:2ef5 <owl:onProperty> <ns:wrotePhDThesis>
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>
_:2ecc <rdf:type> <owl:Restriction>
_:2ecc <owl:onProperty> <ns:hasSSN>
_:2ecc <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2ecd
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2ecc
<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>
_:2ecd <rdf:type> <owl:Restriction>
_:2ecd <owl:onProperty> <ns:hasSSN>
_:2ecd <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISB10#
_:2ed3 <rdf:type> <owl:Restriction>
_:2ed3 <owl:onProperty> <ns:hasSSN>
_:2ed3 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<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>
_:2ed2 <rdf:type> <owl:Restriction>
_:2ed2 <owl:onProperty> <ns:hasSSN>
_:2ed2 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2ed3
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2ed2
<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> _:2ece
_:2ece <rdf:type> <owl:Restriction>
_:2ece <owl:onProperty> <ns:hasSSN>
_:2ece <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:2ed4
_:2ed4 <rdf:type> <owl:Restriction>
_:2ed4 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:2ed4 <owl:onProperty> <ns:hasSSN>
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>
<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> _:2ea9
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2ea8
<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>
_:2ea8 <rdf:type> <owl:Restriction>
_:2ea8 <owl:onProperty> <ns:wrotePhDThesis>
_:2ea8 <owl:allValuesFrom> <xsd:string>
_:2ea9 <rdf:type> <owl:Restriction>
_:2ea9 <owl:onProperty> <ns:wrotePhDThesis>
_:2ea9 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  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>
_:2eb0 <rdf:type> <owl:Restriction>
_:2eb0 <owl:onProperty> <ns:wrotePhDThesis>
_:2eb0 <owl:allValuesFrom> <xsd:string>
_:2eb1 <rdf:type> <owl:Restriction>
_:2eb1 <owl:onProperty> <ns:wrotePhDThesis>
_:2eb1 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2eb1
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2eb0
<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/ISB11#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
_:2eaa <rdf:type> <owl:Restriction>
_:2eaa <owl:onProperty> <ns:wrotePhDThesis>
_:2eaa <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:2eab
<ns:Researcher> <owl:equivalentClass> _:2eaa
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:2eab <rdf:type> <owl:Restriction>
_:2eab <owl:onProperty> <ns:wrotePhDThesis>
_:2eab <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
 Removed:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:2eb3
<ns:Researcher> <owl:equivalentClass> _:2eb2
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:2eb2 <rdf:type> <owl:Restriction>
_:2eb2 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:2eb2 <owl:onProperty> <ns:wrotePhDThesis>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
_:2eb3 <rdf:type> <owl:Restriction>
_:2eb3 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:2eb3 <owl:onProperty> <ns:wrotePhDThesis>
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#
<ns:ItalianMan> <owl:equivalentClass> _:2e88
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:2e88 <rdf:type> <owl:Class>
_:2e88 <owl:intersectionOf> _:2e87
_:2e87 <rdf:first> <ns:Italian>
_:2e87 <rdf:rest> _:2e86
_:2e86 <rdf:first> <ns:Male>
_:2e86 <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISB12#
_:2e8d <rdf:first> <ns:Italian>
_:2e8d <rdf:rest> _:2e8c
_:2e8c <rdf:first> <ns:Male>
_:2e8c <rdf:rest> <rdf:nil>
<ns:ItalianMan> <owl:equivalentClass> _:2e8e
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:2e8e <rdf:type> <owl:Class>
_:2e8e <owl:intersectionOf> _:2e8d
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> _:2e69
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:2e69 <rdf:first> <ns:Italian>
_:2e69 <rdf:rest> _:2e68
_:2e68 <rdf:first> <ns:Male>
_:2e68 <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISC01#
<ns:ItalianMan> <owl:intersectionOf> _:2e6d
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:2e6d <rdf:first> <ns:Italian>
_:2e6d <rdf:rest> _:2e6c
_:2e6c <rdf:first> <ns:Male>
_:2e6c <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#
_:2e46 <rdf:first> <ns:Italian>
_:2e46 <rdf:rest> _:2e45
_:2e45 <rdf:first> <ns:Male>
_:2e45 <rdf:rest> _:2e44
_:2e44 <rdf:first> <ns:Person>
_:2e44 <rdf:rest> <rdf:nil>
<ns:ItalianMan> <owl:intersectionOf> _:2e46
<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#
_:2e4c <rdf:first> <ns:Italian>
_:2e4c <rdf:rest> _:2e4b
_:2e4b <rdf:first> <ns:Male>
_:2e4b <rdf:rest> _:2e4a
<ns:ItalianMan> <owl:intersectionOf> _:2e4c
<ns:ItalianMan> <rdfs:subClassOf> <ns:Person>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
_:2e4a <rdf:first> <ns:Person>
_:2e4a <rdf:rest> <rdf:nil>
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> _:2d73
<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>
_:2d73 <rdf:type> <owl:Restriction>
_:2d73 <owl:onProperty> <ns:hasChild>
_:2d73 <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> _:2d75
<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>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:2d75 <rdf:type> <owl:Restriction>
_:2d75 <owl:onProperty> <ns:hasChild>
_:2d75 <owl:allValuesFrom> <ns:Person>
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>
_:2d5a <rdf:type> <owl:Restriction>
_:2d5a <owl:onProperty> <ns:hasChild>
_:2d5a <owl:allValuesFrom> <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> _:2d5a
<ns:hasChild> <rdfs:range> <ns:ANONYMOUS_CONCEPT_0>
  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> _:2d5c
_:2d5c <rdf:type> <owl:Restriction>
_:2d5c <owl:onProperty> <ns:hasChild>
_:2d5c <owl:allValuesFrom> <ns:ANONYMOUS_CONCEPT_0>
<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#
_:2d41 <rdf:type> <owl:Restriction>
_:2d41 <owl:onProperty> <ns:hasSSN>
_:2d41 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:2d41
<ns:hasSSN> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISE07#
_:2d43 <rdf:type> <owl:Restriction>
_:2d43 <owl:onProperty> <ns:hasSSN>
_:2d43 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:2d43
<ns:hasSSN> <rdfs:range> <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#
<ns:hasName> <rdfs:range> <xsd:string>
_:2d12 <rdf:type> <owl:Restriction>
_:2d12 <owl:onProperty> <ns:hasName>
_:2d12 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:2d12
  Inserted:
ns=http://www.example.org/ISE09#
_:2d14 <rdf:type> <owl:Restriction>
_:2d14 <owl:onProperty> <ns:hasName>
_:2d14 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:2d14
E45
(ISE10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE10#
_:2cf8 <rdf:type> <owl:Restriction>
_:2cf8 <owl:onProperty> <ns:hasChildNamed>
_:2cf8 <owl:allValuesFrom> <xsd:string>
<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> _:2cf8
<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>
  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> _:2cfa
<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>
_:2cfa <rdf:type> <owl:Restriction>
_:2cfa <owl:onProperty> <ns:hasChildNamed>
_:2cfa <owl:allValuesFrom> <xsd:string>
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> _:2cdc
<ns:Person> <rdfs:subClassOf> _:2cdb
_:2cdb <rdf:type> <owl:Restriction>
_:2cdb <owl:onProperty> <ns:livesIn>
_:2cdb <owl:allValuesFrom> <ns:City>
_:2cdc <rdf:type> <owl:Restriction>
_:2cdc <owl:onProperty> <ns:isResidentIn>
_:2cdc <owl:allValuesFrom> <ns:City>
  Inserted:
ns=http://www.example.org/ISF01#
<ns:Person> <rdfs:subClassOf> _:2ce0
<ns:Person> <rdfs:subClassOf> _:2cdf
_:2cdf <rdf:type> <owl:Restriction>
_:2cdf <owl:onProperty> <ns:livesIn>
_:2cdf <owl:allValuesFrom> <ns:City>
_:2ce0 <rdf:type> <owl:Restriction>
_:2ce0 <owl:onProperty> <ns:isResidentIn>
_:2ce0 <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#
<ns:City> <rdfs:subClassOf> _:2cbf
<ns:City> <rdfs:subClassOf> _:2cbe
_:2cbe <rdf:type> <owl:Restriction>
_:2cbe <owl:onProperty> <ns:hasSpanishName>
_:2cbe <owl:allValuesFrom> <xsd:string>
_:2cbf <rdf:type> <owl:Restriction>
_:2cbf <owl:onProperty> <ns:hasName>
_:2cbf <owl:allValuesFrom> <xsd:string>
<ns:hasSpanishName> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISF02#
_:2cc2 <rdf:type> <owl:Restriction>
_:2cc2 <owl:onProperty> <ns:hasSpanishName>
_:2cc2 <owl:allValuesFrom> <xsd:string>
<ns:City> <rdfs:subClassOf> _:2cc3
<ns:City> <rdfs:subClassOf> _:2cc2
_:2cc3 <rdf:type> <owl:Restriction>
_:2cc3 <owl:onProperty> <ns:hasName>
_:2cc3 <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> _:2ca4
_:2ca4 <rdf:type> <owl:Restriction>
_:2ca4 <owl:onProperty> <ns:hasParent>
_:2ca4 <owl:allValuesFrom> <ns:Person>
  Inserted:
ns=http://www.example.org/ISF03#
<ns:Child> <rdfs:subClassOf> _:2ca6
_:2ca6 <rdf:type> <owl:Restriction>
_:2ca6 <owl:onProperty> <ns:hasParent>
_:2ca6 <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>
_:2c38 <rdf:type> <owl:Restriction>
_:2c38 <owl:onProperty> <ns:hasAge>
_:2c38 <owl:allValuesFrom> <xsd:string>
_:2c39 <rdf:type> <owl:Restriction>
_:2c39 <owl:onProperty> <ns:hasAge>
_:2c39 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:2c39
<ns:Person> <rdfs:subClassOf> _:2c38
  Inserted:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:2c3d
<ns:Person> <rdfs:subClassOf> _:2c3c
_:2c3d <rdf:type> <owl:Restriction>
_:2c3d <owl:onProperty> <ns:hasAge>
_:2c3d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:2c3c <rdf:type> <owl:Restriction>
_:2c3c <owl:onProperty> <ns:hasAge>
_:2c3c <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#
_:2c1b <rdf:type> <owl:Restriction>
_:2c1b <owl:onProperty> <ns:hasTutor>
_:2c1b <owl:allValuesFrom> <ns:Student>
<ns:Professor> <rdfs:subClassOf> _:2c1b
  Inserted:
ns=http://www.example.org/ISG05#
<ns:Professor> <rdfs:subClassOf> _:2c1d
_:2c1d <rdf:type> <owl:Restriction>
_:2c1d <owl:onProperty> <ns:hasTutor>
_:2c1d <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 = 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: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 = 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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI04#
<ns:hasName> <rdfs:range> <xsd:string>
_:2b6e <rdf:type> <owl:Restriction>
_:2b6e <owl:onProperty> <ns:hasName>
_:2b6e <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:2b6e
  Inserted:
ns=http://www.example.org/ISI04#
<ns:hasName> <rdfs:range> <xsd:string>
_:2b70 <rdf:type> <owl:Restriction>
_:2b70 <owl:onProperty> <ns:hasName>
_:2b70 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:2b70
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> _:2b55
_:2b55 <rdf:type> <owl:Restriction>
_:2b55 <owl:onProperty> <ns:hasName>
_:2b55 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISI05#
_:2b57 <rdf:type> <owl:Restriction>
_:2b57 <owl:onProperty> <ns:hasName>
_:2b57 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:2b57
<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>
_:2b38 <rdf:type> <owl:Restriction>
_:2b38 <owl:onProperty> <ns:hasChild>
_:2b38 <owl:allValuesFrom> <ns:Person>
<ns:Person> <rdfs:subClassOf> _:2b38
  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> _:2b3c
_:2b3c <rdf:type> <owl:Restriction>
_:2b3c <owl:onProperty> <ns:hasChild>
_:2b3c <owl:allValuesFrom> <ns:Person>
 Removed:
ns=http://www.example.org/ISJ01#
_:2b39 <owl:sameAs> _:2b39
_:2b39 <rdf:type> <ns:Person>
_:2b39 <rdf:type> <owl:Thing>
_:2b39 <ns:hasChild> <ns:John>
 Removed:
ns=http://www.example.org/ISJ01#
_:2b3d <owl:sameAs> _:2b3d
_:2b3d <rdf:type> <ns:Person>
_:2b3d <rdf:type> <owl:Thing>
_:2b3d <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> _:2b1a
_:2b1a <rdf:type> <owl:Restriction>
_:2b1a <owl:onProperty> <ns:hasChild>
_:2b1a <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> _:2b1e
<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>
_:2b1e <rdf:type> <owl:Restriction>
_:2b1e <owl:onProperty> <ns:hasChild>
_:2b1e <owl:allValuesFrom> <ns:Person>
 Removed:
ns=http://www.example.org/ISJ02#
_:2b1b <owl:sameAs> _:2b1b
_:2b1b <rdf:type> <ns:Parent>
_:2b1b <rdf:type> <owl:Thing>
_:2b1b <ns:hasChild> <ns:John>
 Removed:
ns=http://www.example.org/ISJ02#
_:2b1f <owl:sameAs> _:2b1f
_:2b1f <rdf:type> <ns:Parent>
_:2b1f <rdf:type> <owl:Thing>
_:2b1f <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> _:2afc
<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>
_:2afc <rdf:type> <owl:Restriction>
_:2afc <owl:onProperty> <ns:hasName>
_:2afc <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISJ03#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:2b00
_:2b00 <rdf:type> <owl:Restriction>
_:2b00 <owl:onProperty> <ns:hasName>
_:2b00 <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>
 Removed:
ns=http://www.example.org/ISJ03#
_:2afd <owl:sameAs> _:2afd
_:2afd <rdf:type> <owl:Thing>
_:2afd <rdf:type> <ns:Person>
_:2afd <ns:hasName> "Peter"
 Removed:
ns=http://www.example.org/ISJ03#
_:2b01 <owl:sameAs> _:2b01
_:2b01 <rdf:type> <owl:Thing>
_:2b01 <rdf:type> <ns:Person>
_:2b01 <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#
_:2aae <rdf:type> <owl:AllDifferent>
_:2aae <owl:distinctMembers> _:2aad
_:2aad <rdf:first> <ns:Ann>
_:2aad <rdf:rest> _:2aac
_:2aac <rdf:first> <ns:Joan>
_:2aac <rdf:rest> _:2aab
_:2aab <rdf:first> <ns:Mary>
_:2aab <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISK03#
_:2ab4 <rdf:first> <ns:Joan>
_:2ab4 <rdf:rest> _:2ab3
_:2ab3 <rdf:first> <ns:Mary>
_:2ab3 <rdf:rest> <rdf:nil>
_:2ab6 <rdf:type> <owl:AllDifferent>
_:2ab6 <owl:distinctMembers> _:2ab5
_:2ab5 <rdf:first> <ns:Ann>
_:2ab5 <rdf:rest> _:2ab4
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#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:2a0b
_:2a0b <rdf:type> <owl:Restriction>
_:2a0b <owl:onProperty> <ns:hasName>
_:2a0b <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISL07#
<ns:hasName> <rdfs:range> <xsd:string>
_:2a0d <rdf:type> <owl:Restriction>
_:2a0d <owl:onProperty> <ns:hasName>
_:2a0d <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:2a0d
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
_:29f0 <rdf:type> <owl:Restriction>
_:29f0 <owl:onProperty> <ns:hasName>
_:29f0 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:29f0
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISL08#
<ns:Person> <rdfs:subClassOf> _:29f2
_:29f2 <rdf:type> <owl:Restriction>
_:29f2 <owl:onProperty> <ns:hasName>
_:29f2 <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> _:29a8
<ns:Person> <rdfs:subClassOf> _:29a7
_:29a7 <rdf:type> <owl:Restriction>
_:29a7 <owl:onProperty> <ns:hasSurname>
_:29a7 <owl:allValuesFrom> <xsd:string>
_:29a8 <rdf:type> <owl:Restriction>
_:29a8 <owl:onProperty> <ns:hasName>
_:29a8 <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISL11#
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:29ac
<ns:Person> <rdfs:subClassOf> _:29ab
_:29ab <rdf:type> <owl:Restriction>
_:29ab <owl:onProperty> <ns:hasSurname>
_:29ab <owl:allValuesFrom> <xsd:string>
_:29ac <rdf:type> <owl:Restriction>
_:29ac <owl:onProperty> <ns:hasName>
_:29ac <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#
_:298a <rdf:type> <owl:Restriction>
_:298a <owl:onProperty> <ns:hasName>
_:298a <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:298a
<ns:Person> <rdfs:subClassOf> _:2989
_:2989 <rdf:type> <owl:Restriction>
_:2989 <owl:onProperty> <ns:hasSurname>
_:2989 <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISL12#
_:298e <rdf:type> <owl:Restriction>
_:298e <owl:onProperty> <ns:hasName>
_:298e <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:298e
<ns:Person> <rdfs:subClassOf> _:298d
_:298d <rdf:type> <owl:Restriction>
_:298d <owl:onProperty> <ns:hasSurname>
_:298d <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#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:2968
<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>
_:2967 <rdf:type> <owl:Restriction>
_:2967 <owl:onProperty> <ns:hasChild>
_:2967 <owl:allValuesFrom> <ns:Child>
_:2968 <rdf:type> <owl:Restriction>
_:2968 <owl:onProperty> <ns:hasName>
_:2968 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:2967
  Inserted:
ns=http://www.example.org/ISL13#
_:296e <rdf:type> <owl:Restriction>
_:296e <owl:onProperty> <ns:hasName>
_:296e <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:296e
<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> _:296d
_:296d <rdf:type> <owl:Restriction>
_:296d <owl:onProperty> <ns:hasChild>
_:296d <owl:allValuesFrom> <ns:Child>
 Removed:
ns=http://www.example.org/ISL13#
<ns:John> <ns:hasChild> _:2969
_:2969 <owl:sameAs> _:2969
_:2969 <rdf:type> <ns:Child>
_:2969 <rdf:type> <owl:Thing>
_:2969 <ns:hasName> "Paul"
 Removed:
ns=http://www.example.org/ISL13#
_:296f <owl:sameAs> _:296f
_:296f <rdf:type> <ns:Child>
_:296f <rdf:type> <owl:Thing>
_:296f <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:296f
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>
_:2945 <rdf:type> <owl:Restriction>
_:2945 <owl:onProperty> <ns:hasChild>
_:2945 <owl:allValuesFrom> <ns:Child>
_:2946 <rdf:type> <owl:Restriction>
_:2946 <owl:onProperty> <ns:hasName>
_:2946 <owl:allValuesFrom> <xsd:string>
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
<ns:Person> <rdfs:subClassOf> _:2945
<ns:Child> <rdfs:subClassOf> _:2946
<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>
_:294b <rdf:type> <owl:Restriction>
_:294b <owl:onProperty> <ns:hasChild>
_:294b <owl:allValuesFrom> <ns:Child>
_:294c <rdf:type> <owl:Restriction>
_:294c <owl:onProperty> <ns:hasName>
_:294c <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:294b
<ns:Child> <rdfs:subClassOf> _:294c
<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#
_:2947 <owl:sameAs> _:2947
_:2947 <rdf:type> <ns:Child>
_:2947 <rdf:type> <owl:Thing>
_:2947 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:2947
 Removed:
ns=http://www.example.org/ISL14#
<ns:John> <ns:hasChild> _:294d
_:294d <owl:sameAs> _:294d
_:294d <rdf:type> <ns:Child>
_:294d <rdf:type> <owl:Thing>
_:294d <ns:hasName> "Paul"
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> "Book"@en
<ns:Book> <rdfs:label> "Libro"@es
Namespaces
owl=http://www.w3.org/2002/07/owl#
rdf=http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs=http://www.w3.org/2000/01/rdf-schema#
xsd=http://www.w3.org/2001/XMLSchema
#diff=http://www.aifb.uni-karlsruhe.de/WBS/dvr/owltools/diff/result#