Interoperability from Jena to WebODE (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (Jena) 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#
<ns:hasCar> <rdfs:domain> <ns:Driver>
_:6a97 <rdf:type> <owl:Restriction>
_:6a97 <owl:onProperty> <ns:hasCar>
_:6a97 <owl:allValuesFrom> <owl:Thing>
<ns:Driver> <rdfs:subClassOf> _:6a97
  Inserted:
ns=http://www.example.org/ISA07#
_:6a9b <rdf:type> <owl:Restriction>
_:6a9b <owl:onProperty> <ns:hasCar>
_:6a9b <owl:allValuesFrom> <owl:Thing>
<ns:hasCar> <rdfs:domain> <ns:Driver>
<ns:Driver> <rdfs:subClassOf> _:6a9b
 Removed:
ns=http://www.example.org/ISA07#
_:6a98 <rdf:type> <owl:Restriction>
_:6a98 <owl:onProperty> <ns:hasCar>
_:6a98 <owl:someValuesFrom> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:6a98
 Removed:
ns=http://www.example.org/ISA07#
_:6a9c <rdf:type> <owl:Restriction>
_:6a9c <owl:onProperty> <ns:hasCar>
_:6a9c <owl:someValuesFrom> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:6a9c
E08
(ISA08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
<ns:wasBorn> <rdfs:domain> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> _:6a7a
_:6a7a <rdf:type> <owl:Restriction>
_:6a7a <owl:onProperty> <ns:wasBorn>
_:6a7a <owl:allValuesFrom> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA08#
_:6a7e <rdf:type> <owl:Restriction>
_:6a7e <owl:onProperty> <ns:wasBorn>
_:6a7e <owl:allValuesFrom> <owl:Thing>
<ns:wasBorn> <rdfs:domain> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> _:6a7e
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:6a7b
_:6a7b <rdf:type> <owl:Restriction>
_:6a7b <owl:onProperty> <ns:wasBorn>
_:6a7b <owl:allValuesFrom> <ns:Italy>
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:6a7f
_:6a7f <rdf:type> <owl:Restriction>
_:6a7f <owl:onProperty> <ns:wasBorn>
_:6a7f <owl:allValuesFrom> <ns:Italy>
E09
(ISA09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA09#
_:6a5d <rdf:type> <owl:Restriction>
_:6a5d <owl:onProperty> <ns:worksIn>
_:6a5d <owl:allValuesFrom> <owl:Thing>
<ns:Employee> <rdfs:subClassOf> _:6a5d
<ns:worksIn> <rdfs:domain> <ns:Employee>
  Inserted:
ns=http://www.example.org/ISA09#
_:6a61 <rdf:type> <owl:Restriction>
_:6a61 <owl:onProperty> <ns:worksIn>
_:6a61 <owl:allValuesFrom> <owl:Thing>
<ns:Employee> <rdfs:subClassOf> _:6a61
<ns:worksIn> <rdfs:domain> <ns:Employee>
 Removed:
ns=http://www.example.org/ISA09#
_:6a5e <rdf:type> <owl:Restriction>
_:6a5e <owl:onProperty> <ns:worksIn>
_:6a5e <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:6a5e
 Removed:
ns=http://www.example.org/ISA09#
_:6a62 <rdf:type> <owl:Restriction>
_:6a62 <owl:onProperty> <ns:worksIn>
_:6a62 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:6a62
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> _:6a3d
<ns:Researcher> <rdfs:subClassOf> _:6a3c
_:6a3d <rdf:type> <owl:Restriction>
_:6a3d <owl:onProperty> <ns:hasAffiliation>
_:6a3d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6a3c <rdf:type> <owl:Restriction>
_:6a3c <owl:onProperty> <ns:hasAffiliation>
_:6a3c <owl:allValuesFrom> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:6a44
<ns:Researcher> <rdfs:subClassOf> _:6a43
_:6a43 <rdf:type> <owl:Restriction>
_:6a43 <owl:onProperty> <ns:hasAffiliation>
_:6a43 <owl:allValuesFrom> <owl:Thing>
_:6a44 <rdf:type> <owl:Restriction>
_:6a44 <owl:onProperty> <ns:hasAffiliation>
_:6a44 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA10#
<ns:Researcher> <rdfs:subClassOf> _:6a3e
_:6a3e <rdf:type> <owl:Restriction>
_:6a3e <owl:onProperty> <ns:hasAffiliation>
_:6a3e <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA10#
_:6a45 <rdf:type> <owl:Restriction>
_:6a45 <owl:onProperty> <ns:hasAffiliation>
_:6a45 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:6a45
E11
(ISA11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA11#
_:6a1a <rdf:type> <owl:Restriction>
_:6a1a <owl:onProperty> <ns:hasMother>
_:6a1a <owl:allValuesFrom> <owl:Thing>
<ns:Person> <rdfs:subClassOf> _:6a1b
<ns:Person> <rdfs:subClassOf> _:6a1a
<ns:hasMother> <rdfs:domain> <ns:Person>
_:6a1b <rdf:type> <owl:Restriction>
_:6a1b <owl:onProperty> <ns:hasMother>
_:6a1b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:6a21
<ns:Person> <rdfs:subClassOf> _:6a20
_:6a21 <rdf:type> <owl:Restriction>
_:6a21 <owl:onProperty> <ns:hasMother>
_:6a21 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6a20 <rdf:type> <owl:Restriction>
_:6a20 <owl:onProperty> <ns:hasMother>
_:6a20 <owl:allValuesFrom> <owl:Thing>
<ns:hasMother> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:6a1c
_:6a1c <rdf:type> <owl:Restriction>
_:6a1c <owl:onProperty> <ns:hasMother>
_:6a1c <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:6a22
_:6a22 <rdf:type> <owl:Restriction>
_:6a22 <owl:onProperty> <ns:hasMother>
_:6a22 <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#
_:69f6 <rdf:type> <owl:Restriction>
_:69f6 <owl:onProperty> <ns:hasAffiliation>
_:69f6 <owl:allValuesFrom> <owl:Thing>
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:69f7
<ns:Researcher> <rdfs:subClassOf> _:69f6
_:69f7 <rdf:type> <owl:Restriction>
_:69f7 <owl:onProperty> <ns:hasAffiliation>
_:69f7 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISA12#
_:69ff <rdf:type> <owl:Restriction>
_:69ff <owl:onProperty> <ns:hasAffiliation>
_:69ff <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:69fe <rdf:type> <owl:Restriction>
_:69fe <owl:onProperty> <ns:hasAffiliation>
_:69fe <owl:allValuesFrom> <owl:Thing>
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:69ff
<ns:Researcher> <rdfs:subClassOf> _:69fe
 Removed:
ns=http://www.example.org/ISA12#
<ns:Researcher> <rdfs:subClassOf> _:69f9
<ns:Researcher> <rdfs:subClassOf> _:69f8
_:69f9 <rdf:type> <owl:Restriction>
_:69f9 <owl:onProperty> <ns:hasAffiliation>
_:69f9 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:69f8 <rdf:type> <owl:Restriction>
_:69f8 <owl:onProperty> <ns:hasAffiliation>
_:69f8 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA12#
_:6a00 <rdf:type> <owl:Restriction>
_:6a00 <owl:onProperty> <ns:hasAffiliation>
_:6a00 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:6a00
<ns:Researcher> <rdfs:subClassOf> _:6a01
_:6a01 <rdf:type> <owl:Restriction>
_:6a01 <owl:onProperty> <ns:hasAffiliation>
_:6a01 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E13
(ISA13)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA13#
_:69d7 <rdf:type> <owl:Restriction>
_:69d7 <owl:onProperty> <ns:hasName>
_:69d7 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:69d7
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:69db
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
_:69db <rdf:type> <owl:Restriction>
_:69db <owl:onProperty> <ns:hasName>
_:69db <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISA13#
_:69d8 <rdf:type> <owl:Restriction>
_:69d8 <owl:onProperty> <ns:hasName>
_:69d8 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:69d8
 Removed:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:69dc
_:69dc <rdf:type> <owl:Restriction>
_:69dc <owl:onProperty> <ns:hasName>
_:69dc <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> _:69b6
<ns:Researcher> <rdfs:subClassOf> _:69b5
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:69b6 <rdf:type> <owl:Restriction>
_:69b6 <owl:onProperty> <ns:wrotePhDThesis>
_:69b6 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:69b5 <rdf:type> <owl:Restriction>
_:69b5 <owl:onProperty> <ns:wrotePhDThesis>
_:69b5 <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:69bc
<ns:Researcher> <rdfs:subClassOf> _:69bb
_:69bb <rdf:type> <owl:Restriction>
_:69bb <owl:onProperty> <ns:wrotePhDThesis>
_:69bb <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:69bc <rdf:type> <owl:Restriction>
_:69bc <owl:onProperty> <ns:wrotePhDThesis>
_:69bc <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:69b7
_:69b7 <rdf:type> <owl:Restriction>
_:69b7 <owl:onProperty> <ns:wrotePhDThesis>
_:69b7 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:69bd
_:69bd <rdf:type> <owl:Restriction>
_:69bd <owl:onProperty> <ns:wrotePhDThesis>
_:69bd <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> _:6995
<ns:Person> <rdfs:subClassOf> _:6994
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
_:6995 <rdf:type> <owl:Restriction>
_:6995 <owl:onProperty> <ns:hasSSN>
_:6995 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:6994 <rdf:type> <owl:Restriction>
_:6994 <owl:onProperty> <ns:hasSSN>
_:6994 <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:699b
<ns:Person> <rdfs:subClassOf> _:699a
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
_:699a <rdf:type> <owl:Restriction>
_:699a <owl:onProperty> <ns:hasSSN>
_:699a <owl:allValuesFrom> <xsd:string>
_:699b <rdf:type> <owl:Restriction>
_:699b <owl:onProperty> <ns:hasSSN>
_:699b <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:6996
_:6996 <rdf:type> <owl:Restriction>
_:6996 <owl:onProperty> <ns:hasSSN>
_:6996 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA15#
_:699c <rdf:type> <owl:Restriction>
_:699c <owl:onProperty> <ns:hasSSN>
_:699c <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:699c
E16
(ISA16)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA16#
_:6971 <rdf:type> <owl:Restriction>
_:6971 <owl:onProperty> <ns:wrotePhDThesis>
_:6971 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6970 <rdf:type> <owl:Restriction>
_:6970 <owl:onProperty> <ns:wrotePhDThesis>
_:6970 <owl:allValuesFrom> <xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:6971
<ns:Researcher> <rdfs:subClassOf> _:6970
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> _:6979
<ns:Researcher> <rdfs:subClassOf> _:6978
_:6978 <rdf:type> <owl:Restriction>
_:6978 <owl:onProperty> <ns:wrotePhDThesis>
_:6978 <owl:allValuesFrom> <xsd:string>
_:6979 <rdf:type> <owl:Restriction>
_:6979 <owl:onProperty> <ns:wrotePhDThesis>
_:6979 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
 Removed:
ns=http://www.example.org/ISA16#
_:6973 <rdf:type> <owl:Restriction>
_:6973 <owl:onProperty> <ns:wrotePhDThesis>
_:6973 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6972 <rdf:type> <owl:Restriction>
_:6972 <owl:onProperty> <ns:wrotePhDThesis>
_:6972 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:6973
<ns:Researcher> <rdfs:subClassOf> _:6972
 Removed:
ns=http://www.example.org/ISA16#
_:697b <rdf:type> <owl:Restriction>
_:697b <owl:onProperty> <ns:wrotePhDThesis>
_:697b <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:697a <rdf:type> <owl:Restriction>
_:697a <owl:onProperty> <ns:wrotePhDThesis>
_:697a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:697b
<ns:Researcher> <rdfs:subClassOf> _:697a
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>
<ns:ItalianMale> <owl:intersectionOf> _:6951
<ns:ItalianMale> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMale> <rdfs:subClassOf> <ns:Male>
_:6950 <rdf:first> <ns:Male>
_:6950 <rdf:rest> <rdf:nil>
_:6951 <rdf:first> <ns:Italian>
_:6951 <rdf:rest> _:6950
 Removed:
ns=http://www.example.org/ISA17#
_:6955 <rdf:first> <ns:Italian>
_:6955 <rdf:rest> _:6954
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:6954 <rdf:first> <ns:Male>
_:6954 <rdf:rest> <rdf:nil>
<ns:ItalianMale> <owl:intersectionOf> _:6955
<ns:ItalianMale> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMale> <rdfs:subClassOf> <ns:Male>
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>
_:691d <rdf:type> <owl:Restriction>
_:691d <owl:onProperty> <ns:hasCar>
_:691d <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> _:691d
<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>
_:6921 <rdf:type> <owl:Restriction>
_:6921 <owl:onProperty> <ns:hasCar>
_:6921 <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> _:6921
<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> _:691e
_:691e <rdf:type> <owl:Restriction>
_:691e <owl:onProperty> <ns:hasCar>
_:691e <owl:someValuesFrom> <ns:Car>
 Removed:
ns=http://www.example.org/ISB02#
<ns:Driver> <owl:equivalentClass> _:6922
_:6922 <rdf:type> <owl:Restriction>
_:6922 <owl:onProperty> <ns:hasCar>
_:6922 <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> _:68ff
<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>
_:68ff <rdf:type> <owl:Restriction>
_:68ff <owl:onProperty> <ns:wasBorn>
_:68ff <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> _:6904
<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>
_:6904 <rdf:type> <owl:Restriction>
_:6904 <owl:onProperty> <ns:wasBorn>
_:6904 <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#
_:6900 <rdf:type> <owl:Restriction>
_:6900 <owl:onProperty> <ns:wasBorn>
_:6900 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:6900
 Removed:
ns=http://www.example.org/ISB03#
_:6905 <rdf:type> <owl:Restriction>
_:6905 <owl:onProperty> <ns:wasBorn>
_:6905 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:6905
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> _:68e1
<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>
_:68e1 <rdf:type> <owl:Restriction>
_:68e1 <owl:onProperty> <ns:worksIn>
_:68e1 <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> _:68e5
<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>
_:68e5 <rdf:type> <owl:Restriction>
_:68e5 <owl:onProperty> <ns:worksIn>
_:68e5 <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> _:68e2
_:68e2 <rdf:type> <owl:Restriction>
_:68e2 <owl:onProperty> <ns:worksIn>
_:68e2 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <owl:equivalentClass> _:68e6
_:68e6 <rdf:type> <owl:Restriction>
_:68e6 <owl:onProperty> <ns:worksIn>
_:68e6 <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#
_:68c2 <rdf:type> <owl:Restriction>
_:68c2 <owl:onProperty> <ns:hasAffiliation>
_:68c2 <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> _:68c2
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:68c1
<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>
_:68c1 <rdf:type> <owl:Restriction>
_:68c1 <owl:onProperty> <ns:hasAffiliation>
_:68c1 <owl:allValuesFrom> <owl:Thing>
  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> _:68c8
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:68c7
<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>
_:68c7 <rdf:type> <owl:Restriction>
_:68c7 <owl:onProperty> <ns:hasAffiliation>
_:68c7 <owl:allValuesFrom> <owl:Thing>
_:68c8 <rdf:type> <owl:Restriction>
_:68c8 <owl:onProperty> <ns:hasAffiliation>
_:68c8 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:68c3
_:68c3 <rdf:type> <owl:Restriction>
_:68c3 <owl:onProperty> <ns:hasAffiliation>
_:68c3 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB05#
_:68c9 <rdf:type> <owl:Restriction>
_:68c9 <owl:onProperty> <ns:hasAffiliation>
_:68c9 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:68c9
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>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:68a1
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:68a0
<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>
_:68a0 <rdf:type> <owl:Restriction>
_:68a0 <owl:onProperty> <ns:hasMother>
_:68a0 <owl:allValuesFrom> <owl:Thing>
_:68a1 <rdf:type> <owl:Restriction>
_:68a1 <owl:onProperty> <ns:hasMother>
_:68a1 <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>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:68a7
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:68a6
<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>
_:68a6 <rdf:type> <owl:Restriction>
_:68a6 <owl:onProperty> <ns:hasMother>
_:68a6 <owl:allValuesFrom> <owl:Thing>
_:68a7 <rdf:type> <owl:Restriction>
_:68a7 <owl:onProperty> <ns:hasMother>
_:68a7 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:hasMother> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:68a2
_:68a2 <rdf:type> <owl:Restriction>
_:68a2 <owl:onProperty> <ns:hasMother>
_:68a2 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:68a8
_:68a8 <rdf:type> <owl:Restriction>
_:68a8 <owl:onProperty> <ns:hasMother>
_:68a8 <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#
<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> _:687b
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:687a
<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>
_:687a <rdf:type> <owl:Restriction>
_:687a <owl:onProperty> <ns:hasAffiliation>
_:687a <owl:allValuesFrom> <owl:Thing>
_:687b <rdf:type> <owl:Restriction>
_:687b <owl:onProperty> <ns:hasAffiliation>
_:687b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISB07#
_:6883 <rdf:type> <owl:Restriction>
_:6883 <owl:onProperty> <ns:hasAffiliation>
_:6883 <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> _:6883
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:6882
<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>
_:6882 <rdf:type> <owl:Restriction>
_:6882 <owl:onProperty> <ns:hasAffiliation>
_:6882 <owl:allValuesFrom> <owl:Thing>
 Removed:
ns=http://www.example.org/ISB07#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:687d
<ns:Researcher> <owl:equivalentClass> _:687c
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:687c <rdf:type> <owl:Restriction>
_:687c <owl:onProperty> <ns:hasAffiliation>
_:687c <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
_:687d <rdf:type> <owl:Restriction>
_:687d <owl:onProperty> <ns:hasAffiliation>
_:687d <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB07#
_:6884 <rdf:type> <owl:Restriction>
_:6884 <owl:onProperty> <ns:hasAffiliation>
_:6884 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:6885
<ns:Researcher> <owl:equivalentClass> _:6884
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:6885 <rdf:type> <owl:Restriction>
_:6885 <owl:onProperty> <ns:hasAffiliation>
_:6885 <owl:minCardinality> "0"^^<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#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:685b
<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>
_:685b <rdf:type> <owl:Restriction>
_:685b <owl:onProperty> <ns:hasName>
_:685b <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#
_:685f <rdf:type> <owl:Restriction>
_:685f <owl:onProperty> <ns:hasName>
_:685f <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:685f
<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> _:685c
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
_:685c <rdf:type> <owl:Restriction>
_:685c <owl:onProperty> <ns:hasName>
_:685c <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> _:6860
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
_:6860 <rdf:type> <owl:Restriction>
_:6860 <owl:onProperty> <ns:hasName>
_:6860 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<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#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:683b <rdf:type> <owl:Restriction>
_:683b <owl:onProperty> <ns:wrotePhDThesis>
_:683b <owl:allValuesFrom> <xsd:string>
_:683c <rdf:type> <owl:Restriction>
_:683c <owl:onProperty> <ns:wrotePhDThesis>
_:683c <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> _:683c
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:683b
<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/ISB09#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:6841 <rdf:type> <owl:Restriction>
_:6841 <owl:onProperty> <ns:wrotePhDThesis>
_:6841 <owl:allValuesFrom> <xsd:string>
_:6842 <rdf:type> <owl:Restriction>
_:6842 <owl:onProperty> <ns:wrotePhDThesis>
_:6842 <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> _:6842
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:6841
<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> _:683d
_:683d <rdf:type> <owl:Restriction>
_:683d <owl:onProperty> <ns:wrotePhDThesis>
_:683d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB09#
<ns:Researcher> <owl:equivalentClass> _:6843
_:6843 <rdf:type> <owl:Restriction>
_:6843 <owl:onProperty> <ns:wrotePhDThesis>
_:6843 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E27
(ISB10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB10#
<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>
_:6818 <rdf:type> <owl:Restriction>
_:6818 <owl:onProperty> <ns:hasSSN>
_:6818 <owl:allValuesFrom> <xsd:string>
_:6819 <rdf:type> <owl:Restriction>
_:6819 <owl:onProperty> <ns:hasSSN>
_:6819 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:6819
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:6818
<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#
_:681f <rdf:type> <owl:Restriction>
_:681f <owl:onProperty> <ns:hasSSN>
_:681f <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>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:681f
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:681e
<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>
_:681e <rdf:type> <owl:Restriction>
_:681e <owl:onProperty> <ns:hasSSN>
_:681e <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISB10#
_:681a <rdf:type> <owl:Restriction>
_:681a <owl:onProperty> <ns:hasSSN>
_:681a <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Man> <owl:equivalentClass> _:681a
 Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:6820
_:6820 <rdf:type> <owl:Restriction>
_:6820 <owl:onProperty> <ns:hasSSN>
_:6820 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
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>
_:67f4 <rdf:type> <owl:Restriction>
_:67f4 <owl:onProperty> <ns:wrotePhDThesis>
_:67f4 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:67f5
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:67f4
<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>
_:67f5 <rdf:type> <owl:Restriction>
_:67f5 <owl:onProperty> <ns:wrotePhDThesis>
_:67f5 <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>
_:67fc <rdf:type> <owl:Restriction>
_:67fc <owl:onProperty> <ns:wrotePhDThesis>
_:67fc <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:67fd <rdf:type> <owl:Restriction>
_:67fd <owl:onProperty> <ns:wrotePhDThesis>
_:67fd <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:67fd
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:67fc
<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#
_:67f7 <rdf:type> <owl:Restriction>
_:67f7 <owl:onProperty> <ns:wrotePhDThesis>
_:67f7 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:67f7
<ns:Researcher> <owl:equivalentClass> _:67f6
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:67f6 <rdf:type> <owl:Restriction>
_:67f6 <owl:onProperty> <ns:wrotePhDThesis>
_:67f6 <owl:maxCardinality> "1"^^<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> _:67ff
<ns:Researcher> <owl:equivalentClass> _:67fe
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:67fe <rdf:type> <owl:Restriction>
_:67fe <owl:onProperty> <ns:wrotePhDThesis>
_:67fe <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:67ff <rdf:type> <owl:Restriction>
_:67ff <owl:onProperty> <ns:wrotePhDThesis>
_:67ff <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<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#
<ns:ItalianMan> <owl:equivalentClass> _:67d3
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:67d3 <rdf:type> <owl:Class>
_:67d3 <owl:intersectionOf> _:67d2
_:67d2 <rdf:first> <ns:Italian>
_:67d2 <rdf:rest> _:67d1
_:67d1 <rdf:first> <ns:Male>
_:67d1 <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISB12#
_:67d9 <rdf:first> <ns:Italian>
_:67d9 <rdf:rest> _:67d8
_:67d8 <rdf:first> <ns:Male>
_:67d8 <rdf:rest> <rdf:nil>
<ns:ItalianMan> <owl:equivalentClass> _:67da
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:67da <rdf:type> <owl:Class>
_:67da <owl:intersectionOf> _:67d9
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> _:67b3
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:67b2 <rdf:first> <ns:Male>
_:67b2 <rdf:rest> <rdf:nil>
_:67b3 <rdf:first> <ns:Italian>
_:67b3 <rdf:rest> _:67b2
 Removed:
ns=http://www.example.org/ISC01#
<ns:ItalianMan> <owl:intersectionOf> _:67b7
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:67b7 <rdf:first> <ns:Italian>
_:67b7 <rdf:rest> _:67b6
_:67b6 <rdf:first> <ns:Male>
_:67b6 <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#
_:6793 <rdf:first> <ns:Male>
_:6793 <rdf:rest> _:6792
_:6792 <rdf:first> <ns:Person>
_:6792 <rdf:rest> <rdf:nil>
<ns:ItalianMan> <owl:intersectionOf> _:6794
<ns:ItalianMan> <rdfs:subClassOf> <ns:Person>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
_:6794 <rdf:first> <ns:Italian>
_:6794 <rdf:rest> _:6793
 Removed:
ns=http://www.example.org/ISC02#
_:6799 <rdf:first> <ns:Person>
_:6799 <rdf:rest> <rdf:nil>
_:6798 <rdf:first> <ns:Italian>
_:6798 <rdf:rest> _:679a
_:679a <rdf:first> <ns:Male>
_:679a <rdf:rest> _:6799
<ns:ItalianMan> <owl:intersectionOf> _:6798
<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> _:66bf
<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>
_:66bf <rdf:type> <owl:Restriction>
_:66bf <owl:onProperty> <ns:hasChild>
_:66bf <owl:allValuesFrom> <ns:Person>
  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> _:66c1
<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>
_:66c1 <rdf:type> <owl:Restriction>
_:66c1 <owl:onProperty> <ns:hasChild>
_:66c1 <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> _:66a5
_:66a5 <rdf:type> <owl:Restriction>
_:66a5 <owl:onProperty> <ns:hasChild>
_:66a5 <owl:allValuesFrom> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasChild> <rdfs:range> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISE06#
_:66a7 <rdf:type> <owl:Restriction>
_:66a7 <owl:onProperty> <ns:hasChild>
_:66a7 <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> _:66a7
<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#
_:668b <rdf:type> <owl:Restriction>
_:668b <owl:onProperty> <ns:hasSSN>
_:668b <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:668b
<ns:hasSSN> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISE07#
_:668d <rdf:type> <owl:Restriction>
_:668d <owl:onProperty> <ns:hasSSN>
_:668d <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:668d
<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#
_:665d <rdf:type> <owl:Restriction>
_:665d <owl:onProperty> <ns:hasName>
_:665d <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:665d
  Inserted:
ns=http://www.example.org/ISE09#
_:665f <rdf:type> <owl:Restriction>
_:665f <owl:onProperty> <ns:hasName>
_:665f <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:665f
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> _:6642
<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>
_:6642 <rdf:type> <owl:Restriction>
_:6642 <owl:onProperty> <ns:hasChildNamed>
_:6642 <owl:allValuesFrom> <xsd:string>
<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> _:6644
<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>
_:6644 <rdf:type> <owl:Restriction>
_:6644 <owl:onProperty> <ns:hasChildNamed>
_:6644 <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> _:6627
<ns:Person> <rdfs:subClassOf> _:6626
_:6627 <rdf:type> <owl:Restriction>
_:6627 <owl:onProperty> <ns:isResidentIn>
_:6627 <owl:allValuesFrom> <ns:City>
_:6626 <rdf:type> <owl:Restriction>
_:6626 <owl:onProperty> <ns:livesIn>
_:6626 <owl:allValuesFrom> <ns:City>
  Inserted:
ns=http://www.example.org/ISF01#
<ns:Person> <rdfs:subClassOf> _:662b
<ns:Person> <rdfs:subClassOf> _:662a
_:662b <rdf:type> <owl:Restriction>
_:662b <owl:onProperty> <ns:isResidentIn>
_:662b <owl:allValuesFrom> <ns:City>
_:662a <rdf:type> <owl:Restriction>
_:662a <owl:onProperty> <ns:livesIn>
_:662a <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#
_:6609 <rdf:type> <owl:Restriction>
_:6609 <owl:onProperty> <ns:hasSpanishName>
_:6609 <owl:allValuesFrom> <xsd:string>
<ns:City> <rdfs:subClassOf> _:660a
<ns:City> <rdfs:subClassOf> _:6609
_:660a <rdf:type> <owl:Restriction>
_:660a <owl:onProperty> <ns:hasName>
_:660a <owl:allValuesFrom> <xsd:string>
<ns:hasSpanishName> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISF02#
_:660d <rdf:type> <owl:Restriction>
_:660d <owl:onProperty> <ns:hasSpanishName>
_:660d <owl:allValuesFrom> <xsd:string>
_:660e <rdf:type> <owl:Restriction>
_:660e <owl:onProperty> <ns:hasName>
_:660e <owl:allValuesFrom> <xsd:string>
<ns:City> <rdfs:subClassOf> _:660e
<ns:City> <rdfs:subClassOf> _:660d
<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> _:65ed
_:65ed <rdf:type> <owl:Restriction>
_:65ed <owl:onProperty> <ns:hasParent>
_:65ed <owl:allValuesFrom> <ns:Person>
  Inserted:
ns=http://www.example.org/ISF03#
<ns:Child> <rdfs:subClassOf> _:65ef
_:65ef <rdf:type> <owl:Restriction>
_:65ef <owl:onProperty> <ns:hasParent>
_:65ef <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> _:6581
<ns:Person> <rdfs:subClassOf> _:6580
_:6581 <rdf:type> <owl:Restriction>
_:6581 <owl:onProperty> <ns:hasAge>
_:6581 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6580 <rdf:type> <owl:Restriction>
_:6580 <owl:onProperty> <ns:hasAge>
_:6580 <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:range> <xsd:string>
_:6585 <rdf:type> <owl:Restriction>
_:6585 <owl:onProperty> <ns:hasAge>
_:6585 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6584 <rdf:type> <owl:Restriction>
_:6584 <owl:onProperty> <ns:hasAge>
_:6584 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:6585
<ns:Person> <rdfs:subClassOf> _:6584
E53
(ISG05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG05#
_:6566 <rdf:type> <owl:Restriction>
_:6566 <owl:onProperty> <ns:hasTutor>
_:6566 <owl:allValuesFrom> <ns:Student>
<ns:Professor> <rdfs:subClassOf> _:6566
  Inserted:
ns=http://www.example.org/ISG05#
_:6568 <rdf:type> <owl:Restriction>
_:6568 <owl:onProperty> <ns:hasTutor>
_:6568 <owl:allValuesFrom> <ns:Student>
<ns:Professor> <rdfs:subClassOf> _:6568
 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>
_:64bc <rdf:type> <owl:Restriction>
_:64bc <owl:onProperty> <ns:hasName>
_:64bc <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:64bc
  Inserted:
ns=http://www.example.org/ISI04#
_:64be <rdf:type> <owl:Restriction>
_:64be <owl:onProperty> <ns:hasName>
_:64be <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:64be
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> _:64a3
_:64a3 <rdf:type> <owl:Restriction>
_:64a3 <owl:onProperty> <ns:hasName>
_:64a3 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISI05#
_:64a5 <rdf:type> <owl:Restriction>
_:64a5 <owl:onProperty> <ns:hasName>
_:64a5 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:64a5
<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#
_:6486 <rdf:type> <owl:Restriction>
_:6486 <owl:onProperty> <ns:hasChild>
_:6486 <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> _:6486
  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> _:648a
_:648a <rdf:type> <owl:Restriction>
_:648a <owl:onProperty> <ns:hasChild>
_:648a <owl:allValuesFrom> <ns:Person>
 Removed:
ns=http://www.example.org/ISJ01#
_:6487 <owl:sameAs> _:6487
_:6487 <rdf:type> <ns:Person>
_:6487 <rdf:type> <owl:Thing>
_:6487 <ns:hasChild> <ns:John>
 Removed:
ns=http://www.example.org/ISJ01#
_:648b <owl:sameAs> _:648b
_:648b <rdf:type> <ns:Person>
_:648b <rdf:type> <owl:Thing>
_:648b <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> _:6468
_:6468 <rdf:type> <owl:Restriction>
_:6468 <owl:onProperty> <ns:hasChild>
_:6468 <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> _:646c
<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>
_:646c <rdf:type> <owl:Restriction>
_:646c <owl:onProperty> <ns:hasChild>
_:646c <owl:allValuesFrom> <ns:Person>
 Removed:
ns=http://www.example.org/ISJ02#
_:6469 <owl:sameAs> _:6469
_:6469 <rdf:type> <ns:Parent>
_:6469 <rdf:type> <owl:Thing>
_:6469 <ns:hasChild> <ns:John>
 Removed:
ns=http://www.example.org/ISJ02#
_:646d <owl:sameAs> _:646d
_:646d <rdf:type> <ns:Parent>
_:646d <rdf:type> <owl:Thing>
_:646d <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>
_:644a <rdf:type> <owl:Restriction>
_:644a <owl:onProperty> <ns:hasName>
_:644a <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:644a
<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>
<ns:Person> <rdfs:subClassOf> _:644f
<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>
_:644f <rdf:type> <owl:Restriction>
_:644f <owl:onProperty> <ns:hasName>
_:644f <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISJ03#
_:644b <owl:sameAs> _:644b
_:644b <rdf:type> <owl:Thing>
_:644b <rdf:type> <ns:Person>
_:644b <ns:hasName> "Peter"
 Removed:
ns=http://www.example.org/ISJ03#
_:6450 <owl:sameAs> _:6450
_:6450 <rdf:type> <owl:Thing>
_:6450 <rdf:type> <ns:Person>
_:6450 <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#
_:63fd <rdf:first> <ns:Ann>
_:63fd <rdf:rest> _:63fc
_:63fc <rdf:first> <ns:Joan>
_:63fc <rdf:rest> _:63fb
_:63fb <rdf:first> <ns:Mary>
_:63fb <rdf:rest> <rdf:nil>
_:63fe <rdf:type> <owl:AllDifferent>
_:63fe <owl:distinctMembers> _:63fd
 Removed:
ns=http://www.example.org/ISK03#
_:6405 <rdf:first> <ns:Ann>
_:6405 <rdf:rest> _:6404
_:6404 <rdf:first> <ns:Joan>
_:6404 <rdf:rest> _:6403
_:6403 <rdf:first> <ns:Mary>
_:6403 <rdf:rest> <rdf:nil>
_:6406 <rdf:type> <owl:AllDifferent>
_:6406 <owl:distinctMembers> _:6405
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> _:635e
_:635e <rdf:type> <owl:Restriction>
_:635e <owl:onProperty> <ns:hasName>
_:635e <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISL07#
_:6360 <rdf:type> <owl:Restriction>
_:6360 <owl:onProperty> <ns:hasName>
_:6360 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:6360
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
_:6345 <rdf:type> <owl:Restriction>
_:6345 <owl:onProperty> <ns:hasName>
_:6345 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:6345
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISL08#
_:6347 <rdf:type> <owl:Restriction>
_:6347 <owl:onProperty> <ns:hasName>
_:6347 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:6347
<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> _:62fb
<ns:Person> <rdfs:subClassOf> _:62fa
_:62fa <rdf:type> <owl:Restriction>
_:62fa <owl:onProperty> <ns:hasSurname>
_:62fa <owl:allValuesFrom> <xsd:string>
_:62fb <rdf:type> <owl:Restriction>
_:62fb <owl:onProperty> <ns:hasName>
_:62fb <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISL11#
<ns:hasSurname> <rdfs:range> <xsd:string>
_:62fe <rdf:type> <owl:Restriction>
_:62fe <owl:onProperty> <ns:hasSurname>
_:62fe <owl:allValuesFrom> <xsd:string>
_:62ff <rdf:type> <owl:Restriction>
_:62ff <owl:onProperty> <ns:hasName>
_:62ff <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:62ff
<ns:Person> <rdfs:subClassOf> _:62fe
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL12#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:62dc
<ns:Person> <rdfs:subClassOf> _:62db
_:62db <rdf:type> <owl:Restriction>
_:62db <owl:onProperty> <ns:hasSurname>
_:62db <owl:allValuesFrom> <xsd:string>
_:62dc <rdf:type> <owl:Restriction>
_:62dc <owl:onProperty> <ns:hasName>
_:62dc <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISL12#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:62e1
<ns:Person> <rdfs:subClassOf> _:62e0
_:62e0 <rdf:type> <owl:Restriction>
_:62e0 <owl:onProperty> <ns:hasSurname>
_:62e0 <owl:allValuesFrom> <xsd:string>
_:62e1 <rdf:type> <owl:Restriction>
_:62e1 <owl:onProperty> <ns:hasName>
_:62e1 <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#
_:62b9 <rdf:type> <owl:Restriction>
_:62b9 <owl:onProperty> <ns:hasChild>
_:62b9 <owl:allValuesFrom> <ns:Child>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:62ba
<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>
_:62ba <rdf:type> <owl:Restriction>
_:62ba <owl:onProperty> <ns:hasName>
_:62ba <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:62b9
  Inserted:
ns=http://www.example.org/ISL13#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:62c0
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
_:62bf <rdf:type> <owl:Restriction>
_:62bf <owl:onProperty> <ns:hasChild>
_:62bf <owl:allValuesFrom> <ns:Child>
<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>
_:62c0 <rdf:type> <owl:Restriction>
_:62c0 <owl:onProperty> <ns:hasName>
_:62c0 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:62bf
 Removed:
ns=http://www.example.org/ISL13#
_:62bb <owl:sameAs> _:62bb
_:62bb <rdf:type> <ns:Child>
_:62bb <rdf:type> <owl:Thing>
_:62bb <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:62bb
 Removed:
ns=http://www.example.org/ISL13#
_:62c1 <owl:sameAs> _:62c1
_:62c1 <rdf:type> <ns:Child>
_:62c1 <rdf:type> <owl:Thing>
_:62c1 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:62c1
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>
_:6295 <rdf:type> <owl:Restriction>
_:6295 <owl:onProperty> <ns:hasChild>
_:6295 <owl:allValuesFrom> <ns:Child>
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
_:6296 <rdf:type> <owl:Restriction>
_:6296 <owl:onProperty> <ns:hasName>
_:6296 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:6295
<ns:Child> <rdfs:subClassOf> _:6296
<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>
<ns:Person> <rdfs:subClassOf> _:629c
_:629c <rdf:type> <owl:Restriction>
_:629c <owl:onProperty> <ns:hasChild>
_:629c <owl:allValuesFrom> <ns:Child>
<ns:Child> <rdfs:subClassOf> _:629d
_:629d <rdf:type> <owl:Restriction>
_:629d <owl:onProperty> <ns:hasName>
_:629d <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#
_:6297 <owl:sameAs> _:6297
_:6297 <rdf:type> <ns:Child>
_:6297 <rdf:type> <owl:Thing>
_:6297 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:6297
 Removed:
ns=http://www.example.org/ISL14#
_:629e <owl:sameAs> _:629e
_:629e <rdf:type> <ns:Child>
_:629e <rdf:type> <owl:Thing>
_:629e <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:629e
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#