Interoperability from Gate to SWIProlog (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (Gate) Step2 (SWIProlog)
E01
(ISA01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E02
(ISA02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E03
(ISA03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E04
(ISA04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E05
(ISA05)		Interchange = 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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA07#
<ns:Driver> <rdfs:subClassOf> _:7ac9
_:7ac9 <rdf:type> <owl:Restriction>
_:7ac9 <owl:onProperty> <ns:hasCar>
_:7ac9 <owl:someValuesFrom> <ns:Car>
Inserted:
ns=http://www.example.org/ISA07#
_:7ffa <rdf:type> <owl:Restriction>
_:7ffa <owl:onProperty> <ns:hasCar>
_:7ffa <owl:someValuesFrom> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:7ffa
 
 Removed:
ns=http://www.example.org/ISA07#
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:7aca
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
_:7aca <rdf:type> <owl:Restriction>
_:7aca <owl:onProperty> <ns:hasCar>
_:7aca <owl:someValuesFrom> <ns:Car>
Removed:
ns=http://www.example.org/ISA07#
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
_:7ffb <rdf:type> <owl:Restriction>
_:7ffb <owl:onProperty> <ns:hasCar>
_:7ffb <owl:someValuesFrom> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:7ffb
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
 
E08
(ISA08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:7ac3
_:7ac3 <rdf:type> <owl:Restriction>
_:7ac3 <owl:allValuesFrom> <ns:Italy>
_:7ac3 <owl:onProperty> <ns:wasBorn>
Inserted:
ns=http://www.example.org/ISA08#
_:7ff6 <rdf:type> <owl:Restriction>
_:7ff6 <owl:onProperty> <ns:wasBorn>
_:7ff6 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:7ff6
 
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:7ac4
_:7ac4 <rdf:type> <owl:Restriction>
_:7ac4 <owl:onProperty> <ns:wasBorn>
_:7ac4 <owl:allValuesFrom> <ns:Italy>
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
Removed:
ns=http://www.example.org/ISA08#
<ns:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
_:7ff7 <rdf:type> <owl:Restriction>
_:7ff7 <owl:onProperty> <ns:wasBorn>
_:7ff7 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:7ff7
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
 
E09
(ISA09)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E10
(ISA10)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E11
(ISA11)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E12
(ISA12)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E13
(ISA13)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E14
(ISA14)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E15
(ISA15)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E16
(ISA16)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E17
(ISA17)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E18
(ISB01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E19
(ISB02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB02#
<ns:Driver> <owl:equivalentClass> _:7a8d
_:7a8d <rdf:type> <owl:Restriction>
_:7a8d <owl:onProperty> <ns:hasCar>
_:7a8d <owl:someValuesFrom> <ns:Car>
Inserted:
ns=http://www.example.org/ISB02#
<ns:Driver> <owl:equivalentClass> _:7fda
_:7fda <rdf:type> <owl:Restriction>
_:7fda <owl:onProperty> <ns:hasCar>
_:7fda <owl:someValuesFrom> <ns:Car>
 
 Removed:
ns=http://www.example.org/ISB02#
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
<ns:Driver> <owl:equivalentClass> _:7a8e
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
_:7a8e <rdf:type> <owl:Restriction>
_:7a8e <owl:onProperty> <ns:hasCar>
_:7a8e <owl:someValuesFrom> <ns:Car>
Removed:
ns=http://www.example.org/ISB02#
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
<ns:Driver> <owl:equivalentClass> _:7fdb
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
_:7fdb <rdf:type> <owl:Restriction>
_:7fdb <owl:onProperty> <ns:hasCar>
_:7fdb <owl:someValuesFrom> <ns:Car>
 
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB03#
_:7a87 <rdf:type> <owl:Restriction>
_:7a87 <owl:allValuesFrom> <ns:Italy>
_:7a87 <owl:onProperty> <ns:wasBorn>
<ns:Italian> <owl:equivalentClass> _:7a87
Inserted:
ns=http://www.example.org/ISB03#
_:7fd6 <rdf:type> <owl:Restriction>
_:7fd6 <owl:onProperty> <ns:wasBorn>
_:7fd6 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:7fd6
 
 Removed:
ns=http://www.example.org/ISB03#
_:7a88 <rdf:type> <owl:Restriction>
_:7a88 <owl:onProperty> <ns:wasBorn>
_:7a88 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:7a88
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
Removed:
ns=http://www.example.org/ISB03#
_:7fd7 <rdf:type> <owl:Restriction>
_:7fd7 <owl:onProperty> <ns:wasBorn>
_:7fd7 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:7fd7
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
 
E21
(ISB04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E22
(ISB05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E23
(ISB06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E24
(ISB07)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E25
(ISB08)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E26
(ISB09)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E27
(ISB10)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E28
(ISB11)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E29
(ISB12)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E30
(ISC01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E31
(ISC02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E32
(ISD01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E33
(ISD02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E34
(ISD03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E35
(ISD04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E36
(ISE01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E37
(ISE02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E38
(ISE03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E39
(ISE04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E40
(ISE05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E41
(ISE06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E42
(ISE07)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E43
(ISE08)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E44
(ISE09)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E45
(ISE10)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E46
(ISF01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E47
(ISF02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E48
(ISF03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E49
(ISG01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E50
(ISG02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E51
(ISG03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E52
(ISG04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E53
(ISG05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E54
(ISH01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISH01#
<ns:Peter> <owl:sameAs> <ns:Peter>
<ns:Peter> <rdf:type> <ns:Person>
<ns:Peter> <rdf:type> <owl:Thing>
Removed:
ns=http://www.example.org/ISH01#
<ns:Peter> <owl:sameAs> <ns:Peter>
<ns:Peter> <rdf:type> <ns:Person>
<ns:Peter> <rdf:type> <owl:Thing>
 
E55
(ISH02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E56
(ISH03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISH03#
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <rdf:type> <ns:Person>
Removed:
ns=http://www.example.org/ISH03#
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <rdf:type> <ns:Person>
 
E57
(ISI01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISI01#
<ns:Paul> <owl:sameAs> <ns:Paul>
<ns:Paul> <rdf:type> <ns:Person>
<ns:Paul> <rdf:type> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <ns:Person>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <ns:hasChild> <ns:Paul>
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
 Removed:
ns=http://www.example.org/ISI01#
<ns:Paul> <owl:sameAs> <ns:Paul>
<ns:Paul> <rdf:type> <ns:Person>
<ns:Paul> <rdf:type> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <ns:Person>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <ns:hasChild> <ns:Paul>
<ns:> <rdf:type> <owl:Ontology>
<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
 Removed:
ns=http://www.example.org/ISI02#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:Peter> <owl:sameAs> <ns:Peter>
<ns:Peter> <rdf:type> <owl:Thing>
<ns:Peter> <rdf:type> <ns:Person>
<ns:Peter> <ns:knows> <ns:Peter>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:knows> <rdfs:domain> <ns:Person>
<ns:knows> <rdfs:range> <ns:Person>
<ns:knows> <rdf:type> <owl:ObjectProperty>
<ns:knows> <rdf:type> <rdf:Property>
<ns:knows> <owl:equivalentProperty> <ns:knows>
<ns:knows> <rdfs:subPropertyOf> <ns:knows>
 Removed:
ns=http://www.example.org/ISI02#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:Peter> <owl:sameAs> <ns:Peter>
<ns:Peter> <rdf:type> <owl:Thing>
<ns:Peter> <rdf:type> <ns:Person>
<ns:Peter> <ns:knows> <ns:Peter>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:knows> <rdfs:domain> <ns:Person>
<ns:knows> <rdfs:range> <ns:Person>
<ns:knows> <rdf:type> <owl:ObjectProperty>
<ns:knows> <rdf:type> <rdf:Property>
<ns:knows> <owl:equivalentProperty> <ns:knows>
<ns:knows> <rdfs:subPropertyOf> <ns:knows>
E59
(ISI03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISI03#
<owl:Nothing> <owl:disjointWith> <ns:Mother>
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Mother>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
<ns:hasChild> <rdfs:domain> <ns:Mother>
<ns:hasChild> <rdfs:range> <ns:Child>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
<ns:Child> <rdf:type> <owl:Class>
<ns:Child> <owl:disjointWith> <owl:Nothing>
<ns:Child> <rdfs:subClassOf> <ns:Child>
<ns:Child> <rdfs:subClassOf> <owl:Thing>
<ns:Child> <owl:equivalentClass> <ns:Child>
<ns:Paul> <owl:sameAs> <ns:Paul>
<ns:Paul> <rdf:type> <owl:Thing>
<ns:Paul> <rdf:type> <ns:Child>
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <rdf:type> <ns:Mother>
<ns:Mary> <ns:hasChild> <ns:Paul>
<ns:Mother> <rdf:type> <owl:Class>
<ns:Mother> <owl:disjointWith> <owl:Nothing>
<ns:Mother> <rdfs:subClassOf> <ns:Mother>
<ns:Mother> <rdfs:subClassOf> <owl:Thing>
<ns:Mother> <owl:equivalentClass> <ns:Mother>
 Removed:
ns=http://www.example.org/ISI03#
<owl:Nothing> <owl:disjointWith> <ns:Mother>
<owl:Nothing> <owl:disjointWith> <ns:Child>
<owl:Nothing> <rdfs:subClassOf> <ns:Mother>
<owl:Nothing> <rdfs:subClassOf> <ns:Child>
<ns:hasChild> <rdfs:domain> <ns:Mother>
<ns:hasChild> <rdfs:range> <ns:Child>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
<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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISI04#
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:MarySmith> <owl:sameAs> <ns:MarySmith>
<ns:MarySmith> <rdf:type> <owl:Thing>
<ns:MarySmith> <rdf:type> <ns:Person>
<ns:MarySmith> <ns:hasName> "Mary"
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
 Removed:
ns=http://www.example.org/ISI04#
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:MarySmith> <owl:sameAs> <ns:MarySmith>
<ns:MarySmith> <rdf:type> <owl:Thing>
<ns:MarySmith> <rdf:type> <ns:Person>
<ns:MarySmith> <ns:hasName> "Mary"
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
E61
(ISI05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISI05#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
 Removed:
ns=http://www.example.org/ISI05#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
E62
(ISJ01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 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:> <rdf:type> <owl:Ontology>
_:7a3a <owl:sameAs> _:7a3a
_:7a3a <rdf:type> <ns:Person>
_:7a3a <rdf:type> <owl:Thing>
_:7a3a <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#
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns: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:> <rdf:type> <owl:Ontology>
_:7a3c <owl:sameAs> _:7a3c
_:7a3c <rdf:type> <ns:Person>
_:7a3c <rdf:type> <owl:Thing>
_:7a3c <ns:hasChild> <ns:John>
E63
(ISJ02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISJ02#
<ns:John> <owl:sameAs> <ns:John>
<ns:John> <rdf:type> <owl:Thing>
<ns:John> <rdf:type> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Parent>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Parent>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:hasChild> <rdfs:domain> <ns:Parent>
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
_:7a36 <owl:sameAs> _:7a36
_:7a36 <rdf:type> <ns:Parent>
_:7a36 <rdf:type> <owl:Thing>
_:7a36 <ns:hasChild> <ns:John>
<ns:Parent> <rdf:type> <owl:Class>
<ns:Parent> <owl:disjointWith> <owl:Nothing>
<ns:Parent> <rdfs:subClassOf> <ns:Parent>
<ns:Parent> <rdfs:subClassOf> <owl:Thing>
<ns:Parent> <owl:equivalentClass> <ns:Parent>
 Removed:
ns=http://www.example.org/ISJ02#
_:7a38 <owl:sameAs> _:7a38
_:7a38 <rdf:type> <ns:Parent>
_:7a38 <rdf:type> <owl:Thing>
_:7a38 <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:> <rdf:type> <owl:Ontology>
<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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISJ03#
_:7a32 <owl:sameAs> _:7a32
_:7a32 <rdf:type> <owl:Thing>
_:7a32 <rdf:type> <ns:Person>
_:7a32 <ns:hasName> "Peter"
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
 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>
_:7a34 <owl:sameAs> _:7a34
_:7a34 <rdf:type> <owl:Thing>
_:7a34 <rdf:type> <ns:Person>
_:7a34 <ns:hasName> "Peter"
<ns:> <rdf:type> <owl:Ontology>
E65
(ISK01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E66
(ISK02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E67
(ISK03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E68
(ISL01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E69
(ISL02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E70
(ISL03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E71
(ISL04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E72
(ISL05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E73
(ISL06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E74
(ISL07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL07#
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
 Removed:
ns=http://www.example.org/ISL07#
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL08#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
 Removed:
ns=http://www.example.org/ISL08#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:MaryAnn> <owl:sameAs> <ns:MaryAnn>
<ns:MaryAnn> <rdf:type> <ns:Person>
<ns:MaryAnn> <rdf:type> <owl:Thing>
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:MaryAnn> <ns:hasName> "Mary"
E76
(ISL09)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E77
(ISL10)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E78
(ISL11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL11#
<ns:hasSurname> <rdfs:domain> <ns:Person>
<ns:hasSurname> <rdfs:range> <rdfs:Literal>
<ns:hasSurname> <rdf:type> <owl:DatatypeProperty>
<ns:hasSurname> <rdf:type> <rdf:Property>
<ns:hasSurname> <owl:equivalentProperty> <ns:hasSurname>
<ns:hasSurname> <rdfs:subPropertyOf> <ns:hasSurname>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:JohnDoe> <owl:sameAs> <ns:JohnDoe>
<ns:JohnDoe> <rdf:type> <owl:Thing>
<ns:JohnDoe> <rdf:type> <ns:Person>
<ns:JohnDoe> <ns:hasSurname> "Doe"
<ns:JohnDoe> <ns:hasName> "John"
<ns:> <rdf:type> <owl:Ontology>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
 Removed:
ns=http://www.example.org/ISL11#
<ns:hasSurname> <rdfs:domain> <ns:Person>
<ns:hasSurname> <rdfs:range> <rdfs:Literal>
<ns:hasSurname> <rdf:type> <owl:DatatypeProperty>
<ns:hasSurname> <rdf:type> <rdf:Property>
<ns:hasSurname> <owl:equivalentProperty> <ns:hasSurname>
<ns:hasSurname> <rdfs:subPropertyOf> <ns:hasSurname>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:JohnDoe> <owl:sameAs> <ns:JohnDoe>
<ns:JohnDoe> <rdf:type> <owl:Thing>
<ns:JohnDoe> <rdf:type> <ns:Person>
<ns:JohnDoe> <ns:hasSurname> "Doe"
<ns:JohnDoe> <ns:hasName> "John"
<ns:> <rdf:type> <owl:Ontology>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL12#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:JohnDoe> <owl:sameAs> <ns:JohnDoe>
<ns:JohnDoe> <rdf:type> <ns:Person>
<ns:JohnDoe> <rdf:type> <owl:Thing>
<ns:JohnDoe> <ns:hasName> "John"
<ns:JohnDoe> <ns:hasSurname> "Doe"
<ns:hasSurname> <rdfs:domain> <ns:Person>
<ns:hasSurname> <rdfs:range> <rdfs:Literal>
<ns:hasSurname> <rdf:type> <owl:DatatypeProperty>
<ns:hasSurname> <rdf:type> <rdf:Property>
<ns:hasSurname> <owl:equivalentProperty> <ns:hasSurname>
<ns:hasSurname> <rdfs:subPropertyOf> <ns:hasSurname>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
 Removed:
ns=http://www.example.org/ISL12#
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
<ns:JohnDoe> <owl:sameAs> <ns:JohnDoe>
<ns:JohnDoe> <rdf:type> <ns:Person>
<ns:JohnDoe> <rdf:type> <owl:Thing>
<ns:JohnDoe> <ns:hasName> "John"
<ns:JohnDoe> <ns:hasSurname> "Doe"
<ns:hasSurname> <rdfs:domain> <ns:Person>
<ns:hasSurname> <rdfs:range> <rdfs:Literal>
<ns:hasSurname> <rdf:type> <owl:DatatypeProperty>
<ns:hasSurname> <rdf:type> <rdf:Property>
<ns:hasSurname> <owl:equivalentProperty> <ns:hasSurname>
<ns:hasSurname> <rdfs:subPropertyOf> <ns:hasSurname>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
E80
(ISL13)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 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>
_:7a1e <owl:sameAs> _:7a1e
_:7a1e <rdf:type> <ns:Child>
_:7a1e <rdf:type> <owl:Thing>
_:7a1e <ns:hasName> "Paul"
<ns:John> <owl:sameAs> <ns:John>
<ns:John> <rdf:type> <ns:Person>
<ns:John> <rdf:type> <owl:Thing>
<ns:John> <ns:hasChild> _:7a1e
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Child>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<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#
<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> _:7a20
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Child>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
_:7a20 <owl:sameAs> _:7a20
_:7a20 <rdf:type> <ns:Child>
_:7a20 <rdf:type> <owl:Thing>
_:7a20 <ns:hasName> "Paul"
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
E81
(ISL14)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 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> _:7a1a
<ns:> <rdf:type> <owl:Ontology>
_:7a1a <owl:sameAs> _:7a1a
_:7a1a <rdf:type> <ns:Child>
_:7a1a <rdf:type> <owl:Thing>
_:7a1a <ns:hasName> "Paul"
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<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: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> _:7a1c
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:Child> <rdf:type> <owl:Class>
<ns:Child> <owl:disjointWith> <owl:Nothing>
<ns:Child> <rdfs:subClassOf> <ns:Child>
<ns:Child> <rdfs:subClassOf> <owl:Thing>
<ns:Child> <owl:equivalentClass> <ns:Child>
<ns:hasChild> <rdfs:domain> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Child>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
_:7a1c <owl:sameAs> _:7a1c
_:7a1c <rdf:type> <ns:Child>
_:7a1c <rdf:type> <owl:Thing>
_:7a1c <ns:hasName> "Paul"
E82
(ISL15)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
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#