Interoperability from KAON2 to WebODE (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (KAON2) Step2 (WebODE)
E01
(ISA01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISA01#
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
Removed:
ns=http://www.example.org/ISA01#
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
 
E02
(ISA02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E03
(ISA03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E04
(ISA04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E05
(ISA05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 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>
<ns:Driver> <rdfs:subClassOf> _:5cf6
_:5cf6 <rdf:type> <owl:Restriction>
_:5cf6 <owl:onProperty> <ns:hasCar>
_:5cf6 <owl:allValuesFrom> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA07#
<ns:hasCar> <rdfs:domain> <ns:Driver>
<ns:Driver> <rdfs:subClassOf> _:5cfa
_:5cfa <rdf:type> <owl:Restriction>
_:5cfa <owl:onProperty> <ns:hasCar>
_:5cfa <owl:allValuesFrom> <owl:Thing>
 Removed:
ns=http://www.example.org/ISA07#
<ns:Driver> <rdfs:subClassOf> _:5cf7
_:5cf7 <rdf:type> <owl:Restriction>
_:5cf7 <owl:onProperty> <ns:hasCar>
_:5cf7 <owl:someValuesFrom> <ns:Car>
 Removed:
ns=http://www.example.org/ISA07#
_:5cfb <rdf:type> <owl:Restriction>
_:5cfb <owl:onProperty> <ns:hasCar>
_:5cfb <owl:someValuesFrom> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:5cfb
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> _:5cd9
_:5cd9 <rdf:type> <owl:Restriction>
_:5cd9 <owl:onProperty> <ns:wasBorn>
_:5cd9 <owl:allValuesFrom> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA08#
<ns:wasBorn> <rdfs:domain> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> _:5cdd
_:5cdd <rdf:type> <owl:Restriction>
_:5cdd <owl:onProperty> <ns:wasBorn>
_:5cdd <owl:allValuesFrom> <owl:Thing>
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:5cda
_:5cda <rdf:type> <owl:Restriction>
_:5cda <owl:onProperty> <ns:wasBorn>
_:5cda <owl:allValuesFrom> <ns:Italy>
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:5cde
_:5cde <rdf:type> <owl:Restriction>
_:5cde <owl:onProperty> <ns:wasBorn>
_:5cde <owl:allValuesFrom> <ns:Italy>
E09
(ISA09)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISA09#
<ns:Employee> <rdfs:subClassOf> ""
 
   Removed:
ns=http://www.example.org/ISA09#
_:7ff7 <rdf:type> <owl:Restriction>
_:7ff7 <owl:onProperty> <ns:worksIn>
_:7ff7 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:7ff7
 
E10
(ISA10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
_:5cab <rdf:type> <owl:Restriction>
_:5cab <owl:onProperty> <ns:hasAffiliation>
_:5cab <owl:allValuesFrom> <owl:Thing>
<ns:Researcher> <rdfs:subClassOf> _:5cac
<ns:Researcher> <rdfs:subClassOf> _:5cab
_:5cac <rdf:type> <owl:Restriction>
_:5cac <owl:onProperty> <ns:hasAffiliation>
_:5cac <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:5cb3
<ns:Researcher> <rdfs:subClassOf> _:5cb2
_:5cb3 <rdf:type> <owl:Restriction>
_:5cb3 <owl:onProperty> <ns:hasAffiliation>
_:5cb3 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:5cb2 <rdf:type> <owl:Restriction>
_:5cb2 <owl:onProperty> <ns:hasAffiliation>
_:5cb2 <owl:allValuesFrom> <owl:Thing>
 Removed:
ns=http://www.example.org/ISA10#
<ns:Researcher> <rdfs:subClassOf> _:5cad
_:5cad <rdf:type> <owl:Restriction>
_:5cad <owl:onProperty> <ns:hasAffiliation>
_:5cad <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA10#
<ns:Researcher> <rdfs:subClassOf> _:5cb4
_:5cb4 <rdf:type> <owl:Restriction>
_:5cb4 <owl:onProperty> <ns:hasAffiliation>
_:5cb4 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E11
(ISA11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA11#
_:5c89 <rdf:type> <owl:Restriction>
_:5c89 <owl:onProperty> <ns:hasMother>
_:5c89 <owl:allValuesFrom> <owl:Thing>
_:5c8a <rdf:type> <owl:Restriction>
_:5c8a <owl:onProperty> <ns:hasMother>
_:5c8a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:5c8a
<ns:Person> <rdfs:subClassOf> _:5c89
<ns:hasMother> <rdfs:domain> <ns:Person>
  Inserted:
ns=http://www.example.org/ISA11#
_:5c90 <rdf:type> <owl:Restriction>
_:5c90 <owl:onProperty> <ns:hasMother>
_:5c90 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:5c90
<ns:Person> <rdfs:subClassOf> _:5c8f
_:5c8f <rdf:type> <owl:Restriction>
_:5c8f <owl:onProperty> <ns:hasMother>
_:5c8f <owl:allValuesFrom> <owl:Thing>
<ns:hasMother> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISA11#
_:5c8b <rdf:type> <owl:Restriction>
_:5c8b <owl:onProperty> <ns:hasMother>
_:5c8b <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:5c8b
 Removed:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:5c91
_:5c91 <rdf:type> <owl:Restriction>
_:5c91 <owl:onProperty> <ns:hasMother>
_:5c91 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
E12
(ISA12)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISA12#
<ns:Researcher> <rdfs:subClassOf> _:7fef
<ns:Researcher> <rdfs:subClassOf> ""
_:7fef <rdf:type> <owl:Restriction>
_:7fef <owl:onProperty> <ns:hasAffiliation>
_:7fef <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
   Removed:
ns=http://www.example.org/ISA12#
_:7ff1 <rdf:type> <owl:Restriction>
_:7ff1 <owl:onProperty> <ns:hasAffiliation>
_:7ff1 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7ff0 <rdf:type> <owl:Restriction>
_:7ff0 <owl:onProperty> <ns:hasAffiliation>
_:7ff0 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7ff1
<ns:Researcher> <rdfs:subClassOf> _:7ff0
 
E13
(ISA13)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> ""
 
   Removed:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:7feb
_:7feb <rdf:type> <owl:Restriction>
_:7feb <owl:onProperty> <ns:hasName>
_:7feb <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
 
E14
(ISA14)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:5c4f
<ns:Researcher> <rdfs:subClassOf> _:5c4e
_:5c4f <rdf:type> <owl:Restriction>
_:5c4f <owl:onProperty> <ns:wrotePhDThesis>
_:5c4f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:5c4e <rdf:type> <owl:Restriction>
_:5c4e <owl:onProperty> <ns:wrotePhDThesis>
_:5c4e <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISA14#
_:5c54 <rdf:type> <owl:Restriction>
_:5c54 <owl:onProperty> <ns:wrotePhDThesis>
_:5c54 <owl:allValuesFrom> <xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:5c55
<ns:Researcher> <rdfs:subClassOf> _:5c54
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:5c55 <rdf:type> <owl:Restriction>
_:5c55 <owl:onProperty> <ns:wrotePhDThesis>
_:5c55 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:5c50
_:5c50 <rdf:type> <owl:Restriction>
_:5c50 <owl:onProperty> <ns:wrotePhDThesis>
_:5c50 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:5c56
_:5c56 <rdf:type> <owl:Restriction>
_:5c56 <owl:onProperty> <ns:wrotePhDThesis>
_:5c56 <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> _:5c2e
<ns:Person> <rdfs:subClassOf> _:5c2d
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
_:5c2e <rdf:type> <owl:Restriction>
_:5c2e <owl:onProperty> <ns:hasSSN>
_:5c2e <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:5c2d <rdf:type> <owl:Restriction>
_:5c2d <owl:onProperty> <ns:hasSSN>
_:5c2d <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:5c34
<ns:Person> <rdfs:subClassOf> _:5c33
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
_:5c34 <rdf:type> <owl:Restriction>
_:5c34 <owl:onProperty> <ns:hasSSN>
_:5c34 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:5c33 <rdf:type> <owl:Restriction>
_:5c33 <owl:onProperty> <ns:hasSSN>
_:5c33 <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:5c2f
_:5c2f <rdf:type> <owl:Restriction>
_:5c2f <owl:onProperty> <ns:hasSSN>
_:5c2f <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:5c35
_:5c35 <rdf:type> <owl:Restriction>
_:5c35 <owl:onProperty> <ns:hasSSN>
_:5c35 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
E16
(ISA16)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISA16#
_:7fe3 <rdf:type> <owl:Restriction>
_:7fe3 <owl:onProperty> <ns:wrotePhDThesis>
_:7fe3 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7fe3
<ns:Researcher> <rdfs:subClassOf> ""
 
   Removed:
ns=http://www.example.org/ISA16#
_:7d66 <rdf:type> <owl:Restriction>
_:7d66 <owl:onProperty> <ns:wrotePhDThesis>
_:7d66 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7d65 <rdf:type> <owl:Restriction>
_:7d65 <owl:onProperty> <ns:wrotePhDThesis>
_:7d65 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7d66
<ns:Researcher> <rdfs:subClassOf> _:7d65
 
E17
(ISA17)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA17#
<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/ISA17#
<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/ISA17#
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMale> <owl:intersectionOf> _:5c01
<ns:ItalianMale> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMale> <rdfs:subClassOf> <ns:Male>
_:5c01 <rdf:first> <ns:Italian>
_:5c01 <rdf:rest> _:5c00
_:5c00 <rdf:first> <ns:Male>
_:5c00 <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISA17#
_:5c05 <rdf:first> <ns:Male>
_:5c05 <rdf:rest> <rdf:nil>
_:5c06 <rdf:first> <ns:Italian>
_:5c06 <rdf:rest> _:5c05
<ns:ItalianMale> <owl:equivalentClass> _:5c07
<ns:ItalianMale> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMale> <rdfs:subClassOf> <ns:Male>
_:5c07 <rdf:type> <owl:Class>
_:5c07 <owl:intersectionOf> _:5c06
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <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#
_:5bcc <rdf:type> <owl:Restriction>
_:5bcc <owl:onProperty> <ns:hasCar>
_:5bcc <owl:allValuesFrom> <owl:Thing>
<ns:hasCar> <rdfs:domain> <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> <rdfs:subClassOf> _:5bcc
<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>
_:5bd0 <rdf:type> <owl:Restriction>
_:5bd0 <owl:onProperty> <ns:hasCar>
_:5bd0 <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> _:5bd0
<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> _:5bcd
_:5bcd <rdf:type> <owl:Restriction>
_:5bcd <owl:onProperty> <ns:hasCar>
_:5bcd <owl:someValuesFrom> <ns:Car>
 Removed:
ns=http://www.example.org/ISB02#
<ns:Driver> <owl:equivalentClass> _:5bd1
_:5bd1 <rdf:type> <owl:Restriction>
_:5bd1 <owl:onProperty> <ns:hasCar>
_:5bd1 <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> _:5baf
<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>
_:5baf <rdf:type> <owl:Restriction>
_:5baf <owl:onProperty> <ns:wasBorn>
_:5baf <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> _:5bb3
<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>
_:5bb3 <rdf:type> <owl:Restriction>
_:5bb3 <owl:onProperty> <ns:wasBorn>
_:5bb3 <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#
_:5bb0 <rdf:type> <owl:Restriction>
_:5bb0 <owl:onProperty> <ns:wasBorn>
_:5bb0 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:5bb0
 Removed:
ns=http://www.example.org/ISB03#
_:5bb4 <rdf:type> <owl:Restriction>
_:5bb4 <owl:onProperty> <ns:wasBorn>
_:5bb4 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:5bb4
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> _:5b92
<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>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:5b92 <rdf:type> <owl:Restriction>
_:5b92 <owl:onProperty> <ns:worksIn>
_:5b92 <owl:allValuesFrom> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISB04#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5b96
<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>
_:5b96 <rdf:type> <owl:Restriction>
_:5b96 <owl:onProperty> <ns:worksIn>
_:5b96 <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> _:5b93
_:5b93 <rdf:type> <owl:Restriction>
_:5b93 <owl:onProperty> <ns:worksIn>
_:5b93 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <owl:equivalentClass> _:5b97
_:5b97 <rdf:type> <owl:Restriction>
_:5b97 <owl:onProperty> <ns:worksIn>
_:5b97 <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#
_:5b72 <rdf:type> <owl:Restriction>
_:5b72 <owl:onProperty> <ns:hasAffiliation>
_:5b72 <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:5b73 <rdf:type> <owl:Restriction>
_:5b73 <owl:onProperty> <ns:hasAffiliation>
_:5b73 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5b73
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5b72
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISB05#
_:5b78 <rdf:type> <owl:Restriction>
_:5b78 <owl:onProperty> <ns:hasAffiliation>
_:5b78 <owl:allValuesFrom> <owl:Thing>
_:5b79 <rdf:type> <owl:Restriction>
_:5b79 <owl:onProperty> <ns:hasAffiliation>
_:5b79 <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> _:5b79
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5b78
<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> _:5b74
_:5b74 <rdf:type> <owl:Restriction>
_:5b74 <owl:onProperty> <ns:hasAffiliation>
_:5b74 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:5b7a
_:5b7a <rdf:type> <owl:Restriction>
_:5b7a <owl:onProperty> <ns:hasAffiliation>
_:5b7a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E23
(ISB06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB06#
<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> _:5b52
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5b51
<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>
_:5b51 <rdf:type> <owl:Restriction>
_:5b51 <owl:onProperty> <ns:hasMother>
_:5b51 <owl:allValuesFrom> <owl:Thing>
<ns:hasMother> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
_:5b52 <rdf:type> <owl:Restriction>
_:5b52 <owl:onProperty> <ns:hasMother>
_:5b52 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  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> _:5b58
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5b57
<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>
_:5b57 <rdf:type> <owl:Restriction>
_:5b57 <owl:onProperty> <ns:hasMother>
_:5b57 <owl:allValuesFrom> <owl:Thing>
<ns:hasMother> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
_:5b58 <rdf:type> <owl:Restriction>
_:5b58 <owl:onProperty> <ns:hasMother>
_:5b58 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:5b53
_:5b53 <rdf:type> <owl:Restriction>
_:5b53 <owl:onProperty> <ns:hasMother>
_:5b53 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:5b59
_:5b59 <rdf:type> <owl:Restriction>
_:5b59 <owl:onProperty> <ns:hasMother>
_:5b59 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
E24
(ISB07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISB07#
_:7d4a <rdf:type> <owl:Restriction>
_:7d4a <owl:onProperty> <ns:hasAffiliation>
_:7d4a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:7d4a
<ns:Researcher> <owl:equivalentClass> ""
 
 Removed:
ns=http://www.example.org/ISB07#
_:5b33 <rdf:type> <owl:Restriction>
_:5b33 <owl:onProperty> <ns:hasAffiliation>
_:5b33 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:5b34
<ns:Researcher> <owl:equivalentClass> _:5b33
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:5b34 <rdf:type> <owl:Restriction>
_:5b34 <owl:onProperty> <ns:hasAffiliation>
_:5b34 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
Removed:
ns=http://www.example.org/ISB07#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:6248
<ns:Researcher> <owl:equivalentClass> _:6247
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:6247 <rdf:type> <owl:Restriction>
_:6247 <owl:onProperty> <ns:hasAffiliation>
_:6247 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6248 <rdf:type> <owl:Restriction>
_:6248 <owl:onProperty> <ns:hasAffiliation>
_:6248 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
Removed:
ns=http://www.example.org/ISB07#
_:5b36 <rdf:type> <owl:Restriction>
_:5b36 <owl:onProperty> <ns:hasAffiliation>
_:5b36 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:5b36
<ns:Researcher> <owl:equivalentClass> ""
E25
(ISB08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISB08#
<ns:Person> <owl:equivalentClass> ""
 
 Removed:
ns=http://www.example.org/ISB08#
<owl:Nothing> <owl:complementOf> <ns:Person>
_:5b1b <rdf:type> <owl:Restriction>
_:5b1b <owl:onProperty> <ns:hasName>
_:5b1b <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:Person> <owl:equivalentClass> _:5b1b
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
Removed:
ns=http://www.example.org/ISB08#
_:7fc5 <rdf:type> <owl:Restriction>
_:7fc5 <owl:onProperty> <ns:hasName>
_:7fc5 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:Person> <owl:equivalentClass> _:7fc5
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
<owl:Nothing> <owl:complementOf> <ns:Person>
Removed:
ns=http://www.example.org/ISB08#
<ns:Person> <owl:equivalentClass> ""
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
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>
_:5afc <rdf:type> <owl:Restriction>
_:5afc <owl:onProperty> <ns:wrotePhDThesis>
_:5afc <owl:allValuesFrom> <xsd:string>
_:5afd <rdf:type> <owl:Restriction>
_:5afd <owl:onProperty> <ns:wrotePhDThesis>
_:5afd <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> _:5afd
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5afc
<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#
_:5b03 <rdf:type> <owl:Restriction>
_:5b03 <owl:onProperty> <ns:wrotePhDThesis>
_:5b03 <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>
_:5b02 <rdf:type> <owl:Restriction>
_:5b02 <owl:onProperty> <ns:wrotePhDThesis>
_:5b02 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5b03
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5b02
<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> _:5afe
_:5afe <rdf:type> <owl:Restriction>
_:5afe <owl:onProperty> <ns:wrotePhDThesis>
_:5afe <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB09#
<ns:Researcher> <owl:equivalentClass> _:5b04
_:5b04 <rdf:type> <owl:Restriction>
_:5b04 <owl:onProperty> <ns:wrotePhDThesis>
_:5b04 <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>
_:5adb <rdf:type> <owl:Restriction>
_:5adb <owl:onProperty> <ns:hasSSN>
_:5adb <owl:allValuesFrom> <xsd:string>
_:5adc <rdf:type> <owl:Restriction>
_:5adc <owl:onProperty> <ns:hasSSN>
_:5adc <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5adc
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5adb
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISB10#
<ns:hasSSN> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasSSN> <rdfs:range> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:5ae1 <rdf:type> <owl:Restriction>
_:5ae1 <owl:onProperty> <ns:hasSSN>
_:5ae1 <owl:allValuesFrom> <xsd:string>
_:5ae2 <rdf:type> <owl:Restriction>
_:5ae2 <owl:onProperty> <ns:hasSSN>
_:5ae2 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5ae2
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5ae1
<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> _:5add
_:5add <rdf:type> <owl:Restriction>
_:5add <owl:onProperty> <ns:hasSSN>
_:5add <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:5ae3
_:5ae3 <rdf:type> <owl:Restriction>
_:5ae3 <owl:onProperty> <ns:hasSSN>
_:5ae3 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
E28
(ISB11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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>
_:5ab9 <rdf:type> <owl:Restriction>
_:5ab9 <owl:onProperty> <ns:wrotePhDThesis>
_:5ab9 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5aba
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5ab9
<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>
_:5aba <rdf:type> <owl:Restriction>
_:5aba <owl:onProperty> <ns:wrotePhDThesis>
_:5aba <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISB11#
_:7fbd <rdf:type> <owl:Restriction>
_:7fbd <owl:onProperty> <ns:wrotePhDThesis>
_:7fbd <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:7fbd
<ns:Researcher> <owl:equivalentClass> ""
Inserted:
ns=http://www.example.org/ISB11#
_:5ac0 <rdf:type> <owl:Restriction>
_:5ac0 <owl:onProperty> <ns:wrotePhDThesis>
_:5ac0 <owl:allValuesFrom> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:5ac1 <rdf:type> <owl:Restriction>
_:5ac1 <owl:onProperty> <ns:wrotePhDThesis>
_:5ac1 <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> _:5ac1
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5ac0
<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#
_:5abb <rdf:type> <owl:Restriction>
_:5abb <owl:onProperty> <ns:wrotePhDThesis>
_:5abb <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
_:5abc <rdf:type> <owl:Restriction>
_:5abc <owl:onProperty> <ns:wrotePhDThesis>
_:5abc <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:5abc
<ns:Researcher> <owl:equivalentClass> _:5abb
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
Removed:
ns=http://www.example.org/ISB11#
_:7fbf <rdf:type> <owl:Restriction>
_:7fbf <owl:onProperty> <ns:wrotePhDThesis>
_:7fbf <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:7fbf
<ns:Researcher> <owl:equivalentClass> _:7fbe
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
_:7fbe <rdf:type> <owl:Restriction>
_:7fbe <owl:onProperty> <ns:wrotePhDThesis>
_:7fbe <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB11#
_:5ac2 <rdf:type> <owl:Restriction>
_:5ac2 <owl:onProperty> <ns:wrotePhDThesis>
_:5ac2 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:5ac2
<ns:Researcher> <owl:equivalentClass> ""
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> _:5a97
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:5a97 <rdf:type> <owl:Class>
_:5a97 <owl:intersectionOf> _:5a96
_:5a96 <rdf:first> <ns:Italian>
_:5a96 <rdf:rest> _:5a95
_:5a95 <rdf:first> <ns:Male>
_:5a95 <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISB12#
_:5a9d <rdf:type> <owl:Class>
_:5a9d <owl:intersectionOf> _:5a9c
_:5a9c <rdf:first> <ns:Italian>
_:5a9c <rdf:rest> _:5a9b
_:5a9b <rdf:first> <ns:Male>
_:5a9b <rdf:rest> <rdf:nil>
<ns:ItalianMan> <owl:equivalentClass> _:5a9d
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
E30
(ISC01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISC01#
<owl:Nothing> <owl:disjointWith> <ns:OWL_ANONYM_CLASS_0>
<owl:Nothing> <rdfs:subClassOf> <ns:OWL_ANONYM_CLASS_0>
<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>
  Inserted:
ns=http://www.example.org/ISC01#
<owl:Nothing> <owl:disjointWith> <ns:OWL_ANONYM_CLASS_0>
<owl:Nothing> <rdfs:subClassOf> <ns:OWL_ANONYM_CLASS_0>
<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>
 Removed:
ns=http://www.example.org/ISC01#
<ns:ItalianMan> <owl:intersectionOf> _:5a76
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:5a76 <rdf:first> <ns:Italian>
_:5a76 <rdf:rest> _:5a75
_:5a75 <rdf:first> <ns:Male>
_:5a75 <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISC01#
<ns:ItalianMan> <owl:equivalentClass> _:5a7c
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:5a7c <rdf:type> <owl:Class>
_:5a7c <owl:intersectionOf> _:5a7b
_:5a7b <rdf:first> <ns:Italian>
_:5a7b <rdf:rest> _:5a7a
_:5a7a <rdf:first> <ns:Male>
_:5a7a <rdf:rest> <rdf:nil>
E31
(ISC02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISC02#
<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/ISC02#
<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/ISC02#
_:5a55 <rdf:first> <ns:Italian>
_:5a55 <rdf:rest> _:5a54
_:5a54 <rdf:first> <ns:Male>
_:5a54 <rdf:rest> _:5a53
_:5a53 <rdf:first> <ns:Person>
_:5a53 <rdf:rest> <rdf:nil>
<ns:ItalianMan> <owl:intersectionOf> _:5a55
<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#
_:5a5c <rdf:first> <ns:Italian>
_:5a5c <rdf:rest> _:5a5b
_:5a5d <rdf:type> <owl:Class>
_:5a5d <owl:intersectionOf> _:5a5c
_:5a5a <rdf:first> <ns:Person>
_:5a5a <rdf:rest> <rdf:nil>
<ns:ItalianMan> <owl:equivalentClass> _:5a5d
<ns:ItalianMan> <rdfs:subClassOf> <ns:Person>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
_:5a5b <rdf:first> <ns:Male>
_:5a5b <rdf:rest> _:5a5a
E32
(ISD01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISD01#
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
Removed:
ns=http://www.example.org/ISD01#
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
 
E33
(ISD02)		Interchange = 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 = DIFFERENT
Execution = OK		 Interchange = SAME
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> _:5982
<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>
_:5982 <rdf:type> <owl:Restriction>
_:5982 <owl:onProperty> <ns:hasChild>
_:5982 <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> _:5984
<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>
_:5984 <rdf:type> <owl:Restriction>
_:5984 <owl:onProperty> <ns:hasChild>
_:5984 <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>
<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>
_:5967 <rdf:type> <owl:Restriction>
_:5967 <owl:onProperty> <ns:hasChild>
_:5967 <owl:allValuesFrom> <ns:ANONYMOUS_CONCEPT_0>
<ns:Person> <rdfs:subClassOf> _:5967
<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> _:5969
_:5969 <rdf:type> <owl:Restriction>
_:5969 <owl:onProperty> <ns:hasChild>
_:5969 <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#
_:594e <rdf:type> <owl:Restriction>
_:594e <owl:onProperty> <ns:hasSSN>
_:594e <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:594e
<ns:hasSSN> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISE07#
_:5950 <rdf:type> <owl:Restriction>
_:5950 <owl:onProperty> <ns:hasSSN>
_:5950 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:5950
<ns:hasSSN> <rdfs:range> <xsd:string>
E43
(ISE08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISE08#
<rdfs:Literal> <rdf:type> <owl:Datatype>
 
 Removed:
ns=http://www.example.org/ISE08#
<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>
<rdfs:Literal> <rdf:type> <owl:Datatype>
E44
(ISE09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE09#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:5920
_:5920 <rdf:type> <owl:Restriction>
_:5920 <owl:onProperty> <ns:hasName>
_:5920 <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISE09#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISE09#
<ns:hasName> <rdfs:range> <xsd:string>
_:5922 <rdf:type> <owl:Restriction>
_:5922 <owl:onProperty> <ns:hasName>
_:5922 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:5922
    Removed:
ns=http://www.example.org/ISE09#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E45
(ISE10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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>
_:5907 <rdf:type> <owl:Restriction>
_:5907 <owl:onProperty> <ns:hasChildNamed>
_:5907 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5907
<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#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISE10#
<ns:hasChildNamed> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasChildNamed> <rdfs:range> <xsd:string>
_:5909 <rdf:type> <owl:Restriction>
_:5909 <owl:onProperty> <ns:hasChildNamed>
_:5909 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:5909
<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>
    Removed:
ns=http://www.example.org/ISE10#
<rdfs:Literal> <rdf:type> <owl:Datatype>
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> _:58eb
<ns:Person> <rdfs:subClassOf> _:58ea
_:58ea <rdf:type> <owl:Restriction>
_:58ea <owl:onProperty> <ns:livesIn>
_:58ea <owl:allValuesFrom> <ns:City>
_:58eb <rdf:type> <owl:Restriction>
_:58eb <owl:onProperty> <ns:isResidentIn>
_:58eb <owl:allValuesFrom> <ns:City>
  Inserted:
ns=http://www.example.org/ISF01#
<ns:Person> <rdfs:subClassOf> _:58f0
<ns:Person> <rdfs:subClassOf> _:58ef
_:58ef <rdf:type> <owl:Restriction>
_:58ef <owl:onProperty> <ns:livesIn>
_:58ef <owl:allValuesFrom> <ns:City>
_:58f0 <rdf:type> <owl:Restriction>
_:58f0 <owl:onProperty> <ns:isResidentIn>
_:58f0 <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 = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF02#
_:58cd <rdf:type> <owl:Restriction>
_:58cd <owl:onProperty> <ns:hasName>
_:58cd <owl:allValuesFrom> <xsd:string>
<ns:City> <rdfs:subClassOf> _:58cd
<ns:City> <rdfs:subClassOf> _:58cc
<ns:hasSpanishName> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
_:58cc <rdf:type> <owl:Restriction>
_:58cc <owl:onProperty> <ns:hasSpanishName>
_:58cc <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISF02#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISF02#
<ns:City> <rdfs:subClassOf> _:58d1
<ns:City> <rdfs:subClassOf> _:58d0
_:58d0 <rdf:type> <owl:Restriction>
_:58d0 <owl:onProperty> <ns:hasSpanishName>
_:58d0 <owl:allValuesFrom> <xsd:string>
<ns:hasSpanishName> <rdfs:range> <xsd:string>
_:58d1 <rdf:type> <owl:Restriction>
_:58d1 <owl:onProperty> <ns:hasName>
_:58d1 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
    Removed:
ns=http://www.example.org/ISF02#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E48
(ISF03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF03#
_:58b2 <rdf:type> <owl:Restriction>
_:58b2 <owl:onProperty> <ns:hasParent>
_:58b2 <owl:allValuesFrom> <ns:Person>
<ns:Child> <rdfs:subClassOf> _:58b2
  Inserted:
ns=http://www.example.org/ISF03#
<ns:Child> <rdfs:subClassOf> _:58b4
_:58b4 <rdf:type> <owl:Restriction>
_:58b4 <owl:onProperty> <ns:hasParent>
_:58b4 <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 = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:range> <xsd:string>
_:5846 <rdf:type> <owl:Restriction>
_:5846 <owl:onProperty> <ns:hasAge>
_:5846 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:5845 <rdf:type> <owl:Restriction>
_:5845 <owl:onProperty> <ns:hasAge>
_:5845 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:5846
<ns:Person> <rdfs:subClassOf> _:5845
Inserted:
ns=http://www.example.org/ISG04#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:range> <xsd:string>
_:5849 <rdf:type> <owl:Restriction>
_:5849 <owl:onProperty> <ns:hasAge>
_:5849 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:584a
<ns:Person> <rdfs:subClassOf> _:5849
_:584a <rdf:type> <owl:Restriction>
_:584a <owl:onProperty> <ns:hasAge>
_:584a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
    Removed:
ns=http://www.example.org/ISG04#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E53
(ISG05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG05#
_:582b <rdf:type> <owl:Restriction>
_:582b <owl:onProperty> <ns:hasTutor>
_:582b <owl:allValuesFrom> <ns:Student>
<ns:Professor> <rdfs:subClassOf> _:582b
  Inserted:
ns=http://www.example.org/ISG05#
<ns:Professor> <rdfs:subClassOf> _:582d
_:582d <rdf:type> <owl:Restriction>
_:582d <owl:onProperty> <ns:hasTutor>
_:582d <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 = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI04#
_:5785 <rdf:type> <owl:Restriction>
_:5785 <owl:onProperty> <ns:hasName>
_:5785 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:5785
Inserted:
ns=http://www.example.org/ISI04#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISI04#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:5787
_:5787 <rdf:type> <owl:Restriction>
_:5787 <owl:onProperty> <ns:hasName>
_:5787 <owl:allValuesFrom> <xsd:string>
    Removed:
ns=http://www.example.org/ISI04#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E61
(ISI05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI05#
<ns:Person> <rdfs:subClassOf> _:576b
_:576b <rdf:type> <owl:Restriction>
_:576b <owl:onProperty> <ns:hasName>
_:576b <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
Inserted:
ns=http://www.example.org/ISI05#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISI05#
<ns:Person> <rdfs:subClassOf> _:576d
_:576d <rdf:type> <owl:Restriction>
_:576d <owl:onProperty> <ns:hasName>
_:576d <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
    Removed:
ns=http://www.example.org/ISI05#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E62
(ISJ01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ01#
<ns:Person> <rdfs:subClassOf> _:5751
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Person>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasChild> <ns:John>
_:5751 <rdf:type> <owl:Restriction>
_:5751 <owl:onProperty> <ns:hasChild>
_:5751 <owl:allValuesFrom> <ns:Person>
Inserted:
ns=http://www.example.org/ISJ01#
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Person>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasChild> <ns:John>
 
 Removed:
ns=http://www.example.org/ISJ01#
_:5752 <owl:sameAs> _:5752
_:5752 <rdf:type> <ns:Person>
_:5752 <rdf:type> <owl:Thing>
_:5752 <ns:hasChild> <ns:John>
Removed:
ns=http://www.example.org/ISJ01#
_:7f9b <owl:sameAs> _:7f9b
_:7f9b <rdf:type> <ns:Person>
_:7f9b <rdf:type> <owl:Thing>
_:7f9b <ns:hasChild> <ns:John>
 
E63
(ISJ02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ02#
<ns:Parent> <rdfs:subClassOf> _:5736
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Parent>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasChild> <ns:John>
_:5736 <rdf:type> <owl:Restriction>
_:5736 <owl:onProperty> <ns:hasChild>
_:5736 <owl:allValuesFrom> <ns:Person>
Inserted:
ns=http://www.example.org/ISJ02#
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Parent>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasChild> <ns:John>
 
 Removed:
ns=http://www.example.org/ISJ02#
_:5737 <owl:sameAs> _:5737
_:5737 <rdf:type> <ns:Parent>
_:5737 <rdf:type> <owl:Thing>
_:5737 <ns:hasChild> <ns:John>
Removed:
ns=http://www.example.org/ISJ02#
_:7f99 <owl:sameAs> _:7f99
_:7f99 <rdf:type> <ns:Parent>
_:7f99 <rdf:type> <owl:Thing>
_:7f99 <ns:hasChild> <ns:John>
 
E64
(ISJ03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ03#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:5719
_:5719 <rdf:type> <owl:Restriction>
_:5719 <owl:onProperty> <ns:hasName>
_:5719 <owl:allValuesFrom> <xsd:string>
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <rdf:type> <ns:Person>
<ns:genid1> <ns:hasName> "Peter"^^<xsd:string>
Inserted:
ns=http://www.example.org/ISJ03#
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <rdf:type> <ns:Person>
<ns:genid1> <ns:hasName> "Peter"^^<xsd:string>
Inserted:
ns=http://www.example.org/ISJ03#
<ns:hasName> <rdfs:range> <xsd:string>
_:571c <rdf:type> <owl:Restriction>
_:571c <owl:onProperty> <ns:hasName>
_:571c <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:571c
 Removed:
ns=http://www.example.org/ISJ03#
_:571a <owl:sameAs> _:571a
_:571a <rdf:type> <owl:Thing>
_:571a <rdf:type> <ns:Person>
_:571a <ns:hasName> "Peter"
Removed:
ns=http://www.example.org/ISJ03#
_:7f97 <owl:sameAs> _:7f97
_:7f97 <rdf:type> <owl:Thing>
_:7f97 <rdf:type> <ns:Person>
_:7f97 <ns:hasName> "Peter"
Removed:
ns=http://www.example.org/ISJ03#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E65
(ISK01)		Interchange = 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:Ann> <owl:differentFrom> <ns:MaryAnn>
E67
(ISK03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK03#
<ns:ANONYMOUS_CONCEPT_1> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_1> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_1> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_1>
<ns:ANONYMOUS_CONCEPT_1> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_1> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_1> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_1>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_2>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_1>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_2>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_1>
<ns:ANONYMOUS_CONCEPT_2> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_2> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_2> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_2>
<ns:ANONYMOUS_CONCEPT_2> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_2> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_2> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_2>
<ns:Ann> <rdf:type> <ns:ANONYMOUS_CONCEPT_2>
<ns:Joan> <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:Person>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:Mary> <rdf:type> <ns:ANONYMOUS_CONCEPT_1>
  Inserted:
ns=http://www.example.org/ISK03#
<ns:ANONYMOUS_CONCEPT_1> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_1> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_1> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_1>
<ns:ANONYMOUS_CONCEPT_1> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_1> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_1> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_1>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_2>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_1>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_2>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_1>
<ns:ANONYMOUS_CONCEPT_2> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_2> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_2> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_2>
<ns:ANONYMOUS_CONCEPT_2> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_2> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_2> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_2>
<ns:Ann> <rdf:type> <ns:ANONYMOUS_CONCEPT_2>
<ns:Joan> <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:Person>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:Mary> <rdf:type> <ns:ANONYMOUS_CONCEPT_1>
 Removed:
ns=http://www.example.org/ISK03#
_:56ce <rdf:type> <owl:AllDifferent>
_:56ce <owl:distinctMembers> _:56cd
_:56cd <rdf:first> <ns:Ann>
_:56cd <rdf:rest> _:56cc
_:56cc <rdf:first> <ns:Joan>
_:56cc <rdf:rest> _:56cb
_:56cb <rdf:first> <ns:Mary>
_:56cb <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISK03#
_:56d6 <rdf:type> <owl:AllDifferent>
_:56d6 <owl:distinctMembers> _:56d5
_:56d5 <rdf:first> <ns:Ann>
_:56d5 <rdf:rest> _:56d4
_:56d4 <rdf:first> <ns:Joan>
_:56d4 <rdf:rest> _:56d3
_:56d3 <rdf:first> <ns:Mary>
_:56d3 <rdf:rest> <rdf:nil>
E68
(ISL01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL01#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
Removed:
ns=http://www.example.org/ISL01#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
 
E69
(ISL02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL02#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
Removed:
ns=http://www.example.org/ISL02#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
 
E70
(ISL03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL03#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
Removed:
ns=http://www.example.org/ISL03#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
 
E71
(ISL04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL04#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
Removed:
ns=http://www.example.org/ISL04#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
 
E72
(ISL05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL05#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL05#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
 
E73
(ISL06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL06#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL06#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
 
E74
(ISL07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL07#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:562e
_:562e <rdf:type> <owl:Restriction>
_:562e <owl:onProperty> <ns:hasName>
_:562e <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISL07#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISL07#
_:5630 <rdf:type> <owl:Restriction>
_:5630 <owl:onProperty> <ns:hasName>
_:5630 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:5630
    Removed:
ns=http://www.example.org/ISL07#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
<ns:Person> <rdfs:subClassOf> _:5615
_:5615 <rdf:type> <owl:Restriction>
_:5615 <owl:onProperty> <ns:hasName>
_:5615 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
Inserted:
ns=http://www.example.org/ISL08#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISL08#
_:5617 <rdf:type> <owl:Restriction>
_:5617 <owl:onProperty> <ns:hasName>
_:5617 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:5617
<ns:hasName> <rdfs:range> <xsd:string>
    Removed:
ns=http://www.example.org/ISL08#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E76
(ISL09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL09#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL09#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
 
E77
(ISL10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL10#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL10#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
 
E78
(ISL11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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> _:55cf
<ns:Person> <rdfs:subClassOf> _:55ce
_:55ce <rdf:type> <owl:Restriction>
_:55ce <owl:onProperty> <ns:hasSurname>
_:55ce <owl:allValuesFrom> <xsd:string>
_:55cf <rdf:type> <owl:Restriction>
_:55cf <owl:onProperty> <ns:hasName>
_:55cf <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISL11#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISL11#
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:55d4
<ns:Person> <rdfs:subClassOf> _:55d3
_:55d3 <rdf:type> <owl:Restriction>
_:55d3 <owl:onProperty> <ns:hasSurname>
_:55d3 <owl:allValuesFrom> <xsd:string>
_:55d4 <rdf:type> <owl:Restriction>
_:55d4 <owl:onProperty> <ns:hasName>
_:55d4 <owl:allValuesFrom> <xsd:string>
    Removed:
ns=http://www.example.org/ISL11#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL12#
_:55b0 <rdf:type> <owl:Restriction>
_:55b0 <owl:onProperty> <ns:hasSurname>
_:55b0 <owl:allValuesFrom> <xsd:string>
_:55b1 <rdf:type> <owl:Restriction>
_:55b1 <owl:onProperty> <ns:hasName>
_:55b1 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:55b1
<ns:Person> <rdfs:subClassOf> _:55b0
Inserted:
ns=http://www.example.org/ISL12#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISL12#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:55b5
<ns:Person> <rdfs:subClassOf> _:55b4
_:55b4 <rdf:type> <owl:Restriction>
_:55b4 <owl:onProperty> <ns:hasSurname>
_:55b4 <owl:allValuesFrom> <xsd:string>
_:55b5 <rdf:type> <owl:Restriction>
_:55b5 <owl:onProperty> <ns:hasName>
_:55b5 <owl:allValuesFrom> <xsd:string>
    Removed:
ns=http://www.example.org/ISL12#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E80
(ISL13)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL13#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:genidnode1> <owl:sameAs> <ns:genidnode1>
<ns:genidnode1> <rdf:type> <ns:Child>
<ns:genidnode1> <rdf:type> <owl:Thing>
<ns:genidnode1> <ns:hasName> "Paul"^^<xsd:string>
<ns:Child> <rdfs:subClassOf> _:5593
<ns:John> <ns:hasChild> <ns:genidnode1>
_:5592 <rdf:type> <owl:Restriction>
_:5592 <owl:onProperty> <ns:hasChild>
_:5592 <owl:allValuesFrom> <ns:Child>
_:5593 <rdf:type> <owl:Restriction>
_:5593 <owl:onProperty> <ns:hasName>
_:5593 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:5592
Inserted:
ns=http://www.example.org/ISL13#
<ns:genid-node1> <owl:sameAs> <ns:genid-node1>
<ns:genid-node1> <rdf:type> <ns:Child>
<ns:genid-node1> <rdf:type> <owl:Thing>
<ns:genid-node1> <ns:hasName> "Paul"^^<xsd:string>
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:John> <ns:hasChild> <ns:genid-node1>
Inserted:
ns=http://www.example.org/ISL13#
_:5597 <rdf:type> <owl:Restriction>
_:5597 <owl:onProperty> <ns:hasChild>
_:5597 <owl:allValuesFrom> <ns:Child>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:genidnode1> <owl:sameAs> <ns:genidnode1>
<ns:genidnode1> <rdf:type> <ns:Child>
<ns:genidnode1> <rdf:type> <owl:Thing>
<ns:genidnode1> <ns:hasName> "Paul"^^<xsd:string>
<ns:Child> <rdfs:subClassOf> _:5598
<ns:John> <ns:hasChild> <ns:genidnode1>
_:5598 <rdf:type> <owl:Restriction>
_:5598 <owl:onProperty> <ns:hasName>
_:5598 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:5597
 Removed:
ns=http://www.example.org/ISL13#
_:5594 <owl:sameAs> _:5594
_:5594 <rdf:type> <ns:Child>
_:5594 <rdf:type> <owl:Thing>
_:5594 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:5594
Removed:
ns=http://www.example.org/ISL13#
_:7f8d <owl:sameAs> _:7f8d
_:7f8d <rdf:type> <ns:Child>
_:7f8d <rdf:type> <owl:Thing>
_:7f8d <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:7f8d
Removed:
ns=http://www.example.org/ISL13#
<ns:genid-node1> <owl:sameAs> <ns:genid-node1>
<ns:genid-node1> <rdf:type> <ns:Child>
<ns:genid-node1> <rdf:type> <owl:Thing>
<ns:genid-node1> <ns:hasName> "Paul"^^<xsd:string>
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:John> <ns:hasChild> <ns:genid-node1>
E81
(ISL14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL14#
_:5570 <rdf:type> <owl:Restriction>
_:5570 <owl:onProperty> <ns:hasName>
_:5570 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:John> <ns:hasChild> <ns:genid1>
_:556f <rdf:type> <owl:Restriction>
_:556f <owl:onProperty> <ns:hasChild>
_:556f <owl:allValuesFrom> <ns:Child>
<ns:Person> <rdfs:subClassOf> _:556f
<ns:Child> <rdfs:subClassOf> _:5570
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Child>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasName> "Paul"^^<xsd:string>
Inserted:
ns=http://www.example.org/ISL14#
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Child>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasName> "Paul"^^<xsd:string>
<ns:John> <ns:hasChild> <ns:genid1>
Inserted:
ns=http://www.example.org/ISL14#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:5575
_:5575 <rdf:type> <owl:Restriction>
_:5575 <owl:onProperty> <ns:hasChild>
_:5575 <owl:allValuesFrom> <ns:Child>
<ns:Child> <rdfs:subClassOf> _:5576
_:5576 <rdf:type> <owl:Restriction>
_:5576 <owl:onProperty> <ns:hasName>
_:5576 <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISL14#
_:5571 <owl:sameAs> _:5571
_:5571 <rdf:type> <ns:Child>
_:5571 <rdf:type> <owl:Thing>
_:5571 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:5571
Removed:
ns=http://www.example.org/ISL14#
<ns:John> <ns:hasChild> _:7f8b
_:7f8b <owl:sameAs> _:7f8b
_:7f8b <rdf:type> <ns:Child>
_:7f8b <rdf:type> <owl:Thing>
_:7f8b <ns:hasName> "Paul"
Removed:
ns=http://www.example.org/ISL14#
<rdfs:Literal> <rdf:type> <owl:Datatype>
E82
(ISL15)		Interchange = 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#