Interoperability from KAON2 to ProtegeFRAMES (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (KAON2) Step2 (ProtegeFRAMES)
E01
(ISA01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISA01#
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
Removed:
ns=http://www.example.org/ISA01#
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
 
E02
(ISA02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E03
(ISA03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E04
(ISA04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E05
(ISA05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E06
(ISA06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E07
(ISA07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA07#
<ns:hasCar> <rdfs:domain> <ns:Driver>
  Inserted:
ns=http://www.example.org/ISA07#
<ns:hasCar> <rdfs:domain> <ns:Driver>
 Removed:
ns=http://www.example.org/ISA07#
_:7f87 <rdf:type> <owl:Restriction>
_:7f87 <owl:onProperty> <ns:hasCar>
_:7f87 <owl:someValuesFrom> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:7f87
 Removed:
ns=http://www.example.org/ISA07#
<ns:Driver> <rdfs:subClassOf> _:7f89
_:7f89 <rdf:type> <owl:Restriction>
_:7f89 <owl:onProperty> <ns:hasCar>
_:7f89 <owl:someValuesFrom> <ns:Car>
E08
(ISA08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
<ns:wasBorn> <rdfs:domain> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> _:7f80
_:7f80 <owl:allValuesFrom> <ns:Italy>
_:7f80 <rdf:type> <owl:Restriction>
_:7f80 <owl:onProperty> <ns:wasBorn>
  Inserted:
ns=http://www.example.org/ISA08#
<ns:wasBorn> <rdfs:domain> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> _:7f84
_:7f84 <owl:allValuesFrom> <ns:Italy>
_:7f84 <rdf:type> <owl:Restriction>
_:7f84 <owl:onProperty> <ns:wasBorn>
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:7f81
_:7f81 <rdf:type> <owl:Restriction>
_:7f81 <owl:onProperty> <ns:wasBorn>
_:7f81 <owl:allValuesFrom> <ns:Italy>
 Removed:
ns=http://www.example.org/ISA08#
_:7f85 <rdf:type> <owl:Restriction>
_:7f85 <owl:onProperty> <ns:wasBorn>
_:7f85 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:7f85
E09
(ISA09)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISA09#
<ns:Employee> <rdfs:subClassOf> ""
 
   Removed:
ns=http://www.example.org/ISA09#
_:7ff7 <rdf:type> <owl:Restriction>
_:7ff7 <owl:onProperty> <ns:worksIn>
_:7ff7 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:7ff7
 
E10
(ISA10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
_:7f78 <rdf:type> <owl:Restriction>
_:7f78 <owl:onProperty> <ns:hasAffiliation>
_:7f78 <owl:maxCardinality> "1"^^<xsd:int>
<ns:Researcher> <rdfs:subClassOf> _:7f78
  Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:7f7c
_:7f7c <rdf:type> <owl:Restriction>
_:7f7c <owl:onProperty> <ns:hasAffiliation>
_:7f7c <owl:maxCardinality> "1"^^<xsd:int>
 Removed:
ns=http://www.example.org/ISA10#
_:7f79 <rdf:type> <owl:Restriction>
_:7f79 <owl:onProperty> <ns:hasAffiliation>
_:7f79 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7f79
 Removed:
ns=http://www.example.org/ISA10#
<ns:Researcher> <rdfs:subClassOf> _:7f7d
_:7f7d <rdf:type> <owl:Restriction>
_:7f7d <owl:onProperty> <ns:hasAffiliation>
_:7f7d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E11
(ISA11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:7f70
<ns:hasMother> <rdfs:domain> <ns:Person>
_:7f70 <owl:onProperty> <ns:hasMother>
_:7f70 <owl:cardinality> "1"^^<xsd:int>
_:7f70 <rdf:type> <owl:Restriction>
  Inserted:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:7f74
_:7f74 <owl:onProperty> <ns:hasMother>
_:7f74 <owl:cardinality> "1"^^<xsd:int>
_:7f74 <rdf:type> <owl:Restriction>
<ns:hasMother> <rdfs:domain> <ns:Person>
 Removed:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:7f71
_:7f71 <rdf:type> <owl:Restriction>
_:7f71 <owl:onProperty> <ns:hasMother>
_:7f71 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:7f75
_:7f75 <rdf:type> <owl:Restriction>
_:7f75 <owl:onProperty> <ns:hasMother>
_:7f75 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
E12
(ISA12)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISA12#
<ns:Researcher> <rdfs:subClassOf> _:7fef
<ns:Researcher> <rdfs:subClassOf> ""
_:7fef <rdf:type> <owl:Restriction>
_:7fef <owl:onProperty> <ns:hasAffiliation>
_:7fef <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
   Removed:
ns=http://www.example.org/ISA12#
_:7ff1 <rdf:type> <owl:Restriction>
_:7ff1 <owl:onProperty> <ns:hasAffiliation>
_:7ff1 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7ff0 <rdf:type> <owl:Restriction>
_:7ff0 <owl:onProperty> <ns:hasAffiliation>
_:7ff0 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7ff1
<ns:Researcher> <rdfs:subClassOf> _:7ff0
 
E13
(ISA13)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> ""
 
   Removed:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:7feb
_:7feb <rdf:type> <owl:Restriction>
_:7feb <owl:onProperty> <ns:hasName>
_:7feb <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
 
E14
(ISA14)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:7f68
_:7f68 <owl:onProperty> <ns:wrotePhDThesis>
_:7f68 <rdf:type> <owl:Restriction>
_:7f68 <owl:maxCardinality> "1"^^<xsd:int>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdf:type> <owl:ObjectProperty>
  Inserted:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:7f6c
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdf:type> <owl:ObjectProperty>
_:7f6c <owl:onProperty> <ns:wrotePhDThesis>
_:7f6c <rdf:type> <owl:Restriction>
_:7f6c <owl:maxCardinality> "1"^^<xsd:int>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:7f69
_:7f69 <rdf:type> <owl:Restriction>
_:7f69 <owl:onProperty> <ns:wrotePhDThesis>
_:7f69 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:7f6d
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
_:7f6d <rdf:type> <owl:Restriction>
_:7f6d <owl:onProperty> <ns:wrotePhDThesis>
_:7f6d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E15
(ISA15)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA15#
_:7f60 <owl:onProperty> <ns:hasSSN>
_:7f60 <rdf:type> <owl:Restriction>
_:7f60 <owl:cardinality> "1"^^<xsd:int>
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdf:type> <owl:ObjectProperty>
<ns:Person> <rdfs:subClassOf> _:7f60
  Inserted:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:7f64
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdf:type> <owl:ObjectProperty>
_:7f64 <owl:onProperty> <ns:hasSSN>
_:7f64 <rdf:type> <owl:Restriction>
_:7f64 <owl:cardinality> "1"^^<xsd:int>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:7f61
<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>
_:7f61 <rdf:type> <owl:Restriction>
_:7f61 <owl:onProperty> <ns:hasSSN>
_:7f61 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:7f65
<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>
_:7f65 <rdf:type> <owl:Restriction>
_:7f65 <owl:onProperty> <ns:hasSSN>
_:7f65 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
E16
(ISA16)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISA16#
_:7fe3 <rdf:type> <owl:Restriction>
_:7fe3 <owl:onProperty> <ns:wrotePhDThesis>
_:7fe3 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7fe3
<ns:Researcher> <rdfs:subClassOf> ""
 
   Removed:
ns=http://www.example.org/ISA16#
_:7d66 <rdf:type> <owl:Restriction>
_:7d66 <owl:onProperty> <ns:wrotePhDThesis>
_:7d66 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7d65 <rdf:type> <owl:Restriction>
_:7d65 <owl:onProperty> <ns:wrotePhDThesis>
_:7d65 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7d66
<ns:Researcher> <rdfs:subClassOf> _:7d65
 
E17
(ISA17)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
    Removed:
ns=http://www.example.org/ISA17#
_:7f5c <rdf:first> <ns:Italian>
_:7f5c <rdf:rest> _:7f5b
_:7f5b <rdf:first> <ns:Male>
_:7f5b <rdf:rest> <rdf:nil>
<ns:ItalianMale> <owl:equivalentClass> _:7f5d
_:7f5d <rdf:type> <owl:Class>
_:7f5d <owl:intersectionOf> _:7f5c
E18
(ISB01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E19
(ISB02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB02#
<ns:hasCar> <rdfs:domain> <ns:Driver>
  Inserted:
ns=http://www.example.org/ISB02#
<ns:hasCar> <rdfs:domain> <ns:Driver>
 Removed:
ns=http://www.example.org/ISB02#
_:7f51 <rdf:type> <owl:Restriction>
_:7f51 <owl:onProperty> <ns:hasCar>
_:7f51 <owl:someValuesFrom> <ns:Car>
<ns:Driver> <owl:equivalentClass> _:7f51
 Removed:
ns=http://www.example.org/ISB02#
<ns:Driver> <owl:equivalentClass> _:7f53
_:7f53 <rdf:type> <owl:Restriction>
_:7f53 <owl:onProperty> <ns:hasCar>
_:7f53 <owl:someValuesFrom> <ns:Car>
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB03#
_:7f4a <rdf:type> <owl:Restriction>
_:7f4a <owl:allValuesFrom> <ns:Italy>
_:7f4a <owl:onProperty> <ns:wasBorn>
<ns:Italian> <rdfs:subClassOf> _:7f4a
<ns:wasBorn> <rdfs:domain> <ns:Italian>
  Inserted:
ns=http://www.example.org/ISB03#
_:7f4e <rdf:type> <owl:Restriction>
_:7f4e <owl:allValuesFrom> <ns:Italy>
_:7f4e <owl:onProperty> <ns:wasBorn>
<ns:Italian> <rdfs:subClassOf> _:7f4e
<ns:wasBorn> <rdfs:domain> <ns:Italian>
 Removed:
ns=http://www.example.org/ISB03#
_:7f4b <rdf:type> <owl:Restriction>
_:7f4b <owl:onProperty> <ns:wasBorn>
_:7f4b <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:7f4b
 Removed:
ns=http://www.example.org/ISB03#
<ns:Italian> <owl:equivalentClass> _:7f4f
_:7f4f <rdf:type> <owl:Restriction>
_:7f4f <owl:onProperty> <ns:wasBorn>
_:7f4f <owl:allValuesFrom> <ns:Italy>
E21
(ISB04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E22
(ISB05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB05#
<ns:Researcher> <rdfs:subClassOf> _:7f3a
_:7f3a <owl:maxCardinality> "1"^^<xsd:int>
_:7f3a <rdf:type> <owl:Restriction>
_:7f3a <owl:onProperty> <ns:hasAffiliation>
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
  Inserted:
ns=http://www.example.org/ISB05#
_:7f3e <owl:maxCardinality> "1"^^<xsd:int>
_:7f3e <rdf:type> <owl:Restriction>
_:7f3e <owl:onProperty> <ns:hasAffiliation>
<ns:Researcher> <rdfs:subClassOf> _:7f3e
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
 Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:7f3b
_:7f3b <rdf:type> <owl:Restriction>
_:7f3b <owl:onProperty> <ns:hasAffiliation>
_:7f3b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:7f3f
_:7f3f <rdf:type> <owl:Restriction>
_:7f3f <owl:onProperty> <ns:hasAffiliation>
_:7f3f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E23
(ISB06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB06#
<ns:Man> <rdfs:subClassOf> _:7f32
_:7f32 <owl:cardinality> "1"^^<xsd:int>
_:7f32 <owl:onProperty> <ns:hasMother>
_:7f32 <rdf:type> <owl:Restriction>
<ns:hasMother> <rdfs:domain> <ns:Man>
  Inserted:
ns=http://www.example.org/ISB06#
<ns:Man> <rdfs:subClassOf> _:7f36
<ns:hasMother> <rdfs:domain> <ns:Man>
_:7f36 <owl:cardinality> "1"^^<xsd:int>
_:7f36 <owl:onProperty> <ns:hasMother>
_:7f36 <rdf:type> <owl:Restriction>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:7f33
_:7f33 <rdf:type> <owl:Restriction>
_:7f33 <owl:onProperty> <ns:hasMother>
_:7f33 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:7f37
_:7f37 <rdf:type> <owl:Restriction>
_:7f37 <owl:onProperty> <ns:hasMother>
_:7f37 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
E24
(ISB07)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISB07#
_:7d4a <rdf:type> <owl:Restriction>
_:7d4a <owl:onProperty> <ns:hasAffiliation>
_:7d4a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:7d4a
<ns:Researcher> <owl:equivalentClass> ""
 
   Removed:
ns=http://www.example.org/ISB07#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:6248
<ns:Researcher> <owl:equivalentClass> _:6247
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:6247 <rdf:type> <owl:Restriction>
_:6247 <owl:onProperty> <ns:hasAffiliation>
_:6247 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6248 <rdf:type> <owl:Restriction>
_:6248 <owl:onProperty> <ns:hasAffiliation>
_:6248 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
 
E25
(ISB08)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISB08#
<ns:Person> <owl:equivalentClass> ""
 
   Removed:
ns=http://www.example.org/ISB08#
_:7fc5 <rdf:type> <owl:Restriction>
_:7fc5 <owl:onProperty> <ns:hasName>
_:7fc5 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:Person> <owl:equivalentClass> _:7fc5
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
<owl:Nothing> <owl:complementOf> <ns:Person>
 
E26
(ISB09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB09#
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdf:type> <owl:ObjectProperty>
<ns:Researcher> <rdfs:subClassOf> _:7f2a
_:7f2a <rdf:type> <owl:Restriction>
_:7f2a <owl:maxCardinality> "1"^^<xsd:int>
_:7f2a <owl:onProperty> <ns:wrotePhDThesis>
  Inserted:
ns=http://www.example.org/ISB09#
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdf:type> <owl:ObjectProperty>
<ns:Researcher> <rdfs:subClassOf> _:7f2e
_:7f2e <rdf:type> <owl:Restriction>
_:7f2e <owl:maxCardinality> "1"^^<xsd:int>
_:7f2e <owl:onProperty> <ns:wrotePhDThesis>
 Removed:
ns=http://www.example.org/ISB09#
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
<ns:Researcher> <owl:equivalentClass> _:7f2b
_:7f2b <rdf:type> <owl:Restriction>
_:7f2b <owl:onProperty> <ns:wrotePhDThesis>
_:7f2b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB09#
<ns:wrotePhDThesis> <rdf:type> <owl:DatatypeProperty>
_:7f2f <rdf:type> <owl:Restriction>
_:7f2f <owl:onProperty> <ns:wrotePhDThesis>
_:7f2f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:7f2f
E27
(ISB10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB10#
_:7f22 <rdf:type> <owl:Restriction>
_:7f22 <owl:onProperty> <ns:hasSSN>
_:7f22 <owl:cardinality> "1"^^<xsd:int>
<ns:Man> <rdfs:subClassOf> _:7f22
<ns:hasSSN> <rdfs:domain> <ns:Man>
<ns:hasSSN> <rdf:type> <owl:ObjectProperty>
  Inserted:
ns=http://www.example.org/ISB10#
<ns:Man> <rdfs:subClassOf> _:7f26
_:7f26 <rdf:type> <owl:Restriction>
_:7f26 <owl:onProperty> <ns:hasSSN>
_:7f26 <owl:cardinality> "1"^^<xsd:int>
<ns:hasSSN> <rdfs:domain> <ns:Man>
<ns:hasSSN> <rdf:type> <owl:ObjectProperty>
 Removed:
ns=http://www.example.org/ISB10#
_:7f23 <rdf:type> <owl:Restriction>
_:7f23 <owl:onProperty> <ns:hasSSN>
_:7f23 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Man> <owl:equivalentClass> _:7f23
<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>
 Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:7f27
_:7f27 <rdf:type> <owl:Restriction>
_:7f27 <owl:onProperty> <ns:hasSSN>
_:7f27 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>
E28
(ISB11)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISB11#
_:7fbd <rdf:type> <owl:Restriction>
_:7fbd <owl:onProperty> <ns:wrotePhDThesis>
_:7fbd <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:7fbd
<ns:Researcher> <owl:equivalentClass> ""
 
   Removed:
ns=http://www.example.org/ISB11#
_:7fbf <rdf:type> <owl:Restriction>
_:7fbf <owl:onProperty> <ns:wrotePhDThesis>
_:7fbf <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:7fbf
<ns:Researcher> <owl:equivalentClass> _:7fbe
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
_:7fbe <rdf:type> <owl:Restriction>
_:7fbe <owl:onProperty> <ns:wrotePhDThesis>
_:7fbe <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
E29
(ISB12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISB12#
<ns:ItalianMan> <owl:equivalentClass> _:7f19
_:7f19 <rdf:type> <owl:Class>
_:7f19 <owl:intersectionOf> _:7f18
_:7f18 <rdf:first> <ns:Italian>
_:7f18 <rdf:rest> _:7f17
_:7f17 <rdf:first> <ns:Male>
_:7f17 <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISB12#
_:7f1f <rdf:type> <owl:Class>
_:7f1f <owl:intersectionOf> _:7f1e
_:7f1e <rdf:first> <ns:Italian>
_:7f1e <rdf:rest> _:7f1d
<ns:ItalianMan> <owl:equivalentClass> _:7f1f
_:7f1d <rdf:first> <ns:Male>
_:7f1d <rdf:rest> <rdf:nil>
E30
(ISC01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
    Removed:
ns=http://www.example.org/ISC01#
<ns:ItalianMan> <owl:equivalentClass> _:7f13
_:7f13 <rdf:type> <owl:Class>
_:7f13 <owl:intersectionOf> _:7f12
_:7f12 <rdf:first> <ns:Italian>
_:7f12 <rdf:rest> _:7f11
_:7f11 <rdf:first> <ns:Male>
_:7f11 <rdf:rest> <rdf:nil>
E31
(ISC02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
    Removed:
ns=http://www.example.org/ISC02#
_:7f07 <rdf:first> <ns:Male>
_:7f07 <rdf:rest> _:7f06
_:7f08 <rdf:first> <ns:Italian>
_:7f08 <rdf:rest> _:7f07
_:7f09 <rdf:type> <owl:Class>
_:7f09 <owl:intersectionOf> _:7f08
<ns:ItalianMan> <owl:equivalentClass> _:7f09
_:7f06 <rdf:first> <ns:Person>
_:7f06 <rdf:rest> <rdf:nil>
E32
(ISD01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISD01#
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
Removed:
ns=http://www.example.org/ISD01#
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
 
E33
(ISD02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISD02#
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
 Removed:
ns=http://www.example.org/ISD02#
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>
<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>
E34
(ISD03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISD03#
<ns:hasAge> <rdf:type> <owl:DatatypeProperty>
<ns:hasAge> <rdf:type> <rdf:Property>
<ns:hasAge> <owl:equivalentProperty> <ns:hasAge>
<ns:hasAge> <rdfs:subPropertyOf> <ns:hasAge>
Removed:
ns=http://www.example.org/ISD03#
<ns:hasAge> <rdf:type> <owl:DatatypeProperty>
<ns:hasAge> <rdf:type> <rdf:Property>
<ns:hasAge> <owl:equivalentProperty> <ns:hasAge>
<ns:hasAge> <rdfs:subPropertyOf> <ns:hasAge>
 
E35
(ISD04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISD04#
<ns:isRational> <rdf:type> <owl:DatatypeProperty>
<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>
<ns:isReal> <rdf:type> <owl:DatatypeProperty>
<ns:isInteger> <rdf:type> <owl:DatatypeProperty>
<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> <rdfs:subPropertyOf> <ns:isReal>
<ns:isReal> <rdf:type> <owl:DatatypeProperty>
<ns:isInteger> <rdf:type> <owl:DatatypeProperty>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>
E36
(ISE01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E37
(ISE02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE02#
<ns:hasChild> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISE02#
<ns:hasChild> <rdfs:range> <ns:Person>
E38
(ISE03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE03#
<ns:hasChild> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISE03#
<ns:hasChild> <rdfs:range> <ns:Person>
E39
(ISE04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE04#
<ns:hasChild> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISE04#
<ns:hasChild> <rdfs:range> <ns:Person>
E40
(ISE05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE05#
<ns:hasChild> <rdfs:domain> <ns:Woman>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISE05#
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:domain> <ns:Woman>
<ns:hasChild> <rdfs:range> <ns:Person>
E41
(ISE06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE06#
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Human>
<ns:hasChild> <rdfs:range> <ns:Child>
 Removed:
ns=http://www.example.org/ISE06#
<ns:hasChild> <rdfs:range> <ns:Child>
<ns:hasChild> <rdfs:range> <ns:Human>
<ns:hasChild> <rdfs:range> <ns:Person>
E42
(ISE07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE07#
<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>
 Removed:
ns=http://www.example.org/ISE07#
<ns:hasSSN> <rdf:type> <owl:DatatypeProperty>
E43
(ISE08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE08#
<ns:hasName> <rdf:type> <owl:ObjectProperty>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
Inserted:
ns=http://www.example.org/ISE08#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISE08#
<ns:hasName> <rdf:type> <owl:ObjectProperty>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
 Removed:
ns=http://www.example.org/ISE08#
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
 Removed:
ns=http://www.example.org/ISE08#
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<rdfs:Literal> <rdf:type> <owl:Datatype>
E44
(ISE09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE09#
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<ns:hasName> <rdf:type> <owl:ObjectProperty>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
Inserted:
ns=http://www.example.org/ISE09#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISE09#
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<ns:hasName> <rdf:type> <owl:ObjectProperty>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
 Removed:
ns=http://www.example.org/ISE09#
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
 Removed:
ns=http://www.example.org/ISE09#
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
E45
(ISE10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE10#
<ns:hasChildNamed> <rdf:type> <owl:ObjectProperty>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
Inserted:
ns=http://www.example.org/ISE10#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISE10#
<ns:hasChildNamed> <rdf:type> <owl:ObjectProperty>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
 Removed:
ns=http://www.example.org/ISE10#
<ns:hasChildNamed> <rdfs:domain> <ns:Woman>
<ns:hasChildNamed> <rdfs:range> <rdfs:Literal>
<ns:hasChildNamed> <rdf:type> <owl:DatatypeProperty>
 Removed:
ns=http://www.example.org/ISE10#
<ns:hasChildNamed> <rdfs:domain> <ns:Woman>
<ns:hasChildNamed> <rdfs:range> <rdfs:Literal>
<ns:hasChildNamed> <rdf:type> <owl:DatatypeProperty>
<rdfs:Literal> <rdf:type> <owl:Datatype>
E46
(ISF01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISF01#
<ns:isResidentIn> <rdfs:range> <ns:City>
<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>
<ns:isResidentIn> <rdfs:subPropertyOf> <ns:livesIn>
<ns:livesIn> <rdfs:range> <ns:City>
<ns:livesIn> <owl:equivalentProperty> <ns:isResidentIn>
<ns:livesIn> <rdfs:subPropertyOf> <ns:isResidentIn>
 Removed:
ns=http://www.example.org/ISF01#
<ns:isResidentIn> <rdfs:range> <ns:City>
<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>
<ns:isResidentIn> <rdfs:subPropertyOf> <ns:livesIn>
<ns:livesIn> <rdfs:range> <ns:City>
<ns:livesIn> <owl:equivalentProperty> <ns:isResidentIn>
<ns:livesIn> <rdfs:subPropertyOf> <ns:isResidentIn>
E47
(ISF02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF02#
<ns:hasName> <rdf:type> <owl:ObjectProperty>
<ns:hasSpanishName> <rdf:type> <owl:ObjectProperty>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
Inserted:
ns=http://www.example.org/ISF02#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISF02#
<ns:hasName> <rdf:type> <owl:ObjectProperty>
<ns:hasSpanishName> <rdf:type> <owl:ObjectProperty>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
 Removed:
ns=http://www.example.org/ISF02#
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <owl:equivalentProperty> <ns:hasSpanishName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasSpanishName>
<ns:hasSpanishName> <rdfs:range> <rdfs:Literal>
<ns:hasSpanishName> <rdf:type> <owl:DatatypeProperty>
<ns:hasSpanishName> <owl:equivalentProperty> <ns:hasName>
<ns:hasSpanishName> <rdfs:subPropertyOf> <ns:hasName>
 Removed:
ns=http://www.example.org/ISF02#
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <owl:equivalentProperty> <ns:hasSpanishName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasSpanishName>
<ns:hasSpanishName> <rdfs:range> <rdfs:Literal>
<ns:hasSpanishName> <rdf:type> <owl:DatatypeProperty>
<ns:hasSpanishName> <owl:equivalentProperty> <ns:hasName>
<ns:hasSpanishName> <rdfs:subPropertyOf> <ns:hasName>
<rdfs:Literal> <rdf:type> <owl:Datatype>
E48
(ISF03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISF03#
<ns:hasParent> <rdfs:range> <ns:Person>
<ns:hasParent> <owl:inverseOf> <ns:hasChild>
<ns:hasChild> <owl:inverseOf> <ns:hasParent>
 Removed:
ns=http://www.example.org/ISF03#
<ns:hasParent> <rdfs:range> <ns:Person>
<ns:hasParent> <owl:inverseOf> <ns:hasChild>
<ns:hasChild> <owl:inverseOf> <ns:hasParent>
E49
(ISG01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISG01#
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>
 Removed:
ns=http://www.example.org/ISG01#
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>
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> <owl:inverseOf> <ns:hasFriend>
 Removed:
ns=http://www.example.org/ISG02#
<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <owl:inverseOf> <ns:hasFriend>
E51
(ISG03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISG03#
<ns:hasHusband> <rdfs:range> <ns:Man>
 Removed:
ns=http://www.example.org/ISG03#
<ns:hasHusband> <rdfs:range> <ns:Man>
E52
(ISG04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdf:type> <owl:ObjectProperty>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
Inserted:
ns=http://www.example.org/ISG04#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdf:type> <owl:ObjectProperty>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
 Removed:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:range> <rdfs:Literal>
<ns:hasAge> <rdf:type> <owl:DatatypeProperty>
 Removed:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:range> <rdfs:Literal>
<ns:hasAge> <rdf:type> <owl:DatatypeProperty>
<rdfs:Literal> <rdf:type> <owl:Datatype>
E53
(ISG05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISG05#
<ns:hasTutor> <rdfs:range> <ns:Student>
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
 Removed:
ns=http://www.example.org/ISG05#
<ns:hasTutor> <rdfs:range> <ns:Student>
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
E54
(ISH01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISH01#
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_Peter> <rdfs:label> "a:Peter"^^<xsd:string>
<ns:a_Peter> <owl:sameAs> <ns:a_Peter>
<ns:a_Peter> <rdf:type> <ns:a_Person>
<ns:a_Peter> <rdf:type> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
  Inserted:
ns=http://www.example.org/ISH01#
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_Peter> <rdfs:label> "a:Peter"^^<xsd:string>
<ns:a_Peter> <owl:sameAs> <ns:a_Peter>
<ns:a_Peter> <rdf:type> <ns:a_Person>
<ns:a_Peter> <rdf:type> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_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: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: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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISH02#
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_Peter> <rdfs:label> "a:Peter"^^<xsd:string>
<ns:a_Peter> <owl:sameAs> <ns:a_Peter>
<ns:a_Peter> <rdf:type> <ns:a_Father>
<ns:a_Peter> <rdf:type> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:a_Student>
<owl:Nothing> <owl:disjointWith> <ns:a_Father>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Student>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Father>
<ns:a_Student> <rdfs:label> "a:Student"^^<xsd:string>
<ns:a_Student> <rdf:type> <owl:Class>
<ns:a_Student> <owl:disjointWith> <owl:Nothing>
<ns:a_Student> <rdfs:subClassOf> <ns:a_Student>
<ns:a_Student> <rdfs:subClassOf> <owl:Thing>
<ns:a_Student> <owl:equivalentClass> <ns:a_Student>
<ns:a_Father> <rdf:type> <owl:Class>
<ns:a_Father> <rdfs:label> "a:Father"^^<xsd:string>
<ns:a_Father> <owl:disjointWith> <owl:Nothing>
<ns:a_Father> <rdfs:subClassOf> <ns:a_Father>
<ns:a_Father> <rdfs:subClassOf> <owl:Thing>
<ns:a_Father> <owl:equivalentClass> <ns:a_Father>
  Inserted:
ns=http://www.example.org/ISH02#
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_Peter> <rdfs:label> "a:Peter"^^<xsd:string>
<ns:a_Peter> <owl:sameAs> <ns:a_Peter>
<ns:a_Peter> <rdf:type> <ns:a_Father>
<ns:a_Peter> <rdf:type> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:a_Student>
<owl:Nothing> <owl:disjointWith> <ns:a_Father>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Student>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Father>
<ns:a_Student> <rdfs:label> "a:Student"^^<xsd:string>
<ns:a_Student> <rdf:type> <owl:Class>
<ns:a_Student> <owl:disjointWith> <owl:Nothing>
<ns:a_Student> <rdfs:subClassOf> <ns:a_Student>
<ns:a_Student> <rdfs:subClassOf> <owl:Thing>
<ns:a_Student> <owl:equivalentClass> <ns:a_Student>
<ns:a_Father> <rdf:type> <owl:Class>
<ns:a_Father> <rdfs:label> "a:Father"^^<xsd:string>
<ns:a_Father> <owl:disjointWith> <owl:Nothing>
<ns:a_Father> <rdfs:subClassOf> <ns:a_Father>
<ns:a_Father> <rdfs:subClassOf> <owl:Thing>
<ns:a_Father> <owl:equivalentClass> <ns:a_Father>
 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: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#
<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: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>
E56
(ISH03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISH03#
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_Paul> <rdfs:label> "a:Paul"^^<xsd:string>
<ns:a_Paul> <owl:sameAs> <ns:a_Paul>
<ns:a_Paul> <rdf:type> <ns:a_Person>
<ns:a_Paul> <rdf:type> <owl:Thing>
<ns:a_Peter> <rdfs:label> "a:Peter"^^<xsd:string>
<ns:a_Peter> <owl:sameAs> <ns:a_Peter>
<ns:a_Peter> <rdf:type> <ns:a_Person>
<ns:a_Peter> <rdf:type> <owl:Thing>
<ns:a_Mary> <rdfs:label> "a:Mary"^^<xsd:string>
<ns:a_Mary> <owl:sameAs> <ns:a_Mary>
<ns:a_Mary> <rdf:type> <ns:a_Person>
<ns:a_Mary> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISH03#
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_Paul> <rdfs:label> "a:Paul"^^<xsd:string>
<ns:a_Paul> <owl:sameAs> <ns:a_Paul>
<ns:a_Paul> <rdf:type> <ns:a_Person>
<ns:a_Paul> <rdf:type> <owl:Thing>
<ns:a_Peter> <rdfs:label> "a:Peter"^^<xsd:string>
<ns:a_Peter> <owl:sameAs> <ns:a_Peter>
<ns:a_Peter> <rdf:type> <ns:a_Person>
<ns:a_Peter> <rdf:type> <owl:Thing>
<ns:a_Mary> <rdfs:label> "a:Mary"^^<xsd:string>
<ns:a_Mary> <owl:sameAs> <ns:a_Mary>
<ns:a_Mary> <rdf:type> <ns:a_Person>
<ns:a_Mary> <rdf:type> <owl:Thing>
 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>
 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>
E57
(ISI01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI01#
<ns:a_hasChild> <rdfs:label> "a:hasChild"^^<xsd:string>
<ns:a_hasChild> <rdfs:domain> <ns:a_Person>
<ns:a_hasChild> <rdf:type> <owl:ObjectProperty>
<ns:a_hasChild> <rdf:type> <rdf:Property>
<ns:a_hasChild> <owl:equivalentProperty> <ns:a_hasChild>
<ns:a_hasChild> <rdfs:subPropertyOf> <ns:a_hasChild>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Paul> <rdfs:label> "a:Paul"^^<xsd:string>
<ns:a_Paul> <owl:sameAs> <ns:a_Paul>
<ns:a_Paul> <rdf:type> <ns:a_Person>
<ns:a_Paul> <rdf:type> <owl:Thing>
<ns:a_Mary> <rdfs:label> "a:Mary"^^<xsd:string>
<ns:a_Mary> <owl:sameAs> <ns:a_Mary>
<ns:a_Mary> <rdf:type> <ns:a_Person>
<ns:a_Mary> <rdf:type> <owl:Thing>
<ns:a_Mary> <ns:a_hasChild> <ns:a_Paul>
  Inserted:
ns=http://www.example.org/ISI01#
<ns:a_hasChild> <rdfs:label> "a:hasChild"^^<xsd:string>
<ns:a_hasChild> <rdfs:domain> <ns:a_Person>
<ns:a_hasChild> <rdf:type> <owl:ObjectProperty>
<ns:a_hasChild> <rdf:type> <rdf:Property>
<ns:a_hasChild> <owl:equivalentProperty> <ns:a_hasChild>
<ns:a_hasChild> <rdfs:subPropertyOf> <ns:a_hasChild>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Paul> <rdfs:label> "a:Paul"^^<xsd:string>
<ns:a_Paul> <owl:sameAs> <ns:a_Paul>
<ns:a_Paul> <rdf:type> <ns:a_Person>
<ns:a_Paul> <rdf:type> <owl:Thing>
<ns:a_Mary> <rdfs:label> "a:Mary"^^<xsd:string>
<ns:a_Mary> <owl:sameAs> <ns:a_Mary>
<ns:a_Mary> <rdf:type> <ns:a_Person>
<ns:a_Mary> <rdf:type> <owl:Thing>
<ns:a_Mary> <ns:a_hasChild> <ns:a_Paul>
 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: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: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>
E58
(ISI02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI02#
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_knows> <rdfs:label> "a:knows"^^<xsd:string>
<ns:a_knows> <rdfs:domain> <ns:a_Person>
<ns:a_knows> <rdf:type> <owl:ObjectProperty>
<ns:a_knows> <rdf:type> <rdf:Property>
<ns:a_knows> <owl:equivalentProperty> <ns:a_knows>
<ns:a_knows> <rdfs:subPropertyOf> <ns:a_knows>
<ns:a_Peter> <rdfs:label> "a:Peter"^^<xsd:string>
<ns:a_Peter> <owl:sameAs> <ns:a_Peter>
<ns:a_Peter> <rdf:type> <ns:a_Person>
<ns:a_Peter> <rdf:type> <owl:Thing>
<ns:a_Peter> <ns:a_knows> <ns:a_Peter>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
  Inserted:
ns=http://www.example.org/ISI02#
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_knows> <rdfs:label> "a:knows"^^<xsd:string>
<ns:a_knows> <rdfs:domain> <ns:a_Person>
<ns:a_knows> <rdf:type> <owl:ObjectProperty>
<ns:a_knows> <rdf:type> <rdf:Property>
<ns:a_knows> <owl:equivalentProperty> <ns:a_knows>
<ns:a_knows> <rdfs:subPropertyOf> <ns:a_knows>
<ns:a_Peter> <rdfs:label> "a:Peter"^^<xsd:string>
<ns:a_Peter> <owl:sameAs> <ns:a_Peter>
<ns:a_Peter> <rdf:type> <ns:a_Person>
<ns:a_Peter> <rdf:type> <owl:Thing>
<ns:a_Peter> <ns:a_knows> <ns:a_Peter>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
 Removed:
ns=http://www.example.org/ISI02#
<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>
<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>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
 Removed:
ns=http://www.example.org/ISI02#
<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>
<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>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
E59
(ISI03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI03#
<ns:a_hasChild> <rdfs:domain> <ns:a_Mother>
<ns:a_hasChild> <rdfs:label> "a:hasChild"^^<xsd:string>
<ns:a_hasChild> <rdf:type> <owl:ObjectProperty>
<ns:a_hasChild> <rdf:type> <rdf:Property>
<ns:a_hasChild> <owl:equivalentProperty> <ns:a_hasChild>
<ns:a_hasChild> <rdfs:subPropertyOf> <ns:a_hasChild>
<owl:Nothing> <owl:disjointWith> <ns:a_Child>
<owl:Nothing> <owl:disjointWith> <ns:a_Mother>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Child>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Mother>
<ns:a_Paul> <rdfs:label> "a:Paul"^^<xsd:string>
<ns:a_Paul> <owl:sameAs> <ns:a_Paul>
<ns:a_Paul> <rdf:type> <owl:Thing>
<ns:a_Paul> <rdf:type> <ns:a_Child>
<ns:a_Mary> <rdfs:label> "a:Mary"^^<xsd:string>
<ns:a_Mary> <owl:sameAs> <ns:a_Mary>
<ns:a_Mary> <rdf:type> <owl:Thing>
<ns:a_Mary> <rdf:type> <ns:a_Mother>
<ns:a_Mary> <ns:a_hasChild> <ns:a_Paul>
<ns:a_Child> <rdf:type> <owl:Class>
<ns:a_Child> <rdfs:label> "a:Child"^^<xsd:string>
<ns:a_Child> <owl:disjointWith> <owl:Nothing>
<ns:a_Child> <rdfs:subClassOf> <ns:a_Child>
<ns:a_Child> <rdfs:subClassOf> <owl:Thing>
<ns:a_Child> <owl:equivalentClass> <ns:a_Child>
<ns:a_Mother> <rdfs:label> "a:Mother"^^<xsd:string>
<ns:a_Mother> <rdf:type> <owl:Class>
<ns:a_Mother> <owl:disjointWith> <owl:Nothing>
<ns:a_Mother> <rdfs:subClassOf> <ns:a_Mother>
<ns:a_Mother> <rdfs:subClassOf> <owl:Thing>
<ns:a_Mother> <owl:equivalentClass> <ns:a_Mother>
  Inserted:
ns=http://www.example.org/ISI03#
<ns:a_hasChild> <rdfs:domain> <ns:a_Mother>
<ns:a_hasChild> <rdfs:label> "a:hasChild"^^<xsd:string>
<ns:a_hasChild> <rdf:type> <owl:ObjectProperty>
<ns:a_hasChild> <rdf:type> <rdf:Property>
<ns:a_hasChild> <owl:equivalentProperty> <ns:a_hasChild>
<ns:a_hasChild> <rdfs:subPropertyOf> <ns:a_hasChild>
<owl:Nothing> <owl:disjointWith> <ns:a_Child>
<owl:Nothing> <owl:disjointWith> <ns:a_Mother>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Child>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Mother>
<ns:a_Paul> <rdfs:label> "a:Paul"^^<xsd:string>
<ns:a_Paul> <owl:sameAs> <ns:a_Paul>
<ns:a_Paul> <rdf:type> <owl:Thing>
<ns:a_Paul> <rdf:type> <ns:a_Child>
<ns:a_Mary> <rdfs:label> "a:Mary"^^<xsd:string>
<ns:a_Mary> <owl:sameAs> <ns:a_Mary>
<ns:a_Mary> <rdf:type> <owl:Thing>
<ns:a_Mary> <rdf:type> <ns:a_Mother>
<ns:a_Mary> <ns:a_hasChild> <ns:a_Paul>
<ns:a_Child> <rdf:type> <owl:Class>
<ns:a_Child> <rdfs:label> "a:Child"^^<xsd:string>
<ns:a_Child> <owl:disjointWith> <owl:Nothing>
<ns:a_Child> <rdfs:subClassOf> <ns:a_Child>
<ns:a_Child> <rdfs:subClassOf> <owl:Thing>
<ns:a_Child> <owl:equivalentClass> <ns:a_Child>
<ns:a_Mother> <rdfs:label> "a:Mother"^^<xsd:string>
<ns:a_Mother> <rdf:type> <owl:Class>
<ns:a_Mother> <owl:disjointWith> <owl:Nothing>
<ns:a_Mother> <rdfs:subClassOf> <ns:a_Mother>
<ns:a_Mother> <rdfs:subClassOf> <owl:Thing>
<ns:a_Mother> <owl:equivalentClass> <ns:a_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: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: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>
E60
(ISI04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI04#
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:a_MarySmith> <ns:a_hasName> "Mary"^^<xsd:string>
<ns:a_MarySmith> <rdfs:label> "a:MarySmith"^^<xsd:string>
<ns:a_MarySmith> <owl:sameAs> <ns:a_MarySmith>
<ns:a_MarySmith> <rdf:type> <ns:a_Person>
<ns:a_MarySmith> <rdf:type> <owl:Thing>
<ns:a_hasName> <rdfs:domain> <ns:a_Person>
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
Inserted:
ns=http://www.example.org/ISI04#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISI04#
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:a_MarySmith> <ns:a_hasName> "Mary"^^<xsd:string>
<ns:a_MarySmith> <rdfs:label> "a:MarySmith"^^<xsd:string>
<ns:a_MarySmith> <owl:sameAs> <ns:a_MarySmith>
<ns:a_MarySmith> <rdf:type> <ns:a_Person>
<ns:a_MarySmith> <rdf:type> <owl:Thing>
<ns:a_hasName> <rdfs:domain> <ns:a_Person>
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
 Removed:
ns=http://www.example.org/ISI04#
<ns:MarySmith> <owl:sameAs> <ns:MarySmith>
<ns:MarySmith> <rdf:type> <owl:Thing>
<ns:MarySmith> <rdf:type> <ns:Person>
<ns:MarySmith> <ns:hasName> "Mary"
<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>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
 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:MarySmith> <owl:sameAs> <ns:MarySmith>
<ns:MarySmith> <rdf:type> <owl:Thing>
<ns:MarySmith> <rdf:type> <ns:Person>
<ns:MarySmith> <ns:hasName> "Mary"^^<xsd:string>
<rdfs:Literal> <rdf:type> <owl:Datatype>
<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>
E61
(ISI05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI05#
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdfs:domain> <ns:a_Person>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:a_MaryAnn> <rdfs:label> "a:MaryAnn"^^<xsd:string>
<ns:a_MaryAnn> <ns:a_hasName> "Ann"^^<xsd:string>
<ns:a_MaryAnn> <ns:a_hasName> "Mary"^^<xsd:string>
<ns:a_MaryAnn> <owl:sameAs> <ns:a_MaryAnn>
<ns:a_MaryAnn> <rdf:type> <owl:Thing>
<ns:a_MaryAnn> <rdf:type> <ns:a_Person>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
Inserted:
ns=http://www.example.org/ISI05#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISI05#
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdfs:domain> <ns:a_Person>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:a_MaryAnn> <rdfs:label> "a:MaryAnn"^^<xsd:string>
<ns:a_MaryAnn> <ns:a_hasName> "Ann"^^<xsd:string>
<ns:a_MaryAnn> <ns:a_hasName> "Mary"^^<xsd:string>
<ns:a_MaryAnn> <owl:sameAs> <ns:a_MaryAnn>
<ns:a_MaryAnn> <rdf:type> <owl:Thing>
<ns:a_MaryAnn> <rdf:type> <ns:a_Person>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
 Removed:
ns=http://www.example.org/ISI05#
<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"
<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/ISI05#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<rdfs:Literal> <rdf:type> <owl:Datatype>
<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"^^<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:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_hasChild> <rdfs:domain> <ns:a_Person>
<ns:a_hasChild> <rdfs:label> "a:hasChild"^^<xsd:string>
<ns:a_hasChild> <rdf:type> <owl:ObjectProperty>
<ns:a_hasChild> <rdf:type> <rdf:Property>
<ns:a_hasChild> <owl:equivalentProperty> <ns:a_hasChild>
<ns:a_hasChild> <rdfs:subPropertyOf> <ns:a_hasChild>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_genid1> <rdfs:label> "a:genid1"^^<xsd:string>
<ns:a_genid1> <owl:sameAs> <ns:a_genid1>
<ns:a_genid1> <rdf:type> <owl:Thing>
<ns:a_genid1> <rdf:type> <ns:a_Person>
<ns:a_genid1> <ns:a_hasChild> <ns:a_John>
<ns:a_John> <rdfs:label> "a:John"^^<xsd:string>
<ns:a_John> <owl:sameAs> <ns:a_John>
<ns:a_John> <rdf:type> <owl:Thing>
<ns:a_John> <rdf:type> <ns:a_Person>
Inserted:
ns=http://www.example.org/ISJ01#
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Person>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasChild> <ns:John>
Inserted:
ns=http://www.example.org/ISJ01#
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_hasChild> <rdfs:domain> <ns:a_Person>
<ns:a_hasChild> <rdfs:label> "a:hasChild"^^<xsd:string>
<ns:a_hasChild> <rdf:type> <owl:ObjectProperty>
<ns:a_hasChild> <rdf:type> <rdf:Property>
<ns:a_hasChild> <owl:equivalentProperty> <ns:a_hasChild>
<ns:a_hasChild> <rdfs:subPropertyOf> <ns:a_hasChild>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_genid1> <rdfs:label> "a:genid1"^^<xsd:string>
<ns:a_genid1> <owl:sameAs> <ns:a_genid1>
<ns:a_genid1> <rdf:type> <owl:Thing>
<ns:a_genid1> <rdf:type> <ns:a_Person>
<ns:a_genid1> <ns:a_hasChild> <ns:a_John>
<ns:a_John> <rdfs:label> "a:John"^^<xsd:string>
<ns:a_John> <owl:sameAs> <ns:a_John>
<ns:a_John> <rdf:type> <owl:Thing>
<ns:a_John> <rdf:type> <ns:a_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>
_:7efb <owl:sameAs> _:7efb
_:7efb <rdf:type> <ns:Person>
_:7efb <rdf:type> <owl:Thing>
_:7efb <ns:hasChild> <ns:John>
<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#
_:7f9b <owl:sameAs> _:7f9b
_:7f9b <rdf:type> <ns:Person>
_:7f9b <rdf:type> <owl:Thing>
_:7f9b <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> <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:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Person>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasChild> <ns:John>
<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:a_Parent> <rdfs:label> "a:Parent"^^<xsd:string>
<ns:a_Parent> <rdf:type> <owl:Class>
<ns:a_Parent> <owl:disjointWith> <owl:Nothing>
<ns:a_Parent> <rdfs:subClassOf> <ns:a_Parent>
<ns:a_Parent> <rdfs:subClassOf> <owl:Thing>
<ns:a_Parent> <owl:equivalentClass> <ns:a_Parent>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:a_Parent>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Parent>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_John> <rdfs:label> "a:John"^^<xsd:string>
<ns:a_John> <owl:sameAs> <ns:a_John>
<ns:a_John> <rdf:type> <ns:a_Person>
<ns:a_John> <rdf:type> <owl:Thing>
<ns:a_genid1> <rdfs:label> "a:genid1"^^<xsd:string>
<ns:a_genid1> <owl:sameAs> <ns:a_genid1>
<ns:a_genid1> <rdf:type> <ns:a_Parent>
<ns:a_genid1> <rdf:type> <owl:Thing>
<ns:a_genid1> <ns:a_hasChild> <ns:a_John>
<ns:a_hasChild> <rdfs:domain> <ns:a_Parent>
<ns:a_hasChild> <rdfs:label> "a:hasChild"^^<xsd:string>
<ns:a_hasChild> <rdf:type> <owl:ObjectProperty>
<ns:a_hasChild> <rdf:type> <rdf:Property>
<ns:a_hasChild> <owl:equivalentProperty> <ns:a_hasChild>
<ns:a_hasChild> <rdfs:subPropertyOf> <ns:a_hasChild>
Inserted:
ns=http://www.example.org/ISJ02#
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Parent>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasChild> <ns:John>
Inserted:
ns=http://www.example.org/ISJ02#
<ns:a_Parent> <rdfs:label> "a:Parent"^^<xsd:string>
<ns:a_Parent> <rdf:type> <owl:Class>
<ns:a_Parent> <owl:disjointWith> <owl:Nothing>
<ns:a_Parent> <rdfs:subClassOf> <ns:a_Parent>
<ns:a_Parent> <rdfs:subClassOf> <owl:Thing>
<ns:a_Parent> <owl:equivalentClass> <ns:a_Parent>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:a_Parent>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Parent>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_John> <rdfs:label> "a:John"^^<xsd:string>
<ns:a_John> <owl:sameAs> <ns:a_John>
<ns:a_John> <rdf:type> <ns:a_Person>
<ns:a_John> <rdf:type> <owl:Thing>
<ns:a_genid1> <rdfs:label> "a:genid1"^^<xsd:string>
<ns:a_genid1> <owl:sameAs> <ns:a_genid1>
<ns:a_genid1> <rdf:type> <ns:a_Parent>
<ns:a_genid1> <rdf:type> <owl:Thing>
<ns:a_genid1> <ns:a_hasChild> <ns:a_John>
<ns:a_hasChild> <rdfs:domain> <ns:a_Parent>
<ns:a_hasChild> <rdfs:label> "a:hasChild"^^<xsd:string>
<ns:a_hasChild> <rdf:type> <owl:ObjectProperty>
<ns:a_hasChild> <rdf:type> <rdf:Property>
<ns:a_hasChild> <owl:equivalentProperty> <ns:a_hasChild>
<ns:a_hasChild> <rdfs:subPropertyOf> <ns:a_hasChild>
 Removed:
ns=http://www.example.org/ISJ02#
_:7ef9 <owl:sameAs> _:7ef9
_:7ef9 <rdf:type> <ns:Parent>
_:7ef9 <rdf:type> <owl:Thing>
_:7ef9 <ns:hasChild> <ns:John>
<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: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#
_:7f99 <owl:sameAs> _:7f99
_:7f99 <rdf:type> <ns:Parent>
_:7f99 <rdf:type> <owl:Thing>
_:7f99 <ns:hasChild> <ns:John>
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:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Parent>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <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>
E64
(ISJ03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ03#
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdfs:domain> <ns:a_Person>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_genid1> <rdfs:label> "a:genid1"^^<xsd:string>
<ns:a_genid1> <ns:a_hasName> "Peter"^^<xsd:string>
<ns:a_genid1> <owl:sameAs> <ns:a_genid1>
<ns:a_genid1> <rdf:type> <ns:a_Person>
<ns:a_genid1> <rdf:type> <owl:Thing>
Inserted:
ns=http://www.example.org/ISJ03#
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <rdf:type> <ns:Person>
<ns:genid1> <ns:hasName> "Peter"^^<xsd:string>
Inserted:
ns=http://www.example.org/ISJ03#
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdfs:domain> <ns:a_Person>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_genid1> <rdfs:label> "a:genid1"^^<xsd:string>
<ns:a_genid1> <ns:a_hasName> "Peter"^^<xsd:string>
<ns:a_genid1> <owl:sameAs> <ns:a_genid1>
<ns:a_genid1> <rdf:type> <ns:a_Person>
<ns:a_genid1> <rdf:type> <owl:Thing>
 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>
<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>
_:7ef7 <owl:sameAs> _:7ef7
_:7ef7 <rdf:type> <owl:Thing>
_:7ef7 <rdf:type> <ns:Person>
_:7ef7 <ns:hasName> "Peter"
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
Removed:
ns=http://www.example.org/ISJ03#
_:7f97 <owl:sameAs> _:7f97
_:7f97 <rdf:type> <owl:Thing>
_:7f97 <rdf:type> <ns:Person>
_:7f97 <ns:hasName> "Peter"
Removed:
ns=http://www.example.org/ISJ03#
<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:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <rdf:type> <ns:Person>
<ns:genid1> <ns:hasName> "Peter"^^<xsd:string>
<rdfs:Literal> <rdf:type> <owl:Datatype>
E65
(ISK01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK01#
<ns:a_MaryAnn> <rdfs:label> "a:MaryAnn"^^<xsd:string>
<ns:a_MaryAnn> <owl:sameAs> <ns:a_MaryAnn>
<ns:a_MaryAnn> <rdf:type> <ns:a_Person>
<ns:a_MaryAnn> <rdf:type> <owl:Thing>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Mary> <rdfs:label> "a:Mary"^^<xsd:string>
<ns:a_Mary> <owl:sameAs> <ns:a_Mary>
<ns:a_Mary> <rdf:type> <ns:a_Person>
<ns:a_Mary> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISK01#
<ns:a_MaryAnn> <rdfs:label> "a:MaryAnn"^^<xsd:string>
<ns:a_MaryAnn> <owl:sameAs> <ns:a_MaryAnn>
<ns:a_MaryAnn> <rdf:type> <ns:a_Person>
<ns:a_MaryAnn> <rdf:type> <owl:Thing>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Mary> <rdfs:label> "a:Mary"^^<xsd:string>
<ns:a_Mary> <owl:sameAs> <ns:a_Mary>
<ns:a_Mary> <rdf:type> <ns:a_Person>
<ns:a_Mary> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISK01#
<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: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:Mary> <owl:sameAs> <ns:MaryAnn>
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <rdf:type> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
 Removed:
ns=http://www.example.org/ISK01#
<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: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:Mary> <owl:sameAs> <ns:MaryAnn>
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <rdf:type> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
E66
(ISK02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK02#
<ns:a_Ann> <rdfs:label> "a:Ann"^^<xsd:string>
<ns:a_Ann> <owl:sameAs> <ns:a_Ann>
<ns:a_Ann> <rdf:type> <owl:Thing>
<ns:a_Ann> <rdf:type> <ns:a_Person>
<ns:a_MaryAnn> <rdfs:label> "a:MaryAnn"^^<xsd:string>
<ns:a_MaryAnn> <owl:sameAs> <ns:a_MaryAnn>
<ns:a_MaryAnn> <rdf:type> <owl:Thing>
<ns:a_MaryAnn> <rdf:type> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
  Inserted:
ns=http://www.example.org/ISK02#
<ns:a_Ann> <rdfs:label> "a:Ann"^^<xsd:string>
<ns:a_Ann> <owl:sameAs> <ns:a_Ann>
<ns:a_Ann> <rdf:type> <owl:Thing>
<ns:a_Ann> <rdf:type> <ns:a_Person>
<ns:a_MaryAnn> <rdfs:label> "a:MaryAnn"^^<xsd:string>
<ns:a_MaryAnn> <owl:sameAs> <ns:a_MaryAnn>
<ns:a_MaryAnn> <rdf:type> <owl:Thing>
<ns:a_MaryAnn> <rdf:type> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
 Removed:
ns=http://www.example.org/ISK02#
<ns:Ann> <owl:sameAs> <ns:Ann>
<ns:Ann> <rdf:type> <ns:Person>
<ns:Ann> <rdf:type> <owl:Thing>
<ns:MaryAnn> <owl:differentFrom> <ns:Ann>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<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/ISK02#
<ns:Ann> <owl:differentFrom> <ns:MaryAnn>
<ns:Ann> <owl:sameAs> <ns:Ann>
<ns:Ann> <rdf:type> <ns:Person>
<ns:Ann> <rdf:type> <owl:Thing>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<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>
E67
(ISK03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK03#
<ns:a_Mary> <rdfs:label> "a:Mary"^^<xsd:string>
<ns:a_Mary> <owl:sameAs> <ns:a_Mary>
<ns:a_Mary> <rdf:type> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_Joan> <rdfs:label> "a:Joan"^^<xsd:string>
<ns:a_Joan> <owl:sameAs> <ns:a_Joan>
<ns:a_Joan> <rdf:type> <owl:Thing>
<ns:a_Ann> <rdfs:label> "a:Ann"^^<xsd:string>
<ns:a_Ann> <owl:sameAs> <ns:a_Ann>
<ns:a_Ann> <rdf:type> <ns:a_Person>
<ns:a_Ann> <rdf:type> <owl:Thing>
  Inserted:
ns=http://www.example.org/ISK03#
<ns:a_Mary> <rdfs:label> "a:Mary"^^<xsd:string>
<ns:a_Mary> <owl:sameAs> <ns:a_Mary>
<ns:a_Mary> <rdf:type> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_Joan> <rdfs:label> "a:Joan"^^<xsd:string>
<ns:a_Joan> <owl:sameAs> <ns:a_Joan>
<ns:a_Joan> <rdf:type> <owl:Thing>
<ns:a_Ann> <rdfs:label> "a:Ann"^^<xsd:string>
<ns:a_Ann> <owl:sameAs> <ns:a_Ann>
<ns:a_Ann> <rdf:type> <ns:a_Person>
<ns:a_Ann> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISK03#
_:7eed <rdf:type> <owl:AllDifferent>
_:7eed <owl:distinctMembers> _:7eec
<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>
_:7eea <rdf:first> <ns:Mary>
_:7eea <rdf:rest> <rdf:nil>
_:7eeb <rdf:first> <ns:Joan>
_:7eeb <rdf:rest> _:7eea
_:7eec <rdf:first> <ns:Ann>
_:7eec <rdf:rest> _:7eeb
<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#
_:7ef3 <rdf:first> <ns:Joan>
_:7ef3 <rdf:rest> _:7ef2
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
_:7ef4 <rdf:first> <ns:Ann>
_:7ef4 <rdf:rest> _:7ef3
<ns:Ann> <owl:sameAs> <ns:Ann>
<ns:Ann> <rdf:type> <ns:Person>
<ns:Ann> <rdf:type> <owl:Thing>
_:7ef5 <rdf:type> <owl:AllDifferent>
_:7ef5 <owl:distinctMembers> _:7ef4
<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>
_:7ef2 <rdf:first> <ns:Mary>
_:7ef2 <rdf:rest> <rdf:nil>
<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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL01#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
Removed:
ns=http://www.example.org/ISL01#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
 
E69
(ISL02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL02#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
Removed:
ns=http://www.example.org/ISL02#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
 
E70
(ISL03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL03#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
Removed:
ns=http://www.example.org/ISL03#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
 
E71
(ISL04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL04#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
Removed:
ns=http://www.example.org/ISL04#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
 
E72
(ISL05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL05#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL05#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
 
E73
(ISL06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL06#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL06#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
 
E74
(ISL07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL07#
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdfs:domain> <ns:a_Person>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:a_MaryAnn> <ns:a_hasName> "Ann"^^<xsd:string>
<ns:a_MaryAnn> <ns:a_hasName> "Mary"^^<xsd:string>
<ns:a_MaryAnn> <rdfs:label> "a:MaryAnn"^^<xsd:string>
<ns:a_MaryAnn> <owl:sameAs> <ns:a_MaryAnn>
<ns:a_MaryAnn> <rdf:type> <owl:Thing>
<ns:a_MaryAnn> <rdf:type> <ns:a_Person>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
Inserted:
ns=http://www.example.org/ISL07#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISL07#
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdfs:domain> <ns:a_Person>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:a_MaryAnn> <ns:a_hasName> "Ann"^^<xsd:string>
<ns:a_MaryAnn> <ns:a_hasName> "Mary"^^<xsd:string>
<ns:a_MaryAnn> <rdfs:label> "a:MaryAnn"^^<xsd:string>
<ns:a_MaryAnn> <owl:sameAs> <ns:a_MaryAnn>
<ns:a_MaryAnn> <rdf:type> <owl:Thing>
<ns:a_MaryAnn> <rdf:type> <ns:a_Person>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
 Removed:
ns=http://www.example.org/ISL07#
<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"
<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: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>
 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"^^<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> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<rdfs:Literal> <rdf:type> <owl:Datatype>
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
<ns:a_hasName> <rdfs:domain> <ns:a_Person>
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_MaryAnn> <ns:a_hasName> "Ann"^^<xsd:string>
<ns:a_MaryAnn> <ns:a_hasName> "Mary"^^<xsd:string>
<ns:a_MaryAnn> <rdfs:label> "a:MaryAnn"^^<xsd:string>
<ns:a_MaryAnn> <owl:sameAs> <ns:a_MaryAnn>
<ns:a_MaryAnn> <rdf:type> <owl:Thing>
<ns:a_MaryAnn> <rdf:type> <ns:a_Person>
Inserted:
ns=http://www.example.org/ISL08#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISL08#
<ns:a_hasName> <rdfs:domain> <ns:a_Person>
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:a_MaryAnn> <ns:a_hasName> "Ann"^^<xsd:string>
<ns:a_MaryAnn> <ns:a_hasName> "Mary"^^<xsd:string>
<ns:a_MaryAnn> <rdfs:label> "a:MaryAnn"^^<xsd:string>
<ns:a_MaryAnn> <owl:sameAs> <ns:a_MaryAnn>
<ns:a_MaryAnn> <rdf:type> <owl:Thing>
<ns:a_MaryAnn> <rdf:type> <ns:a_Person>
 Removed:
ns=http://www.example.org/ISL08#
<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"
<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/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>
<rdfs:Literal> <rdf:type> <owl:Datatype>
<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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL09#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL09#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
 
E77
(ISL10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL10#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL10#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
 
E78
(ISL11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL11#
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdfs:domain> <ns:a_Person>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:a_hasSurname> <rdfs:label> "a:hasSurname"^^<xsd:string>
<ns:a_hasSurname> <rdfs:domain> <ns:a_Person>
<ns:a_hasSurname> <rdf:type> <owl:ObjectProperty>
<ns:a_hasSurname> <rdf:type> <rdf:Property>
<ns:a_hasSurname> <owl:equivalentProperty> <ns:a_hasSurname>
<ns:a_hasSurname> <rdfs:subPropertyOf> <ns:a_hasSurname>
<ns:a_JohnDoe> <rdfs:label> "a:JohnDoe"^^<xsd:string>
<ns:a_JohnDoe> <ns:a_hasSurname> "Doe"^^<xsd:string>
<ns:a_JohnDoe> <ns:a_hasName> "John"^^<xsd:string>
<ns:a_JohnDoe> <owl:sameAs> <ns:a_JohnDoe>
<ns:a_JohnDoe> <rdf:type> <ns:a_Person>
<ns:a_JohnDoe> <rdf:type> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
Inserted:
ns=http://www.example.org/ISL11#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISL11#
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdfs:domain> <ns:a_Person>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:a_hasSurname> <rdfs:label> "a:hasSurname"^^<xsd:string>
<ns:a_hasSurname> <rdfs:domain> <ns:a_Person>
<ns:a_hasSurname> <rdf:type> <owl:ObjectProperty>
<ns:a_hasSurname> <rdf:type> <rdf:Property>
<ns:a_hasSurname> <owl:equivalentProperty> <ns:a_hasSurname>
<ns:a_hasSurname> <rdfs:subPropertyOf> <ns:a_hasSurname>
<ns:a_JohnDoe> <rdfs:label> "a:JohnDoe"^^<xsd:string>
<ns:a_JohnDoe> <ns:a_hasSurname> "Doe"^^<xsd:string>
<ns:a_JohnDoe> <ns:a_hasName> "John"^^<xsd:string>
<ns:a_JohnDoe> <owl:sameAs> <ns:a_JohnDoe>
<ns:a_JohnDoe> <rdf:type> <ns:a_Person>
<ns:a_JohnDoe> <rdf:type> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
 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: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> <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"^^<xsd:string>
<ns:JohnDoe> <ns:hasName> "John"^^<xsd:string>
<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>
<rdfs:Literal> <rdf:type> <owl:Datatype>
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL12#
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_hasSurname> <rdfs:domain> <ns:a_Person>
<ns:a_hasSurname> <rdfs:label> "a:hasSurname"^^<xsd:string>
<ns:a_hasSurname> <rdf:type> <owl:ObjectProperty>
<ns:a_hasSurname> <rdf:type> <rdf:Property>
<ns:a_hasSurname> <owl:equivalentProperty> <ns:a_hasSurname>
<ns:a_hasSurname> <rdfs:subPropertyOf> <ns:a_hasSurname>
<ns:a_hasName> <rdfs:domain> <ns:a_Person>
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:a_JohnDoe> <ns:a_hasSurname> "Doe"^^<xsd:string>
<ns:a_JohnDoe> <ns:a_hasName> "John"^^<xsd:string>
<ns:a_JohnDoe> <rdfs:label> "a:JohnDoe"^^<xsd:string>
<ns:a_JohnDoe> <owl:sameAs> <ns:a_JohnDoe>
<ns:a_JohnDoe> <rdf:type> <ns:a_Person>
<ns:a_JohnDoe> <rdf:type> <owl:Thing>
Inserted:
ns=http://www.example.org/ISL12#
<rdfs:Literal> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISL12#
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_hasSurname> <rdfs:domain> <ns:a_Person>
<ns:a_hasSurname> <rdfs:label> "a:hasSurname"^^<xsd:string>
<ns:a_hasSurname> <rdf:type> <owl:ObjectProperty>
<ns:a_hasSurname> <rdf:type> <rdf:Property>
<ns:a_hasSurname> <owl:equivalentProperty> <ns:a_hasSurname>
<ns:a_hasSurname> <rdfs:subPropertyOf> <ns:a_hasSurname>
<ns:a_hasName> <rdfs:domain> <ns:a_Person>
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:a_JohnDoe> <ns:a_hasSurname> "Doe"^^<xsd:string>
<ns:a_JohnDoe> <ns:a_hasName> "John"^^<xsd:string>
<ns:a_JohnDoe> <rdfs:label> "a:JohnDoe"^^<xsd:string>
<ns:a_JohnDoe> <owl:sameAs> <ns:a_JohnDoe>
<ns:a_JohnDoe> <rdf:type> <ns:a_Person>
<ns:a_JohnDoe> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISL12#
<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: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#
<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: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> <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>
<rdfs:Literal> <rdf:type> <owl:Datatype>
E80
(ISL13)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL13#
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:a_Child>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Child>
<ns:a_Child> <rdf:type> <owl:Class>
<ns:a_Child> <rdfs:label> "a:Child"^^<xsd:string>
<ns:a_Child> <owl:disjointWith> <owl:Nothing>
<ns:a_Child> <rdfs:subClassOf> <ns:a_Child>
<ns:a_Child> <rdfs:subClassOf> <owl:Thing>
<ns:a_Child> <owl:equivalentClass> <ns:a_Child>
<ns:a_genid-node1> <ns:a_hasName> "Paul"^^<xsd:string>
<ns:a_genid-node1> <rdfs:label> "a:genid-node1"^^<xsd:string>
<ns:a_genid-node1> <owl:sameAs> <ns:a_genid-node1>
<ns:a_genid-node1> <rdf:type> <owl:Thing>
<ns:a_genid-node1> <rdf:type> <ns:a_Child>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdfs:domain> <ns:a_Child>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:a_hasChild> <rdfs:domain> <ns:a_Person>
<ns:a_hasChild> <rdfs:label> "a:hasChild"^^<xsd:string>
<ns:a_hasChild> <rdf:type> <owl:ObjectProperty>
<ns:a_hasChild> <rdf:type> <rdf:Property>
<ns:a_hasChild> <owl:equivalentProperty> <ns:a_hasChild>
<ns:a_hasChild> <rdfs:subPropertyOf> <ns:a_hasChild>
<ns:a_John> <rdfs:label> "a:John"^^<xsd:string>
<ns:a_John> <owl:sameAs> <ns:a_John>
<ns:a_John> <rdf:type> <owl:Thing>
<ns:a_John> <rdf:type> <ns:a_Person>
<ns:a_John> <ns:a_hasChild> <ns:a_genid-node1>
Inserted:
ns=http://www.example.org/ISL13#
<ns:genid-node1> <owl:sameAs> <ns:genid-node1>
<ns:genid-node1> <rdf:type> <ns:Child>
<ns:genid-node1> <rdf:type> <owl:Thing>
<ns:genid-node1> <ns:hasName> "Paul"^^<xsd:string>
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:John> <ns:hasChild> <ns:genid-node1>
Inserted:
ns=http://www.example.org/ISL13#
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:a_Child>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Child>
<ns:a_Child> <rdf:type> <owl:Class>
<ns:a_Child> <rdfs:label> "a:Child"^^<xsd:string>
<ns:a_Child> <owl:disjointWith> <owl:Nothing>
<ns:a_Child> <rdfs:subClassOf> <ns:a_Child>
<ns:a_Child> <rdfs:subClassOf> <owl:Thing>
<ns:a_Child> <owl:equivalentClass> <ns:a_Child>
<ns:a_genid-node1> <ns:a_hasName> "Paul"^^<xsd:string>
<ns:a_genid-node1> <rdfs:label> "a:genid-node1"^^<xsd:string>
<ns:a_genid-node1> <owl:sameAs> <ns:a_genid-node1>
<ns:a_genid-node1> <rdf:type> <owl:Thing>
<ns:a_genid-node1> <rdf:type> <ns:a_Child>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdfs:domain> <ns:a_Child>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:a_hasChild> <rdfs:domain> <ns:a_Person>
<ns:a_hasChild> <rdfs:label> "a:hasChild"^^<xsd:string>
<ns:a_hasChild> <rdf:type> <owl:ObjectProperty>
<ns:a_hasChild> <rdf:type> <rdf:Property>
<ns:a_hasChild> <owl:equivalentProperty> <ns:a_hasChild>
<ns:a_hasChild> <rdfs:subPropertyOf> <ns:a_hasChild>
<ns:a_John> <rdfs:label> "a:John"^^<xsd:string>
<ns:a_John> <owl:sameAs> <ns:a_John>
<ns:a_John> <rdf:type> <owl:Thing>
<ns:a_John> <rdf:type> <ns:a_Person>
<ns:a_John> <ns:a_hasChild> <ns:a_genid-node1>
 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> _:7ee5
_:7ee5 <owl:sameAs> _:7ee5
_:7ee5 <rdf:type> <ns:Child>
_:7ee5 <rdf:type> <owl:Thing>
_:7ee5 <ns:hasName> "Paul"
<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> <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#
_:7f8d <owl:sameAs> _:7f8d
_:7f8d <rdf:type> <ns:Child>
_:7f8d <rdf:type> <owl:Thing>
_:7f8d <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:7f8d
Removed:
ns=http://www.example.org/ISL13#
<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> <ns:genid-node1>
<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:genid-node1> <owl:sameAs> <ns:genid-node1>
<ns:genid-node1> <rdf:type> <ns:Child>
<ns:genid-node1> <rdf:type> <owl:Thing>
<ns:genid-node1> <ns:hasName> "Paul"^^<xsd:string>
<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>
<rdfs:Literal> <rdf:type> <owl:Datatype>
E81
(ISL14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL14#
<ns:a_Child> <rdf:type> <owl:Class>
<ns:a_Child> <rdfs:label> "a:Child"^^<xsd:string>
<ns:a_Child> <owl:disjointWith> <owl:Nothing>
<ns:a_Child> <rdfs:subClassOf> <ns:a_Child>
<ns:a_Child> <rdfs:subClassOf> <owl:Thing>
<ns:a_Child> <owl:equivalentClass> <ns:a_Child>
<ns:a_genid1> <ns:a_hasName> "Paul"^^<xsd:string>
<ns:a_genid1> <rdfs:label> "a:genid1"^^<xsd:string>
<ns:a_genid1> <owl:sameAs> <ns:a_genid1>
<ns:a_genid1> <rdf:type> <owl:Thing>
<ns:a_genid1> <rdf:type> <ns:a_Child>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:a_Child>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Child>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<ns:a_hasName> <rdfs:domain> <ns:a_Child>
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_hasChild> <rdfs:label> "a:hasChild"^^<xsd:string>
<ns:a_hasChild> <rdfs:domain> <ns:a_Person>
<ns:a_hasChild> <rdf:type> <owl:ObjectProperty>
<ns:a_hasChild> <rdf:type> <rdf:Property>
<ns:a_hasChild> <owl:equivalentProperty> <ns:a_hasChild>
<ns:a_hasChild> <rdfs:subPropertyOf> <ns:a_hasChild>
<ns:a_John> <rdfs:label> "a:John"^^<xsd:string>
<ns:a_John> <owl:sameAs> <ns:a_John>
<ns:a_John> <rdf:type> <ns:a_Person>
<ns:a_John> <rdf:type> <owl:Thing>
<ns:a_John> <ns:a_hasChild> <ns:a_genid1>
Inserted:
ns=http://www.example.org/ISL14#
<rdfs:Literal> <rdf:type> <owl:Datatype>
<ns:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Child>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasName> "Paul"^^<xsd:string>
<ns:John> <ns:hasChild> <ns:genid1>
Inserted:
ns=http://www.example.org/ISL14#
<ns:a_Child> <rdf:type> <owl:Class>
<ns:a_Child> <rdfs:label> "a:Child"^^<xsd:string>
<ns:a_Child> <owl:disjointWith> <owl:Nothing>
<ns:a_Child> <rdfs:subClassOf> <ns:a_Child>
<ns:a_Child> <rdfs:subClassOf> <owl:Thing>
<ns:a_Child> <owl:equivalentClass> <ns:a_Child>
<ns:a_genid1> <ns:a_hasName> "Paul"^^<xsd:string>
<ns:a_genid1> <rdfs:label> "a:genid1"^^<xsd:string>
<ns:a_genid1> <owl:sameAs> <ns:a_genid1>
<ns:a_genid1> <rdf:type> <owl:Thing>
<ns:a_genid1> <rdf:type> <ns:a_Child>
<owl:Nothing> <owl:disjointWith> <ns:a_Person>
<owl:Nothing> <owl:disjointWith> <ns:owl_Datatype>
<owl:Nothing> <owl:disjointWith> <ns:a_Child>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Person>
<owl:Nothing> <rdfs:subClassOf> <ns:owl_Datatype>
<owl:Nothing> <rdfs:subClassOf> <ns:a_Child>
<ns:owl_Datatype> <rdf:type> <owl:Class>
<ns:owl_Datatype> <rdfs:label> "owl:Datatype"^^<xsd:string>
<ns:owl_Datatype> <owl:disjointWith> <owl:Nothing>
<ns:owl_Datatype> <rdfs:subClassOf> <ns:owl_Datatype>
<ns:owl_Datatype> <rdfs:subClassOf> <owl:Thing>
<ns:owl_Datatype> <owl:equivalentClass> <ns:owl_Datatype>
<ns:a_hasName> <rdfs:domain> <ns:a_Child>
<ns:a_hasName> <rdfs:label> "a:hasName"^^<xsd:string>
<ns:a_hasName> <rdf:type> <owl:ObjectProperty>
<ns:a_hasName> <rdf:type> <rdf:Property>
<ns:a_hasName> <owl:equivalentProperty> <ns:a_hasName>
<ns:a_hasName> <rdfs:subPropertyOf> <ns:a_hasName>
<ns:a_Person> <rdf:type> <owl:Class>
<ns:a_Person> <rdfs:label> "a:Person"^^<xsd:string>
<ns:a_Person> <owl:disjointWith> <owl:Nothing>
<ns:a_Person> <rdfs:subClassOf> <ns:a_Person>
<ns:a_Person> <rdfs:subClassOf> <owl:Thing>
<ns:a_Person> <owl:equivalentClass> <ns:a_Person>
<ns:a_hasChild> <rdfs:label> "a:hasChild"^^<xsd:string>
<ns:a_hasChild> <rdfs:domain> <ns:a_Person>
<ns:a_hasChild> <rdf:type> <owl:ObjectProperty>
<ns:a_hasChild> <rdf:type> <rdf:Property>
<ns:a_hasChild> <owl:equivalentProperty> <ns:a_hasChild>
<ns:a_hasChild> <rdfs:subPropertyOf> <ns:a_hasChild>
<ns:a_John> <rdfs:label> "a:John"^^<xsd:string>
<ns:a_John> <owl:sameAs> <ns:a_John>
<ns:a_John> <rdf:type> <ns:a_Person>
<ns:a_John> <rdf:type> <owl:Thing>
<ns:a_John> <ns:a_hasChild> <ns:a_genid1>
 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>
_:7ee3 <owl:sameAs> _:7ee3
_:7ee3 <rdf:type> <ns:Child>
_:7ee3 <rdf:type> <owl:Thing>
_:7ee3 <ns:hasName> "Paul"
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
<ns:John> <owl:sameAs> <ns:John>
<ns:John> <rdf:type> <ns:Person>
<ns:John> <rdf:type> <owl:Thing>
<ns:John> <ns:hasChild> _:7ee3
<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#
<ns:John> <ns:hasChild> _:7f8b
_:7f8b <owl:sameAs> _:7f8b
_:7f8b <rdf:type> <ns:Child>
_:7f8b <rdf:type> <owl:Thing>
_:7f8b <ns:hasName> "Paul"
Removed:
ns=http://www.example.org/ISL14#
<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>
<ns:John> <owl:sameAs> <ns:John>
<ns:John> <rdf:type> <ns:Person>
<ns:John> <rdf:type> <owl:Thing>
<ns:John> <ns:hasChild> <ns:genid1>
<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:genid1> <owl:sameAs> <ns:genid1>
<ns:genid1> <rdf:type> <ns:Child>
<ns:genid1> <rdf:type> <owl:Thing>
<ns:genid1> <ns:hasName> "Paul"^^<xsd:string>
<ns: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>
<rdfs:Literal> <rdf:type> <owl:Datatype>
E82
(ISL15)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL15#
<ns:Book> <rdfs:label> "Book"@en
<ns:Book> <rdfs:label> "Libro"@es
 Removed:
ns=http://www.example.org/ISL15#
<ns:Book> <rdfs:label> "Libro"@es
<ns:Book> <rdfs:label> "Book"@en
Namespaces
owl=http://www.w3.org/2002/07/owl#
rdf=http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs=http://www.w3.org/2000/01/rdf-schema#
xsd=http://www.w3.org/2001/XMLSchema
#diff=http://www.aifb.uni-karlsruhe.de/WBS/dvr/owltools/diff/result#