Interoperability from WebODE to SWIProlog (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (WebODE) Step2 (SWIProlog)
E01
(ISA01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA01#
<ns:> <rdf:type> <owl:Ontology>
<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:> <rdf:type> <owl:Ontology>
<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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA02#
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Child> <rdf:type> <owl:Class>
<ns:Child> <owl:disjointWith> <owl:Nothing>
<ns:Child> <rdfs:subClassOf> <ns:Child>
<ns:Child> <rdfs:subClassOf> <owl:Thing>
<ns:Child> <rdfs:subClassOf> <ns:Man>
<ns:Child> <rdfs:subClassOf> <ns:Person>
<ns:Child> <owl:equivalentClass> <ns:Child>
<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> <rdfs:subClassOf> <ns:Person>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:> <rdf:type> <owl:Ontology>
<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>
 Removed:
ns=http://www.example.org/ISA02#
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Child> <rdf:type> <owl:Class>
<ns:Child> <owl:disjointWith> <owl:Nothing>
<ns:Child> <rdfs:subClassOf> <ns:Child>
<ns:Child> <rdfs:subClassOf> <owl:Thing>
<ns:Child> <rdfs:subClassOf> <ns:Man>
<ns:Child> <rdfs:subClassOf> <ns:Person>
<ns:Child> <owl:equivalentClass> <ns:Child>
<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> <rdfs:subClassOf> <ns:Person>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:> <rdf:type> <owl:Ontology>
<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>
E03
(ISA03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA03#
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<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>
<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:> <rdf:type> <owl:Ontology>
<ns:Child> <rdf:type> <owl:Class>
<ns:Child> <owl:disjointWith> <owl:Nothing>
<ns:Child> <rdfs:subClassOf> <ns:Child>
<ns:Child> <rdfs:subClassOf> <ns:Man>
<ns:Child> <rdfs:subClassOf> <owl:Thing>
<ns:Child> <rdfs:subClassOf> <ns:Person>
<ns:Child> <owl:equivalentClass> <ns:Child>
 Removed:
ns=http://www.example.org/ISA03#
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<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>
<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:> <rdf:type> <owl:Ontology>
<ns:Child> <rdf:type> <owl:Class>
<ns:Child> <owl:disjointWith> <owl:Nothing>
<ns:Child> <rdfs:subClassOf> <ns:Child>
<ns:Child> <rdfs:subClassOf> <ns:Man>
<ns:Child> <rdfs:subClassOf> <owl:Thing>
<ns:Child> <rdfs:subClassOf> <ns:Person>
<ns:Child> <owl:equivalentClass> <ns:Child>
E04
(ISA04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA04#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <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> <rdfs:subClassOf> <ns:Person>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<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>
<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> <rdfs:subClassOf> <ns:Person>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA04#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <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> <rdfs:subClassOf> <ns:Person>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<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>
<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> <rdfs:subClassOf> <ns:Person>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:> <rdf:type> <owl:Ontology>
E05
(ISA05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA05#
<ns:> <rdf:type> <owl:Ontology>
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Man>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Man>
<ns:Male> <owl:equivalentClass> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <ns:Male>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<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>
Removed:
ns=http://www.example.org/ISA05#
<ns:> <rdf:type> <owl:Ontology>
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <ns:Man>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<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>
E06
(ISA06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA06#
<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:> <rdf:type> <owl:Ontology>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
 Removed:
ns=http://www.example.org/ISA06#
<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:> <rdf:type> <owl:Ontology>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
E07
(ISA07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA07#
<ns:hasCar> <rdfs:domain> <ns:Driver>
_:2883 <rdf:type> <owl:Restriction>
_:2883 <owl:onProperty> <ns:hasCar>
_:2883 <owl:allValuesFrom> <owl:Thing>
<ns:Driver> <rdfs:subClassOf> _:2883
 
 Removed:
ns=http://www.example.org/ISA07#
_:16c0 <rdf:type> <owl:Restriction>
_:16c0 <owl:onProperty> <ns:hasCar>
_:16c0 <owl:someValuesFrom> <ns:Car>
<owl:Nothing> <owl:disjointWith> <ns:Driver>
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Driver>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
<ns:Driver> <rdf:type> <owl:Class>
<ns:Driver> <rdfs:subClassOf> _:16c0
<ns:Driver> <owl:disjointWith> <owl:Nothing>
<ns:Driver> <rdfs:subClassOf> <ns:Driver>
<ns:Driver> <rdfs:subClassOf> <owl:Thing>
<ns:Driver> <owl:equivalentClass> <ns:Driver>
<ns:hasCar> <rdf:type> <owl:ObjectProperty>
<ns:hasCar> <rdf:type> <rdf:Property>
<ns:hasCar> <owl:equivalentProperty> <ns:hasCar>
<ns:hasCar> <rdfs:subPropertyOf> <ns:hasCar>
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISA07#
<ns:Driver> <rdfs:subClassOf> _:6f2e
_:6f2e <rdf:type> <owl:Restriction>
_:6f2e <owl:onProperty> <ns:hasCar>
_:6f2e <owl:someValuesFrom> <ns:Car>
Removed:
ns=http://www.example.org/ISA07#
<owl:Nothing> <owl:disjointWith> <ns:Driver>
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Driver>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
_:16c2 <rdf:type> <owl:Restriction>
_:16c2 <owl:onProperty> <ns:hasCar>
_:16c2 <owl:allValuesFrom> <owl:Thing>
<ns:Driver> <rdf:type> <owl:Class>
<ns:Driver> <rdfs:subClassOf> _:16c2
<ns:Driver> <owl:disjointWith> <owl:Nothing>
<ns:Driver> <rdfs:subClassOf> <ns:Driver>
<ns:Driver> <rdfs:subClassOf> <owl:Thing>
<ns:Driver> <owl:equivalentClass> <ns:Driver>
<ns:hasCar> <rdfs:domain> <ns:Driver>
<ns:hasCar> <rdfs:range> <owl:Thing>
<ns:hasCar> <rdf:type> <owl:ObjectProperty>
<ns:hasCar> <rdf:type> <rdf:Property>
<ns:hasCar> <owl:equivalentProperty> <ns:hasCar>
<ns:hasCar> <rdfs:subPropertyOf> <ns:hasCar>
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
<ns:> <rdf:type> <owl:Ontology>
E08
(ISA08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA08#
_:286a <rdf:type> <owl:Restriction>
_:286a <owl:onProperty> <ns:wasBorn>
_:286a <owl:allValuesFrom> <owl:Thing>
<ns:wasBorn> <rdfs:domain> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> _:286a
 
 Removed:
ns=http://www.example.org/ISA08#
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
<ns:wasBorn> <rdf:type> <owl:ObjectProperty>
<ns:wasBorn> <rdf:type> <rdf:Property>
<ns:wasBorn> <owl:equivalentProperty> <ns:wasBorn>
<ns:wasBorn> <rdfs:subPropertyOf> <ns:wasBorn>
_:16bc <rdf:type> <owl:Restriction>
_:16bc <owl:onProperty> <ns:wasBorn>
_:16bc <owl:allValuesFrom> <ns:Italy>
<ns:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <rdfs:subClassOf> _:16bc
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISA08#
_:7f39 <rdf:type> <owl:Restriction>
_:7f39 <owl:onProperty> <ns:wasBorn>
_:7f39 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:7f39
Removed:
ns=http://www.example.org/ISA08#
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
<ns:wasBorn> <rdfs:domain> <ns:Italian>
<ns:wasBorn> <rdfs:range> <owl:Thing>
<ns:wasBorn> <rdf:type> <owl:ObjectProperty>
<ns:wasBorn> <rdf:type> <rdf:Property>
<ns:wasBorn> <owl:equivalentProperty> <ns:wasBorn>
<ns:wasBorn> <rdfs:subPropertyOf> <ns:wasBorn>
<ns:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <rdfs:subClassOf> _:16be
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
_:16be <rdf:type> <owl:Restriction>
_:16be <owl:onProperty> <ns:wasBorn>
_:16be <owl:allValuesFrom> <owl:Thing>
<ns:> <rdf:type> <owl:Ontology>
E09
(ISA09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA09#
<ns:Employee> <rdfs:subClassOf> _:284f
_:284f <rdf:type> <owl:Restriction>
_:284f <owl:onProperty> <ns:worksIn>
_:284f <owl:allValuesFrom> <owl:Thing>
<ns:worksIn> <rdfs:domain> <ns:Employee>
 
 Removed:
ns=http://www.example.org/ISA09#
<owl:Nothing> <owl:disjointWith> <ns:Employee>
<owl:Nothing> <rdfs:subClassOf> <ns:Employee>
_:16b8 <rdf:type> <owl:Restriction>
_:16b8 <owl:onProperty> <ns:worksIn>
_:16b8 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdf:type> <owl:Class>
<ns:Employee> <rdfs:subClassOf> _:16b8
<ns:Employee> <owl:disjointWith> <owl:Nothing>
<ns:Employee> <rdfs:subClassOf> <ns:Employee>
<ns:Employee> <rdfs:subClassOf> <owl:Thing>
<ns:Employee> <owl:equivalentClass> <ns:Employee>
<ns:worksIn> <rdf:type> <owl:ObjectProperty>
<ns:worksIn> <rdf:type> <rdf:Property>
<ns:worksIn> <owl:equivalentProperty> <ns:worksIn>
<ns:worksIn> <rdfs:subPropertyOf> <ns:worksIn>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISA09#
_:7f20 <rdf:type> <owl:Restriction>
_:7f20 <owl:onProperty> <ns:worksIn>
_:7f20 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:7f20
Removed:
ns=http://www.example.org/ISA09#
_:16ba <rdf:type> <owl:Restriction>
_:16ba <owl:onProperty> <ns:worksIn>
_:16ba <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:Employee>
<owl:Nothing> <rdfs:subClassOf> <ns:Employee>
<ns:Employee> <rdf:type> <owl:Class>
<ns:Employee> <rdfs:subClassOf> _:16ba
<ns:Employee> <owl:disjointWith> <owl:Nothing>
<ns:Employee> <rdfs:subClassOf> <ns:Employee>
<ns:Employee> <rdfs:subClassOf> <owl:Thing>
<ns:Employee> <owl:equivalentClass> <ns:Employee>
<ns:worksIn> <rdfs:domain> <ns:Employee>
<ns:worksIn> <rdfs:range> <owl:Thing>
<ns:worksIn> <rdf:type> <owl:ObjectProperty>
<ns:worksIn> <rdf:type> <rdf:Property>
<ns:worksIn> <owl:equivalentProperty> <ns:worksIn>
<ns:worksIn> <rdfs:subPropertyOf> <ns:worksIn>
<ns:> <rdf:type> <owl:Ontology>
E10
(ISA10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:7f06
<ns:Researcher> <rdfs:subClassOf> _:7f05
_:7f06 <rdf:type> <owl:Restriction>
_:7f06 <owl:onProperty> <ns:hasAffiliation>
_:7f06 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7f05 <rdf:type> <owl:Restriction>
_:7f05 <owl:onProperty> <ns:hasAffiliation>
_:7f05 <owl:allValuesFrom> <owl:Thing>
 
 Removed:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>
<ns:hasAffiliation> <rdf:type> <rdf:Property>
<ns:hasAffiliation> <owl:equivalentProperty> <ns:hasAffiliation>
<ns:hasAffiliation> <rdfs:subPropertyOf> <ns:hasAffiliation>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <rdfs:subClassOf> _:16b2
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
_:16b2 <rdf:type> <owl:Restriction>
_:16b2 <owl:onProperty> <ns:hasAffiliation>
_:16b2 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISA10#
_:6ee1 <rdf:type> <owl:Restriction>
_:6ee1 <owl:onProperty> <ns:hasAffiliation>
_:6ee1 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:6ee1
Removed:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:hasAffiliation> <rdfs:range> <owl:Thing>
<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>
<ns:hasAffiliation> <rdf:type> <rdf:Property>
<ns:hasAffiliation> <owl:equivalentProperty> <ns:hasAffiliation>
<ns:hasAffiliation> <rdfs:subPropertyOf> <ns:hasAffiliation>
_:16b6 <rdf:type> <owl:Restriction>
_:16b6 <owl:onProperty> <ns:hasAffiliation>
_:16b6 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <rdfs:subClassOf> _:16b6
<ns:Researcher> <rdfs:subClassOf> _:16b5
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
<ns:> <rdf:type> <owl:Ontology>
_:16b5 <rdf:type> <owl:Restriction>
_:16b5 <owl:onProperty> <ns:hasAffiliation>
_:16b5 <owl:allValuesFrom> <owl:Thing>
E11
(ISA11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA11#
_:6ec4 <rdf:type> <owl:Restriction>
_:6ec4 <owl:onProperty> <ns:hasMother>
_:6ec4 <owl:allValuesFrom> <owl:Thing>
<ns:Person> <rdfs:subClassOf> _:6ec5
<ns:Person> <rdfs:subClassOf> _:6ec4
<ns:hasMother> <rdfs:domain> <ns:Person>
_:6ec5 <rdf:type> <owl:Restriction>
_:6ec5 <owl:onProperty> <ns:hasMother>
_:6ec5 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
 Removed:
ns=http://www.example.org/ISA11#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
_:16ac <rdf:type> <owl:Restriction>
_:16ac <owl:onProperty> <ns:hasMother>
_:16ac <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:16ac
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:hasMother> <rdf:type> <owl:ObjectProperty>
<ns:hasMother> <rdf:type> <rdf:Property>
<ns:hasMother> <owl:equivalentProperty> <ns:hasMother>
<ns:hasMother> <rdfs:subPropertyOf> <ns:hasMother>
Removed:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:6ec6
_:6ec6 <rdf:type> <owl:Restriction>
_:6ec6 <owl:onProperty> <ns:hasMother>
_:6ec6 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA11#
_:16b0 <rdf:type> <owl:Restriction>
_:16b0 <owl:onProperty> <ns:hasMother>
_:16b0 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:16b0
<ns:Person> <rdfs:subClassOf> _:16af
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
_:16af <rdf:type> <owl:Restriction>
_:16af <owl:onProperty> <ns:hasMother>
_:16af <owl:allValuesFrom> <owl:Thing>
<ns:hasMother> <rdfs:domain> <ns:Person>
<ns:hasMother> <rdfs:range> <owl:Thing>
<ns:hasMother> <rdf:type> <owl:ObjectProperty>
<ns:hasMother> <rdf:type> <rdf:Property>
<ns:hasMother> <owl:equivalentProperty> <ns:hasMother>
<ns:hasMother> <rdfs:subPropertyOf> <ns:hasMother>
E12
(ISA12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA12#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:6ea9
<ns:Researcher> <rdfs:subClassOf> _:6ea8
_:6ea9 <rdf:type> <owl:Restriction>
_:6ea9 <owl:onProperty> <ns:hasAffiliation>
_:6ea9 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6ea8 <rdf:type> <owl:Restriction>
_:6ea8 <owl:onProperty> <ns:hasAffiliation>
_:6ea8 <owl:allValuesFrom> <owl:Thing>
 
 Removed:
ns=http://www.example.org/ISA12#
_:16a6 <rdf:type> <owl:Restriction>
_:16a6 <owl:onProperty> <ns:hasAffiliation>
_:16a6 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>
<ns:hasAffiliation> <rdf:type> <rdf:Property>
<ns:hasAffiliation> <owl:equivalentProperty> <ns:hasAffiliation>
<ns:hasAffiliation> <rdfs:subPropertyOf> <ns:hasAffiliation>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <rdfs:subClassOf> _:16a6
<ns:Researcher> <rdfs:subClassOf> _:16a5
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
<ns:> <rdf:type> <owl:Ontology>
_:16a5 <rdf:type> <owl:Restriction>
_:16a5 <owl:onProperty> <ns:hasAffiliation>
_:16a5 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA12#
_:7ecf <rdf:type> <owl:Restriction>
_:7ecf <owl:onProperty> <ns:hasAffiliation>
_:7ecf <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7ece <rdf:type> <owl:Restriction>
_:7ece <owl:onProperty> <ns:hasAffiliation>
_:7ece <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7ecf
<ns:Researcher> <rdfs:subClassOf> _:7ece
Removed:
ns=http://www.example.org/ISA12#
_:16aa <rdf:type> <owl:Restriction>
_:16aa <owl:onProperty> <ns:hasAffiliation>
_:16aa <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:hasAffiliation> <rdfs:range> <owl:Thing>
<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>
<ns:hasAffiliation> <rdf:type> <rdf:Property>
<ns:hasAffiliation> <owl:equivalentProperty> <ns:hasAffiliation>
<ns:hasAffiliation> <rdfs:subPropertyOf> <ns:hasAffiliation>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <rdfs:subClassOf> _:16aa
<ns:Researcher> <rdfs:subClassOf> _:16a9
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
_:16a9 <rdf:type> <owl:Restriction>
_:16a9 <owl:onProperty> <ns:hasAffiliation>
_:16a9 <owl:allValuesFrom> <owl:Thing>
<ns:> <rdf:type> <owl:Ontology>
E13
(ISA13)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:6e8d
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
_:6e8d <rdf:type> <owl:Restriction>
_:6e8d <owl:onProperty> <ns:hasName>
_:6e8d <owl:allValuesFrom> <xsd:string>
 
 Removed:
ns=http://www.example.org/ISA13#
_:16a0 <rdf:type> <owl:Restriction>
_:16a0 <owl:onProperty> <ns:hasName>
_:16a0 <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:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:16a0
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
Removed:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:6e8e
_:6e8e <rdf:type> <owl:Restriction>
_:6e8e <owl:onProperty> <ns:hasName>
_:6e8e <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA13#
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
<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:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
_:16a2 <rdf:type> <owl:Restriction>
_:16a2 <owl:onProperty> <ns:hasName>
_:16a2 <owl:allValuesFrom> <xsd:string>
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:16a2
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
E14
(ISA14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA14#
_:7e96 <rdf:type> <owl:Restriction>
_:7e96 <owl:onProperty> <ns:wrotePhDThesis>
_:7e96 <owl:allValuesFrom> <xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:7e97
<ns:Researcher> <rdfs:subClassOf> _:7e96
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:7e97 <rdf:type> <owl:Restriction>
_:7e97 <owl:onProperty> <ns:wrotePhDThesis>
_:7e97 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
 Removed:
ns=http://www.example.org/ISA14#
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
<ns:wrotePhDThesis> <rdf:type> <rdf:Property>
<ns:wrotePhDThesis> <owl:equivalentProperty> <ns:wrotePhDThesis>
<ns:wrotePhDThesis> <rdfs:subPropertyOf> <ns:wrotePhDThesis>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <rdfs:subClassOf> _:169a
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
<ns:> <rdf:type> <owl:Ontology>
_:169a <rdf:type> <owl:Restriction>
_:169a <owl:onProperty> <ns:wrotePhDThesis>
_:169a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:7e98
_:7e98 <rdf:type> <owl:Restriction>
_:7e98 <owl:onProperty> <ns:wrotePhDThesis>
_:7e98 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA14#
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
<ns:wrotePhDThesis> <rdf:type> <rdf:Property>
<ns:wrotePhDThesis> <owl:equivalentProperty> <ns:wrotePhDThesis>
<ns:wrotePhDThesis> <rdfs:subPropertyOf> <ns:wrotePhDThesis>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <rdfs:subClassOf> _:169e
<ns:Researcher> <rdfs:subClassOf> _:169d
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
_:169d <rdf:type> <owl:Restriction>
_:169d <owl:onProperty> <ns:wrotePhDThesis>
_:169d <owl:allValuesFrom> <xsd:string>
_:169e <rdf:type> <owl:Restriction>
_:169e <owl:onProperty> <ns:wrotePhDThesis>
_:169e <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
E15
(ISA15)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:6e57
<ns:Person> <rdfs:subClassOf> _:6e56
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
_:6e57 <rdf:type> <owl:Restriction>
_:6e57 <owl:onProperty> <ns:hasSSN>
_:6e57 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:6e56 <rdf:type> <owl:Restriction>
_:6e56 <owl:onProperty> <ns:hasSSN>
_:6e56 <owl:allValuesFrom> <xsd:string>
 
 Removed:
ns=http://www.example.org/ISA15#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:1694
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>
<ns:hasSSN> <rdf:type> <rdf:Property>
<ns:hasSSN> <owl:equivalentProperty> <ns:hasSSN>
<ns:hasSSN> <rdfs:subPropertyOf> <ns:hasSSN>
_:1694 <rdf:type> <owl:Restriction>
_:1694 <owl:onProperty> <ns:hasSSN>
_:1694 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:27aa
_:27aa <rdf:type> <owl:Restriction>
_:27aa <owl:onProperty> <ns:hasSSN>
_:27aa <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA15#
_:1697 <rdf:type> <owl:Restriction>
_:1697 <owl:onProperty> <ns:hasSSN>
_:1697 <owl:allValuesFrom> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
_:1698 <rdf:type> <owl:Restriction>
_:1698 <owl:onProperty> <ns:hasSSN>
_:1698 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:1698
<ns:Person> <rdfs:subClassOf> _:1697
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>
<ns:hasSSN> <rdf:type> <rdf:Property>
<ns:hasSSN> <owl:equivalentProperty> <ns:hasSSN>
<ns:hasSSN> <rdfs:subPropertyOf> <ns:hasSSN>
<ns:> <rdf:type> <owl:Ontology>
E16
(ISA16)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> _:7e60
<ns:Researcher> <rdfs:subClassOf> _:7e5f
_:7e5f <rdf:type> <owl:Restriction>
_:7e5f <owl:onProperty> <ns:wrotePhDThesis>
_:7e5f <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:7e60 <rdf:type> <owl:Restriction>
_:7e60 <owl:onProperty> <ns:wrotePhDThesis>
_:7e60 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
 Removed:
ns=http://www.example.org/ISA16#
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
<ns:wrotePhDThesis> <rdf:type> <rdf:Property>
<ns:wrotePhDThesis> <owl:equivalentProperty> <ns:wrotePhDThesis>
<ns:wrotePhDThesis> <rdfs:subPropertyOf> <ns:wrotePhDThesis>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <rdfs:subClassOf> _:168e
<ns:Researcher> <rdfs:subClassOf> _:168d
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
_:168d <rdf:type> <owl:Restriction>
_:168d <owl:onProperty> <ns:wrotePhDThesis>
_:168d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:168e <rdf:type> <owl:Restriction>
_:168e <owl:onProperty> <ns:wrotePhDThesis>
_:168e <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISA16#
_:6e3d <rdf:type> <owl:Restriction>
_:6e3d <owl:onProperty> <ns:wrotePhDThesis>
_:6e3d <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6e3c <rdf:type> <owl:Restriction>
_:6e3c <owl:onProperty> <ns:wrotePhDThesis>
_:6e3c <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:6e3d
<ns:Researcher> <rdfs:subClassOf> _:6e3c
Removed:
ns=http://www.example.org/ISA16#
_:1691 <rdf:type> <owl:Restriction>
_:1691 <owl:onProperty> <ns:wrotePhDThesis>
_:1691 <owl:allValuesFrom> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
<ns:wrotePhDThesis> <rdf:type> <rdf:Property>
<ns:wrotePhDThesis> <owl:equivalentProperty> <ns:wrotePhDThesis>
<ns:wrotePhDThesis> <rdfs:subPropertyOf> <ns:wrotePhDThesis>
_:1692 <rdf:type> <owl:Restriction>
_:1692 <owl:onProperty> <ns:wrotePhDThesis>
_:1692 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <rdfs:subClassOf> _:1692
<ns:Researcher> <rdfs:subClassOf> _:1691
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
<ns:> <rdf:type> <owl:Ontology>
E17
(ISA17)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA17#
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:ItalianMale>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMale>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMan>
_:1689 <rdf:first> <ns:Male>
_:1689 <rdf:rest> <rdf:nil>
<ns:ItalianMale> <rdf:type> <owl:Class>
<ns:ItalianMale> <owl:intersectionOf> _:168a
<ns:ItalianMale> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMale> <rdfs:subClassOf> <ns:ItalianMale>
<ns:ItalianMale> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMale> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMale> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMale> <owl:equivalentClass> <ns:ItalianMale>
<ns:ItalianMan> <rdf:type> <owl:Class>
<ns:ItalianMan> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMale>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMan> <owl:equivalentClass> <ns:ItalianMan>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:> <rdf:type> <owl:Ontology>
_:168a <rdf:first> <ns:Italian>
_:168a <rdf:rest> _:1689
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
Removed:
ns=http://www.example.org/ISA17#
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMale> <owl:intersectionOf> _:7e45
<ns:ItalianMale> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMale> <rdfs:subClassOf> <ns:Male>
_:7e45 <rdf:first> <ns:Italian>
_:7e45 <rdf:rest> _:7e44
_:7e44 <rdf:first> <ns:Male>
_:7e44 <rdf:rest> <rdf:nil>
Removed:
ns=http://www.example.org/ISA17#
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:ItalianMale>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMale>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMale> <rdf:type> <owl:Class>
<ns:ItalianMale> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMale> <rdfs:subClassOf> <ns:ItalianMale>
<ns:ItalianMale> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMale> <owl:equivalentClass> <ns:ItalianMale>
<ns:ItalianMan> <rdf:type> <owl:Class>
<ns:ItalianMan> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMale>
<ns:ItalianMan> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMan> <owl:equivalentClass> <ns:ItalianMan>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:> <rdf:type> <owl:Ontology>
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
E18
(ISB01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISB01#
<owl:Nothing> <owl:disjointWith> <ns:Italiano>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Italienne>
<owl:Nothing> <rdfs:subClassOf> <ns:Italiano>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Italienne>
<ns:Italienne> <rdf:type> <owl:Class>
<ns:Italienne> <owl:disjointWith> <owl:Nothing>
<ns:Italienne> <rdfs:subClassOf> <ns:Italiano>
<ns:Italienne> <rdfs:subClassOf> <ns:Italian>
<ns:Italienne> <rdfs:subClassOf> <ns:Italienne>
<ns:Italienne> <rdfs:subClassOf> <owl:Thing>
<ns:Italienne> <owl:equivalentClass> <ns:Italiano>
<ns:Italienne> <owl:equivalentClass> <ns:Italian>
<ns:Italienne> <owl:equivalentClass> <ns:Italienne>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italiano>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <ns:Italienne>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italiano>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:Italian> <owl:equivalentClass> <ns:Italienne>
<ns:> <rdf:type> <owl:Ontology>
<ns:Italiano> <rdf:type> <owl:Class>
<ns:Italiano> <owl:disjointWith> <owl:Nothing>
<ns:Italiano> <rdfs:subClassOf> <ns:Italiano>
<ns:Italiano> <rdfs:subClassOf> <ns:Italian>
<ns:Italiano> <rdfs:subClassOf> <ns:Italienne>
<ns:Italiano> <rdfs:subClassOf> <owl:Thing>
<ns:Italiano> <owl:equivalentClass> <ns:Italiano>
<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>
Removed:
ns=http://www.example.org/ISB01#
<owl:Nothing> <owl:disjointWith> <ns:Italiano>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Italienne>
<owl:Nothing> <rdfs:subClassOf> <ns:Italiano>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Italienne>
<ns:Italienne> <rdf:type> <owl:Class>
<ns:Italienne> <owl:disjointWith> <owl:Nothing>
<ns:Italienne> <rdfs:subClassOf> <ns:Italienne>
<ns:Italienne> <rdfs:subClassOf> <owl:Thing>
<ns:Italienne> <owl:equivalentClass> <ns:Italienne>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:> <rdf:type> <owl:Ontology>
<ns:Italiano> <rdf:type> <owl:Class>
<ns:Italiano> <owl:disjointWith> <owl:Nothing>
<ns:Italiano> <rdfs:subClassOf> <ns:Italiano>
<ns:Italiano> <rdfs:subClassOf> <owl:Thing>
<ns:Italiano> <owl:equivalentClass> <ns:Italiano>
E19
(ISB02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISB02#
_:7e16 <rdf:type> <owl:Restriction>
_:7e16 <owl:onProperty> <ns:hasCar>
_:7e16 <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> _:7e16
<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:hasCar> <rdf:type> <owl:ObjectProperty>
<ns:hasCar> <rdf:type> <rdf:Property>
<ns:hasCar> <owl:equivalentProperty> <ns:hasCar>
<ns:hasCar> <rdfs:subPropertyOf> <ns:hasCar>
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <owl:disjointWith> <ns:Driver>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Driver>
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
_:1684 <rdf:type> <owl:Restriction>
_:1684 <owl:onProperty> <ns:hasCar>
_:1684 <owl:someValuesFrom> <ns:Car>
<ns:Driver> <rdf:type> <owl:Class>
<ns:Driver> <owl:equivalentClass> _:1684
<ns:Driver> <owl:disjointWith> <owl:Nothing>
<ns:Driver> <rdfs:subClassOf> <ns:Driver>
<ns:Driver> <rdfs:subClassOf> <owl:Thing>
<ns:Driver> <owl:equivalentClass> <ns:Driver>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISB02#
<ns:Driver> <owl:equivalentClass> _:6df0
_:6df0 <rdf:type> <owl:Restriction>
_:6df0 <owl:onProperty> <ns:hasCar>
_:6df0 <owl:someValuesFrom> <ns:Car>
Removed:
ns=http://www.example.org/ISB02#
<ns:hasCar> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasCar> <rdfs:range> <owl:Thing>
<ns:hasCar> <rdf:type> <owl:ObjectProperty>
<ns:hasCar> <rdf:type> <rdf:Property>
<ns:hasCar> <owl:equivalentProperty> <ns:hasCar>
<ns:hasCar> <rdfs:subPropertyOf> <ns:hasCar>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1686
<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> <owl:disjointWith> <ns:Car>
<owl:Nothing> <owl:disjointWith> <ns:Driver>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Driver>
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
<ns:Driver> <rdf:type> <owl:Class>
<ns:Driver> <owl:disjointWith> <owl:Nothing>
<ns:Driver> <rdfs:subClassOf> <ns:Driver>
<ns:Driver> <rdfs:subClassOf> <owl:Thing>
<ns:Driver> <owl:equivalentClass> <ns:Driver>
<ns:> <rdf:type> <owl:Ontology>
_:1686 <rdf:type> <owl:Restriction>
_:1686 <owl:onProperty> <ns:hasCar>
_:1686 <owl:allValuesFrom> <owl:Thing>
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISB03#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7dfd
<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>
_:7dfd <rdf:type> <owl:Restriction>
_:7dfd <owl:onProperty> <ns:wasBorn>
_:7dfd <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:wasBorn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
 
 Removed:
ns=http://www.example.org/ISB03#
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:equivalentClass> _:1680
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:wasBorn> <rdf:type> <owl:ObjectProperty>
<ns:wasBorn> <rdf:type> <rdf:Property>
<ns:wasBorn> <owl:equivalentProperty> <ns:wasBorn>
<ns:wasBorn> <rdfs:subPropertyOf> <ns:wasBorn>
<ns:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<ns:> <rdf:type> <owl:Ontology>
_:1680 <rdf:type> <owl:Restriction>
_:1680 <owl:onProperty> <ns:wasBorn>
_:1680 <owl:allValuesFrom> <ns:Italy>
Removed:
ns=http://www.example.org/ISB03#
<ns:Italian> <owl:equivalentClass> _:6dd7
_:6dd7 <rdf:type> <owl:Restriction>
_:6dd7 <owl:onProperty> <ns:wasBorn>
_:6dd7 <owl:allValuesFrom> <ns:Italy>
Removed:
ns=http://www.example.org/ISB03#
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:wasBorn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wasBorn> <rdfs:range> <owl:Thing>
<ns:wasBorn> <rdf:type> <owl:ObjectProperty>
<ns:wasBorn> <rdf:type> <rdf:Property>
<ns:wasBorn> <owl:equivalentProperty> <ns:wasBorn>
<ns:wasBorn> <rdfs:subPropertyOf> <ns:wasBorn>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1682
<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:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:1682 <rdf:type> <owl:Restriction>
_:1682 <owl:onProperty> <ns:wasBorn>
_:1682 <owl:allValuesFrom> <owl:Thing>
<ns:> <rdf:type> <owl:Ontology>
E21
(ISB04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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> _:6dbb
<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>
_:6dbb <rdf:type> <owl:Restriction>
_:6dbb <owl:onProperty> <ns:worksIn>
_:6dbb <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
 
 Removed:
ns=http://www.example.org/ISB04#
<owl:Nothing> <owl:disjointWith> <ns:Employee>
<owl:Nothing> <rdfs:subClassOf> <ns:Employee>
_:167c <rdf:type> <owl:Restriction>
_:167c <owl:onProperty> <ns:worksIn>
_:167c <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdf:type> <owl:Class>
<ns:Employee> <owl:equivalentClass> _:167c
<ns:Employee> <owl:disjointWith> <owl:Nothing>
<ns:Employee> <rdfs:subClassOf> <ns:Employee>
<ns:Employee> <rdfs:subClassOf> <owl:Thing>
<ns:Employee> <owl:equivalentClass> <ns:Employee>
<ns:worksIn> <rdf:type> <owl:ObjectProperty>
<ns:worksIn> <rdf:type> <rdf:Property>
<ns:worksIn> <owl:equivalentProperty> <ns:worksIn>
<ns:worksIn> <rdfs:subPropertyOf> <ns:worksIn>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <owl:equivalentClass> _:6dbc
_:6dbc <rdf:type> <owl:Restriction>
_:6dbc <owl:onProperty> <ns:worksIn>
_:6dbc <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB04#
<owl:Nothing> <owl:disjointWith> <ns:Employee>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Employee>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:Employee> <rdf:type> <owl:Class>
<ns:Employee> <owl:disjointWith> <owl:Nothing>
<ns:Employee> <rdfs:subClassOf> <ns:Employee>
<ns:Employee> <rdfs:subClassOf> <owl:Thing>
<ns:Employee> <owl:equivalentClass> <ns:Employee>
_:167e <rdf:type> <owl:Restriction>
_:167e <owl:onProperty> <ns:worksIn>
_:167e <owl:allValuesFrom> <owl:Thing>
<ns:worksIn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:worksIn> <rdfs:range> <owl:Thing>
<ns:worksIn> <rdf:type> <owl:ObjectProperty>
<ns:worksIn> <rdf:type> <rdf:Property>
<ns:worksIn> <owl:equivalentProperty> <ns:worksIn>
<ns:worksIn> <rdfs:subPropertyOf> <ns:worksIn>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:167e
<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:> <rdf:type> <owl:Ontology>
E22
(ISB05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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>
_:7dca <rdf:type> <owl:Restriction>
_:7dca <owl:onProperty> <ns:hasAffiliation>
_:7dca <owl:allValuesFrom> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7dcb
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7dca
<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>
_:7dcb <rdf:type> <owl:Restriction>
_:7dcb <owl:onProperty> <ns:hasAffiliation>
_:7dcb <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
 Removed:
ns=http://www.example.org/ISB05#
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>
<ns:hasAffiliation> <rdf:type> <rdf:Property>
<ns:hasAffiliation> <owl:equivalentProperty> <ns:hasAffiliation>
<ns:hasAffiliation> <rdfs:subPropertyOf> <ns:hasAffiliation>
<ns:> <rdf:type> <owl:Ontology>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <owl:equivalentClass> _:1676
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
_:1676 <rdf:type> <owl:Restriction>
_:1676 <owl:onProperty> <ns:hasAffiliation>
_:1676 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:7dcc
_:7dcc <rdf:type> <owl:Restriction>
_:7dcc <owl:onProperty> <ns:hasAffiliation>
_:7dcc <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB05#
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:1679 <rdf:type> <owl:Restriction>
_:1679 <owl:onProperty> <ns:hasAffiliation>
_:1679 <owl:allValuesFrom> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:167a
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1679
<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>
<ns:hasAffiliation> <rdfs:range> <owl:Thing>
<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>
<ns:hasAffiliation> <rdf:type> <rdf:Property>
<ns:hasAffiliation> <owl:equivalentProperty> <ns:hasAffiliation>
<ns:hasAffiliation> <rdfs:subPropertyOf> <ns:hasAffiliation>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
<ns:> <rdf:type> <owl:Ontology>
_:167a <rdf:type> <owl:Restriction>
_:167a <owl:onProperty> <ns:hasAffiliation>
_:167a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E23
(ISB06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISB06#
_:7dae <rdf:type> <owl:Restriction>
_:7dae <owl:onProperty> <ns:hasMother>
_:7dae <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7daf <rdf:type> <owl:Restriction>
_:7daf <owl:onProperty> <ns:hasMother>
_:7daf <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7daf
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7dae
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasMother> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
 
 Removed:
ns=http://www.example.org/ISB06#
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:equivalentClass> _:1670
<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:> <rdf:type> <owl:Ontology>
<ns:hasMother> <rdf:type> <owl:ObjectProperty>
<ns:hasMother> <rdf:type> <rdf:Property>
<ns:hasMother> <owl:equivalentProperty> <ns:hasMother>
<ns:hasMother> <rdfs:subPropertyOf> <ns:hasMother>
_:1670 <rdf:type> <owl:Restriction>
_:1670 <owl:onProperty> <ns:hasMother>
_:1670 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:6d88
_:6d88 <rdf:type> <owl:Restriction>
_:6d88 <owl:onProperty> <ns:hasMother>
_:6d88 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB06#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
_:1673 <rdf:type> <owl:Restriction>
_:1673 <owl:onProperty> <ns:hasMother>
_:1673 <owl:allValuesFrom> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1674
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1673
<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>
_:1674 <rdf:type> <owl:Restriction>
_:1674 <owl:onProperty> <ns:hasMother>
_:1674 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<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:hasMother> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasMother> <rdfs:range> <owl:Thing>
<ns:hasMother> <rdf:type> <owl:ObjectProperty>
<ns:hasMother> <rdf:type> <rdf:Property>
<ns:hasMother> <owl:equivalentProperty> <ns:hasMother>
<ns:hasMother> <rdfs:subPropertyOf> <ns:hasMother>
<ns:> <rdf:type> <owl:Ontology>
E24
(ISB07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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> _:7d92
<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>
_:7d92 <rdf:type> <owl:Restriction>
_:7d92 <owl:onProperty> <ns:hasAffiliation>
_:7d92 <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
 
 Removed:
ns=http://www.example.org/ISB07#
_:166b <rdf:type> <owl:Restriction>
_:166b <owl:onProperty> <ns:hasAffiliation>
_:166b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
_:166c <rdf:type> <owl:Restriction>
_:166c <owl:onProperty> <ns:hasAffiliation>
_:166c <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <owl:equivalentClass> _:166c
<ns:Researcher> <owl:equivalentClass> _:166b
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>
<ns:hasAffiliation> <rdf:type> <rdf:Property>
<ns:hasAffiliation> <owl:equivalentProperty> <ns:hasAffiliation>
<ns:hasAffiliation> <rdfs:subPropertyOf> <ns:hasAffiliation>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISB07#
_:7d94 <rdf:type> <owl:Restriction>
_:7d94 <owl:onProperty> <ns:hasAffiliation>
_:7d94 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:7d94
<ns:Researcher> <owl:equivalentClass> _:7d93
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
_:7d93 <rdf:type> <owl:Restriction>
_:7d93 <owl:onProperty> <ns:hasAffiliation>
_:7d93 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB07#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:166e
<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>
_:166e <rdf:type> <owl:Restriction>
_:166e <owl:onProperty> <ns:hasAffiliation>
_:166e <owl:allValuesFrom> <owl:Thing>
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasAffiliation> <rdfs:range> <owl:Thing>
<ns:hasAffiliation> <rdf:type> <owl:ObjectProperty>
<ns:hasAffiliation> <rdf:type> <rdf:Property>
<ns:hasAffiliation> <owl:equivalentProperty> <ns:hasAffiliation>
<ns:hasAffiliation> <rdfs:subPropertyOf> <ns:hasAffiliation>
<ns:> <rdf:type> <owl:Ontology>
E25
(ISB08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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> _:2683
<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>
_:2683 <rdf:type> <owl:Restriction>
_:2683 <owl:onProperty> <ns:hasName>
_:2683 <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:Nothing> <owl:complementOf> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<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:> <rdf:type> <owl:Ontology>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:equivalentClass> _:1666
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:Person> <owl:equivalentClass> <owl:Thing>
_:1666 <rdf:type> <owl:Restriction>
_:1666 <owl:onProperty> <ns:hasName>
_:1666 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB08#
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:Person> <owl:equivalentClass> _:2685
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
_:2685 <rdf:type> <owl:Restriction>
_:2685 <owl:onProperty> <ns:hasName>
_:2685 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Person>
Removed:
ns=http://www.example.org/ISB08#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1668
<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:Person>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:1668 <rdf:type> <owl:Restriction>
_:1668 <owl:onProperty> <ns:hasName>
_:1668 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:> <rdf:type> <owl:Ontology>
<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>
E26
(ISB09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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>
_:265f <rdf:type> <owl:Restriction>
_:265f <owl:onProperty> <ns:wrotePhDThesis>
_:265f <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2660
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:265f
<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>
_:2660 <rdf:type> <owl:Restriction>
_:2660 <owl:onProperty> <ns:wrotePhDThesis>
_:2660 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
 Removed:
ns=http://www.example.org/ISB09#
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <owl:equivalentClass> _:1660
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
<ns:wrotePhDThesis> <rdf:type> <rdf:Property>
<ns:wrotePhDThesis> <owl:equivalentProperty> <ns:wrotePhDThesis>
<ns:wrotePhDThesis> <rdfs:subPropertyOf> <ns:wrotePhDThesis>
_:1660 <rdf:type> <owl:Restriction>
_:1660 <owl:onProperty> <ns:wrotePhDThesis>
_:1660 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISB09#
_:7d60 <rdf:type> <owl:Restriction>
_:7d60 <owl:onProperty> <ns:wrotePhDThesis>
_:7d60 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:7d60
Removed:
ns=http://www.example.org/ISB09#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
_:1663 <rdf:type> <owl:Restriction>
_:1663 <owl:onProperty> <ns:wrotePhDThesis>
_:1663 <owl:allValuesFrom> <xsd:string>
_:1664 <rdf:type> <owl:Restriction>
_:1664 <owl:onProperty> <ns:wrotePhDThesis>
_:1664 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
<ns:wrotePhDThesis> <rdf:type> <rdf:Property>
<ns:wrotePhDThesis> <owl:equivalentProperty> <ns:wrotePhDThesis>
<ns:wrotePhDThesis> <rdfs:subPropertyOf> <ns:wrotePhDThesis>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1664
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1663
<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:> <rdf:type> <owl:Ontology>
E27
(ISB10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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>
_:7d43 <rdf:type> <owl:Restriction>
_:7d43 <owl:onProperty> <ns:hasSSN>
_:7d43 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7d44
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7d43
<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>
_:7d44 <rdf:type> <owl:Restriction>
_:7d44 <owl:onProperty> <ns:hasSSN>
_:7d44 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 
 Removed:
ns=http://www.example.org/ISB10#
<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>
<ns:hasSSN> <rdf:type> <rdf:Property>
<ns:hasSSN> <owl:equivalentProperty> <ns:hasSSN>
<ns:hasSSN> <rdfs:subPropertyOf> <ns:hasSSN>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:equivalentClass> _:165a
<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:> <rdf:type> <owl:Ontology>
_:165a <rdf:type> <owl:Restriction>
_:165a <owl:onProperty> <ns:hasSSN>
_:165a <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:6d1a
_:6d1a <rdf:type> <owl:Restriction>
_:6d1a <owl:onProperty> <ns:hasSSN>
_:6d1a <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB10#
<ns:hasSSN> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasSSN> <rdfs:range> <xsd:string>
<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>
<ns:hasSSN> <rdf:type> <rdf:Property>
<ns:hasSSN> <owl:equivalentProperty> <ns:hasSSN>
<ns:hasSSN> <rdfs:subPropertyOf> <ns:hasSSN>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:165d <rdf:type> <owl:Restriction>
_:165d <owl:onProperty> <ns:hasSSN>
_:165d <owl:allValuesFrom> <xsd:string>
<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>
_:165e <rdf:type> <owl:Restriction>
_:165e <owl:onProperty> <ns:hasSSN>
_:165e <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:165e
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:165d
<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>
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>
_:7d27 <rdf:type> <owl:Restriction>
_:7d27 <owl:onProperty> <ns:wrotePhDThesis>
_:7d27 <owl:allValuesFrom> <xsd:string>
_:7d28 <rdf:type> <owl:Restriction>
_:7d28 <owl:onProperty> <ns:wrotePhDThesis>
_:7d28 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7d28
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7d27
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
 
 Removed:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
<ns:wrotePhDThesis> <rdf:type> <rdf:Property>
<ns:wrotePhDThesis> <owl:equivalentProperty> <ns:wrotePhDThesis>
<ns:wrotePhDThesis> <rdfs:subPropertyOf> <ns:wrotePhDThesis>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <owl:equivalentClass> _:1656
<ns:Researcher> <owl:equivalentClass> _:1655
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<ns:> <rdf:type> <owl:Ontology>
_:1655 <rdf:type> <owl:Restriction>
_:1655 <owl:onProperty> <ns:wrotePhDThesis>
_:1655 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1656 <rdf:type> <owl:Restriction>
_:1656 <owl:onProperty> <ns:wrotePhDThesis>
_:1656 <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>
_:7d2a <rdf:type> <owl:Restriction>
_:7d2a <owl:onProperty> <ns:wrotePhDThesis>
_:7d2a <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:7d2a
<ns:Researcher> <owl:equivalentClass> _:7d29
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:7d29 <rdf:type> <owl:Restriction>
_:7d29 <owl:onProperty> <ns:wrotePhDThesis>
_:7d29 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
Removed:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
_:1658 <rdf:type> <owl:Restriction>
_:1658 <owl:onProperty> <ns:wrotePhDThesis>
_:1658 <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
<ns:wrotePhDThesis> <rdf:type> <rdf:Property>
<ns:wrotePhDThesis> <owl:equivalentProperty> <ns:wrotePhDThesis>
<ns:wrotePhDThesis> <rdfs:subPropertyOf> <ns:wrotePhDThesis>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
<ns:> <rdf:type> <owl:Ontology>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1658
<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>
E29
(ISB12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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>
 
 Removed:
ns=http://www.example.org/ISB12#
_:1651 <rdf:first> <ns:Italian>
_:1651 <rdf:rest> _:1650
<owl:Nothing> <owl:disjointWith> <ns:ItalianMan>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
_:1652 <rdf:type> <owl:Class>
_:1652 <owl:intersectionOf> _:1651
<ns:ItalianMan> <rdf:type> <owl:Class>
<ns:ItalianMan> <owl:equivalentClass> _:1652
<ns:ItalianMan> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <owl:equivalentClass> <ns:ItalianMan>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:> <rdf:type> <owl:Ontology>
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
_:1650 <rdf:first> <ns:Male>
_:1650 <rdf:rest> <rdf:nil>
Removed:
ns=http://www.example.org/ISB12#
<ns:ItalianMan> <owl:equivalentClass> _:7d0b
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:7d0b <rdf:type> <owl:Class>
_:7d0b <owl:intersectionOf> _:7d0a
_:7d0a <rdf:first> <ns:Italian>
_:7d0a <rdf:rest> _:7d09
_:7d09 <rdf:first> <ns:Male>
_:7d09 <rdf:rest> <rdf:nil>
Removed:
ns=http://www.example.org/ISB12#
<owl:Nothing> <owl:disjointWith> <ns:ItalianMan>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:OWL_ANONYM_CLASS_0>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:OWL_ANONYM_CLASS_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
<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>
<ns:ItalianMan> <rdf:type> <owl:Class>
<ns:ItalianMan> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMan> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMan> <owl:equivalentClass> <ns:ItalianMan>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:> <rdf:type> <owl:Ontology>
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
E30
(ISC01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISC01#
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
_:164c <rdf:first> <ns:Italian>
_:164c <rdf:rest> _:164b
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:> <rdf:type> <owl:Ontology>
<ns:ItalianMan> <rdf:type> <owl:Class>
<ns:ItalianMan> <owl:intersectionOf> _:164c
<ns:ItalianMan> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMan> <owl:equivalentClass> <ns:ItalianMan>
_:164b <rdf:first> <ns:Male>
_:164b <rdf:rest> <rdf:nil>
Removed:
ns=http://www.example.org/ISC01#
<ns:ItalianMan> <owl:intersectionOf> _:7cf0
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:7cef <rdf:first> <ns:Male>
_:7cef <rdf:rest> <rdf:nil>
_:7cf0 <rdf:first> <ns:Italian>
_:7cf0 <rdf:rest> _:7cef
Removed:
ns=http://www.example.org/ISC01#
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMan>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:> <rdf:type> <owl:Ontology>
<ns:ItalianMan> <rdf:type> <owl:Class>
<ns:ItalianMan> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMan> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMan> <owl:equivalentClass> <ns:ItalianMan>
E31
(ISC02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISC02#
_:1647 <rdf:first> <ns:Male>
_:1647 <rdf:rest> _:1646
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<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>
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:ItalianMan>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
_:1648 <rdf:first> <ns:Italian>
_:1648 <rdf:rest> _:1647
<ns:> <rdf:type> <owl:Ontology>
<ns:ItalianMan> <rdf:type> <owl:Class>
<ns:ItalianMan> <owl:intersectionOf> _:1648
<ns:ItalianMan> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Person>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <owl:equivalentClass> <ns:ItalianMan>
_:1646 <rdf:first> <ns:Person>
_:1646 <rdf:rest> <rdf:nil>
Removed:
ns=http://www.example.org/ISC02#
_:7cd5 <rdf:first> <ns:Person>
_:7cd5 <rdf:rest> <rdf:nil>
<ns:ItalianMan> <owl:intersectionOf> _:7cd7
<ns:ItalianMan> <rdfs:subClassOf> <ns:Person>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
_:7cd7 <rdf:first> <ns:Italian>
_:7cd7 <rdf:rest> _:7cd6
_:7cd6 <rdf:first> <ns:Male>
_:7cd6 <rdf:rest> _:7cd5
Removed:
ns=http://www.example.org/ISC02#
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<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>
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:ItalianMan>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<ns:> <rdf:type> <owl:Ontology>
<ns:ItalianMan> <rdf:type> <owl:Class>
<ns:ItalianMan> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMan> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMan> <owl:equivalentClass> <ns:ItalianMan>
E32
(ISD01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISD01#
<ns:> <rdf:type> <owl:Ontology>
<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:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:domain> <owl:Thing>
<ns:hasChild> <rdfs:range> <owl:Thing>
<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 = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISD02#
<ns:isAncestorOf> <rdf:type> <owl:ObjectProperty>
<ns:isAncestorOf> <rdf:type> <rdf:Property>
<ns:isAncestorOf> <owl:equivalentProperty> <ns:isAncestorOf>
<ns:isAncestorOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
<ns:isFatherOf> <rdf:type> <owl:ObjectProperty>
<ns:isFatherOf> <rdf:type> <rdf:Property>
<ns:isFatherOf> <owl:equivalentProperty> <ns:isFatherOf>
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isFatherOf>
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
<ns:> <rdf:type> <owl:Ontology>
<ns:isGrandFatherOf> <rdf:type> <owl:ObjectProperty>
<ns:isGrandFatherOf> <rdf:type> <rdf:Property>
<ns:isGrandFatherOf> <owl:equivalentProperty> <ns:isGrandFatherOf>
<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>
<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>
Removed:
ns=http://www.example.org/ISD02#
<ns:isAncestorOf> <rdfs:domain> <owl:Thing>
<ns:isAncestorOf> <rdfs:range> <owl:Thing>
<ns:isAncestorOf> <rdf:type> <owl:ObjectProperty>
<ns:isAncestorOf> <rdf:type> <rdf:Property>
<ns:isAncestorOf> <owl:equivalentProperty> <ns:isAncestorOf>
<ns:isAncestorOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
<ns:isFatherOf> <rdfs:domain> <owl:Thing>
<ns:isFatherOf> <rdfs:range> <owl:Thing>
<ns:isFatherOf> <rdf:type> <owl:ObjectProperty>
<ns:isFatherOf> <rdf:type> <rdf:Property>
<ns:isFatherOf> <owl:equivalentProperty> <ns:isFatherOf>
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isFatherOf>
<ns:> <rdf:type> <owl:Ontology>
<ns:isGrandFatherOf> <rdfs:domain> <owl:Thing>
<ns:isGrandFatherOf> <rdfs:range> <owl:Thing>
<ns:isGrandFatherOf> <rdf:type> <owl:ObjectProperty>
<ns:isGrandFatherOf> <rdf:type> <rdf:Property>
<ns:isGrandFatherOf> <owl:equivalentProperty> <ns:isGrandFatherOf>
<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>
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 = DIFFERENT
Execution = OK		 Interchange = SAME
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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE01#
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<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>
 Removed:
ns=http://www.example.org/ISE01#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
_:1642 <rdf:type> <owl:Restriction>
_:1642 <owl:onProperty> <ns:hasChild>
_:1642 <owl:allValuesFrom> <owl:Thing>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <owl:Thing>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:1642
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
E37
(ISE02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE02#
<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>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
 Removed:
ns=http://www.example.org/ISE02#
<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>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:domain> <owl:Thing>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
E38
(ISE03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE03#
<owl:Nothing> <owl:disjointWith> <ns:Father>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Father>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:hasChild> <rdfs:domain> <ns:Father>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns:Father> <rdf:type> <owl:Class>
<ns:Father> <owl:disjointWith> <owl:Nothing>
<ns:Father> <rdfs:subClassOf> <ns:Father>
<ns:Father> <rdfs:subClassOf> <owl:Thing>
<ns:Father> <owl:equivalentClass> <ns:Father>
<ns:> <rdf:type> <owl:Ontology>
<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>
 Removed:
ns=http://www.example.org/ISE03#
<owl:Nothing> <owl:disjointWith> <ns:Father>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Father>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:hasChild> <rdfs:domain> <ns:Father>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns:Father> <rdf:type> <owl:Class>
<ns:Father> <rdfs:subClassOf> _:1640
<ns:Father> <owl:disjointWith> <owl:Nothing>
<ns:Father> <rdfs:subClassOf> <ns:Father>
<ns:Father> <rdfs:subClassOf> <owl:Thing>
<ns:Father> <owl:equivalentClass> <ns:Father>
<ns:> <rdf:type> <owl:Ontology>
<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>
_:1640 <rdf:type> <owl:Restriction>
_:1640 <owl:onProperty> <ns:hasChild>
_:1640 <owl:allValuesFrom> <ns:Person>
E39
(ISE04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE04#
<ns:> <rdf:type> <owl:Ontology>
<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>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
<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/ISE04#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
_:163e <rdf:type> <owl:Restriction>
_:163e <owl:onProperty> <ns:hasChild>
_:163e <owl:allValuesFrom> <ns:Person>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:163e
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
E40
(ISE05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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> _:7c0d
<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>
_:7c0d <rdf:type> <owl:Restriction>
_:7c0d <owl:onProperty> <ns:hasChild>
_:7c0d <owl:allValuesFrom> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
 
 Removed:
ns=http://www.example.org/ISE05#
<ns:Mother> <rdf:type> <owl:Class>
<ns:Mother> <owl:disjointWith> <owl:Nothing>
<ns:Mother> <rdfs:subClassOf> <ns:Mother>
<ns:Mother> <rdfs:subClassOf> <owl:Thing>
<ns:Mother> <owl:equivalentClass> <ns:Mother>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Mother>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Mother>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<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:> <rdf:type> <owl:Ontology>
<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>
<ns:hasChild> <rdfs:domain> <ns:Woman>
<ns:hasChild> <rdfs:domain> <ns:Mother>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
<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/ISE05#
<ns:hasChild> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
_:163c <rdf:type> <owl:Restriction>
_:163c <owl:onProperty> <ns:hasChild>
_:163c <owl:allValuesFrom> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Mother>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Mother>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<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:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:163c
<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>
<ns:> <rdf:type> <owl:Ontology>
<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>
<ns:Mother> <rdf:type> <owl:Class>
<ns:Mother> <owl:disjointWith> <owl:Nothing>
<ns:Mother> <rdfs:subClassOf> <ns:Mother>
<ns:Mother> <rdfs:subClassOf> <owl:Thing>
<ns:Mother> <owl:equivalentClass> <ns:Mother>
E41
(ISE06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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> _:7bf6
<ns:hasChild> <rdfs:range> <ns:ANONYMOUS_CONCEPT_0>
_:7bf6 <rdf:type> <owl:Restriction>
_:7bf6 <owl:onProperty> <ns:hasChild>
_:7bf6 <owl:allValuesFrom> <ns:ANONYMOUS_CONCEPT_0>
 
 Removed:
ns=http://www.example.org/ISE06#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <owl:disjointWith> <ns:Human>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Human>
<ns:Child> <rdf:type> <owl:Class>
<ns:Child> <owl:disjointWith> <owl:Nothing>
<ns:Child> <rdfs:subClassOf> <ns:Child>
<ns:Child> <rdfs:subClassOf> <owl:Thing>
<ns:Child> <owl:equivalentClass> <ns:Child>
<ns:Human> <rdf:type> <owl:Class>
<ns:Human> <owl:disjointWith> <owl:Nothing>
<ns:Human> <rdfs:subClassOf> <ns:Human>
<ns:Human> <rdfs:subClassOf> <owl:Thing>
<ns:Human> <owl:equivalentClass> <ns:Human>
<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>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Human>
<ns:hasChild> <rdfs:range> <ns:Child>
<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/ISE06#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:Human>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Human>
<ns:Child> <rdf:type> <owl:Class>
<ns:Child> <owl:disjointWith> <owl:Nothing>
<ns:Child> <rdfs:subClassOf> <ns:Child>
<ns:Child> <rdfs:subClassOf> <owl:Thing>
<ns:Child> <owl:equivalentClass> <ns:Child>
<ns:Human> <rdf:type> <owl:Class>
<ns:Human> <owl:disjointWith> <owl:Nothing>
<ns:Human> <rdfs:subClassOf> <ns:Human>
<ns:Human> <rdfs:subClassOf> <owl:Thing>
<ns:Human> <owl:equivalentClass> <ns:Human>
<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> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:163a
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
_:163a <rdf:type> <owl:Restriction>
_:163a <owl:onProperty> <ns:hasChild>
_:163a <owl:allValuesFrom> <ns:ANONYMOUS_CONCEPT_0>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
E42
(ISE07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISE07#
_:7bdf <rdf:type> <owl:Restriction>
_:7bdf <owl:onProperty> <ns:hasSSN>
_:7bdf <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:7bdf
<ns:hasSSN> <rdfs:range> <xsd:string>
 
 Removed:
ns=http://www.example.org/ISE07#
<ns:> <rdf:type> <owl:Ontology>
<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>
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>
<ns:hasSSN> <rdf:type> <rdf:Property>
<ns:hasSSN> <owl:equivalentProperty> <ns:hasSSN>
<ns:hasSSN> <rdfs:subPropertyOf> <ns:hasSSN>
 Removed:
ns=http://www.example.org/ISE07#
_:1638 <rdf:type> <owl:Restriction>
_:1638 <owl:onProperty> <ns:hasSSN>
_:1638 <owl:allValuesFrom> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:1638
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>
<ns:hasSSN> <rdf:type> <rdf:Property>
<ns:hasSSN> <owl:equivalentProperty> <ns:hasSSN>
<ns:hasSSN> <rdfs:subPropertyOf> <ns:hasSSN>
<ns:> <rdf:type> <owl:Ontology>
E43
(ISE08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
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 = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISE09#
_:7bb3 <rdf:type> <owl:Restriction>
_:7bb3 <owl:onProperty> <ns:hasName>
_:7bb3 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:7bb3
 
 Removed:
ns=http://www.example.org/ISE09#
<ns:> <rdf:type> <owl:Ontology>
<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>
<ns:hasName> <rdfs:domain> <ns:Person>
<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/ISE09#
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
<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:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:1636
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
_:1636 <rdf:type> <owl:Restriction>
_:1636 <owl:onProperty> <ns:hasName>
_:1636 <owl:allValuesFrom> <xsd:string>
<ns:> <rdf:type> <owl:Ontology>
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>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7b9c
<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>
_:7b9c <rdf:type> <owl:Restriction>
_:7b9c <owl:onProperty> <ns:hasChildNamed>
_:7b9c <owl:allValuesFrom> <xsd:string>
 
 Removed:
ns=http://www.example.org/ISE10#
<owl:Nothing> <owl:disjointWith> <ns:Mother>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Mother>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<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:> <rdf:type> <owl:Ontology>
<ns:Mother> <rdf:type> <owl:Class>
<ns:Mother> <owl:disjointWith> <owl:Nothing>
<ns:Mother> <rdfs:subClassOf> <ns:Mother>
<ns:Mother> <rdfs:subClassOf> <owl:Thing>
<ns:Mother> <owl:equivalentClass> <ns:Mother>
<ns:hasChildNamed> <rdfs:domain> <ns:Woman>
<ns:hasChildNamed> <rdfs:domain> <ns:Mother>
<ns:hasChildNamed> <rdfs:range> <rdfs:Literal>
<ns:hasChildNamed> <rdf:type> <owl:DatatypeProperty>
<ns:hasChildNamed> <rdf:type> <rdf:Property>
<ns:hasChildNamed> <owl:equivalentProperty> <ns:hasChildNamed>
<ns:hasChildNamed> <rdfs:subPropertyOf> <ns:hasChildNamed>
 Removed:
ns=http://www.example.org/ISE10#
<owl:Nothing> <owl:disjointWith> <ns:Mother>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Mother>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<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:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1634
<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>
<ns:> <rdf:type> <owl:Ontology>
_:1634 <rdf:type> <owl:Restriction>
_:1634 <owl:onProperty> <ns:hasChildNamed>
_:1634 <owl:allValuesFrom> <xsd:string>
<ns:Mother> <rdf:type> <owl:Class>
<ns:Mother> <owl:disjointWith> <owl:Nothing>
<ns:Mother> <rdfs:subClassOf> <ns:Mother>
<ns:Mother> <rdfs:subClassOf> <owl:Thing>
<ns:Mother> <owl:equivalentClass> <ns:Mother>
<ns:hasChildNamed> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasChildNamed> <rdfs:range> <xsd:string>
<ns:hasChildNamed> <rdf:type> <owl:DatatypeProperty>
<ns:hasChildNamed> <rdf:type> <rdf:Property>
<ns:hasChildNamed> <owl:equivalentProperty> <ns:hasChildNamed>
<ns:hasChildNamed> <rdfs:subPropertyOf> <ns:hasChildNamed>
E46
(ISF01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISF01#
<ns:Person> <rdfs:subClassOf> _:7b85
<ns:Person> <rdfs:subClassOf> _:7b84
_:7b85 <rdf:type> <owl:Restriction>
_:7b85 <owl:onProperty> <ns:isResidentIn>
_:7b85 <owl:allValuesFrom> <ns:City>
_:7b84 <rdf:type> <owl:Restriction>
_:7b84 <owl:onProperty> <ns:livesIn>
_:7b84 <owl:allValuesFrom> <ns:City>
 
 Removed:
ns=http://www.example.org/ISF01#
<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> <owl:disjointWith> <ns:City>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:City>
<ns:livesIn> <rdfs:domain> <ns:Person>
<ns:livesIn> <rdfs:range> <ns:City>
<ns:livesIn> <rdf:type> <owl:ObjectProperty>
<ns:livesIn> <rdf:type> <rdf:Property>
<ns:livesIn> <owl:equivalentProperty> <ns:isResidentIn>
<ns:livesIn> <rdfs:subPropertyOf> <ns:isResidentIn>
<ns:livesIn> <owl:equivalentProperty> <ns:livesIn>
<ns:livesIn> <rdfs:subPropertyOf> <ns:livesIn>
<ns:isResidentIn> <rdfs:domain> <ns:Person>
<ns:isResidentIn> <rdfs:range> <ns:City>
<ns:isResidentIn> <rdf:type> <owl:ObjectProperty>
<ns:isResidentIn> <rdf:type> <rdf:Property>
<ns:isResidentIn> <owl:equivalentProperty> <ns:isResidentIn>
<ns:isResidentIn> <rdfs:subPropertyOf> <ns:isResidentIn>
<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>
<ns:isResidentIn> <rdfs:subPropertyOf> <ns:livesIn>
<ns:City> <rdf:type> <owl:Class>
<ns:City> <owl:disjointWith> <owl:Nothing>
<ns:City> <rdfs:subClassOf> <ns:City>
<ns:City> <rdfs:subClassOf> <owl:Thing>
<ns:City> <owl:equivalentClass> <ns:City>
<ns:> <rdf:type> <owl:Ontology>
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#
_:1631 <rdf:type> <owl:Restriction>
_:1631 <owl:onProperty> <ns:livesIn>
_:1631 <owl:allValuesFrom> <ns:City>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:1632
<ns:Person> <rdfs:subClassOf> _:1631
<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> <owl:disjointWith> <ns:City>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:City>
<ns:livesIn> <rdfs:domain> <ns:Person>
<ns:livesIn> <rdfs:range> <ns:City>
<ns:livesIn> <rdf:type> <owl:ObjectProperty>
<ns:livesIn> <rdf:type> <rdf:Property>
<ns:livesIn> <owl:equivalentProperty> <ns:livesIn>
<ns:livesIn> <rdfs:subPropertyOf> <ns:livesIn>
_:1632 <rdf:type> <owl:Restriction>
_:1632 <owl:onProperty> <ns:isResidentIn>
_:1632 <owl:allValuesFrom> <ns:City>
<ns:isResidentIn> <rdfs:domain> <ns:Person>
<ns:isResidentIn> <rdfs:range> <ns:City>
<ns:isResidentIn> <rdf:type> <owl:ObjectProperty>
<ns:isResidentIn> <rdf:type> <rdf:Property>
<ns:isResidentIn> <owl:equivalentProperty> <ns:isResidentIn>
<ns:isResidentIn> <rdfs:subPropertyOf> <ns:isResidentIn>
<ns:City> <rdf:type> <owl:Class>
<ns:City> <owl:disjointWith> <owl:Nothing>
<ns:City> <rdfs:subClassOf> <ns:City>
<ns:City> <rdfs:subClassOf> <owl:Thing>
<ns:City> <owl:equivalentClass> <ns:City>
<ns:> <rdf:type> <owl:Ontology>
E47
(ISF02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISF02#
<ns:City> <rdfs:subClassOf> _:7b6b
<ns:City> <rdfs:subClassOf> _:7b6a
_:7b6a <rdf:type> <owl:Restriction>
_:7b6a <owl:onProperty> <ns:hasSpanishName>
_:7b6a <owl:allValuesFrom> <xsd:string>
_:7b6b <rdf:type> <owl:Restriction>
_:7b6b <owl:onProperty> <ns:hasName>
_:7b6b <owl:allValuesFrom> <xsd:string>
<ns:hasSpanishName> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
 
 Removed:
ns=http://www.example.org/ISF02#
<owl:Nothing> <owl:disjointWith> <ns:City>
<owl:Nothing> <rdfs:subClassOf> <ns:City>
<ns:City> <rdf:type> <owl:Class>
<ns:City> <owl:disjointWith> <owl:Nothing>
<ns:City> <rdfs:subClassOf> <ns:City>
<ns:City> <rdfs:subClassOf> <owl:Thing>
<ns:City> <owl:equivalentClass> <ns:City>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasSpanishName> <rdfs:domain> <ns:City>
<ns:hasSpanishName> <rdfs:range> <rdfs:Literal>
<ns:hasSpanishName> <rdf:type> <owl:DatatypeProperty>
<ns:hasSpanishName> <rdf:type> <rdf:Property>
<ns:hasSpanishName> <owl:equivalentProperty> <ns:hasName>
<ns:hasSpanishName> <rdfs:subPropertyOf> <ns:hasName>
<ns:hasSpanishName> <owl:equivalentProperty> <ns:hasSpanishName>
<ns:hasSpanishName> <rdfs:subPropertyOf> <ns:hasSpanishName>
<ns:hasName> <rdfs:domain> <ns:City>
<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>
<ns:hasName> <owl:equivalentProperty> <ns:hasSpanishName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasSpanishName>
 Removed:
ns=http://www.example.org/ISF02#
<owl:Nothing> <owl:disjointWith> <ns:City>
<owl:Nothing> <rdfs:subClassOf> <ns:City>
<ns:City> <rdf:type> <owl:Class>
<ns:City> <rdfs:subClassOf> _:162e
<ns:City> <rdfs:subClassOf> _:162d
<ns:City> <owl:disjointWith> <owl:Nothing>
<ns:City> <rdfs:subClassOf> <ns:City>
<ns:City> <rdfs:subClassOf> <owl:Thing>
<ns:City> <owl:equivalentClass> <ns:City>
_:162d <rdf:type> <owl:Restriction>
_:162d <owl:onProperty> <ns:hasSpanishName>
_:162d <owl:allValuesFrom> <xsd:string>
_:162e <rdf:type> <owl:Restriction>
_:162e <owl:onProperty> <ns:hasName>
_:162e <owl:allValuesFrom> <xsd:string>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasSpanishName> <rdfs:domain> <ns:City>
<ns:hasSpanishName> <rdfs:range> <xsd:string>
<ns:hasSpanishName> <rdf:type> <owl:DatatypeProperty>
<ns:hasSpanishName> <rdf:type> <rdf:Property>
<ns:hasSpanishName> <owl:equivalentProperty> <ns:hasSpanishName>
<ns:hasSpanishName> <rdfs:subPropertyOf> <ns:hasSpanishName>
<ns:hasName> <rdfs:domain> <ns:City>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
E48
(ISF03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISF03#
<ns:Child> <rdfs:subClassOf> _:7b51
_:7b51 <rdf:type> <owl:Restriction>
_:7b51 <owl:onProperty> <ns:hasParent>
_:7b51 <owl:allValuesFrom> <ns:Person>
 
 Removed:
ns=http://www.example.org/ISF03#
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<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>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns:hasChild> <owl:inverseOf> <ns:hasParent>
<ns:Child> <rdf:type> <owl:Class>
<ns:Child> <owl:disjointWith> <owl:Nothing>
<ns:Child> <rdfs:subClassOf> <ns:Child>
<ns:Child> <rdfs:subClassOf> <owl:Thing>
<ns:Child> <owl:equivalentClass> <ns:Child>
<ns:hasParent> <rdfs:domain> <ns:Child>
<ns:hasParent> <rdfs:range> <ns:Person>
<ns:hasParent> <rdf:type> <owl:ObjectProperty>
<ns:hasParent> <rdf:type> <rdf:Property>
<ns:hasParent> <owl:equivalentProperty> <ns:hasParent>
<ns:hasParent> <rdfs:subPropertyOf> <ns:hasParent>
<ns:hasParent> <owl:inverseOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
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#
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<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>
<ns:hasChild> <rdfs:domain> <owl:Thing>
<ns:hasChild> <rdfs:range> <owl:Thing>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns:Child> <rdf:type> <owl:Class>
<ns:Child> <rdfs:subClassOf> _:162a
<ns:Child> <owl:disjointWith> <owl:Nothing>
<ns:Child> <rdfs:subClassOf> <ns:Child>
<ns:Child> <rdfs:subClassOf> <owl:Thing>
<ns:Child> <owl:equivalentClass> <ns:Child>
<ns:hasParent> <rdfs:domain> <ns:Child>
<ns:hasParent> <rdfs:range> <ns:Person>
<ns:hasParent> <rdf:type> <owl:ObjectProperty>
<ns:hasParent> <rdf:type> <rdf:Property>
<ns:hasParent> <owl:equivalentProperty> <ns:hasParent>
<ns:hasParent> <rdfs:subPropertyOf> <ns:hasParent>
<ns:> <rdf:type> <owl:Ontology>
_:162a <rdf:type> <owl:Restriction>
_:162a <owl:onProperty> <ns:hasParent>
_:162a <owl:allValuesFrom> <ns:Person>
E49
(ISG01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISG01#
<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>
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <rdfs:domain> <ns:Person>
<ns:hasFriend> <rdf:type> <owl:ObjectProperty>
<ns:hasFriend> <rdf:type> <rdf:Property>
<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>
<ns:hasFriend> <owl:equivalentProperty> <ns:hasFriend>
<ns:hasFriend> <rdfs:subPropertyOf> <ns:hasFriend>
<ns:> <rdf:type> <owl:Ontology>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
 Removed:
ns=http://www.example.org/ISG01#
_:1628 <rdf:type> <owl:Restriction>
_:1628 <owl:onProperty> <ns:hasFriend>
_:1628 <owl:allValuesFrom> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:hasFriend> <rdfs:domain> <ns:Person>
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <rdf:type> <owl:ObjectProperty>
<ns:hasFriend> <rdf:type> <rdf:Property>
<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>
<ns:hasFriend> <owl:equivalentProperty> <ns:hasFriend>
<ns:hasFriend> <rdfs:subPropertyOf> <ns:hasFriend>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:1628
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
E50
(ISG02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISG02#
<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <rdfs:domain> <ns:Person>
<ns:hasFriend> <rdf:type> <owl:ObjectProperty>
<ns:hasFriend> <rdf:type> <rdf:Property>
<ns:hasFriend> <owl:equivalentProperty> <ns:hasFriend>
<ns:hasFriend> <rdfs:subPropertyOf> <ns:hasFriend>
<ns:hasFriend> <owl:inverseOf> <ns:hasFriend>
<ns:> <rdf:type> <owl:Ontology>
<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/ISG02#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>
<ns:hasFriend> <rdfs:domain> <ns:Person>
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <rdf:type> <owl:ObjectProperty>
<ns:hasFriend> <rdf:type> <rdf:Property>
<ns:hasFriend> <owl:equivalentProperty> <ns:hasFriend>
<ns:hasFriend> <rdfs:subPropertyOf> <ns:hasFriend>
<ns:hasFriend> <owl:inverseOf> <ns:hasFriend>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:1626
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
_:1626 <rdf:type> <owl:Restriction>
_:1626 <owl:onProperty> <ns:hasFriend>
_:1626 <owl:allValuesFrom> <ns:Person>
E51
(ISG03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISG03#
<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>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasHusband> <rdfs:domain> <ns:Woman>
<ns:hasHusband> <rdfs:range> <ns:Man>
<ns:hasHusband> <rdf:type> <owl:ObjectProperty>
<ns:hasHusband> <rdf:type> <rdf:Property>
<ns:hasHusband> <rdf:type> <owl:FunctionalProperty>
<ns:hasHusband> <owl:equivalentProperty> <ns:hasHusband>
<ns:hasHusband> <rdfs:subPropertyOf> <ns:hasHusband>
<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>
 Removed:
ns=http://www.example.org/ISG03#
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
_:1623 <rdf:type> <owl:Restriction>
_:1623 <owl:onProperty> <ns:hasHusband>
_:1623 <owl:allValuesFrom> <ns:Man>
<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>
_:1624 <rdf:type> <owl:Restriction>
_:1624 <owl:onProperty> <ns:hasHusband>
_:1624 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasHusband> <rdfs:domain> <ns:Woman>
<ns:hasHusband> <rdfs:range> <ns:Man>
<ns:hasHusband> <rdf:type> <owl:ObjectProperty>
<ns:hasHusband> <rdf:type> <rdf:Property>
<ns:hasHusband> <owl:equivalentProperty> <ns:hasHusband>
<ns:hasHusband> <rdfs:subPropertyOf> <ns:hasHusband>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <rdfs:subClassOf> _:1624
<ns:Woman> <rdfs:subClassOf> _:1623
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
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>
_:7af2 <rdf:type> <owl:Restriction>
_:7af2 <owl:onProperty> <ns:hasAge>
_:7af2 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:7af2
<ns:Person> <rdfs:subClassOf> _:7af1
_:7af1 <rdf:type> <owl:Restriction>
_:7af1 <owl:onProperty> <ns:hasAge>
_:7af1 <owl:allValuesFrom> <xsd:string>
 
 Removed:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:domain> <ns:Person>
<ns:hasAge> <rdfs:range> <rdfs:Literal>
<ns:hasAge> <rdf:type> <owl:DatatypeProperty>
<ns:hasAge> <rdf:type> <rdf:Property>
<ns:hasAge> <rdf:type> <owl:FunctionalProperty>
<ns:hasAge> <owl:equivalentProperty> <ns:hasAge>
<ns:hasAge> <rdfs:subPropertyOf> <ns:hasAge>
<ns:> <rdf:type> <owl:Ontology>
<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/ISG04#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:1620
<ns:Person> <rdfs:subClassOf> _:161f
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
_:161f <rdf:type> <owl:Restriction>
_:161f <owl:onProperty> <ns:hasAge>
_:161f <owl:allValuesFrom> <xsd:string>
<ns:hasAge> <rdfs:domain> <ns:Person>
<ns:hasAge> <rdfs:range> <xsd:string>
<ns:hasAge> <rdf:type> <owl:DatatypeProperty>
<ns:hasAge> <rdf:type> <rdf:Property>
<ns:hasAge> <owl:equivalentProperty> <ns:hasAge>
<ns:hasAge> <rdfs:subPropertyOf> <ns:hasAge>
<ns:> <rdf:type> <owl:Ontology>
_:1620 <rdf:type> <owl:Restriction>
_:1620 <owl:onProperty> <ns:hasAge>
_:1620 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E53
(ISG05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISG05#
<ns:Professor> <rdfs:subClassOf> _:7ad9
_:7ad9 <rdf:type> <owl:Restriction>
_:7ad9 <owl:onProperty> <ns:hasTutor>
_:7ad9 <owl:allValuesFrom> <ns:Student>
 
 Removed:
ns=http://www.example.org/ISG05#
<owl:Nothing> <owl:disjointWith> <ns:Student>
<owl:Nothing> <owl:disjointWith> <ns:Professor>
<owl:Nothing> <rdfs:subClassOf> <ns:Student>
<owl:Nothing> <rdfs:subClassOf> <ns:Professor>
<ns:Professor> <rdf:type> <owl:Class>
<ns:Professor> <owl:disjointWith> <owl:Nothing>
<ns:Professor> <rdfs:subClassOf> <ns:Professor>
<ns:Professor> <rdfs:subClassOf> <owl:Thing>
<ns:Professor> <owl:equivalentClass> <ns:Professor>
<ns:> <rdf:type> <owl:Ontology>
<ns:Student> <rdf:type> <owl:Class>
<ns:Student> <owl:disjointWith> <owl:Nothing>
<ns:Student> <rdfs:subClassOf> <ns:Student>
<ns:Student> <rdfs:subClassOf> <owl:Thing>
<ns:Student> <owl:equivalentClass> <ns:Student>
<ns:hasTutor> <rdfs:domain> <ns:Professor>
<ns:hasTutor> <rdfs:range> <ns:Student>
<ns:hasTutor> <rdf:type> <owl:ObjectProperty>
<ns:hasTutor> <rdf:type> <rdf:Property>
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
<ns:hasTutor> <owl:equivalentProperty> <ns:hasTutor>
<ns:hasTutor> <rdfs:subPropertyOf> <ns:hasTutor>
Removed:
ns=http://www.example.org/ISG05#
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
Removed:
ns=http://www.example.org/ISG05#
_:161c <rdf:type> <owl:Restriction>
_:161c <owl:onProperty> <ns:hasTutor>
_:161c <owl:allValuesFrom> <ns:Student>
<owl:Nothing> <owl:disjointWith> <ns:Student>
<owl:Nothing> <owl:disjointWith> <ns:Professor>
<owl:Nothing> <rdfs:subClassOf> <ns:Student>
<owl:Nothing> <rdfs:subClassOf> <ns:Professor>
<ns:Professor> <rdf:type> <owl:Class>
<ns:Professor> <rdfs:subClassOf> _:161c
<ns:Professor> <owl:disjointWith> <owl:Nothing>
<ns:Professor> <rdfs:subClassOf> <ns:Professor>
<ns:Professor> <rdfs:subClassOf> <owl:Thing>
<ns:Professor> <owl:equivalentClass> <ns:Professor>
<ns:> <rdf:type> <owl:Ontology>
<ns:Student> <rdf:type> <owl:Class>
<ns:Student> <owl:disjointWith> <owl:Nothing>
<ns:Student> <rdfs:subClassOf> <ns:Student>
<ns:Student> <rdfs:subClassOf> <owl:Thing>
<ns:Student> <owl:equivalentClass> <ns:Student>
<ns:hasTutor> <rdfs:domain> <ns:Professor>
<ns:hasTutor> <rdfs:range> <ns:Student>
<ns:hasTutor> <rdf:type> <owl:ObjectProperty>
<ns:hasTutor> <rdf:type> <rdf:Property>
<ns:hasTutor> <owl:equivalentProperty> <ns:hasTutor>
<ns:hasTutor> <rdfs:subPropertyOf> <ns:hasTutor>
E54
(ISH01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISH01#
<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>
<ns:> <rdf:type> <owl:Ontology>
<ns:Peter> <owl:sameAs> <ns:Peter>
<ns:Peter> <rdf:type> <ns:Person>
<ns:Peter> <rdf:type> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
 Removed:
ns=http://www.example.org/ISH01#
<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>
<ns:> <rdf:type> <owl:Ontology>
<ns:Peter> <owl:sameAs> <ns:Peter>
<ns:Peter> <rdf:type> <ns:Person>
<ns:Peter> <rdf:type> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
E55
(ISH02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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>
 
 Removed:
ns=http://www.example.org/ISH02#
<owl:Nothing> <owl:disjointWith> <ns:Student>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Father>
<owl:Nothing> <rdfs:subClassOf> <ns:Student>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Father>
<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>
<ns:> <rdf:type> <owl:Ontology>
<ns:Father> <rdf:type> <owl:Class>
<ns:Father> <owl:disjointWith> <owl:Nothing>
<ns:Father> <rdfs:subClassOf> <ns:Father>
<ns:Father> <rdfs:subClassOf> <owl:Thing>
<ns:Father> <owl:equivalentClass> <ns:Father>
<ns:Student> <rdf:type> <owl:Class>
<ns:Student> <owl:disjointWith> <owl:Nothing>
<ns:Student> <rdfs:subClassOf> <ns:Student>
<ns:Student> <rdfs:subClassOf> <owl:Thing>
<ns:Student> <owl:equivalentClass> <ns:Student>
<ns:Peter> <owl:sameAs> <ns:Peter>
<ns:Peter> <rdf:type> <ns:Student>
<ns:Peter> <rdf:type> <ns:Person>
<ns:Peter> <rdf:type> <owl:Thing>
<ns:Peter> <rdf:type> <ns:Father>
 Removed:
ns=http://www.example.org/ISH02#
<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:Student>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Father>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Student>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Father>
<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>
<ns:> <rdf:type> <owl:Ontology>
<ns:Father> <rdf:type> <owl:Class>
<ns:Father> <owl:disjointWith> <owl:Nothing>
<ns:Father> <rdfs:subClassOf> <ns:Father>
<ns:Father> <rdfs:subClassOf> <owl:Thing>
<ns:Father> <owl:equivalentClass> <ns:Father>
<ns:Student> <rdf:type> <owl:Class>
<ns:Student> <owl:disjointWith> <owl:Nothing>
<ns:Student> <rdfs:subClassOf> <ns:Student>
<ns:Student> <rdfs:subClassOf> <owl:Thing>
<ns:Student> <owl:equivalentClass> <ns:Student>
<ns:Peter> <owl:sameAs> <ns:Peter>
<ns:Peter> <rdf:type> <ns:Student>
<ns:Peter> <rdf:type> <ns:Person>
<ns:Peter> <rdf:type> <owl:Thing>
<ns:Peter> <rdf:type> <ns:ANONYMOUS_CONCEPT_0>
<ns:Peter> <rdf:type> <ns:Father>
E56
(ISH03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISH03#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Paul> <owl:sameAs> <ns:Paul>
<ns:Paul> <rdf:type> <owl:Thing>
<ns:Paul> <rdf:type> <ns:Person>
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <rdf:type> <ns:Person>
<ns:Peter> <owl:sameAs> <ns:Peter>
<ns:Peter> <rdf:type> <owl:Thing>
<ns:Peter> <rdf:type> <ns:Person>
<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>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISH03#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Paul> <owl:sameAs> <ns:Paul>
<ns:Paul> <rdf:type> <owl:Thing>
<ns:Paul> <rdf:type> <ns:Person>
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <rdf:type> <ns:Person>
<ns:Peter> <owl:sameAs> <ns:Peter>
<ns:Peter> <rdf:type> <owl:Thing>
<ns:Peter> <rdf:type> <ns:Person>
<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>
<ns:> <rdf:type> <owl:Ontology>
E57
(ISI01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISI01#
<ns:Paul> <owl:sameAs> <ns:Paul>
<ns:Paul> <rdf:type> <ns:Person>
<ns:Paul> <rdf:type> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <ns:Person>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <ns:hasChild> <ns:Paul>
<ns:> <rdf:type> <owl:Ontology>
<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>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
<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/ISI01#
<ns:Paul> <owl:sameAs> <ns:Paul>
<ns:Paul> <rdf:type> <ns:Person>
<ns:Paul> <rdf:type> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <ns:Person>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <ns:hasChild> <ns:Paul>
<ns:> <rdf:type> <owl:Ontology>
_:161a <rdf:type> <owl:Restriction>
_:161a <owl:onProperty> <ns:hasChild>
_:161a <owl:allValuesFrom> <ns:Person>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:161a
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
E58
(ISI02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISI02#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:Peter> <owl:sameAs> <ns:Peter>
<ns:Peter> <rdf:type> <owl:Thing>
<ns:Peter> <rdf:type> <ns:Person>
<ns:Peter> <ns:knows> <ns:Peter>
<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>
<ns:knows> <rdfs:domain> <ns:Person>
<ns:knows> <rdfs:range> <ns:Person>
<ns:knows> <rdf:type> <owl:ObjectProperty>
<ns:knows> <rdf:type> <rdf:Property>
<ns:knows> <owl:equivalentProperty> <ns:knows>
<ns:knows> <rdfs:subPropertyOf> <ns:knows>
 Removed:
ns=http://www.example.org/ISI02#
_:1618 <rdf:type> <owl:Restriction>
_:1618 <owl:onProperty> <ns:knows>
_:1618 <owl:allValuesFrom> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:Peter> <owl:sameAs> <ns:Peter>
<ns:Peter> <rdf:type> <owl:Thing>
<ns:Peter> <rdf:type> <ns:Person>
<ns:Peter> <ns:knows> <ns:Peter>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:1618
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:knows> <rdfs:domain> <ns:Person>
<ns:knows> <rdfs:range> <ns:Person>
<ns:knows> <rdf:type> <owl:ObjectProperty>
<ns:knows> <rdf:type> <rdf:Property>
<ns:knows> <owl:equivalentProperty> <ns:knows>
<ns:knows> <rdfs:subPropertyOf> <ns:knows>
E59
(ISI03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISI03#
<owl:Nothing> <owl:disjointWith> <ns:Mother>
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Mother>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
<ns:hasChild> <rdfs:domain> <ns:Mother>
<ns:hasChild> <rdfs:range> <ns:Child>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
<ns:Child> <rdf:type> <owl:Class>
<ns:Child> <owl:disjointWith> <owl:Nothing>
<ns:Child> <rdfs:subClassOf> <ns:Child>
<ns:Child> <rdfs:subClassOf> <owl:Thing>
<ns:Child> <owl:equivalentClass> <ns:Child>
<ns:Paul> <owl:sameAs> <ns:Paul>
<ns:Paul> <rdf:type> <owl:Thing>
<ns:Paul> <rdf:type> <ns:Child>
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <rdf:type> <ns:Mother>
<ns:Mary> <ns:hasChild> <ns:Paul>
<ns:Mother> <rdf:type> <owl:Class>
<ns:Mother> <owl:disjointWith> <owl:Nothing>
<ns:Mother> <rdfs:subClassOf> <ns:Mother>
<ns:Mother> <rdfs:subClassOf> <owl:Thing>
<ns:Mother> <owl:equivalentClass> <ns:Mother>
 Removed:
ns=http://www.example.org/ISI03#
<owl:Nothing> <owl:disjointWith> <ns:Mother>
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Mother>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
<ns:hasChild> <rdfs:domain> <ns:Mother>
<ns:hasChild> <rdfs:range> <ns:Child>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
_:1616 <rdf:type> <owl:Restriction>
_:1616 <owl:onProperty> <ns:hasChild>
_:1616 <owl:allValuesFrom> <ns:Child>
<ns:Child> <rdf:type> <owl:Class>
<ns:Child> <owl:disjointWith> <owl:Nothing>
<ns:Child> <rdfs:subClassOf> <ns:Child>
<ns:Child> <rdfs:subClassOf> <owl:Thing>
<ns:Child> <owl:equivalentClass> <ns:Child>
<ns:Paul> <owl:sameAs> <ns:Paul>
<ns:Paul> <rdf:type> <owl:Thing>
<ns:Paul> <rdf:type> <ns:Child>
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <rdf:type> <ns:Mother>
<ns:Mary> <ns:hasChild> <ns:Paul>
<ns:Mother> <rdf:type> <owl:Class>
<ns:Mother> <rdfs:subClassOf> _:1616
<ns:Mother> <owl:disjointWith> <owl:Nothing>
<ns:Mother> <rdfs:subClassOf> <ns:Mother>
<ns:Mother> <rdfs:subClassOf> <owl:Thing>
<ns:Mother> <owl:equivalentClass> <ns:Mother>
E60
(ISI04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISI04#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:7a39
_:7a39 <rdf:type> <owl:Restriction>
_:7a39 <owl:onProperty> <ns:hasName>
_:7a39 <owl:allValuesFrom> <xsd:string>
 
 Removed:
ns=http://www.example.org/ISI04#
<ns:hasName> <rdfs:domain> <ns:Person>
<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>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:MarySmith> <owl:sameAs> <ns:MarySmith>
<ns:MarySmith> <rdf:type> <owl:Thing>
<ns:MarySmith> <rdf:type> <ns:Person>
<ns:MarySmith> <ns:hasName> "Mary"
<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>
 Removed:
ns=http://www.example.org/ISI04#
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
<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:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
_:1614 <rdf:type> <owl:Restriction>
_:1614 <owl:onProperty> <ns:hasName>
_:1614 <owl:allValuesFrom> <xsd:string>
<ns:> <rdf:type> <owl:Ontology>
<ns:MarySmith> <owl:sameAs> <ns:MarySmith>
<ns:MarySmith> <rdf:type> <owl:Thing>
<ns:MarySmith> <rdf:type> <ns:Person>
<ns:MarySmith> <ns:hasName> "Mary"^^<xsd:string>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:1614
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
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> _:7a22
_:7a22 <rdf:type> <owl:Restriction>
_:7a22 <owl:onProperty> <ns:hasName>
_:7a22 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
 
 Removed:
ns=http://www.example.org/ISI05#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasName> <rdfs:domain> <ns:Person>
<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>
<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>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
 Removed:
ns=http://www.example.org/ISI05#
_:1612 <rdf:type> <owl:Restriction>
_:1612 <owl:onProperty> <ns:hasName>
_:1612 <owl:allValuesFrom> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:1612
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:MaryAnn> <ns:hasName> "Ann"^^<xsd:string>
<ns:MaryAnn> <ns:hasName> "Mary"^^<xsd:string>
E62
(ISJ01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISJ01#
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasChild> <ns:John>
<ns:Person> <rdfs:subClassOf> _:22db
_:22db <rdf:type> <owl:Restriction>
_:22db <owl:onProperty> <ns:hasChild>
_:22db <owl:allValuesFrom> <ns:Person>
 
 Removed:
ns=http://www.example.org/ISJ01#
<ns:John> <owl:sameAs> <ns:John>
<ns:John> <rdf:type> <ns:Person>
<ns:John> <rdf:type> <owl:Thing>
<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>
_:160e <owl:sameAs> _:160e
_:160e <rdf:type> <ns:Person>
_:160e <rdf:type> <owl:Thing>
_:160e <ns:hasChild> <ns:John>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
<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/ISJ01#
_:7a0b <owl:sameAs> _:7a0b
_:7a0b <rdf:type> <ns:Person>
_:7a0b <rdf:type> <owl:Thing>
_:7a0b <ns:hasChild> <ns:John>
Removed:
ns=http://www.example.org/ISJ01#
<ns:John> <owl:sameAs> <ns:John>
<ns:John> <rdf:type> <ns:Person>
<ns:John> <rdf:type> <owl:Thing>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:1610
<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>
<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:> <rdf:type> <owl:Ontology>
_:1610 <rdf:type> <owl:Restriction>
_:1610 <owl:onProperty> <ns:hasChild>
_:1610 <owl:allValuesFrom> <ns:Person>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
E63
(ISJ02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISJ02#
<ns:Parent> <rdfs:subClassOf> _:22c2
<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>
_:22c2 <rdf:type> <owl:Restriction>
_:22c2 <owl:onProperty> <ns:hasChild>
_:22c2 <owl:allValuesFrom> <ns:Person>
 
 Removed:
ns=http://www.example.org/ISJ02#
<ns:John> <owl:sameAs> <ns:John>
<ns:John> <rdf:type> <owl:Thing>
<ns:John> <rdf:type> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Parent>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Parent>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<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>
<ns:hasChild> <rdfs:domain> <ns:Parent>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
_:160a <owl:sameAs> _:160a
_:160a <rdf:type> <ns:Parent>
_:160a <rdf:type> <owl:Thing>
_:160a <ns:hasChild> <ns:John>
<ns:Parent> <rdf:type> <owl:Class>
<ns:Parent> <owl:disjointWith> <owl:Nothing>
<ns:Parent> <rdfs:subClassOf> <ns:Parent>
<ns:Parent> <rdfs:subClassOf> <owl:Thing>
<ns:Parent> <owl:equivalentClass> <ns:Parent>
Removed:
ns=http://www.example.org/ISJ02#
_:79f2 <owl:sameAs> _:79f2
_:79f2 <rdf:type> <ns:Parent>
_:79f2 <rdf:type> <owl:Thing>
_:79f2 <ns:hasChild> <ns:John>
Removed:
ns=http://www.example.org/ISJ02#
_:160c <rdf:type> <owl:Restriction>
_:160c <owl:onProperty> <ns:hasChild>
_:160c <owl:allValuesFrom> <ns:Person>
<ns:John> <owl:sameAs> <ns:John>
<ns:John> <rdf:type> <owl:Thing>
<ns:John> <rdf:type> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Parent>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Parent>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<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>
<ns:hasChild> <rdfs:domain> <ns:Parent>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
<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>
<ns:Parent> <rdf:type> <owl:Class>
<ns:Parent> <rdfs:subClassOf> _:160c
<ns:Parent> <owl:disjointWith> <owl:Nothing>
<ns:Parent> <rdfs:subClassOf> <ns:Parent>
<ns:Parent> <rdfs:subClassOf> <owl:Thing>
<ns:Parent> <owl:equivalentClass> <ns:Parent>
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> _:22a7
_:22a7 <rdf:type> <owl:Restriction>
_:22a7 <owl:onProperty> <ns:hasName>
_:22a7 <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#
<ns:hasName> <rdfs:domain> <ns:Person>
<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>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<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>
<ns:> <rdf:type> <owl:Ontology>
_:1606 <owl:sameAs> _:1606
_:1606 <rdf:type> <owl:Thing>
_:1606 <rdf:type> <ns:Person>
_:1606 <ns:hasName> "Peter"
Removed:
ns=http://www.example.org/ISJ03#
_:69a4 <owl:sameAs> _:69a4
_:69a4 <rdf:type> <owl:Thing>
_:69a4 <rdf:type> <ns:Person>
_:69a4 <ns:hasName> "Peter"
Removed:
ns=http://www.example.org/ISJ03#
_:1608 <rdf:type> <owl:Restriction>
_:1608 <owl:onProperty> <ns:hasName>
_:1608 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
<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:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:1608
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<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>
E65
(ISK01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISK01#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Mary> <owl:sameAs> <ns:MaryAnn>
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <rdf:type> <ns:Person>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <owl:sameAs> <ns:Mary>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<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>
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#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <rdf:type> <ns:Person>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<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>
E66
(ISK02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISK02#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:MaryAnn> <owl:differentFrom> <ns:Ann>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<ns:Ann> <owl:sameAs> <ns:Ann>
<ns:Ann> <rdf:type> <ns:Person>
<ns:Ann> <rdf:type> <owl:Thing>
<ns:> <rdf:type> <owl:Ontology>
<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>
Removed:
ns=http://www.example.org/ISK02#
<ns:MaryAnn> <owl:differentFrom> <ns:Ann>
Removed:
ns=http://www.example.org/ISK02#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<ns:Ann> <owl:sameAs> <ns:Ann>
<ns:Ann> <rdf:type> <ns:Person>
<ns:Ann> <rdf:type> <owl:Thing>
<ns:> <rdf:type> <owl:Ontology>
<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>
E67
(ISK03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISK03#
_:1602 <rdf:first> <ns:Joan>
_:1602 <rdf:rest> _:1601
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
_:1603 <rdf:first> <ns:Ann>
_:1603 <rdf:rest> _:1602
_:1604 <rdf:type> <owl:AllDifferent>
_:1604 <owl:distinctMembers> _:1603
<ns:Ann> <owl:sameAs> <ns:Ann>
<ns:Ann> <rdf:type> <ns:Person>
<ns:Ann> <rdf:type> <owl:Thing>
<ns:Joan> <owl:sameAs> <ns:Joan>
<ns:Joan> <rdf:type> <ns:Person>
<ns:Joan> <rdf:type> <owl:Thing>
<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>
<ns:> <rdf:type> <owl:Ontology>
_:1601 <rdf:first> <ns:Mary>
_:1601 <rdf:rest> <rdf:nil>
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <ns:Person>
<ns:Mary> <rdf:type> <owl:Thing>
Removed:
ns=http://www.example.org/ISK03#
_:7990 <rdf:first> <ns:Mary>
_:7990 <rdf:rest> <rdf:nil>
_:7993 <rdf:type> <owl:AllDifferent>
_:7993 <owl:distinctMembers> _:7992
_:7992 <rdf:first> <ns:Ann>
_:7992 <rdf:rest> _:7991
_:7991 <rdf:first> <ns:Joan>
_:7991 <rdf:rest> _:7990
Removed:
ns=http://www.example.org/ISK03#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Ann> <owl:sameAs> <ns:Ann>
<ns:Ann> <rdf:type> <ns:Person>
<ns:Ann> <rdf:type> <owl:Thing>
<ns:Joan> <owl:sameAs> <ns:Joan>
<ns:Joan> <rdf:type> <ns:Person>
<ns:Joan> <rdf:type> <owl:Thing>
<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>
<ns:> <rdf:type> <owl:Ontology>
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <ns:Person>
<ns:Mary> <rdf:type> <owl:Thing>
E68
(ISL01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL01#
<ns:> <rdf:type> <owl:Ontology>
<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:> <rdf:type> <owl:Ontology>
<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 = SAME
Execution = OK		 Interchange = DIFFERENT
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:> <rdf:type> <owl:Ontology>
<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:> <rdf:type> <owl:Ontology>
<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 = SAME
Execution = OK		 Interchange = DIFFERENT
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>
<ns:> <rdf:type> <owl:Ontology>
 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:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<ns:> <rdf:type> <owl:Ontology>
E71
(ISL04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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>
<ns:> <rdf:type> <owl:Ontology>
<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>
<ns:> <rdf:type> <owl:Ontology>
<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 = SAME
Execution = OK		 Interchange = DIFFERENT
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:> <rdf:type> <owl:Ontology>
<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:> <rdf:type> <owl:Ontology>
<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 = SAME
Execution = OK		 Interchange = DIFFERENT
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>
<ns:> <rdf:type> <owl:Ontology>
<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>
<ns:> <rdf:type> <owl:Ontology>
<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> _:78f0
_:78f0 <rdf:type> <owl:Restriction>
_:78f0 <owl:onProperty> <ns:hasName>
_:78f0 <owl:allValuesFrom> <xsd:string>
 
 Removed:
ns=http://www.example.org/ISL07#
<ns:hasName> <rdfs:domain> <ns:Person>
<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>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<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>
 Removed:
ns=http://www.example.org/ISL07#
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<ns:MaryAnn> <ns:hasName> "Ann"^^<xsd:string>
<ns:MaryAnn> <ns:hasName> "Mary"^^<xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:15fc
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
_:15fc <rdf:type> <owl:Restriction>
_:15fc <owl:onProperty> <ns:hasName>
_:15fc <owl:allValuesFrom> <xsd:string>
<ns:> <rdf:type> <owl:Ontology>
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISL08#
_:78d5 <rdf:type> <owl:Restriction>
_:78d5 <owl:onProperty> <ns:hasName>
_:78d5 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:78d5
<ns:hasName> <rdfs:range> <xsd:string>
 
 Removed:
ns=http://www.example.org/ISL08#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:hasName> <rdfs:domain> <ns:Person>
<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>
<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>
<ns:> <rdf:type> <owl:Ontology>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
 Removed:
ns=http://www.example.org/ISL08#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
_:15fa <rdf:type> <owl:Restriction>
_:15fa <owl:onProperty> <ns:hasName>
_:15fa <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:15fa
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<ns:MaryAnn> <ns:hasName> "Ann"^^<xsd:string>
<ns:MaryAnn> <ns:hasName> "Mary"^^<xsd:string>
E76
(ISL09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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>
<ns:> <rdf:type> <owl:Ontology>
<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>
<ns:> <rdf:type> <owl:Ontology>
<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 = SAME
Execution = OK		 Interchange = DIFFERENT
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>
<ns:> <rdf:type> <owl:Ontology>
 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>
<ns:> <rdf:type> <owl:Ontology>
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> _:788c
<ns:Person> <rdfs:subClassOf> _:788b
_:788b <rdf:type> <owl:Restriction>
_:788b <owl:onProperty> <ns:hasSurname>
_:788b <owl:allValuesFrom> <xsd:string>
_:788c <rdf:type> <owl:Restriction>
_:788c <owl:onProperty> <ns:hasName>
_:788c <owl:allValuesFrom> <xsd:string>
 
 Removed:
ns=http://www.example.org/ISL11#
<ns:hasSurname> <rdfs:domain> <ns:Person>
<ns:hasSurname> <rdfs:range> <rdfs:Literal>
<ns:hasSurname> <rdf:type> <owl:DatatypeProperty>
<ns:hasSurname> <rdf:type> <rdf:Property>
<ns:hasSurname> <owl:equivalentProperty> <ns:hasSurname>
<ns:hasSurname> <rdfs:subPropertyOf> <ns:hasSurname>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:JohnDoe> <owl:sameAs> <ns:JohnDoe>
<ns:JohnDoe> <rdf:type> <owl:Thing>
<ns:JohnDoe> <rdf:type> <ns:Person>
<ns:JohnDoe> <ns:hasSurname> "Doe"
<ns:JohnDoe> <ns:hasName> "John"
<ns:> <rdf:type> <owl:Ontology>
<ns:hasName> <rdfs:domain> <ns:Person>
<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>
<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>
 Removed:
ns=http://www.example.org/ISL11#
<ns:hasSurname> <rdfs:domain> <ns:Person>
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdf:type> <owl:DatatypeProperty>
<ns:hasSurname> <rdf:type> <rdf:Property>
<ns:hasSurname> <owl:equivalentProperty> <ns:hasSurname>
<ns:hasSurname> <rdfs:subPropertyOf> <ns:hasSurname>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:JohnDoe> <owl:sameAs> <ns:JohnDoe>
<ns:JohnDoe> <rdf:type> <owl:Thing>
<ns:JohnDoe> <rdf:type> <ns:Person>
<ns:JohnDoe> <ns:hasSurname> "Doe"^^<xsd:string>
<ns:JohnDoe> <ns:hasName> "John"^^<xsd:string>
<ns:> <rdf:type> <owl:Ontology>
_:15f7 <rdf:type> <owl:Restriction>
_:15f7 <owl:onProperty> <ns:hasSurname>
_:15f7 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:15f8
<ns:Person> <rdfs:subClassOf> _:15f7
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
_:15f8 <rdf:type> <owl:Restriction>
_:15f8 <owl:onProperty> <ns:hasName>
_:15f8 <owl:allValuesFrom> <xsd:string>
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISL12#
_:786e <rdf:type> <owl:Restriction>
_:786e <owl:onProperty> <ns:hasSurname>
_:786e <owl:allValuesFrom> <xsd:string>
_:786f <rdf:type> <owl:Restriction>
_:786f <owl:onProperty> <ns:hasName>
_:786f <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:786f
<ns:Person> <rdfs:subClassOf> _:786e
 
 Removed:
ns=http://www.example.org/ISL12#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasName> <rdfs:domain> <ns:Person>
<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>
<ns:JohnDoe> <owl:sameAs> <ns:JohnDoe>
<ns:JohnDoe> <rdf:type> <ns:Person>
<ns:JohnDoe> <rdf:type> <owl:Thing>
<ns:JohnDoe> <ns:hasName> "John"
<ns:JohnDoe> <ns:hasSurname> "Doe"
<ns:hasSurname> <rdfs:domain> <ns:Person>
<ns:hasSurname> <rdfs:range> <rdfs:Literal>
<ns:hasSurname> <rdf:type> <owl:DatatypeProperty>
<ns:hasSurname> <rdf:type> <rdf:Property>
<ns:hasSurname> <owl:equivalentProperty> <ns:hasSurname>
<ns:hasSurname> <rdfs:subPropertyOf> <ns:hasSurname>
<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>
 Removed:
ns=http://www.example.org/ISL12#
_:15f4 <rdf:type> <owl:Restriction>
_:15f4 <owl:onProperty> <ns:hasName>
_:15f4 <owl:allValuesFrom> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:JohnDoe> <owl:sameAs> <ns:JohnDoe>
<ns:JohnDoe> <rdf:type> <ns:Person>
<ns:JohnDoe> <rdf:type> <owl:Thing>
<ns:JohnDoe> <ns:hasName> "John"^^<xsd:string>
<ns:JohnDoe> <ns:hasSurname> "Doe"^^<xsd:string>
<ns:hasSurname> <rdfs:domain> <ns:Person>
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdf:type> <owl:DatatypeProperty>
<ns:hasSurname> <rdf:type> <rdf:Property>
<ns:hasSurname> <owl:equivalentProperty> <ns:hasSurname>
<ns:hasSurname> <rdfs:subPropertyOf> <ns:hasSurname>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:15f4
<ns:Person> <rdfs:subClassOf> _:15f3
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
_:15f3 <rdf:type> <owl:Restriction>
_:15f3 <owl:onProperty> <ns:hasSurname>
_:15f3 <owl:allValuesFrom> <xsd:string>
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:Child> <rdfs:subClassOf> _:6828
<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>
_:6827 <rdf:type> <owl:Restriction>
_:6827 <owl:onProperty> <ns:hasChild>
_:6827 <owl:allValuesFrom> <ns:Child>
<ns:Person> <rdfs:subClassOf> _:6827
_:6828 <rdf:type> <owl:Restriction>
_:6828 <owl:onProperty> <ns:hasName>
_:6828 <owl:allValuesFrom> <xsd:string>
 
 Removed:
ns=http://www.example.org/ISL13#
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:hasName> <rdfs:domain> <ns:Child>
<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>
<ns:Child> <rdf:type> <owl:Class>
<ns:Child> <owl:disjointWith> <owl:Nothing>
<ns:Child> <rdfs:subClassOf> <ns:Child>
<ns:Child> <rdfs:subClassOf> <owl:Thing>
<ns:Child> <owl:equivalentClass> <ns:Child>
<ns:John> <owl:sameAs> <ns:John>
<ns:John> <rdf:type> <ns:Person>
<ns:John> <rdf:type> <owl:Thing>
<ns:John> <ns:hasChild> _:15ec
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Child>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
_:15ec <owl:sameAs> _:15ec
_:15ec <rdf:type> <ns:Child>
_:15ec <rdf:type> <owl:Thing>
_:15ec <ns:hasName> "Paul"
<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>
Removed:
ns=http://www.example.org/ISL13#
_:2129 <owl:sameAs> _:2129
_:2129 <rdf:type> <ns:Child>
_:2129 <rdf:type> <owl:Thing>
_:2129 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:2129
Removed:
ns=http://www.example.org/ISL13#
_:15ef <rdf:type> <owl:Restriction>
_:15ef <owl:onProperty> <ns:hasChild>
_:15ef <owl:allValuesFrom> <ns:Child>
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:hasName> <rdfs:domain> <ns:Child>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:Child> <rdf:type> <owl:Class>
<ns:Child> <rdfs:subClassOf> _:15f0
<ns:Child> <owl:disjointWith> <owl:Nothing>
<ns:Child> <rdfs:subClassOf> <ns:Child>
<ns:Child> <rdfs:subClassOf> <owl:Thing>
<ns:Child> <owl:equivalentClass> <ns:Child>
<ns:John> <owl:sameAs> <ns:John>
<ns:John> <rdf:type> <ns:Person>
<ns:John> <rdf:type> <owl:Thing>
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
<ns:> <rdf:type> <owl:Ontology>
_:15f0 <rdf:type> <owl:Restriction>
_:15f0 <owl:onProperty> <ns:hasName>
_:15f0 <owl:allValuesFrom> <xsd:string>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Paul"^^<xsd:string>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Child>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:15ef
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
E81
(ISL14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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>
_:210b <rdf:type> <owl:Restriction>
_:210b <owl:onProperty> <ns:hasChild>
_:210b <owl:allValuesFrom> <ns:Child>
<ns:Person> <rdfs:subClassOf> _:210b
_:210c <rdf:type> <owl:Restriction>
_:210c <owl:onProperty> <ns:hasName>
_:210c <owl:allValuesFrom> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:210c
<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#
<ns:hasName> <rdfs:domain> <ns:Child>
<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>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
_:15e6 <owl:sameAs> _:15e6
_:15e6 <rdf:type> <ns:Child>
_:15e6 <rdf:type> <owl:Thing>
_:15e6 <ns:hasName> "Paul"
<ns:John> <owl:sameAs> <ns:John>
<ns:John> <rdf:type> <ns:Person>
<ns:John> <rdf:type> <owl:Thing>
<ns:John> <ns:hasChild> _:15e6
<ns:> <rdf:type> <owl:Ontology>
<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>
<ns:Child> <rdf:type> <owl:Class>
<ns:Child> <owl:disjointWith> <owl:Nothing>
<ns:Child> <rdfs:subClassOf> <ns:Child>
<ns:Child> <rdfs:subClassOf> <owl:Thing>
<ns:Child> <owl:equivalentClass> <ns:Child>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Child>
<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/ISL14#
_:7835 <owl:sameAs> _:7835
_:7835 <rdf:type> <ns:Child>
_:7835 <rdf:type> <owl:Thing>
_:7835 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:7835
Removed:
ns=http://www.example.org/ISL14#
<ns:hasName> <rdfs:domain> <ns:Child>
<ns:hasName> <rdfs:range> <xsd:string>
<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:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
_:15ea <rdf:type> <owl:Restriction>
_:15ea <owl:onProperty> <ns:hasName>
_:15ea <owl:allValuesFrom> <xsd:string>
<ns:John> <owl:sameAs> <ns:John>
<ns:John> <rdf:type> <ns:Person>
<ns:John> <rdf:type> <owl:Thing>
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <rdfs:subClassOf> _:15e9
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
_:15e9 <rdf:type> <owl:Restriction>
_:15e9 <owl:onProperty> <ns:hasChild>
_:15e9 <owl:allValuesFrom> <ns:Child>
<ns:Child> <rdf:type> <owl:Class>
<ns:Child> <rdfs:subClassOf> _:15ea
<ns:Child> <owl:disjointWith> <owl:Nothing>
<ns:Child> <rdfs:subClassOf> <ns:Child>
<ns:Child> <rdfs:subClassOf> <owl:Thing>
<ns:Child> <owl:equivalentClass> <ns:Child>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Child>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<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>
E82
(ISL15)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   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:> <rdf:type> <owl:Ontology>
<owl:Nothing> <owl:disjointWith> <ns:Book>
<owl:Nothing> <rdfs:subClassOf> <ns:Book>
<ns:Book> <rdf:type> <owl:Class>
<ns:Book> <rdfs:label> "Book"@en
<ns:Book> <rdfs:label> "Libro"@es
<ns:Book> <owl:disjointWith> <owl:Nothing>
<ns:Book> <rdfs:subClassOf> <ns:Book>
<ns:Book> <rdfs:subClassOf> <owl:Thing>
<ns:Book> <owl:equivalentClass> <ns:Book>
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:> <rdf:type> <owl:Ontology>
<owl:Nothing> <owl:disjointWith> <ns:Book>
<owl:Nothing> <rdfs:subClassOf> <ns:Book>
<ns:Book> <rdf:type> <owl:Class>
<ns:Book> <rdfs:comment> "rdfs:label : Book||rdfs:label : Libro||"
<ns:Book> <owl:disjointWith> <owl:Nothing>
<ns:Book> <rdfs:subClassOf> <ns:Book>
<ns:Book> <rdfs:subClassOf> <owl:Thing>
<ns:Book> <owl:equivalentClass> <ns:Book>
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#