Interoperability from ProtegeOWL to WebODE (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (ProtegeOWL) 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>
<ns:Driver> <rdfs:subClassOf> _:4011
_:4011 <rdf:type> <owl:Restriction>
_:4011 <owl:onProperty> <ns:hasCar>
_:4011 <owl:allValuesFrom> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA07#
<ns:hasCar> <rdfs:domain> <ns:Driver>
_:4015 <rdf:type> <owl:Restriction>
_:4015 <owl:onProperty> <ns:hasCar>
_:4015 <owl:allValuesFrom> <owl:Thing>
<ns:Driver> <rdfs:subClassOf> _:4015
 Removed:
ns=http://www.example.org/ISA07#
<ns:Driver> <rdfs:subClassOf> _:4012
_:4012 <rdf:type> <owl:Restriction>
_:4012 <owl:onProperty> <ns:hasCar>
_:4012 <owl:someValuesFrom> <ns:Car>
 Removed:
ns=http://www.example.org/ISA07#
_:4016 <owl:someValuesFrom> <ns:Car>
_:4016 <owl:onProperty> <ns:hasCar>
_:4016 <rdf:type> <owl:Restriction>
<ns:Driver> <rdfs:subClassOf> _:4016
E08
(ISA08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
_:3ff4 <rdf:type> <owl:Restriction>
_:3ff4 <owl:onProperty> <ns:wasBorn>
_:3ff4 <owl:allValuesFrom> <owl:Thing>
<ns:wasBorn> <rdfs:domain> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> _:3ff4
  Inserted:
ns=http://www.example.org/ISA08#
<ns:wasBorn> <rdfs:domain> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> _:3ff8
_:3ff8 <rdf:type> <owl:Restriction>
_:3ff8 <owl:onProperty> <ns:wasBorn>
_:3ff8 <owl:allValuesFrom> <owl:Thing>
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:3ff5
_:3ff5 <rdf:type> <owl:Restriction>
_:3ff5 <owl:onProperty> <ns:wasBorn>
_:3ff5 <owl:allValuesFrom> <ns:Italy>
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:3ff9
_:3ff9 <owl:onProperty> <ns:wasBorn>
_:3ff9 <rdf:type> <owl:Restriction>
_:3ff9 <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#
<ns:worksIn> <rdfs:domain> <ns:Employee>
<ns:Employee> <rdfs:subClassOf> _:3fd7
_:3fd7 <rdf:type> <owl:Restriction>
_:3fd7 <owl:onProperty> <ns:worksIn>
_:3fd7 <owl:allValuesFrom> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISA09#
_:3fdb <rdf:type> <owl:Restriction>
_:3fdb <owl:onProperty> <ns:worksIn>
_:3fdb <owl:allValuesFrom> <owl:Thing>
<ns:Employee> <rdfs:subClassOf> _:3fdb
<ns:worksIn> <rdfs:domain> <ns:Employee>
 Removed:
ns=http://www.example.org/ISA09#
<ns:Employee> <rdfs:subClassOf> _:3fd8
_:3fd8 <rdf:type> <owl:Restriction>
_:3fd8 <owl:onProperty> <ns:worksIn>
_:3fd8 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA09#
_:3fdc <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:3fdc <rdf:type> <owl:Restriction>
_:3fdc <owl:onProperty> <ns:worksIn>
<ns:Employee> <rdfs:subClassOf> _:3fdc
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>
_:3fb7 <rdf:type> <owl:Restriction>
_:3fb7 <owl:onProperty> <ns:hasAffiliation>
_:3fb7 <owl:allValuesFrom> <owl:Thing>
<ns:Researcher> <rdfs:subClassOf> _:3fb8
<ns:Researcher> <rdfs:subClassOf> _:3fb7
_:3fb8 <rdf:type> <owl:Restriction>
_:3fb8 <owl:onProperty> <ns:hasAffiliation>
_:3fb8 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:3fbe
<ns:Researcher> <rdfs:subClassOf> _:3fbd
_:3fbe <rdf:type> <owl:Restriction>
_:3fbe <owl:onProperty> <ns:hasAffiliation>
_:3fbe <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:3fbd <rdf:type> <owl:Restriction>
_:3fbd <owl:onProperty> <ns:hasAffiliation>
_:3fbd <owl:allValuesFrom> <owl:Thing>
 Removed:
ns=http://www.example.org/ISA10#
<ns:Researcher> <rdfs:subClassOf> _:3fb9
_:3fb9 <rdf:type> <owl:Restriction>
_:3fb9 <owl:onProperty> <ns:hasAffiliation>
_:3fb9 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA10#
<ns:Researcher> <rdfs:subClassOf> _:3fbf
_:3fbf <rdf:type> <owl:Restriction>
_:3fbf <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:3fbf <owl:onProperty> <ns:hasAffiliation>
E11
(ISA11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA11#
_:3f97 <rdf:type> <owl:Restriction>
_:3f97 <owl:onProperty> <ns:hasMother>
_:3f97 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:3f96 <rdf:type> <owl:Restriction>
_:3f96 <owl:onProperty> <ns:hasMother>
_:3f96 <owl:allValuesFrom> <owl:Thing>
<ns:Person> <rdfs:subClassOf> _:3f97
<ns:Person> <rdfs:subClassOf> _:3f96
<ns:hasMother> <rdfs:domain> <ns:Person>
  Inserted:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:3f9d
<ns:Person> <rdfs:subClassOf> _:3f9c
_:3f9d <rdf:type> <owl:Restriction>
_:3f9d <owl:onProperty> <ns:hasMother>
_:3f9d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:3f9c <rdf:type> <owl:Restriction>
_:3f9c <owl:onProperty> <ns:hasMother>
_:3f9c <owl:allValuesFrom> <owl:Thing>
<ns:hasMother> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISA11#
_:3f98 <rdf:type> <owl:Restriction>
_:3f98 <owl:onProperty> <ns:hasMother>
_:3f98 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:3f98
 Removed:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:3f9e
_:3f9e <owl:onProperty> <ns:hasMother>
_:3f9e <rdf:type> <owl:Restriction>
_:3f9e <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#
_:3f71 <rdf:type> <owl:Restriction>
_:3f71 <owl:onProperty> <ns:hasAffiliation>
_:3f71 <owl:allValuesFrom> <owl:Thing>
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:3f72
<ns:Researcher> <rdfs:subClassOf> _:3f71
_:3f72 <rdf:type> <owl:Restriction>
_:3f72 <owl:onProperty> <ns:hasAffiliation>
_:3f72 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISA12#
_:3f7b <rdf:type> <owl:Restriction>
_:3f7b <owl:onProperty> <ns:hasAffiliation>
_:3f7b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:3f7a <rdf:type> <owl:Restriction>
_:3f7a <owl:onProperty> <ns:hasAffiliation>
_:3f7a <owl:allValuesFrom> <owl:Thing>
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:3f7b
<ns:Researcher> <rdfs:subClassOf> _:3f7a
 Removed:
ns=http://www.example.org/ISA12#
<ns:Researcher> <rdfs:subClassOf> _:3f74
<ns:Researcher> <rdfs:subClassOf> _:3f73
_:3f74 <rdf:type> <owl:Restriction>
_:3f74 <owl:onProperty> <ns:hasAffiliation>
_:3f74 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:3f73 <rdf:type> <owl:Restriction>
_:3f73 <owl:onProperty> <ns:hasAffiliation>
_:3f73 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA12#
_:3f7c <rdf:type> <owl:Restriction>
_:3f7c <owl:onProperty> <ns:hasAffiliation>
_:3f7c <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:3f7d
<ns:Researcher> <rdfs:subClassOf> _:3f7c
_:3f7d <rdf:type> <owl:Restriction>
_:3f7d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:3f7d <owl:onProperty> <ns:hasAffiliation>
E13
(ISA13)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA13#
_:3f51 <rdf:type> <owl:Restriction>
_:3f51 <owl:onProperty> <ns:hasName>
_:3f51 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:3f51
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:3f55
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
_:3f55 <rdf:type> <owl:Restriction>
_:3f55 <owl:onProperty> <ns:hasName>
_:3f55 <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISA13#
_:3f52 <rdf:type> <owl:Restriction>
_:3f52 <owl:onProperty> <ns:hasName>
_:3f52 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:3f52
 Removed:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:3f56
_:3f56 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:3f56 <owl:onProperty> <ns:hasName>
_:3f56 <rdf:type> <owl:Restriction>
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> _:3f32
<ns:Researcher> <rdfs:subClassOf> _:3f31
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:3f31 <rdf:type> <owl:Restriction>
_:3f31 <owl:onProperty> <ns:wrotePhDThesis>
_:3f31 <owl:allValuesFrom> <xsd:string>
_:3f32 <rdf:type> <owl:Restriction>
_:3f32 <owl:onProperty> <ns:wrotePhDThesis>
_:3f32 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:3f38
<ns:Researcher> <rdfs:subClassOf> _:3f37
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:3f38 <rdf:type> <owl:Restriction>
_:3f38 <owl:onProperty> <ns:wrotePhDThesis>
_:3f38 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:3f37 <rdf:type> <owl:Restriction>
_:3f37 <owl:onProperty> <ns:wrotePhDThesis>
_:3f37 <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:3f33
_:3f33 <rdf:type> <owl:Restriction>
_:3f33 <owl:onProperty> <ns:wrotePhDThesis>
_:3f33 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:3f39
_:3f39 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:3f39 <owl:onProperty> <ns:wrotePhDThesis>
_:3f39 <rdf:type> <owl:Restriction>
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> _:3f11
<ns:Person> <rdfs:subClassOf> _:3f10
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
_:3f11 <rdf:type> <owl:Restriction>
_:3f11 <owl:onProperty> <ns:hasSSN>
_:3f11 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:3f10 <rdf:type> <owl:Restriction>
_:3f10 <owl:onProperty> <ns:hasSSN>
_:3f10 <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISA15#
_:3f17 <rdf:type> <owl:Restriction>
_:3f17 <owl:onProperty> <ns:hasSSN>
_:3f17 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:3f17
<ns:Person> <rdfs:subClassOf> _:3f16
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
_:3f16 <rdf:type> <owl:Restriction>
_:3f16 <owl:onProperty> <ns:hasSSN>
_:3f16 <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:3f12
_:3f12 <rdf:type> <owl:Restriction>
_:3f12 <owl:onProperty> <ns:hasSSN>
_:3f12 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:3f18
_:3f18 <rdf:type> <owl:Restriction>
_:3f18 <owl:onProperty> <ns:hasSSN>
_:3f18 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
E16
(ISA16)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> _:3eed
<ns:Researcher> <rdfs:subClassOf> _:3eec
_:3eec <rdf:type> <owl:Restriction>
_:3eec <owl:onProperty> <ns:wrotePhDThesis>
_:3eec <owl:allValuesFrom> <xsd:string>
_:3eed <rdf:type> <owl:Restriction>
_:3eed <owl:onProperty> <ns:wrotePhDThesis>
_:3eed <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISA16#
_:3ef5 <rdf:type> <owl:Restriction>
_:3ef5 <owl:onProperty> <ns:wrotePhDThesis>
_:3ef5 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:3ef4 <rdf:type> <owl:Restriction>
_:3ef4 <owl:onProperty> <ns:wrotePhDThesis>
_:3ef4 <owl:allValuesFrom> <xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:3ef5
<ns:Researcher> <rdfs:subClassOf> _:3ef4
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
 Removed:
ns=http://www.example.org/ISA16#
_:3eef <rdf:type> <owl:Restriction>
_:3eef <owl:onProperty> <ns:wrotePhDThesis>
_:3eef <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:3eee <rdf:type> <owl:Restriction>
_:3eee <owl:onProperty> <ns:wrotePhDThesis>
_:3eee <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:3eef
<ns:Researcher> <rdfs:subClassOf> _:3eee
 Removed:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> _:3ef7
<ns:Researcher> <rdfs:subClassOf> _:3ef6
_:3ef7 <owl:onProperty> <ns:wrotePhDThesis>
_:3ef7 <rdf:type> <owl:Restriction>
_:3ef7 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:3ef6 <rdf:type> <owl:Restriction>
_:3ef6 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:3ef6 <owl:onProperty> <ns:wrotePhDThesis>
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> _:3ecc
<ns:ItalianMale> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMale> <rdfs:subClassOf> <ns:Male>
_:3ecc <rdf:first> <ns:Italian>
_:3ecc <rdf:rest> _:3ecb
_:3ecb <rdf:first> <ns:Male>
_:3ecb <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISA17#
_:3ed0 <rdf:type> <owl:Class>
_:3ed0 <owl:intersectionOf> _:3ed2
<ns:ItalianMale> <owl:equivalentClass> _:3ed0
<ns:ItalianMale> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMale> <rdfs:subClassOf> <ns:Male>
_:3ed1 <rdf:first> <ns:Male>
_:3ed1 <rdf:rest> <rdf:nil>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:3ed2 <rdf:rest> _:3ed1
_:3ed2 <rdf:first> <ns:Italian>
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>
_:3e99 <rdf:type> <owl:Restriction>
_:3e99 <owl:onProperty> <ns:hasCar>
_:3e99 <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> _:3e99
<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>
_:3e9d <rdf:type> <owl:Restriction>
_:3e9d <owl:onProperty> <ns:hasCar>
_:3e9d <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> _:3e9d
<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#
_:3e9a <rdf:type> <owl:Restriction>
_:3e9a <owl:onProperty> <ns:hasCar>
_:3e9a <owl:someValuesFrom> <ns:Car>
<ns:Driver> <owl:equivalentClass> _:3e9a
 Removed:
ns=http://www.example.org/ISB02#
<ns:Driver> <owl:equivalentClass> _:3e9e
_:3e9e <owl:someValuesFrom> <ns:Car>
_:3e9e <owl:onProperty> <ns:hasCar>
_:3e9e <rdf:type> <owl:Restriction>
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> _:3e7a
<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>
_:3e7a <rdf:type> <owl:Restriction>
_:3e7a <owl:onProperty> <ns:wasBorn>
_:3e7a <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> _:3e7e
<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>
_:3e7e <rdf:type> <owl:Restriction>
_:3e7e <owl:onProperty> <ns:wasBorn>
_:3e7e <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#
_:3e7b <rdf:type> <owl:Restriction>
_:3e7b <owl:onProperty> <ns:wasBorn>
_:3e7b <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:3e7b
 Removed:
ns=http://www.example.org/ISB03#
<ns:Italian> <owl:equivalentClass> _:3e7f
_:3e7f <owl:allValuesFrom> <ns:Italy>
_:3e7f <rdf:type> <owl:Restriction>
_:3e7f <owl:onProperty> <ns:wasBorn>
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> _:3e5d
<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>
_:3e5d <rdf:type> <owl:Restriction>
_:3e5d <owl:onProperty> <ns:worksIn>
_:3e5d <owl:allValuesFrom> <owl:Thing>
<ns:worksIn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISB04#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3e61
<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>
_:3e61 <rdf:type> <owl:Restriction>
_:3e61 <owl:onProperty> <ns:worksIn>
_:3e61 <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> _:3e5e
_:3e5e <rdf:type> <owl:Restriction>
_:3e5e <owl:onProperty> <ns:worksIn>
_:3e5e <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <owl:equivalentClass> _:3e62
_:3e62 <owl:onProperty> <ns:worksIn>
_:3e62 <rdf:type> <owl:Restriction>
_:3e62 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
E22
(ISB05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB05#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:3e3d <rdf:type> <owl:Restriction>
_:3e3d <owl:onProperty> <ns:hasAffiliation>
_:3e3d <owl:allValuesFrom> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3e3e
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3e3d
<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>
_:3e3e <rdf:type> <owl:Restriction>
_:3e3e <owl:onProperty> <ns:hasAffiliation>
_:3e3e <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  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> _:3e44
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3e43
<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>
_:3e43 <rdf:type> <owl:Restriction>
_:3e43 <owl:onProperty> <ns:hasAffiliation>
_:3e43 <owl:allValuesFrom> <owl:Thing>
_:3e44 <rdf:type> <owl:Restriction>
_:3e44 <owl:onProperty> <ns:hasAffiliation>
_:3e44 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:3e3f
_:3e3f <rdf:type> <owl:Restriction>
_:3e3f <owl:onProperty> <ns:hasAffiliation>
_:3e3f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB05#
_:3e45 <rdf:type> <owl:Restriction>
_:3e45 <owl:onProperty> <ns:hasAffiliation>
_:3e45 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:3e45
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>
_:3e1c <rdf:type> <owl:Restriction>
_:3e1c <owl:onProperty> <ns:hasMother>
_:3e1c <owl:allValuesFrom> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3e1d
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3e1c
<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>
_:3e1d <rdf:type> <owl:Restriction>
_:3e1d <owl:onProperty> <ns:hasMother>
_:3e1d <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> _:3e23
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3e22
<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>
_:3e22 <rdf:type> <owl:Restriction>
_:3e22 <owl:onProperty> <ns:hasMother>
_:3e22 <owl:allValuesFrom> <owl:Thing>
_:3e23 <rdf:type> <owl:Restriction>
_:3e23 <owl:onProperty> <ns:hasMother>
_:3e23 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:hasMother> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:3e1e
_:3e1e <rdf:type> <owl:Restriction>
_:3e1e <owl:onProperty> <ns:hasMother>
_:3e1e <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:3e24
_:3e24 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:3e24 <owl:onProperty> <ns:hasMother>
_:3e24 <rdf:type> <owl:Restriction>
E24
(ISB07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB07#
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3dfb
<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>
_:3dfb <rdf:type> <owl:Restriction>
_:3dfb <owl:onProperty> <ns:hasAffiliation>
_:3dfb <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISB07#
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3e01
<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>
_:3e01 <rdf:type> <owl:Restriction>
_:3e01 <owl:onProperty> <ns:hasAffiliation>
_:3e01 <owl:allValuesFrom> <owl:Thing>
 Removed:
ns=http://www.example.org/ISB07#
_:3dfd <rdf:type> <owl:Restriction>
_:3dfd <owl:onProperty> <ns:hasAffiliation>
_:3dfd <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:3dfd
<ns:Researcher> <owl:equivalentClass> _:3dfc
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
_:3dfc <rdf:type> <owl:Restriction>
_:3dfc <owl:onProperty> <ns:hasAffiliation>
_:3dfc <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB07#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:3e03
<ns:Researcher> <owl:equivalentClass> _:3e02
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:3e02 <owl:onProperty> <ns:hasAffiliation>
_:3e02 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:3e02 <rdf:type> <owl:Restriction>
_:3e03 <rdf:type> <owl:Restriction>
_:3e03 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:3e03 <owl:onProperty> <ns:hasAffiliation>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
E25
(ISB08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB08#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3ddd
<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>
_:3ddd <rdf:type> <owl:Restriction>
_:3ddd <owl:onProperty> <ns:hasName>
_:3ddd <owl:allValuesFrom> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasName> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISB08#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3de1
<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>
_:3de1 <rdf:type> <owl:Restriction>
_:3de1 <owl:onProperty> <ns:hasName>
_:3de1 <owl:allValuesFrom> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasName> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasName> <rdfs:range> <xsd:string>
 Removed:
ns=http://www.example.org/ISB08#
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:Person> <owl:equivalentClass> _:3dde
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
_:3dde <rdf:type> <owl:Restriction>
_:3dde <owl:onProperty> <ns:hasName>
_:3dde <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> _:3de2
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
_:3de2 <rdf:type> <owl:Restriction>
_:3de2 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:3de2 <owl:onProperty> <ns:hasName>
<owl:Nothing> <owl:complementOf> <ns:Person>
E26
(ISB09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB09#
_:3dbd <rdf:type> <owl:Restriction>
_:3dbd <owl:onProperty> <ns:wrotePhDThesis>
_:3dbd <owl:allValuesFrom> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:3dbe <rdf:type> <owl:Restriction>
_:3dbe <owl:onProperty> <ns:wrotePhDThesis>
_:3dbe <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> _:3dbe
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3dbd
<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#
_:3dc3 <rdf:type> <owl:Restriction>
_:3dc3 <owl:onProperty> <ns:wrotePhDThesis>
_:3dc3 <owl:allValuesFrom> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:3dc4 <rdf:type> <owl:Restriction>
_:3dc4 <owl:onProperty> <ns:wrotePhDThesis>
_:3dc4 <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> _:3dc4
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3dc3
<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> _:3dbf
_:3dbf <rdf:type> <owl:Restriction>
_:3dbf <owl:onProperty> <ns:wrotePhDThesis>
_:3dbf <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB09#
<ns:Researcher> <owl:equivalentClass> _:3dc5
_:3dc5 <rdf:type> <owl:Restriction>
_:3dc5 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:3dc5 <owl:onProperty> <ns:wrotePhDThesis>
E27
(ISB10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB10#
<ns:hasSSN> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasSSN> <rdfs:range> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:3d9b <rdf:type> <owl:Restriction>
_:3d9b <owl:onProperty> <ns:hasSSN>
_:3d9b <owl:allValuesFrom> <xsd:string>
_:3d9c <rdf:type> <owl:Restriction>
_:3d9c <owl:onProperty> <ns:hasSSN>
_:3d9c <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3d9c
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3d9b
<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#
_:3da3 <rdf:type> <owl:Restriction>
_:3da3 <owl:onProperty> <ns:hasSSN>
_:3da3 <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> _:3da3
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3da2
<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>
_:3da2 <rdf:type> <owl:Restriction>
_:3da2 <owl:onProperty> <ns:hasSSN>
_:3da2 <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:3d9d
_:3d9d <rdf:type> <owl:Restriction>
_:3d9d <owl:onProperty> <ns:hasSSN>
_:3d9d <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:3da4
_:3da4 <owl:onProperty> <ns:hasSSN>
_:3da4 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:3da4 <rdf:type> <owl:Restriction>
E28
(ISB11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB11#
_:3d79 <rdf:type> <owl:Restriction>
_:3d79 <owl:onProperty> <ns:wrotePhDThesis>
_:3d79 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3d79
<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:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISB11#
<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> _:3d7f
<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>
_:3d7f <rdf:type> <owl:Restriction>
_:3d7f <owl:onProperty> <ns:wrotePhDThesis>
_:3d7f <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
_:3d7a <rdf:type> <owl:Restriction>
_:3d7a <owl:onProperty> <ns:wrotePhDThesis>
_:3d7a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:3d7b
<ns:Researcher> <owl:equivalentClass> _:3d7a
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:3d7b <rdf:type> <owl:Restriction>
_:3d7b <owl:onProperty> <ns:wrotePhDThesis>
_:3d7b <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
 Removed:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:3d81
<ns:Researcher> <owl:equivalentClass> _:3d80
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:3d80 <rdf:type> <owl:Restriction>
_:3d80 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:3d80 <owl:onProperty> <ns:wrotePhDThesis>
_:3d81 <rdf:type> <owl:Restriction>
_:3d81 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:3d81 <owl:onProperty> <ns:wrotePhDThesis>
<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> _:3d5a
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:3d5a <rdf:type> <owl:Class>
_:3d5a <owl:intersectionOf> _:3d59
_:3d58 <rdf:first> <ns:Male>
_:3d58 <rdf:rest> <rdf:nil>
_:3d59 <rdf:first> <ns:Italian>
_:3d59 <rdf:rest> _:3d58
 Removed:
ns=http://www.example.org/ISB12#
_:3d5f <rdf:rest> <rdf:nil>
_:3d5f <rdf:first> <ns:Male>
_:3d5e <rdf:type> <owl:Class>
_:3d5e <owl:intersectionOf> _:3d60
<ns:ItalianMan> <owl:equivalentClass> _:3d5e
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:3d60 <rdf:rest> _:3d5f
_:3d60 <rdf:first> <ns:Italian>
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> _:3d39
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:3d39 <rdf:first> <ns:Italian>
_:3d39 <rdf:rest> _:3d38
_:3d38 <rdf:first> <ns:Male>
_:3d38 <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISC01#
<ns:ItalianMan> <owl:equivalentClass> _:3d3d
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:3d3f <rdf:first> <ns:Italian>
_:3d3f <rdf:rest> _:3d3e
_:3d3e <rdf:rest> <rdf:nil>
_:3d3e <rdf:first> <ns:Male>
_:3d3d <rdf:type> <owl:Class>
_:3d3d <owl:intersectionOf> _:3d3f
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#
_:3d18 <rdf:first> <ns:Italian>
_:3d18 <rdf:rest> _:3d17
_:3d17 <rdf:first> <ns:Male>
_:3d17 <rdf:rest> _:3d16
_:3d16 <rdf:first> <ns:Person>
_:3d16 <rdf:rest> <rdf:nil>
<ns:ItalianMan> <owl:intersectionOf> _:3d18
<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#
_:3d1f <rdf:first> <ns:Male>
_:3d1f <rdf:rest> _:3d1e
_:3d20 <rdf:first> <ns:Italian>
_:3d20 <rdf:rest> _:3d1f
_:3d1d <rdf:type> <owl:Class>
_:3d1d <owl:intersectionOf> _:3d20
<ns:ItalianMan> <owl:equivalentClass> _:3d1d
<ns:ItalianMan> <rdfs:subClassOf> <ns:Person>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
_:3d1e <rdf:first> <ns:Person>
_:3d1e <rdf:rest> <rdf:nil>
E32
(ISD01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E33
(ISD02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISD02#
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
 Removed:
ns=http://www.example.org/ISD02#
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
E34
(ISD03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISD03#
<ns:hasAge> <rdf:type> <owl:DatatypeProperty>
<ns:hasAge> <rdf:type> <rdf:Property>
<ns:hasAge> <owl:equivalentProperty> <ns:hasAge>
<ns:hasAge> <rdfs:subPropertyOf> <ns:hasAge>
 Removed:
ns=http://www.example.org/ISD03#
<ns:hasAge> <rdf:type> <owl:DatatypeProperty>
<ns:hasAge> <rdf:type> <rdf:Property>
<ns:hasAge> <owl:equivalentProperty> <ns:hasAge>
<ns:hasAge> <rdfs:subPropertyOf> <ns:hasAge>
E35
(ISD04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISD04#
<ns:isRational> <rdf:type> <owl:DatatypeProperty>
<ns:isRational> <rdf:type> <rdf:Property>
<ns:isRational> <owl:equivalentProperty> <ns:isRational>
<ns:isRational> <rdfs:subPropertyOf> <ns:isRational>
<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>
<ns:isReal> <rdf:type> <owl:DatatypeProperty>
<ns:isReal> <rdf:type> <rdf:Property>
<ns:isReal> <owl:equivalentProperty> <ns:isReal>
<ns:isReal> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdf:type> <owl:DatatypeProperty>
<ns:isInteger> <rdf:type> <rdf:Property>
<ns:isInteger> <owl:equivalentProperty> <ns:isInteger>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isInteger>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>
 Removed:
ns=http://www.example.org/ISD04#
<ns:isRational> <rdf:type> <owl:DatatypeProperty>
<ns:isRational> <rdf:type> <rdf:Property>
<ns:isRational> <owl:equivalentProperty> <ns:isRational>
<ns:isRational> <rdfs:subPropertyOf> <ns:isRational>
<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>
<ns:isReal> <rdf:type> <owl:DatatypeProperty>
<ns:isReal> <rdf:type> <rdf:Property>
<ns:isReal> <owl:equivalentProperty> <ns:isReal>
<ns:isReal> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdf:type> <owl:DatatypeProperty>
<ns:isInteger> <rdf:type> <rdf:Property>
<ns:isInteger> <owl:equivalentProperty> <ns:isInteger>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isInteger>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>
E36
(ISE01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E37
(ISE02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E38
(ISE03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E39
(ISE04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E40
(ISE05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE05#
<ns:hasChild> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3c41
<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>
_:3c41 <rdf:type> <owl:Restriction>
_:3c41 <owl:onProperty> <ns:hasChild>
_:3c41 <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> _:3c43
<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>
_:3c43 <rdf:type> <owl:Restriction>
_:3c43 <owl:onProperty> <ns:hasChild>
_:3c43 <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> _:3c28
_:3c28 <rdf:type> <owl:Restriction>
_:3c28 <owl:onProperty> <ns:hasChild>
_:3c28 <owl:allValuesFrom> <ns:ANONYMOUS_CONCEPT_0>
<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>
_:3c2a <rdf:type> <owl:Restriction>
_:3c2a <owl:onProperty> <ns:hasChild>
_:3c2a <owl:allValuesFrom> <ns:ANONYMOUS_CONCEPT_0>
<ns:Person> <rdfs:subClassOf> _:3c2a
<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#
<ns:Person> <rdfs:subClassOf> _:3c0d
<ns:hasSSN> <rdfs:range> <xsd:string>
_:3c0d <rdf:type> <owl:Restriction>
_:3c0d <owl:onProperty> <ns:hasSSN>
_:3c0d <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISE07#
_:3c0f <rdf:type> <owl:Restriction>
_:3c0f <owl:onProperty> <ns:hasSSN>
_:3c0f <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:3c0f
<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#
_:3bdf <rdf:type> <owl:Restriction>
_:3bdf <owl:onProperty> <ns:hasName>
_:3bdf <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:3bdf
  Inserted:
ns=http://www.example.org/ISE09#
<ns:hasName> <rdfs:range> <xsd:string>
_:3be1 <rdf:type> <owl:Restriction>
_:3be1 <owl:onProperty> <ns:hasName>
_:3be1 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:3be1
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> _:3bc6
<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>
_:3bc6 <rdf:type> <owl:Restriction>
_:3bc6 <owl:onProperty> <ns:hasChildNamed>
_:3bc6 <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>
_:3bc8 <rdf:type> <owl:Restriction>
_:3bc8 <owl:onProperty> <ns:hasChildNamed>
_:3bc8 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:3bc8
<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>
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> _:3bab
<ns:Person> <rdfs:subClassOf> _:3baa
_:3bab <rdf:type> <owl:Restriction>
_:3bab <owl:onProperty> <ns:isResidentIn>
_:3bab <owl:allValuesFrom> <ns:City>
_:3baa <rdf:type> <owl:Restriction>
_:3baa <owl:onProperty> <ns:livesIn>
_:3baa <owl:allValuesFrom> <ns:City>
  Inserted:
ns=http://www.example.org/ISF01#
<ns:Person> <rdfs:subClassOf> _:3baf
<ns:Person> <rdfs:subClassOf> _:3bae
_:3bae <rdf:type> <owl:Restriction>
_:3bae <owl:onProperty> <ns:livesIn>
_:3bae <owl:allValuesFrom> <ns:City>
_:3baf <rdf:type> <owl:Restriction>
_:3baf <owl:onProperty> <ns:isResidentIn>
_:3baf <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#
_:3b8d <rdf:type> <owl:Restriction>
_:3b8d <owl:onProperty> <ns:hasSpanishName>
_:3b8d <owl:allValuesFrom> <xsd:string>
<ns:City> <rdfs:subClassOf> _:3b8e
<ns:City> <rdfs:subClassOf> _:3b8d
_:3b8e <rdf:type> <owl:Restriction>
_:3b8e <owl:onProperty> <ns:hasName>
_:3b8e <owl:allValuesFrom> <xsd:string>
<ns:hasSpanishName> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISF02#
_:3b92 <rdf:type> <owl:Restriction>
_:3b92 <owl:onProperty> <ns:hasName>
_:3b92 <owl:allValuesFrom> <xsd:string>
<ns:City> <rdfs:subClassOf> _:3b92
<ns:City> <rdfs:subClassOf> _:3b91
<ns:hasSpanishName> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
_:3b91 <rdf:type> <owl:Restriction>
_:3b91 <owl:onProperty> <ns:hasSpanishName>
_:3b91 <owl:allValuesFrom> <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> _:3b73
_:3b73 <rdf:type> <owl:Restriction>
_:3b73 <owl:onProperty> <ns:hasParent>
_:3b73 <owl:allValuesFrom> <ns:Person>
  Inserted:
ns=http://www.example.org/ISF03#
_:3b75 <rdf:type> <owl:Restriction>
_:3b75 <owl:onProperty> <ns:hasParent>
_:3b75 <owl:allValuesFrom> <ns:Person>
<ns:Child> <rdfs:subClassOf> _:3b75
 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> _:3b07
<ns:Person> <rdfs:subClassOf> _:3b06
_:3b07 <rdf:type> <owl:Restriction>
_:3b07 <owl:onProperty> <ns:hasAge>
_:3b07 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:3b06 <rdf:type> <owl:Restriction>
_:3b06 <owl:onProperty> <ns:hasAge>
_:3b06 <owl:allValuesFrom> <xsd:string>
  Inserted:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:range> <xsd:string>
_:3b0b <rdf:type> <owl:Restriction>
_:3b0b <owl:onProperty> <ns:hasAge>
_:3b0b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:3b0a <rdf:type> <owl:Restriction>
_:3b0a <owl:onProperty> <ns:hasAge>
_:3b0a <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:3b0b
<ns:Person> <rdfs:subClassOf> _:3b0a
E53
(ISG05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG05#
<ns:Professor> <rdfs:subClassOf> _:3aec
_:3aec <rdf:type> <owl:Restriction>
_:3aec <owl:onProperty> <ns:hasTutor>
_:3aec <owl:allValuesFrom> <ns:Student>
  Inserted:
ns=http://www.example.org/ISG05#
<ns:Professor> <rdfs:subClassOf> _:3aee
_:3aee <rdf:type> <owl:Restriction>
_:3aee <owl:onProperty> <ns:hasTutor>
_:3aee <owl:allValuesFrom> <ns:Student>
 Removed:
ns=http://www.example.org/ISG05#
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
 Removed:
ns=http://www.example.org/ISG05#
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
E54
(ISH01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E55
(ISH02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISH02#
<ns:Peter> <rdf:type> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Student>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Father>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
  Inserted:
ns=http://www.example.org/ISH02#
<ns:Peter> <rdf:type> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Student>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Father>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
E56
(ISH03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E57
(ISI01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E58
(ISI02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E59
(ISI03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E60
(ISI04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI04#
_:3a47 <rdf:type> <owl:Restriction>
_:3a47 <owl:onProperty> <ns:hasName>
_:3a47 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:3a47
  Inserted:
ns=http://www.example.org/ISI04#
_:3a49 <rdf:type> <owl:Restriction>
_:3a49 <owl:onProperty> <ns:hasName>
_:3a49 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:3a49
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> _:3a2e
_:3a2e <rdf:type> <owl:Restriction>
_:3a2e <owl:onProperty> <ns:hasName>
_:3a2e <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISI05#
_:3a30 <rdf:type> <owl:Restriction>
_:3a30 <owl:onProperty> <ns:hasName>
_:3a30 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:3a30
<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#
_:3a12 <rdf:type> <owl:Restriction>
_:3a12 <owl:onProperty> <ns:hasChild>
_:3a12 <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> _:3a12
  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> _:3a16
_:3a16 <rdf:type> <owl:Restriction>
_:3a16 <owl:onProperty> <ns:hasChild>
_:3a16 <owl:allValuesFrom> <ns:Person>
 Removed:
ns=http://www.example.org/ISJ01#
_:3a13 <owl:sameAs> _:3a13
_:3a13 <rdf:type> <ns:Person>
_:3a13 <rdf:type> <owl:Thing>
_:3a13 <ns:hasChild> <ns:John>
 Removed:
ns=http://www.example.org/ISJ01#
_:3a17 <owl:sameAs> _:3a17
_:3a17 <rdf:type> <ns:Person>
_:3a17 <rdf:type> <owl:Thing>
_:3a17 <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> _:39f3
<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>
_:39f3 <rdf:type> <owl:Restriction>
_:39f3 <owl:onProperty> <ns:hasChild>
_:39f3 <owl:allValuesFrom> <ns:Person>
  Inserted:
ns=http://www.example.org/ISJ02#
<ns:Parent> <rdfs:subClassOf> _:39f7
_:39f7 <rdf:type> <owl:Restriction>
_:39f7 <owl:onProperty> <ns:hasChild>
_:39f7 <owl:allValuesFrom> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Parent>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasChild> <ns:John>
 Removed:
ns=http://www.example.org/ISJ02#
_:39f4 <owl:sameAs> _:39f4
_:39f4 <rdf:type> <ns:Parent>
_:39f4 <rdf:type> <owl:Thing>
_:39f4 <ns:hasChild> <ns:John>
 Removed:
ns=http://www.example.org/ISJ02#
_:39f8 <owl:sameAs> _:39f8
_:39f8 <rdf:type> <ns:Parent>
_:39f8 <rdf:type> <owl:Thing>
_:39f8 <ns:hasChild> <ns:John>
E64
(ISJ03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ03#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:39d6
_:39d6 <rdf:type> <owl:Restriction>
_:39d6 <owl:onProperty> <ns:hasName>
_:39d6 <owl:allValuesFrom> <xsd:string>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Peter"^^<xsd:string>
  Inserted:
ns=http://www.example.org/ISJ03#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:39da
_:39da <rdf:type> <owl:Restriction>
_:39da <owl:onProperty> <ns:hasName>
_:39da <owl:allValuesFrom> <xsd:string>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Peter"^^<xsd:string>
 Removed:
ns=http://www.example.org/ISJ03#
_:39d7 <owl:sameAs> _:39d7
_:39d7 <rdf:type> <owl:Thing>
_:39d7 <rdf:type> <ns:Person>
_:39d7 <ns:hasName> "Peter"
 Removed:
ns=http://www.example.org/ISJ03#
_:39db <owl:sameAs> _:39db
_:39db <rdf:type> <owl:Thing>
_:39db <rdf:type> <ns:Person>
_:39db <ns:hasName> "Peter"^^<xsd:string>
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#
_:398b <rdf:type> <owl:AllDifferent>
_:398b <owl:distinctMembers> _:398a
_:398a <rdf:first> <ns:Ann>
_:398a <rdf:rest> _:3989
_:3988 <rdf:first> <ns:Mary>
_:3988 <rdf:rest> <rdf:nil>
_:3989 <rdf:first> <ns:Joan>
_:3989 <rdf:rest> _:3988
 Removed:
ns=http://www.example.org/ISK03#
_:3993 <rdf:rest> _:3992
_:3993 <rdf:first> <ns:Ann>
_:3992 <rdf:rest> _:3991
_:3992 <rdf:first> <ns:Joan>
_:3991 <rdf:rest> <rdf:nil>
_:3991 <rdf:first> <ns:Mary>
_:3990 <rdf:type> <owl:AllDifferent>
_:3990 <owl:distinctMembers> _:3993
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>
_:38e8 <rdf:type> <owl:Restriction>
_:38e8 <owl:onProperty> <ns:hasName>
_:38e8 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:38e8
  Inserted:
ns=http://www.example.org/ISL07#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:38ea
_:38ea <rdf:type> <owl:Restriction>
_:38ea <owl:onProperty> <ns:hasName>
_:38ea <owl:allValuesFrom> <xsd:string>
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
_:38cf <rdf:type> <owl:Restriction>
_:38cf <owl:onProperty> <ns:hasName>
_:38cf <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:38cf
<ns:hasName> <rdfs:range> <xsd:string>
  Inserted:
ns=http://www.example.org/ISL08#
_:38d1 <rdf:type> <owl:Restriction>
_:38d1 <owl:onProperty> <ns:hasName>
_:38d1 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:38d1
<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>
_:3883 <rdf:type> <owl:Restriction>
_:3883 <owl:onProperty> <ns:hasSurname>
_:3883 <owl:allValuesFrom> <xsd:string>
_:3884 <rdf:type> <owl:Restriction>
_:3884 <owl:onProperty> <ns:hasName>
_:3884 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:3884
<ns:Person> <rdfs:subClassOf> _:3883
  Inserted:
ns=http://www.example.org/ISL11#
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:3888
<ns:Person> <rdfs:subClassOf> _:3887
_:3887 <rdf:type> <owl:Restriction>
_:3887 <owl:onProperty> <ns:hasSurname>
_:3887 <owl:allValuesFrom> <xsd:string>
_:3888 <rdf:type> <owl:Restriction>
_:3888 <owl:onProperty> <ns:hasName>
_:3888 <owl:allValuesFrom> <xsd:string>
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL12#
_:3865 <rdf:type> <owl:Restriction>
_:3865 <owl:onProperty> <ns:hasSurname>
_:3865 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
_:3866 <rdf:type> <owl:Restriction>
_:3866 <owl:onProperty> <ns:hasName>
_:3866 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:3866
<ns:Person> <rdfs:subClassOf> _:3865
  Inserted:
ns=http://www.example.org/ISL12#
_:3869 <rdf:type> <owl:Restriction>
_:3869 <owl:onProperty> <ns:hasSurname>
_:3869 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
_:386a <rdf:type> <owl:Restriction>
_:386a <owl:onProperty> <ns:hasName>
_:386a <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:386a
<ns:Person> <rdfs:subClassOf> _:3869
E80
(ISL13)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL13#
_:3844 <rdf:type> <owl:Restriction>
_:3844 <owl:onProperty> <ns:hasChild>
_:3844 <owl:allValuesFrom> <ns:Child>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:3845
_:3845 <rdf:type> <owl:Restriction>
_:3845 <owl:onProperty> <ns:hasName>
_:3845 <owl:allValuesFrom> <xsd:string>
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Paul"^^<xsd:string>
<ns:Person> <rdfs:subClassOf> _:3844
  Inserted:
ns=http://www.example.org/ISL13#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:384b
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
_:384a <rdf:type> <owl:Restriction>
_:384a <owl:onProperty> <ns:hasChild>
_:384a <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>
_:384b <rdf:type> <owl:Restriction>
_:384b <owl:onProperty> <ns:hasName>
_:384b <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:384a
 Removed:
ns=http://www.example.org/ISL13#
_:3846 <owl:sameAs> _:3846
_:3846 <rdf:type> <ns:Child>
_:3846 <rdf:type> <owl:Thing>
_:3846 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:3846
 Removed:
ns=http://www.example.org/ISL13#
<ns:John> <ns:hasChild> _:384c
_:384c <owl:sameAs> _:384c
_:384c <rdf:type> <ns:Child>
_:384c <rdf:type> <owl:Thing>
_:384c <ns:hasName> "Paul"^^<xsd:string>
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>
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
_:3820 <rdf:type> <owl:Restriction>
_:3820 <owl:onProperty> <ns:hasChild>
_:3820 <owl:allValuesFrom> <ns:Child>
_:3821 <rdf:type> <owl:Restriction>
_:3821 <owl:onProperty> <ns:hasName>
_:3821 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:3820
<ns:Child> <rdfs:subClassOf> _:3821
<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>
_:3827 <rdf:type> <owl:Restriction>
_:3827 <owl:onProperty> <ns:hasChild>
_:3827 <owl:allValuesFrom> <ns:Child>
_:3828 <rdf:type> <owl:Restriction>
_:3828 <owl:onProperty> <ns:hasName>
_:3828 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:3827
<ns:Child> <rdfs:subClassOf> _:3828
<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#
_:3822 <owl:sameAs> _:3822
_:3822 <rdf:type> <ns:Child>
_:3822 <rdf:type> <owl:Thing>
_:3822 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:3822
 Removed:
ns=http://www.example.org/ISL14#
_:3829 <owl:sameAs> _:3829
_:3829 <rdf:type> <ns:Child>
_:3829 <rdf:type> <owl:Thing>
_:3829 <ns:hasName> "Paul"^^<xsd:string>
<ns:John> <ns:hasChild> _:3829
E82
(ISL15)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL15#
<ns:Book> <rdfs:comment> "rdfs:label : Book||rdfs:label : Libro||"
  Inserted:
ns=http://www.example.org/ISL15#
<ns:Book> <rdfs:comment> "rdfs:label : Book||rdfs:label : Libro||"
 Removed:
ns=http://www.example.org/ISL15#
<ns:Book> <rdfs:label> "Book"@en
<ns:Book> <rdfs:label> "Libro"@es
 Removed:
ns=http://www.example.org/ISL15#
<ns:Book> <rdfs:label> "Libro"@es
<ns:Book> <rdfs:label> "Book"@en
Namespaces
owl=http://www.w3.org/2002/07/owl#
rdf=http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs=http://www.w3.org/2000/01/rdf-schema#
xsd=http://www.w3.org/2001/XMLSchema
#diff=http://www.aifb.uni-karlsruhe.de/WBS/dvr/owltools/diff/result#