Interoperability from WebODE to KAON2 (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (WebODE) Step2 (KAON2)
E01
(ISA01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA01#
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
 Removed:
ns=http://www.example.org/ISA01#
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
E02
(ISA02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E03
(ISA03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E04
(ISA04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E05
(ISA05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISA05#
<ns:Male> <owl:equivalentClass> <ns:Man>
<ns:Man> <rdfs:subClassOf> <ns:Male>
<ns:Man> <owl:equivalentClass> <ns:Male>
Removed:
ns=http://www.example.org/ISA05#
<ns:Male> <owl:equivalentClass> <ns:Man>
<ns:Man> <rdfs:subClassOf> <ns:Male>
<ns:Man> <owl:equivalentClass> <ns:Male>
 
E06
(ISA06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA06#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
 Removed:
ns=http://www.example.org/ISA06#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
E07
(ISA07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA07#
<ns:hasCar> <rdfs:domain> <ns:Driver>
<ns:Driver> <rdfs:subClassOf> _:1dd1
_:1dd1 <rdf:type> <owl:Restriction>
_:1dd1 <owl:onProperty> <ns:hasCar>
_:1dd1 <owl:allValuesFrom> <owl:Thing>
Inserted:
ns=http://www.example.org/ISA07#
<ns:hasCar> <rdfs:domain> <ns:Driver>
_:2883 <rdf:type> <owl:Restriction>
_:2883 <owl:onProperty> <ns:hasCar>
_:2883 <owl:allValuesFrom> <owl:Thing>
<ns:Driver> <rdfs:subClassOf> _:2883
Inserted:
ns=http://www.example.org/ISA07#
_:1dd5 <rdf:type> <owl:Restriction>
_:1dd5 <owl:onProperty> <ns:hasCar>
_:1dd5 <owl:allValuesFrom> <owl:Thing>
<ns:Driver> <rdfs:subClassOf> _:1dd5
 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> _:1dd2
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
_:1dd2 <rdf:type> <owl:Restriction>
_:1dd2 <owl:onProperty> <ns:hasCar>
_:1dd2 <owl:someValuesFrom> <ns:Car>
Removed:
ns=http://www.example.org/ISA07#
<ns:Driver> <rdfs:subClassOf> _:6f2e
_:6f2e <rdf:type> <owl:Restriction>
_:6f2e <owl:onProperty> <ns:hasCar>
_:6f2e <owl:someValuesFrom> <ns:Car>
Removed:
ns=http://www.example.org/ISA07#
<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>
_:1dd6 <rdf:type> <owl:Restriction>
_:1dd6 <owl:onProperty> <ns:hasCar>
_:1dd6 <owl:allValuesFrom> <owl:Thing>
<ns:Driver> <rdfs:subClassOf> _:1dd6
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
E08
(ISA08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
_:1dc9 <rdf:type> <owl:Restriction>
_:1dc9 <owl:onProperty> <ns:wasBorn>
_:1dc9 <owl:allValuesFrom> <owl:Thing>
<ns:wasBorn> <rdfs:domain> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> _:1dc9
Inserted:
ns=http://www.example.org/ISA08#
_:286a <rdf:type> <owl:Restriction>
_:286a <owl:onProperty> <ns:wasBorn>
_:286a <owl:allValuesFrom> <owl:Thing>
<ns:wasBorn> <rdfs:domain> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> _:286a
Inserted:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:1dcd
_:1dcd <rdf:type> <owl:Restriction>
_:1dcd <owl:onProperty> <ns:wasBorn>
_:1dcd <owl:allValuesFrom> <owl:Thing>
 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>
_:1dca <rdf:type> <owl:Restriction>
_:1dca <owl:onProperty> <ns:wasBorn>
_:1dca <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:1dca
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
Removed:
ns=http://www.example.org/ISA08#
_:7f39 <rdf:type> <owl:Restriction>
_:7f39 <owl:onProperty> <ns:wasBorn>
_:7f39 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:7f39
Removed:
ns=http://www.example.org/ISA08#
<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> _:1dce
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
_:1dce <rdf:type> <owl:Restriction>
_:1dce <owl:onProperty> <ns:wasBorn>
_:1dce <owl:allValuesFrom> <owl:Thing>
E09
(ISA09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA09#
_:1dc1 <rdf:type> <owl:Restriction>
_:1dc1 <owl:onProperty> <ns:worksIn>
_:1dc1 <owl:allValuesFrom> <owl:Thing>
<ns:Employee> <rdfs:subClassOf> _:1dc1
<ns:worksIn> <rdfs:domain> <ns:Employee>
Inserted:
ns=http://www.example.org/ISA09#
<ns:Employee> <rdfs:subClassOf> _:284f
_:284f <rdf:type> <owl:Restriction>
_:284f <owl:onProperty> <ns:worksIn>
_:284f <owl:allValuesFrom> <owl:Thing>
<ns:worksIn> <rdfs:domain> <ns:Employee>
 
 Removed:
ns=http://www.example.org/ISA09#
<ns:Employee> <rdfs:subClassOf> _:1dc2
_:1dc2 <rdf:type> <owl:Restriction>
_:1dc2 <owl:onProperty> <ns:worksIn>
_:1dc2 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA09#
_:7f20 <rdf:type> <owl:Restriction>
_:7f20 <owl:onProperty> <ns:worksIn>
_:7f20 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:7f20
 
E10
(ISA10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:1db5
<ns:Researcher> <rdfs:subClassOf> _:1db4
_:1db5 <rdf:type> <owl:Restriction>
_:1db5 <owl:onProperty> <ns:hasAffiliation>
_:1db5 <owl:allValuesFrom> <owl:Thing>
_:1db4 <rdf:type> <owl:Restriction>
_:1db4 <owl:onProperty> <ns:hasAffiliation>
_:1db4 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:7f06
<ns:Researcher> <rdfs:subClassOf> _:7f05
_:7f06 <rdf:type> <owl:Restriction>
_:7f06 <owl:onProperty> <ns:hasAffiliation>
_:7f06 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7f05 <rdf:type> <owl:Restriction>
_:7f05 <owl:onProperty> <ns:hasAffiliation>
_:7f05 <owl:allValuesFrom> <owl:Thing>
 
 Removed:
ns=http://www.example.org/ISA10#
<ns:Researcher> <rdfs:subClassOf> _:1db6
_:1db6 <rdf:type> <owl:Restriction>
_:1db6 <owl:onProperty> <ns:hasAffiliation>
_:1db6 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA10#
_:6ee1 <rdf:type> <owl:Restriction>
_:6ee1 <owl:onProperty> <ns:hasAffiliation>
_:6ee1 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:6ee1
 
E11
(ISA11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:1da7
<ns:Person> <rdfs:subClassOf> _:1da6
_:1da7 <rdf:type> <owl:Restriction>
_:1da7 <owl:onProperty> <ns:hasMother>
_:1da7 <owl:allValuesFrom> <owl:Thing>
_:1da6 <rdf:type> <owl:Restriction>
_:1da6 <owl:onProperty> <ns:hasMother>
_:1da6 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:hasMother> <rdfs:domain> <ns:Person>
Inserted:
ns=http://www.example.org/ISA11#
_:6ec4 <rdf:type> <owl:Restriction>
_:6ec4 <owl:onProperty> <ns:hasMother>
_:6ec4 <owl:allValuesFrom> <owl:Thing>
<ns:Person> <rdfs:subClassOf> _:6ec5
<ns:Person> <rdfs:subClassOf> _:6ec4
<ns:hasMother> <rdfs:domain> <ns:Person>
_:6ec5 <rdf:type> <owl:Restriction>
_:6ec5 <owl:onProperty> <ns:hasMother>
_:6ec5 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
 Removed:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:1da8
_:1da8 <rdf:type> <owl:Restriction>
_:1da8 <owl:onProperty> <ns:hasMother>
_:1da8 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:6ec6
_:6ec6 <rdf:type> <owl:Restriction>
_:6ec6 <owl:onProperty> <ns:hasMother>
_:6ec6 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 
E12
(ISA12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA12#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
_:1d98 <rdf:type> <owl:Restriction>
_:1d98 <owl:onProperty> <ns:hasAffiliation>
_:1d98 <owl:allValuesFrom> <owl:Thing>
<ns:Researcher> <rdfs:subClassOf> _:1d98
<ns:Researcher> <rdfs:subClassOf> _:1d97
_:1d97 <rdf:type> <owl:Restriction>
_:1d97 <owl:onProperty> <ns:hasAffiliation>
_:1d97 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISA12#
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:6ea9
<ns:Researcher> <rdfs:subClassOf> _:6ea8
_:6ea9 <rdf:type> <owl:Restriction>
_:6ea9 <owl:onProperty> <ns:hasAffiliation>
_:6ea9 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6ea8 <rdf:type> <owl:Restriction>
_:6ea8 <owl:onProperty> <ns:hasAffiliation>
_:6ea8 <owl:allValuesFrom> <owl:Thing>
 
 Removed:
ns=http://www.example.org/ISA12#
_:1d99 <rdf:type> <owl:Restriction>
_:1d99 <owl:onProperty> <ns:hasAffiliation>
_:1d99 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1d9a <rdf:type> <owl:Restriction>
_:1d9a <owl:onProperty> <ns:hasAffiliation>
_:1d9a <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:1d9a
<ns:Researcher> <rdfs:subClassOf> _:1d99
Removed:
ns=http://www.example.org/ISA12#
_:7ecf <rdf:type> <owl:Restriction>
_:7ecf <owl:onProperty> <ns:hasAffiliation>
_:7ecf <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7ece <rdf:type> <owl:Restriction>
_:7ece <owl:onProperty> <ns:hasAffiliation>
_:7ece <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7ecf
<ns:Researcher> <rdfs:subClassOf> _:7ece
 
E13
(ISA13)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:1d8d
_:1d8d <rdf:type> <owl:Restriction>
_:1d8d <owl:onProperty> <ns:hasName>
_:1d8d <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
<xsd:string> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:6e8d
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
_:6e8d <rdf:type> <owl:Restriction>
_:6e8d <owl:onProperty> <ns:hasName>
_:6e8d <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:1d91
_:1d91 <rdf:type> <owl:Restriction>
_:1d91 <owl:onProperty> <ns:hasName>
_:1d91 <owl:allValuesFrom> <xsd:string>
<xsd:string> <rdf:type> <owl:Datatype>
 Removed:
ns=http://www.example.org/ISA13#
_:1d8e <rdf:type> <owl:Restriction>
_:1d8e <owl:onProperty> <ns:hasName>
_:1d8e <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:1d8e
Removed:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:6e8e
_:6e8e <rdf:type> <owl:Restriction>
_:6e8e <owl:onProperty> <ns:hasName>
_:6e8e <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA13#
_:1d92 <rdf:type> <owl:Restriction>
_:1d92 <owl:onProperty> <ns:hasName>
_:1d92 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1d92
E14
(ISA14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA14#
<xsd:string> <rdf:type> <owl:Datatype>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:1d81
<ns:Researcher> <rdfs:subClassOf> _:1d80
_:1d80 <rdf:type> <owl:Restriction>
_:1d80 <owl:onProperty> <ns:wrotePhDThesis>
_:1d80 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1d81 <rdf:type> <owl:Restriction>
_:1d81 <owl:onProperty> <ns:wrotePhDThesis>
_:1d81 <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISA14#
_:7e96 <rdf:type> <owl:Restriction>
_:7e96 <owl:onProperty> <ns:wrotePhDThesis>
_:7e96 <owl:allValuesFrom> <xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:7e97
<ns:Researcher> <rdfs:subClassOf> _:7e96
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:7e97 <rdf:type> <owl:Restriction>
_:7e97 <owl:onProperty> <ns:wrotePhDThesis>
_:7e97 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:1d88
<ns:Researcher> <rdfs:subClassOf> _:1d87
_:1d88 <rdf:type> <owl:Restriction>
_:1d88 <owl:onProperty> <ns:wrotePhDThesis>
_:1d88 <owl:allValuesFrom> <xsd:string>
_:1d87 <rdf:type> <owl:Restriction>
_:1d87 <owl:onProperty> <ns:wrotePhDThesis>
_:1d87 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<xsd:string> <rdf:type> <owl:Datatype>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:1d82
_:1d82 <rdf:type> <owl:Restriction>
_:1d82 <owl:onProperty> <ns:wrotePhDThesis>
_:1d82 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:7e98
_:7e98 <rdf:type> <owl:Restriction>
_:7e98 <owl:onProperty> <ns:wrotePhDThesis>
_:7e98 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:1d8a
<ns:Researcher> <rdfs:subClassOf> _:1d89
_:1d8a <rdf:type> <owl:Restriction>
_:1d8a <owl:onProperty> <ns:wrotePhDThesis>
_:1d8a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1d89 <rdf:type> <owl:Restriction>
_:1d89 <owl:onProperty> <ns:wrotePhDThesis>
_:1d89 <owl:allValuesFrom> <xsd:string>
E15
(ISA15)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA15#
<xsd:string> <rdf:type> <owl:Datatype>
<ns:Person> <rdfs:subClassOf> _:1d73
<ns:Person> <rdfs:subClassOf> _:1d72
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
_:1d72 <rdf:type> <owl:Restriction>
_:1d72 <owl:onProperty> <ns:hasSSN>
_:1d72 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:1d73 <rdf:type> <owl:Restriction>
_:1d73 <owl:onProperty> <ns:hasSSN>
_:1d73 <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:6e57
<ns:Person> <rdfs:subClassOf> _:6e56
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
_:6e57 <rdf:type> <owl:Restriction>
_:6e57 <owl:onProperty> <ns:hasSSN>
_:6e57 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:6e56 <rdf:type> <owl:Restriction>
_:6e56 <owl:onProperty> <ns:hasSSN>
_:6e56 <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:1d7a
<ns:Person> <rdfs:subClassOf> _:1d79
_:1d7a <rdf:type> <owl:Restriction>
_:1d7a <owl:onProperty> <ns:hasSSN>
_:1d7a <owl:allValuesFrom> <xsd:string>
_:1d79 <rdf:type> <owl:Restriction>
_:1d79 <owl:onProperty> <ns:hasSSN>
_:1d79 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<xsd:string> <rdf:type> <owl:Datatype>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:1d74
_:1d74 <rdf:type> <owl:Restriction>
_:1d74 <owl:onProperty> <ns:hasSSN>
_:1d74 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:27aa
_:27aa <rdf:type> <owl:Restriction>
_:27aa <owl:onProperty> <ns:hasSSN>
_:27aa <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:1d7c
<ns:Person> <rdfs:subClassOf> _:1d7b
_:1d7c <rdf:type> <owl:Restriction>
_:1d7c <owl:onProperty> <ns:hasSSN>
_:1d7c <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:1d7b <rdf:type> <owl:Restriction>
_:1d7b <owl:onProperty> <ns:hasSSN>
_:1d7b <owl:allValuesFrom> <xsd:string>
E16
(ISA16)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA16#
<xsd:string> <rdf:type> <owl:Datatype>
_:1d64 <rdf:type> <owl:Restriction>
_:1d64 <owl:onProperty> <ns:wrotePhDThesis>
_:1d64 <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:1d64
<ns:Researcher> <rdfs:subClassOf> _:1d63
_:1d63 <rdf:type> <owl:Restriction>
_:1d63 <owl:onProperty> <ns:wrotePhDThesis>
_:1d63 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> _:7e60
<ns:Researcher> <rdfs:subClassOf> _:7e5f
_:7e5f <rdf:type> <owl:Restriction>
_:7e5f <owl:onProperty> <ns:wrotePhDThesis>
_:7e5f <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:7e60 <rdf:type> <owl:Restriction>
_:7e60 <owl:onProperty> <ns:wrotePhDThesis>
_:7e60 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> _:1d6c
<ns:Researcher> <rdfs:subClassOf> _:1d6b
_:1d6c <rdf:type> <owl:Restriction>
_:1d6c <owl:onProperty> <ns:wrotePhDThesis>
_:1d6c <owl:allValuesFrom> <xsd:string>
_:1d6b <rdf:type> <owl:Restriction>
_:1d6b <owl:onProperty> <ns:wrotePhDThesis>
_:1d6b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<xsd:string> <rdf:type> <owl:Datatype>
 Removed:
ns=http://www.example.org/ISA16#
_:1d66 <rdf:type> <owl:Restriction>
_:1d66 <owl:onProperty> <ns:wrotePhDThesis>
_:1d66 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:1d65 <rdf:type> <owl:Restriction>
_:1d65 <owl:onProperty> <ns:wrotePhDThesis>
_:1d65 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:1d66
<ns:Researcher> <rdfs:subClassOf> _:1d65
Removed:
ns=http://www.example.org/ISA16#
_:6e3d <rdf:type> <owl:Restriction>
_:6e3d <owl:onProperty> <ns:wrotePhDThesis>
_:6e3d <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6e3c <rdf:type> <owl:Restriction>
_:6e3c <owl:onProperty> <ns:wrotePhDThesis>
_:6e3c <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:6e3d
<ns:Researcher> <rdfs:subClassOf> _:6e3c
Removed:
ns=http://www.example.org/ISA16#
_:1d6e <rdf:type> <owl:Restriction>
_:1d6e <owl:onProperty> <ns:wrotePhDThesis>
_:1d6e <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:1d6e
<ns:Researcher> <rdfs:subClassOf> _:1d6d
_:1d6d <rdf:type> <owl:Restriction>
_:1d6d <owl:onProperty> <ns:wrotePhDThesis>
_:1d6d <owl:allValuesFrom> <xsd:string>
E17
(ISA17)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA17#
_:1d5e <rdf:first> <ns:Italian>
_:1d5e <rdf:rest> _:1d5d
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMale> <owl:intersectionOf> _:1d5e
<ns:ItalianMale> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMale> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
_:1d5d <rdf:first> <ns:Male>
_:1d5d <rdf:rest> <rdf:nil>
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
Removed:
ns=http://www.example.org/ISA17#
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMale> <owl:intersectionOf> _:7e45
<ns:ItalianMale> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMale> <rdfs:subClassOf> <ns:Male>
_:7e45 <rdf:first> <ns:Italian>
_:7e45 <rdf:rest> _:7e44
_:7e44 <rdf:first> <ns:Male>
_:7e44 <rdf:rest> <rdf:nil>
Removed:
ns=http://www.example.org/ISA17#
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
E18
(ISB01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISB01#
<ns:Italienne> <rdf:type> <owl:Class>
<ns:Italienne> <owl:disjointWith> <owl:Nothing>
<ns:Italienne> <rdfs:subClassOf> <ns:Italiano>
<ns:Italienne> <rdfs:subClassOf> <ns:Italian>
<ns:Italienne> <rdfs:subClassOf> <ns:Italienne>
<ns:Italienne> <rdfs:subClassOf> <owl:Thing>
<ns:Italienne> <owl:equivalentClass> <ns:Italiano>
<ns:Italienne> <owl:equivalentClass> <ns:Italian>
<ns:Italienne> <owl:equivalentClass> <ns:Italienne>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italiano>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <ns:Italienne>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italiano>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:Italian> <owl:equivalentClass> <ns:Italienne>
<owl:Nothing> <owl:disjointWith> <ns:Italiano>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Italienne>
<owl:Nothing> <rdfs:subClassOf> <ns:Italiano>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Italienne>
<ns:Italiano> <rdf:type> <owl:Class>
<ns:Italiano> <owl:disjointWith> <owl:Nothing>
<ns:Italiano> <rdfs:subClassOf> <ns:Italiano>
<ns:Italiano> <rdfs:subClassOf> <ns:Italian>
<ns:Italiano> <rdfs:subClassOf> <ns:Italienne>
<ns:Italiano> <rdfs:subClassOf> <owl:Thing>
<ns:Italiano> <owl:equivalentClass> <ns:Italiano>
<ns:Italiano> <owl:equivalentClass> <ns:Italian>
<ns:Italiano> <owl:equivalentClass> <ns:Italienne>
Removed:
ns=http://www.example.org/ISB01#
<ns:Italienne> <rdfs:subClassOf> <ns:Italiano>
<ns:Italienne> <rdfs:subClassOf> <ns:Italian>
<ns:Italienne> <owl:equivalentClass> <ns:Italiano>
<ns:Italienne> <owl:equivalentClass> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <ns:Italiano>
<ns:Italian> <rdfs:subClassOf> <ns:Italienne>
<ns:Italian> <owl:equivalentClass> <ns:Italiano>
<ns:Italian> <owl:equivalentClass> <ns:Italienne>
<ns:Italiano> <rdfs:subClassOf> <ns:Italian>
<ns:Italiano> <rdfs:subClassOf> <ns:Italienne>
<ns:Italiano> <owl:equivalentClass> <ns:Italian>
<ns:Italiano> <owl:equivalentClass> <ns:Italienne>
Removed:
ns=http://www.example.org/ISB01#
<ns:Italienne> <rdf:type> <owl:Class>
<ns:Italienne> <owl:disjointWith> <owl:Nothing>
<ns:Italienne> <rdfs:subClassOf> <ns:Italienne>
<ns:Italienne> <rdfs:subClassOf> <owl:Thing>
<ns:Italienne> <owl:equivalentClass> <ns:Italienne>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Italiano>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Italienne>
<owl:Nothing> <rdfs:subClassOf> <ns:Italiano>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Italienne>
<ns:Italiano> <rdf:type> <owl:Class>
<ns:Italiano> <owl:disjointWith> <owl:Nothing>
<ns:Italiano> <rdfs:subClassOf> <ns:Italiano>
<ns:Italiano> <rdfs:subClassOf> <owl:Thing>
<ns:Italiano> <owl:equivalentClass> <ns:Italiano>
E19
(ISB02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB02#
<ns:hasCar> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
_:1d55 <rdf:type> <owl:Restriction>
_:1d55 <owl:onProperty> <ns:hasCar>
_:1d55 <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d55
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB02#
_:7e16 <rdf:type> <owl:Restriction>
_:7e16 <owl:onProperty> <ns:hasCar>
_:7e16 <owl:allValuesFrom> <owl:Thing>
<ns:hasCar> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7e16
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB02#
_:1d59 <rdf:type> <owl:Restriction>
_:1d59 <owl:onProperty> <ns:hasCar>
_:1d59 <owl:allValuesFrom> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d59
 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>
_:1d56 <rdf:type> <owl:Restriction>
_:1d56 <owl:onProperty> <ns:hasCar>
_:1d56 <owl:someValuesFrom> <ns:Car>
<ns:Driver> <rdf:type> <owl:Class>
<ns:Driver> <owl:equivalentClass> _:1d56
<ns:Driver> <owl:disjointWith> <owl:Nothing>
<ns:Driver> <rdfs:subClassOf> <ns:Driver>
<ns:Driver> <rdfs:subClassOf> <owl:Thing>
<ns:Driver> <owl:equivalentClass> <ns:Driver>
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <owl:disjointWith> <ns:Driver>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Driver>
Removed:
ns=http://www.example.org/ISB02#
<ns:Driver> <owl:equivalentClass> _:6df0
_:6df0 <rdf:type> <owl:Restriction>
_:6df0 <owl:onProperty> <ns:hasCar>
_:6df0 <owl:someValuesFrom> <ns:Car>
Removed:
ns=http://www.example.org/ISB02#
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d5a
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <owl:disjointWith> <ns:Driver>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Driver>
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
_:1d5a <rdf:type> <owl:Restriction>
_:1d5a <owl:onProperty> <ns:hasCar>
_:1d5a <owl:allValuesFrom> <owl:Thing>
<ns:Driver> <rdf:type> <owl:Class>
<ns:Driver> <owl:disjointWith> <owl:Nothing>
<ns:Driver> <rdfs:subClassOf> <ns:Driver>
<ns:Driver> <rdfs:subClassOf> <owl:Thing>
<ns:Driver> <owl:equivalentClass> <ns:Driver>
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB03#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d4d
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:1d4d <rdf:type> <owl:Restriction>
_:1d4d <owl:onProperty> <ns:wasBorn>
_:1d4d <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:wasBorn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB03#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7dfd
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:7dfd <rdf:type> <owl:Restriction>
_:7dfd <owl:onProperty> <ns:wasBorn>
_:7dfd <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:wasBorn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB03#
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d51
_:1d51 <rdf:type> <owl:Restriction>
_:1d51 <owl:onProperty> <ns:wasBorn>
_:1d51 <owl:allValuesFrom> <owl:Thing>
 Removed:
ns=http://www.example.org/ISB03#
_:1d4e <rdf:type> <owl:Restriction>
_:1d4e <owl:onProperty> <ns:wasBorn>
_:1d4e <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:equivalentClass> _:1d4e
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<ns: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#
<ns:Italian> <owl:equivalentClass> _:6dd7
_:6dd7 <rdf:type> <owl:Restriction>
_:6dd7 <owl:onProperty> <ns:wasBorn>
_:6dd7 <owl:allValuesFrom> <ns:Italy>
Removed:
ns=http://www.example.org/ISB03#
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d52
<ns:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
_:1d52 <rdf:type> <owl:Restriction>
_:1d52 <owl:onProperty> <ns:wasBorn>
_:1d52 <owl:allValuesFrom> <owl:Thing>
E21
(ISB04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB04#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d45
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:1d45 <rdf:type> <owl:Restriction>
_:1d45 <owl:onProperty> <ns:worksIn>
_:1d45 <owl:allValuesFrom> <owl:Thing>
<ns:worksIn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB04#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:6dbb
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:worksIn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
_:6dbb <rdf:type> <owl:Restriction>
_:6dbb <owl:onProperty> <ns:worksIn>
_:6dbb <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB04#
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d49
_:1d49 <rdf:type> <owl:Restriction>
_:1d49 <owl:onProperty> <ns:worksIn>
_:1d49 <owl:allValuesFrom> <owl:Thing>
 Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <rdf:type> <owl:Class>
<ns:Employee> <owl:equivalentClass> _:1d46
<ns:Employee> <owl:disjointWith> <owl:Nothing>
<ns:Employee> <rdfs:subClassOf> <ns:Employee>
<ns:Employee> <rdfs:subClassOf> <owl:Thing>
<ns:Employee> <owl:equivalentClass> <ns:Employee>
_:1d46 <rdf:type> <owl:Restriction>
_:1d46 <owl:onProperty> <ns:worksIn>
_:1d46 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:disjointWith> <ns:Employee>
<owl:Nothing> <rdfs:subClassOf> <ns:Employee>
Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <owl:equivalentClass> _:6dbc
_:6dbc <rdf:type> <owl:Restriction>
_:6dbc <owl:onProperty> <ns:worksIn>
_:6dbc <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <rdf:type> <owl:Class>
<ns:Employee> <owl:disjointWith> <owl:Nothing>
<ns:Employee> <rdfs:subClassOf> <ns:Employee>
<ns:Employee> <rdfs:subClassOf> <owl:Thing>
<ns:Employee> <owl:equivalentClass> <ns:Employee>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d4a
<owl:Nothing> <owl:disjointWith> <ns:Employee>
<owl:Nothing> <rdfs:subClassOf> <ns:Employee>
_:1d4a <rdf:type> <owl:Restriction>
_:1d4a <owl:onProperty> <ns:worksIn>
_:1d4a <owl:allValuesFrom> <owl:Thing>
E22
(ISB05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB05#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d39
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d38
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
_:1d38 <rdf:type> <owl:Restriction>
_:1d38 <owl:onProperty> <ns:hasAffiliation>
_:1d38 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1d39 <rdf:type> <owl:Restriction>
_:1d39 <owl:onProperty> <ns:hasAffiliation>
_:1d39 <owl:allValuesFrom> <owl:Thing>
Inserted:
ns=http://www.example.org/ISB05#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7dca <rdf:type> <owl:Restriction>
_:7dca <owl:onProperty> <ns:hasAffiliation>
_:7dca <owl:allValuesFrom> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7dcb
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7dca
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
_:7dcb <rdf:type> <owl:Restriction>
_:7dcb <owl:onProperty> <ns:hasAffiliation>
_:7dcb <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISB05#
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d40
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d3f
_:1d3f <rdf:type> <owl:Restriction>
_:1d3f <owl:onProperty> <ns:hasAffiliation>
_:1d3f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1d40 <rdf:type> <owl:Restriction>
_:1d40 <owl:onProperty> <ns:hasAffiliation>
_:1d40 <owl:allValuesFrom> <owl:Thing>
 Removed:
ns=http://www.example.org/ISB05#
_:1d3a <rdf:type> <owl:Restriction>
_:1d3a <owl:onProperty> <ns:hasAffiliation>
_:1d3a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <owl:equivalentClass> _:1d3a
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:7dcc
_:7dcc <rdf:type> <owl:Restriction>
_:7dcc <owl:onProperty> <ns:hasAffiliation>
_:7dcc <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB05#
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
_:1d41 <rdf:type> <owl:Restriction>
_:1d41 <owl:onProperty> <ns:hasAffiliation>
_:1d41 <owl:allValuesFrom> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d42
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d41
_:1d42 <rdf:type> <owl:Restriction>
_:1d42 <owl:onProperty> <ns:hasAffiliation>
_:1d42 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
E23
(ISB06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB06#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:1d2a <rdf:type> <owl:Restriction>
_:1d2a <owl:onProperty> <ns:hasMother>
_:1d2a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d2b
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d2a
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:1d2b <rdf:type> <owl:Restriction>
_:1d2b <owl:onProperty> <ns:hasMother>
_:1d2b <owl:allValuesFrom> <owl:Thing>
<ns:hasMother> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB06#
_:7dae <rdf:type> <owl:Restriction>
_:7dae <owl:onProperty> <ns:hasMother>
_:7dae <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7daf <rdf:type> <owl:Restriction>
_:7daf <owl:onProperty> <ns:hasMother>
_:7daf <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7daf
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7dae
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasMother> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB06#
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d32
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d31
_:1d32 <rdf:type> <owl:Restriction>
_:1d32 <owl:onProperty> <ns:hasMother>
_:1d32 <owl:allValuesFrom> <owl:Thing>
_:1d31 <rdf:type> <owl:Restriction>
_:1d31 <owl:onProperty> <ns:hasMother>
_:1d31 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:equivalentClass> _:1d2c
<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> <rdfs:subClassOf> <ns:Man>
_:1d2c <rdf:type> <owl:Restriction>
_:1d2c <owl:onProperty> <ns:hasMother>
_:1d2c <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:6d88
_:6d88 <rdf:type> <owl:Restriction>
_:6d88 <owl:onProperty> <ns:hasMother>
_:6d88 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB06#
_:1d34 <rdf:type> <owl:Restriction>
_:1d34 <owl:onProperty> <ns:hasMother>
_:1d34 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d34
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d33
<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>
_:1d33 <rdf:type> <owl:Restriction>
_:1d33 <owl:onProperty> <ns:hasMother>
_:1d33 <owl:allValuesFrom> <owl:Thing>
E24
(ISB07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB07#
_:1d20 <rdf:type> <owl:Restriction>
_:1d20 <owl:onProperty> <ns:hasAffiliation>
_:1d20 <owl:allValuesFrom> <owl:Thing>
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d20
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB07#
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7d92
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:7d92 <rdf:type> <owl:Restriction>
_:7d92 <owl:onProperty> <ns:hasAffiliation>
_:7d92 <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB07#
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d25
_:1d25 <rdf:type> <owl:Restriction>
_:1d25 <owl:onProperty> <ns:hasAffiliation>
_:1d25 <owl:allValuesFrom> <owl:Thing>
 Removed:
ns=http://www.example.org/ISB07#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <owl:equivalentClass> _:1d22
<ns:Researcher> <owl:equivalentClass> _:1d21
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
_:1d21 <rdf:type> <owl:Restriction>
_:1d21 <owl:onProperty> <ns:hasAffiliation>
_:1d21 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1d22 <rdf:type> <owl:Restriction>
_:1d22 <owl:onProperty> <ns:hasAffiliation>
_:1d22 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
Removed:
ns=http://www.example.org/ISB07#
_:7d94 <rdf:type> <owl:Restriction>
_:7d94 <owl:onProperty> <ns:hasAffiliation>
_:7d94 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:7d94
<ns:Researcher> <owl:equivalentClass> _:7d93
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
_:7d93 <rdf:type> <owl:Restriction>
_:7d93 <owl:onProperty> <ns:hasAffiliation>
_:7d93 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB07#
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d26
_:1d26 <rdf:type> <owl:Restriction>
_:1d26 <owl:onProperty> <ns:hasAffiliation>
_:1d26 <owl:allValuesFrom> <owl:Thing>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
E25
(ISB08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB08#
<xsd:string> <rdf:type> <owl:Datatype>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d17
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:1d17 <rdf:type> <owl:Restriction>
_:1d17 <owl:onProperty> <ns:hasName>
_:1d17 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasName> <rdfs:range> <xsd:string>
Inserted:
ns=http://www.example.org/ISB08#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2683
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:2683 <rdf:type> <owl:Restriction>
_:2683 <owl:onProperty> <ns:hasName>
_:2683 <owl:allValuesFrom> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasName> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasName> <rdfs:range> <xsd:string>
Inserted:
ns=http://www.example.org/ISB08#
_:1d1b <rdf:type> <owl:Restriction>
_:1d1b <owl:onProperty> <ns:hasName>
_:1d1b <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d1b
<xsd:string> <rdf:type> <owl:Datatype>
 Removed:
ns=http://www.example.org/ISB08#
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:equivalentClass> _:1d18
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:Person> <owl:equivalentClass> <owl:Thing>
_:1d18 <rdf:type> <owl:Restriction>
_:1d18 <owl:onProperty> <ns:hasName>
_:1d18 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
Removed:
ns=http://www.example.org/ISB08#
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:Person> <owl:equivalentClass> _:2685
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
_:2685 <rdf:type> <owl:Restriction>
_:2685 <owl:onProperty> <ns:hasName>
_:2685 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Person>
Removed:
ns=http://www.example.org/ISB08#
_:1d1c <rdf:type> <owl:Restriction>
_:1d1c <owl:onProperty> <ns:hasName>
_:1d1c <owl:allValuesFrom> <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>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d1c
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
E26
(ISB09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB09#
<xsd:string> <rdf:type> <owl:Datatype>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:1d0a <rdf:type> <owl:Restriction>
_:1d0a <owl:onProperty> <ns:wrotePhDThesis>
_:1d0a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1d0b <rdf:type> <owl:Restriction>
_:1d0b <owl:onProperty> <ns:wrotePhDThesis>
_:1d0b <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d0b
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d0a
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB09#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:265f <rdf:type> <owl:Restriction>
_:265f <owl:onProperty> <ns:wrotePhDThesis>
_:265f <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2660
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:265f
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:2660 <rdf:type> <owl:Restriction>
_:2660 <owl:onProperty> <ns:wrotePhDThesis>
_:2660 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISB09#
_:1d11 <rdf:type> <owl:Restriction>
_:1d11 <owl:onProperty> <ns:wrotePhDThesis>
_:1d11 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1d12 <rdf:type> <owl:Restriction>
_:1d12 <owl:onProperty> <ns:wrotePhDThesis>
_:1d12 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d12
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d11
<xsd:string> <rdf:type> <owl:Datatype>
 Removed:
ns=http://www.example.org/ISB09#
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <owl:equivalentClass> _:1d0c
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
_:1d0c <rdf:type> <owl:Restriction>
_:1d0c <owl:onProperty> <ns:wrotePhDThesis>
_:1d0c <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
Removed:
ns=http://www.example.org/ISB09#
_:7d60 <rdf:type> <owl:Restriction>
_:7d60 <owl:onProperty> <ns:wrotePhDThesis>
_:7d60 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:7d60
Removed:
ns=http://www.example.org/ISB09#
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
_:1d13 <rdf:type> <owl:Restriction>
_:1d13 <owl:onProperty> <ns:wrotePhDThesis>
_:1d13 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d14
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d13
_:1d14 <rdf:type> <owl:Restriction>
_:1d14 <owl:onProperty> <ns:wrotePhDThesis>
_:1d14 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E27
(ISB10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB10#
<xsd:string> <rdf:type> <owl:Datatype>
<ns:hasSSN> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasSSN> <rdfs:range> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:1cfc <rdf:type> <owl:Restriction>
_:1cfc <owl:onProperty> <ns:hasSSN>
_:1cfc <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:1cfd <rdf:type> <owl:Restriction>
_:1cfd <owl:onProperty> <ns:hasSSN>
_:1cfd <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1cfd
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1cfc
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB10#
<ns:hasSSN> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasSSN> <rdfs:range> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7d43 <rdf:type> <owl:Restriction>
_:7d43 <owl:onProperty> <ns:hasSSN>
_:7d43 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7d44
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7d43
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:7d44 <rdf:type> <owl:Restriction>
_:7d44 <owl:onProperty> <ns:hasSSN>
_:7d44 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISB10#
_:1d03 <rdf:type> <owl:Restriction>
_:1d03 <owl:onProperty> <ns:hasSSN>
_:1d03 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d04
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d03
_:1d04 <rdf:type> <owl:Restriction>
_:1d04 <owl:onProperty> <ns:hasSSN>
_:1d04 <owl:allValuesFrom> <xsd:string>
<xsd:string> <rdf:type> <owl:Datatype>
 Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:equivalentClass> _:1cfe
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
_:1cfe <rdf:type> <owl:Restriction>
_:1cfe <owl:onProperty> <ns:hasSSN>
_:1cfe <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:6d1a
_:6d1a <rdf:type> <owl:Restriction>
_:6d1a <owl:onProperty> <ns:hasSSN>
_:6d1a <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB10#
_:1d05 <rdf:type> <owl:Restriction>
_:1d05 <owl:onProperty> <ns:hasSSN>
_:1d05 <owl:allValuesFrom> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
_:1d06 <rdf:type> <owl:Restriction>
_:1d06 <owl:onProperty> <ns:hasSSN>
_:1d06 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d06
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1d05
E28
(ISB11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB11#
<xsd:string> <rdf:type> <owl:Datatype>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:1cf2 <rdf:type> <owl:Restriction>
_:1cf2 <owl:onProperty> <ns:wrotePhDThesis>
_:1cf2 <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1cf2
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:7d27 <rdf:type> <owl:Restriction>
_:7d27 <owl:onProperty> <ns:wrotePhDThesis>
_:7d27 <owl:allValuesFrom> <xsd:string>
_:7d28 <rdf:type> <owl:Restriction>
_:7d28 <owl:onProperty> <ns:wrotePhDThesis>
_:7d28 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7d28
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7d27
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB11#
_:1cf7 <rdf:type> <owl:Restriction>
_:1cf7 <owl:onProperty> <ns:wrotePhDThesis>
_:1cf7 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1cf7
<xsd:string> <rdf:type> <owl:Datatype>
 Removed:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
_:1cf3 <rdf:type> <owl:Restriction>
_:1cf3 <owl:onProperty> <ns:wrotePhDThesis>
_:1cf3 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <owl:equivalentClass> _:1cf4
<ns:Researcher> <owl:equivalentClass> _:1cf3
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:1cf4 <rdf:type> <owl:Restriction>
_:1cf4 <owl:onProperty> <ns:wrotePhDThesis>
_:1cf4 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
Removed:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
_:7d2a <rdf:type> <owl:Restriction>
_:7d2a <owl:onProperty> <ns:wrotePhDThesis>
_:7d2a <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:7d2a
<ns:Researcher> <owl:equivalentClass> _:7d29
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:7d29 <rdf:type> <owl:Restriction>
_:7d29 <owl:onProperty> <ns:wrotePhDThesis>
_:7d29 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
Removed:
ns=http://www.example.org/ISB11#
_:1cf8 <rdf:type> <owl:Restriction>
_:1cf8 <owl:onProperty> <ns:wrotePhDThesis>
_:1cf8 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1cf8
<owl:Nothing> <owl:disjointWith> <ns:Researcher>
<owl:Nothing> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdf:type> <owl:Class>
<ns:Researcher> <owl:disjointWith> <owl:Nothing>
<ns:Researcher> <rdfs:subClassOf> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> <owl:Thing>
<ns:Researcher> <owl:equivalentClass> <ns:Researcher>
E29
(ISB12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISB12#
<ns:OWL_ANONYM_CLASS_0> <rdf:type> <owl:Class>
<ns:OWL_ANONYM_CLASS_0> <owl:disjointWith> <owl:Nothing>
<ns:OWL_ANONYM_CLASS_0> <rdfs:subClassOf> <ns:OWL_ANONYM_CLASS_0>
<ns:OWL_ANONYM_CLASS_0> <rdfs:subClassOf> <owl:Thing>
<ns:OWL_ANONYM_CLASS_0> <owl:equivalentClass> <ns:OWL_ANONYM_CLASS_0>
<owl:Nothing> <owl:disjointWith> <ns:OWL_ANONYM_CLASS_0>
<owl:Nothing> <rdfs:subClassOf> <ns:OWL_ANONYM_CLASS_0>
 
 Removed:
ns=http://www.example.org/ISB12#
_:1cec <rdf:first> <ns:Male>
_:1cec <rdf:rest> <rdf:nil>
<owl:Nothing> <owl:disjointWith> <ns:ItalianMan>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
_:1ced <rdf:first> <ns:Italian>
_:1ced <rdf:rest> _:1cec
<ns:ItalianMan> <rdf:type> <owl:Class>
<ns:ItalianMan> <owl:equivalentClass> _:1cee
<ns:ItalianMan> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <owl:equivalentClass> <ns:ItalianMan>
_:1cee <rdf:type> <owl:Class>
_:1cee <owl:intersectionOf> _:1ced
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
Removed:
ns=http://www.example.org/ISB12#
<ns:ItalianMan> <owl:equivalentClass> _:7d0b
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:7d0b <rdf:type> <owl:Class>
_:7d0b <owl:intersectionOf> _:7d0a
_:7d0a <rdf:first> <ns:Italian>
_:7d0a <rdf:rest> _:7d09
_:7d09 <rdf:first> <ns:Male>
_:7d09 <rdf:rest> <rdf:nil>
Removed:
ns=http://www.example.org/ISB12#
<owl:Nothing> <owl:disjointWith> <ns:ItalianMan>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:OWL_ANONYM_CLASS_0>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:OWL_ANONYM_CLASS_0>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
<ns:OWL_ANONYM_CLASS_0> <rdf:type> <owl:Class>
<ns:OWL_ANONYM_CLASS_0> <owl:disjointWith> <owl:Nothing>
<ns:OWL_ANONYM_CLASS_0> <rdfs:subClassOf> <ns:OWL_ANONYM_CLASS_0>
<ns:OWL_ANONYM_CLASS_0> <rdfs:subClassOf> <owl:Thing>
<ns:OWL_ANONYM_CLASS_0> <owl:equivalentClass> <ns:OWL_ANONYM_CLASS_0>
<ns:ItalianMan> <rdf:type> <owl:Class>
<ns:ItalianMan> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMan> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMan> <owl:equivalentClass> <ns:ItalianMan>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
E30
(ISC01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISC01#
_:1ce7 <rdf:first> <ns:Male>
_:1ce7 <rdf:rest> <rdf:nil>
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
_:1ce8 <rdf:first> <ns:Italian>
_:1ce8 <rdf:rest> _:1ce7
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:ItalianMan> <rdf:type> <owl:Class>
<ns:ItalianMan> <owl:intersectionOf> _:1ce8
<ns:ItalianMan> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMan> <owl:equivalentClass> <ns:ItalianMan>
Removed:
ns=http://www.example.org/ISC01#
<ns:ItalianMan> <owl:intersectionOf> _:7cf0
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:7cef <rdf:first> <ns:Male>
_:7cef <rdf:rest> <rdf:nil>
_:7cf0 <rdf:first> <ns:Italian>
_:7cf0 <rdf:rest> _:7cef
Removed:
ns=http://www.example.org/ISC01#
<ns:ItalianMan> <rdf:type> <owl:Class>
<ns:ItalianMan> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMan> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMan> <owl:equivalentClass> <ns:ItalianMan>
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMan>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
E31
(ISC02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISC02#
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:ItalianMan>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
_:1ce2 <rdf:first> <ns:Person>
_:1ce2 <rdf:rest> <rdf:nil>
_:1ce3 <rdf:first> <ns:Male>
_:1ce3 <rdf:rest> _:1ce2
_:1ce4 <rdf:first> <ns:Italian>
_:1ce4 <rdf:rest> _:1ce3
<ns:ItalianMan> <rdf:type> <owl:Class>
<ns:ItalianMan> <owl:intersectionOf> _:1ce4
<ns:ItalianMan> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Person>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <owl:equivalentClass> <ns:ItalianMan>
Removed:
ns=http://www.example.org/ISC02#
_:7cd5 <rdf:first> <ns:Person>
_:7cd5 <rdf:rest> <rdf:nil>
<ns:ItalianMan> <owl:intersectionOf> _:7cd7
<ns:ItalianMan> <rdfs:subClassOf> <ns:Person>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
_:7cd7 <rdf:first> <ns:Italian>
_:7cd7 <rdf:rest> _:7cd6
_:7cd6 <rdf:first> <ns:Male>
_:7cd6 <rdf:rest> _:7cd5
Removed:
ns=http://www.example.org/ISC02#
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:ItalianMan>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdf:type> <owl:Class>
<ns:ItalianMan> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMan> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMan> <owl:equivalentClass> <ns:ItalianMan>
E32
(ISD01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E33
(ISD02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISD04#
<ns:isRational> <rdf:type> <owl:DatatypeProperty>
<ns:isRational> <rdf:type> <rdf:Property>
<ns:isRational> <owl:equivalentProperty> <ns:isRational>
<ns:isRational> <rdfs:subPropertyOf> <ns:isRational>
<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>
<ns:isReal> <rdf:type> <owl:DatatypeProperty>
<ns:isReal> <rdf:type> <rdf:Property>
<ns:isReal> <owl:equivalentProperty> <ns:isReal>
<ns:isReal> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdf:type> <owl:DatatypeProperty>
<ns:isInteger> <rdf:type> <rdf:Property>
<ns:isInteger> <owl:equivalentProperty> <ns:isInteger>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isInteger>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>
Removed:
ns=http://www.example.org/ISD04#
<ns:isRational> <rdf:type> <owl:DatatypeProperty>
<ns:isRational> <rdf:type> <rdf:Property>
<ns:isRational> <owl:equivalentProperty> <ns:isRational>
<ns:isRational> <rdfs:subPropertyOf> <ns:isRational>
<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>
<ns:isReal> <rdf:type> <owl:DatatypeProperty>
<ns:isReal> <rdf:type> <rdf:Property>
<ns:isReal> <owl:equivalentProperty> <ns:isReal>
<ns:isReal> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdf:type> <owl:DatatypeProperty>
<ns:isInteger> <rdf:type> <rdf:Property>
<ns:isInteger> <owl:equivalentProperty> <ns:isInteger>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isInteger>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>
 
E36
(ISE01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E37
(ISE02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E38
(ISE03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E39
(ISE04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E40
(ISE05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISE05#
<ns:hasChild> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1cce
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Woman>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Mother>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:1cce <rdf:type> <owl:Restriction>
_:1cce <owl:onProperty> <ns:hasChild>
_:1cce <owl:allValuesFrom> <ns:Person>
Inserted:
ns=http://www.example.org/ISE05#
<ns:hasChild> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7c0d
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Woman>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Mother>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:7c0d <rdf:type> <owl:Restriction>
_:7c0d <owl:onProperty> <ns:hasChild>
_:7c0d <owl:allValuesFrom> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
 
E41
(ISE06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISE06#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Child>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Human>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:Person> <rdfs:subClassOf> _:1cca
_:1cca <rdf:type> <owl:Restriction>
_:1cca <owl:onProperty> <ns:hasChild>
_:1cca <owl:allValuesFrom> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasChild> <rdfs:range> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISE06#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Child>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Human>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:Person> <rdfs:subClassOf> _:7bf6
<ns:hasChild> <rdfs:range> <ns:ANONYMOUS_CONCEPT_0>
_:7bf6 <rdf:type> <owl:Restriction>
_:7bf6 <owl:onProperty> <ns:hasChild>
_:7bf6 <owl:allValuesFrom> <ns:ANONYMOUS_CONCEPT_0>
 
E42
(ISE07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE07#
<ns:hasSSN> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1cc4
_:1cc4 <rdf:type> <owl:Restriction>
_:1cc4 <owl:onProperty> <ns:hasSSN>
_:1cc4 <owl:allValuesFrom> <xsd:string>
<xsd:string> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISE07#
_:7bdf <rdf:type> <owl:Restriction>
_:7bdf <owl:onProperty> <ns:hasSSN>
_:7bdf <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:7bdf
<ns:hasSSN> <rdfs:range> <xsd:string>
Inserted:
ns=http://www.example.org/ISE07#
_:1cc7 <rdf:type> <owl:Restriction>
_:1cc7 <owl:onProperty> <ns:hasSSN>
_:1cc7 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1cc7
<xsd:string> <rdf:type> <owl:Datatype>
    Removed:
ns=http://www.example.org/ISE07#
_:1cc8 <rdf:type> <owl:Restriction>
_:1cc8 <owl:onProperty> <ns:hasSSN>
_:1cc8 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1cc8
E43
(ISE08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISE08#
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
Removed:
ns=http://www.example.org/ISE08#
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
 
E44
(ISE09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE09#
_:1cbe <rdf:type> <owl:Restriction>
_:1cbe <owl:onProperty> <ns:hasName>
_:1cbe <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1cbe
<xsd:string> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISE09#
_:7bb3 <rdf:type> <owl:Restriction>
_:7bb3 <owl:onProperty> <ns:hasName>
_:7bb3 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:7bb3
Inserted:
ns=http://www.example.org/ISE09#
_:1cc1 <rdf:type> <owl:Restriction>
_:1cc1 <owl:onProperty> <ns:hasName>
_:1cc1 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1cc1
<xsd:string> <rdf:type> <owl:Datatype>
    Removed:
ns=http://www.example.org/ISE09#
_:1cc2 <rdf:type> <owl:Restriction>
_:1cc2 <owl:onProperty> <ns:hasName>
_:1cc2 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1cc2
E45
(ISE10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE10#
<xsd:string> <rdf:type> <owl:Datatype>
_:1cb8 <rdf:type> <owl:Restriction>
_:1cb8 <owl:onProperty> <ns:hasChildNamed>
_:1cb8 <owl:allValuesFrom> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1cb8
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Mother>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Woman>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasChildNamed> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasChildNamed> <rdfs:range> <xsd:string>
Inserted:
ns=http://www.example.org/ISE10#
<ns:hasChildNamed> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasChildNamed> <rdfs:range> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7b9c
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Mother>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Woman>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7b9c <rdf:type> <owl:Restriction>
_:7b9c <owl:onProperty> <ns:hasChildNamed>
_:7b9c <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISE10#
_:1cbb <rdf:type> <owl:Restriction>
_:1cbb <owl:onProperty> <ns:hasChildNamed>
_:1cbb <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1cbb
<xsd:string> <rdf:type> <owl:Datatype>
    Removed:
ns=http://www.example.org/ISE10#
_:1cbc <rdf:type> <owl:Restriction>
_:1cbc <owl:onProperty> <ns:hasChildNamed>
_:1cbc <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1cbc
E46
(ISF01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISF01#
<ns:Person> <rdfs:subClassOf> _:1cb2
<ns:Person> <rdfs:subClassOf> _:1cb1
_:1cb2 <rdf:type> <owl:Restriction>
_:1cb2 <owl:onProperty> <ns:isResidentIn>
_:1cb2 <owl:allValuesFrom> <ns:City>
_:1cb1 <rdf:type> <owl:Restriction>
_:1cb1 <owl:onProperty> <ns:livesIn>
_:1cb1 <owl:allValuesFrom> <ns:City>
Inserted:
ns=http://www.example.org/ISF01#
<ns:Person> <rdfs:subClassOf> _:7b85
<ns:Person> <rdfs:subClassOf> _:7b84
_:7b85 <rdf:type> <owl:Restriction>
_:7b85 <owl:onProperty> <ns:isResidentIn>
_:7b85 <owl:allValuesFrom> <ns:City>
_:7b84 <rdf:type> <owl:Restriction>
_:7b84 <owl:onProperty> <ns:livesIn>
_:7b84 <owl:allValuesFrom> <ns:City>
 
 Removed:
ns=http://www.example.org/ISF01#
<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>
<ns:isResidentIn> <rdfs:subPropertyOf> <ns:livesIn>
<ns:livesIn> <owl:equivalentProperty> <ns:isResidentIn>
<ns:livesIn> <rdfs:subPropertyOf> <ns:isResidentIn>
Removed:
ns=http://www.example.org/ISF01#
<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>
<ns:isResidentIn> <rdfs:subPropertyOf> <ns:livesIn>
<ns:livesIn> <owl:equivalentProperty> <ns:isResidentIn>
<ns:livesIn> <rdfs:subPropertyOf> <ns:isResidentIn>
 
E47
(ISF02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF02#
<xsd:string> <rdf:type> <owl:Datatype>
<ns:City> <rdfs:subClassOf> _:1ca6
<ns:City> <rdfs:subClassOf> _:1ca5
_:1ca5 <rdf:type> <owl:Restriction>
_:1ca5 <owl:onProperty> <ns:hasSpanishName>
_:1ca5 <owl:allValuesFrom> <xsd:string>
_:1ca6 <rdf:type> <owl:Restriction>
_:1ca6 <owl:onProperty> <ns:hasName>
_:1ca6 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSpanishName> <rdfs:range> <xsd:string>
Inserted:
ns=http://www.example.org/ISF02#
<ns:City> <rdfs:subClassOf> _:7b6b
<ns:City> <rdfs:subClassOf> _:7b6a
_:7b6a <rdf:type> <owl:Restriction>
_:7b6a <owl:onProperty> <ns:hasSpanishName>
_:7b6a <owl:allValuesFrom> <xsd:string>
_:7b6b <rdf:type> <owl:Restriction>
_:7b6b <owl:onProperty> <ns:hasName>
_:7b6b <owl:allValuesFrom> <xsd:string>
<ns:hasSpanishName> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
Inserted:
ns=http://www.example.org/ISF02#
<ns:City> <rdfs:subClassOf> _:1cac
<ns:City> <rdfs:subClassOf> _:1cab
_:1cac <rdf:type> <owl:Restriction>
_:1cac <owl:onProperty> <ns:hasName>
_:1cac <owl:allValuesFrom> <xsd:string>
_:1cab <rdf:type> <owl:Restriction>
_:1cab <owl:onProperty> <ns:hasSpanishName>
_:1cab <owl:allValuesFrom> <xsd:string>
<xsd:string> <rdf:type> <owl:Datatype>
    Removed:
ns=http://www.example.org/ISF02#
_:1cae <rdf:type> <owl:Restriction>
_:1cae <owl:onProperty> <ns:hasName>
_:1cae <owl:allValuesFrom> <xsd:string>
_:1cad <rdf:type> <owl:Restriction>
_:1cad <owl:onProperty> <ns:hasSpanishName>
_:1cad <owl:allValuesFrom> <xsd:string>
<ns:City> <rdfs:subClassOf> _:1cae
<ns:City> <rdfs:subClassOf> _:1cad
E48
(ISF03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISF03#
_:1c9e <rdf:type> <owl:Restriction>
_:1c9e <owl:onProperty> <ns:hasParent>
_:1c9e <owl:allValuesFrom> <ns:Person>
<ns:Child> <rdfs:subClassOf> _:1c9e
Inserted:
ns=http://www.example.org/ISF03#
<ns:Child> <rdfs:subClassOf> _:7b51
_:7b51 <rdf:type> <owl:Restriction>
_:7b51 <owl:onProperty> <ns:hasParent>
_:7b51 <owl:allValuesFrom> <ns:Person>
 
 Removed:
ns=http://www.example.org/ISF03#
<ns:hasParent> <owl:inverseOf> <ns:hasChild>
<ns:hasChild> <owl:inverseOf> <ns:hasParent>
Removed:
ns=http://www.example.org/ISF03#
<ns:hasParent> <owl:inverseOf> <ns:hasChild>
<ns:hasChild> <owl:inverseOf> <ns:hasParent>
 
E49
(ISG01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E50
(ISG02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E51
(ISG03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E52
(ISG04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG04#
<xsd:string> <rdf:type> <owl:Datatype>
_:1c83 <rdf:type> <owl:Restriction>
_:1c83 <owl:onProperty> <ns:hasAge>
_:1c83 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:1c84
<ns:Person> <rdfs:subClassOf> _:1c83
_:1c84 <rdf:type> <owl:Restriction>
_:1c84 <owl:onProperty> <ns:hasAge>
_:1c84 <owl:allValuesFrom> <xsd:string>
<ns:hasAge> <rdfs:range> <xsd:string>
Inserted:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:range> <xsd:string>
_:7af2 <rdf:type> <owl:Restriction>
_:7af2 <owl:onProperty> <ns:hasAge>
_:7af2 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:7af2
<ns:Person> <rdfs:subClassOf> _:7af1
_:7af1 <rdf:type> <owl:Restriction>
_:7af1 <owl:onProperty> <ns:hasAge>
_:7af1 <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISG04#
<ns:Person> <rdfs:subClassOf> _:1c8a
<ns:Person> <rdfs:subClassOf> _:1c89
_:1c89 <rdf:type> <owl:Restriction>
_:1c89 <owl:onProperty> <ns:hasAge>
_:1c89 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1c8a <rdf:type> <owl:Restriction>
_:1c8a <owl:onProperty> <ns:hasAge>
_:1c8a <owl:allValuesFrom> <xsd:string>
<xsd:string> <rdf:type> <owl:Datatype>
    Removed:
ns=http://www.example.org/ISG04#
<ns:Person> <rdfs:subClassOf> _:1c8c
<ns:Person> <rdfs:subClassOf> _:1c8b
_:1c8b <rdf:type> <owl:Restriction>
_:1c8b <owl:onProperty> <ns:hasAge>
_:1c8b <owl:allValuesFrom> <xsd:string>
_:1c8c <rdf:type> <owl:Restriction>
_:1c8c <owl:onProperty> <ns:hasAge>
_:1c8c <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E53
(ISG05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISG05#
_:1c7e <rdf:type> <owl:Restriction>
_:1c7e <owl:onProperty> <ns:hasTutor>
_:1c7e <owl:allValuesFrom> <ns:Student>
<ns:Professor> <rdfs:subClassOf> _:1c7e
Inserted:
ns=http://www.example.org/ISG05#
<ns:Professor> <rdfs:subClassOf> _:7ad9
_:7ad9 <rdf:type> <owl:Restriction>
_:7ad9 <owl:onProperty> <ns:hasTutor>
_:7ad9 <owl:allValuesFrom> <ns:Student>
 
 Removed:
ns=http://www.example.org/ISG05#
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
Removed:
ns=http://www.example.org/ISG05#
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
 
E54
(ISH01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E55
(ISH02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISH02#
<ns:Peter> <rdf:type> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Student>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Father>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISH02#
<ns:Peter> <rdf:type> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Student>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Person>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Father>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
 
E56
(ISH03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E57
(ISI01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E58
(ISI02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E59
(ISI03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E60
(ISI04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI04#
<ns:hasName> <rdfs:range> <xsd:string>
_:1c6c <rdf:type> <owl:Restriction>
_:1c6c <owl:onProperty> <ns:hasName>
_:1c6c <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c6c
<xsd:string> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISI04#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:7a39
_:7a39 <rdf:type> <owl:Restriction>
_:7a39 <owl:onProperty> <ns:hasName>
_:7a39 <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISI04#
_:1c6f <rdf:type> <owl:Restriction>
_:1c6f <owl:onProperty> <ns:hasName>
_:1c6f <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c6f
<xsd:string> <rdf:type> <owl:Datatype>
    Removed:
ns=http://www.example.org/ISI04#
_:1c70 <rdf:type> <owl:Restriction>
_:1c70 <owl:onProperty> <ns:hasName>
_:1c70 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c70
E61
(ISI05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI05#
<ns:hasName> <rdfs:range> <xsd:string>
_:1c66 <rdf:type> <owl:Restriction>
_:1c66 <owl:onProperty> <ns:hasName>
_:1c66 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c66
<xsd:string> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISI05#
<ns:Person> <rdfs:subClassOf> _:7a22
_:7a22 <rdf:type> <owl:Restriction>
_:7a22 <owl:onProperty> <ns:hasName>
_:7a22 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
Inserted:
ns=http://www.example.org/ISI05#
<ns:Person> <rdfs:subClassOf> _:1c69
_:1c69 <rdf:type> <owl:Restriction>
_:1c69 <owl:onProperty> <ns:hasName>
_:1c69 <owl:allValuesFrom> <xsd:string>
<xsd:string> <rdf:type> <owl:Datatype>
    Removed:
ns=http://www.example.org/ISI05#
<ns:Person> <rdfs:subClassOf> _:1c6a
_:1c6a <rdf:type> <owl:Restriction>
_:1c6a <owl:onProperty> <ns:hasName>
_:1c6a <owl:allValuesFrom> <xsd:string>
E62
(ISJ01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ01#
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasChild> <ns:John>
<ns:Person> <rdfs:subClassOf> _:1c61
_:1c61 <rdf:type> <owl:Restriction>
_:1c61 <owl:onProperty> <ns:hasChild>
_:1c61 <owl:allValuesFrom> <ns:Person>
Inserted:
ns=http://www.example.org/ISJ01#
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasChild> <ns:John>
<ns:Person> <rdfs:subClassOf> _:22db
_:22db <rdf:type> <owl:Restriction>
_:22db <owl:onProperty> <ns:hasChild>
_:22db <owl:allValuesFrom> <ns:Person>
 
 Removed:
ns=http://www.example.org/ISJ01#
_:1c62 <owl:sameAs> _:1c62
_:1c62 <rdf:type> <ns:Person>
_:1c62 <rdf:type> <owl:Thing>
_:1c62 <ns:hasChild> <ns:John>
Removed:
ns=http://www.example.org/ISJ01#
_:7a0b <owl:sameAs> _:7a0b
_:7a0b <rdf:type> <ns:Person>
_:7a0b <rdf:type> <owl:Thing>
_:7a0b <ns:hasChild> <ns:John>
 
E63
(ISJ02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ02#
<ns:Parent> <rdfs:subClassOf> _:1c5b
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Parent>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasChild> <ns:John>
_:1c5b <rdf:type> <owl:Restriction>
_:1c5b <owl:onProperty> <ns:hasChild>
_:1c5b <owl:allValuesFrom> <ns:Person>
Inserted:
ns=http://www.example.org/ISJ02#
<ns:Parent> <rdfs:subClassOf> _:22c2
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Parent>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasChild> <ns:John>
_:22c2 <rdf:type> <owl:Restriction>
_:22c2 <owl:onProperty> <ns:hasChild>
_:22c2 <owl:allValuesFrom> <ns:Person>
 
 Removed:
ns=http://www.example.org/ISJ02#
_:1c5c <owl:sameAs> _:1c5c
_:1c5c <rdf:type> <ns:Parent>
_:1c5c <rdf:type> <owl:Thing>
_:1c5c <ns:hasChild> <ns:John>
Removed:
ns=http://www.example.org/ISJ02#
_:79f2 <owl:sameAs> _:79f2
_:79f2 <rdf:type> <ns:Parent>
_:79f2 <rdf:type> <owl:Thing>
_:79f2 <ns:hasChild> <ns:John>
 
E64
(ISJ03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ03#
<xsd:string> <rdf:type> <owl:Datatype>
_:1c53 <rdf:type> <owl:Restriction>
_:1c53 <owl:onProperty> <ns:hasName>
_:1c53 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c53
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Peter"^^<xsd:string>
Inserted:
ns=http://www.example.org/ISJ03#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:22a7
_:22a7 <rdf:type> <owl:Restriction>
_:22a7 <owl:onProperty> <ns:hasName>
_:22a7 <owl:allValuesFrom> <xsd:string>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Peter"^^<xsd:string>
Inserted:
ns=http://www.example.org/ISJ03#
_:1c57 <rdf:type> <owl:Restriction>
_:1c57 <owl:onProperty> <ns:hasName>
_:1c57 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c57
<xsd:string> <rdf:type> <owl:Datatype>
 Removed:
ns=http://www.example.org/ISJ03#
_:1c54 <owl:sameAs> _:1c54
_:1c54 <rdf:type> <owl:Thing>
_:1c54 <rdf:type> <ns:Person>
_:1c54 <ns:hasName> "Peter"
Removed:
ns=http://www.example.org/ISJ03#
_:69a4 <owl:sameAs> _:69a4
_:69a4 <rdf:type> <owl:Thing>
_:69a4 <rdf:type> <ns:Person>
_:69a4 <ns:hasName> "Peter"
Removed:
ns=http://www.example.org/ISJ03#
_:1c58 <rdf:type> <owl:Restriction>
_:1c58 <owl:onProperty> <ns:hasName>
_:1c58 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c58
E65
(ISK01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISK01#
<ns:MaryAnn> <owl:sameAs> <ns:Mary>
<ns:Mary> <owl:sameAs> <ns:MaryAnn>
Removed:
ns=http://www.example.org/ISK01#
<ns:MaryAnn> <owl:sameAs> <ns:Mary>
<ns:Mary> <owl:sameAs> <ns:MaryAnn>
 
E66
(ISK02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISK02#
<ns:MaryAnn> <owl:differentFrom> <ns:Ann>
Removed:
ns=http://www.example.org/ISK02#
<ns:MaryAnn> <owl:differentFrom> <ns:Ann>
 
E67
(ISK03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISK03#
_:1c4f <rdf:first> <ns:Ann>
_:1c4f <rdf:rest> _:1c4e
_:1c4e <rdf:first> <ns:Joan>
_:1c4e <rdf:rest> _:1c4d
_:1c4d <rdf:first> <ns:Mary>
_:1c4d <rdf:rest> <rdf:nil>
_:1c50 <rdf:type> <owl:AllDifferent>
_:1c50 <owl:distinctMembers> _:1c4f
Removed:
ns=http://www.example.org/ISK03#
_:7990 <rdf:first> <ns:Mary>
_:7990 <rdf:rest> <rdf:nil>
_:7993 <rdf:type> <owl:AllDifferent>
_:7993 <owl:distinctMembers> _:7992
_:7992 <rdf:first> <ns:Ann>
_:7992 <rdf:rest> _:7991
_:7991 <rdf:first> <ns:Joan>
_:7991 <rdf:rest> _:7990
 
E68
(ISL01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL02#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns: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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL03#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
 Removed:
ns=http://www.example.org/ISL03#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
E71
(ISL04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL04#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL05#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns: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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL06#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
 Removed:
ns=http://www.example.org/ISL06#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
E74
(ISL07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL07#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c44
_:1c44 <rdf:type> <owl:Restriction>
_:1c44 <owl:onProperty> <ns:hasName>
_:1c44 <owl:allValuesFrom> <xsd:string>
<xsd:string> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISL07#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:78f0
_:78f0 <rdf:type> <owl:Restriction>
_:78f0 <owl:onProperty> <ns:hasName>
_:78f0 <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISL07#
<ns:Person> <rdfs:subClassOf> _:1c47
_:1c47 <rdf:type> <owl:Restriction>
_:1c47 <owl:onProperty> <ns:hasName>
_:1c47 <owl:allValuesFrom> <xsd:string>
<xsd:string> <rdf:type> <owl:Datatype>
    Removed:
ns=http://www.example.org/ISL07#
_:1c48 <rdf:type> <owl:Restriction>
_:1c48 <owl:onProperty> <ns:hasName>
_:1c48 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c48
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
<ns:hasName> <rdfs:range> <xsd:string>
_:1c3e <rdf:type> <owl:Restriction>
_:1c3e <owl:onProperty> <ns:hasName>
_:1c3e <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c3e
<xsd:string> <rdf:type> <owl:Datatype>
Inserted:
ns=http://www.example.org/ISL08#
_:78d5 <rdf:type> <owl:Restriction>
_:78d5 <owl:onProperty> <ns:hasName>
_:78d5 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:78d5
<ns:hasName> <rdfs:range> <xsd:string>
Inserted:
ns=http://www.example.org/ISL08#
<ns:Person> <rdfs:subClassOf> _:1c41
_:1c41 <rdf:type> <owl:Restriction>
_:1c41 <owl:onProperty> <ns:hasName>
_:1c41 <owl:allValuesFrom> <xsd:string>
<xsd:string> <rdf:type> <owl:Datatype>
    Removed:
ns=http://www.example.org/ISL08#
<ns:Person> <rdfs:subClassOf> _:1c42
_:1c42 <rdf:type> <owl:Restriction>
_:1c42 <owl:onProperty> <ns:hasName>
_:1c42 <owl:allValuesFrom> <xsd:string>
E76
(ISL09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL09#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL10#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
 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#
<xsd:string> <rdf:type> <owl:Datatype>
_:1c33 <rdf:type> <owl:Restriction>
_:1c33 <owl:onProperty> <ns:hasSurname>
_:1c33 <owl:allValuesFrom> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
_:1c34 <rdf:type> <owl:Restriction>
_:1c34 <owl:onProperty> <ns:hasName>
_:1c34 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c34
<ns:Person> <rdfs:subClassOf> _:1c33
Inserted:
ns=http://www.example.org/ISL11#
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:788c
<ns:Person> <rdfs:subClassOf> _:788b
_:788b <rdf:type> <owl:Restriction>
_:788b <owl:onProperty> <ns:hasSurname>
_:788b <owl:allValuesFrom> <xsd:string>
_:788c <rdf:type> <owl:Restriction>
_:788c <owl:onProperty> <ns:hasName>
_:788c <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISL11#
<ns:Person> <rdfs:subClassOf> _:1c3a
<ns:Person> <rdfs:subClassOf> _:1c39
_:1c39 <rdf:type> <owl:Restriction>
_:1c39 <owl:onProperty> <ns:hasSurname>
_:1c39 <owl:allValuesFrom> <xsd:string>
_:1c3a <rdf:type> <owl:Restriction>
_:1c3a <owl:onProperty> <ns:hasName>
_:1c3a <owl:allValuesFrom> <xsd:string>
<xsd:string> <rdf:type> <owl:Datatype>
    Removed:
ns=http://www.example.org/ISL11#
_:1c3b <rdf:type> <owl:Restriction>
_:1c3b <owl:onProperty> <ns:hasSurname>
_:1c3b <owl:allValuesFrom> <xsd:string>
_:1c3c <rdf:type> <owl:Restriction>
_:1c3c <owl:onProperty> <ns:hasName>
_:1c3c <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c3c
<ns:Person> <rdfs:subClassOf> _:1c3b
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL12#
<xsd:string> <rdf:type> <owl:Datatype>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
_:1c27 <rdf:type> <owl:Restriction>
_:1c27 <owl:onProperty> <ns:hasSurname>
_:1c27 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c28
<ns:Person> <rdfs:subClassOf> _:1c27
_:1c28 <rdf:type> <owl:Restriction>
_:1c28 <owl:onProperty> <ns:hasName>
_:1c28 <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISL12#
_:786e <rdf:type> <owl:Restriction>
_:786e <owl:onProperty> <ns:hasSurname>
_:786e <owl:allValuesFrom> <xsd:string>
_:786f <rdf:type> <owl:Restriction>
_:786f <owl:onProperty> <ns:hasName>
_:786f <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:786f
<ns:Person> <rdfs:subClassOf> _:786e
Inserted:
ns=http://www.example.org/ISL12#
_:1c2d <rdf:type> <owl:Restriction>
_:1c2d <owl:onProperty> <ns:hasSurname>
_:1c2d <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c2e
<ns:Person> <rdfs:subClassOf> _:1c2d
_:1c2e <rdf:type> <owl:Restriction>
_:1c2e <owl:onProperty> <ns:hasName>
_:1c2e <owl:allValuesFrom> <xsd:string>
<xsd:string> <rdf:type> <owl:Datatype>
    Removed:
ns=http://www.example.org/ISL12#
_:1c30 <rdf:type> <owl:Restriction>
_:1c30 <owl:onProperty> <ns:hasName>
_:1c30 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c30
<ns:Person> <rdfs:subClassOf> _:1c2f
_:1c2f <rdf:type> <owl:Restriction>
_:1c2f <owl:onProperty> <ns:hasSurname>
_:1c2f <owl:allValuesFrom> <xsd:string>
E80
(ISL13)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL13#
<xsd:string> <rdf:type> <owl:Datatype>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:1c1b
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
_:1c1a <rdf:type> <owl:Restriction>
_:1c1a <owl:onProperty> <ns:hasChild>
_:1c1a <owl:allValuesFrom> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Paul"^^<xsd:string>
_:1c1b <rdf:type> <owl:Restriction>
_:1c1b <owl:onProperty> <ns:hasName>
_:1c1b <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c1a
Inserted:
ns=http://www.example.org/ISL13#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:6828
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Paul"^^<xsd:string>
_:6827 <rdf:type> <owl:Restriction>
_:6827 <owl:onProperty> <ns:hasChild>
_:6827 <owl:allValuesFrom> <ns:Child>
<ns:Person> <rdfs:subClassOf> _:6827
_:6828 <rdf:type> <owl:Restriction>
_:6828 <owl:onProperty> <ns:hasName>
_:6828 <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISL13#
<xsd:string> <rdf:type> <owl:Datatype>
<ns:Child> <rdfs:subClassOf> _:1c22
_:1c21 <rdf:type> <owl:Restriction>
_:1c21 <owl:onProperty> <ns:hasChild>
_:1c21 <owl:allValuesFrom> <ns:Child>
<ns:Person> <rdfs:subClassOf> _:1c21
_:1c22 <rdf:type> <owl:Restriction>
_:1c22 <owl:onProperty> <ns:hasName>
_:1c22 <owl:allValuesFrom> <xsd:string>
 Removed:
ns=http://www.example.org/ISL13#
_:1c1c <owl:sameAs> _:1c1c
_:1c1c <rdf:type> <ns:Child>
_:1c1c <rdf:type> <owl:Thing>
_:1c1c <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:1c1c
Removed:
ns=http://www.example.org/ISL13#
_:2129 <owl:sameAs> _:2129
_:2129 <rdf:type> <ns:Child>
_:2129 <rdf:type> <owl:Thing>
_:2129 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:2129
Removed:
ns=http://www.example.org/ISL13#
<ns:Child> <rdfs:subClassOf> _:1c24
_:1c24 <rdf:type> <owl:Restriction>
_:1c24 <owl:onProperty> <ns:hasName>
_:1c24 <owl:allValuesFrom> <xsd:string>
_:1c23 <rdf:type> <owl:Restriction>
_:1c23 <owl:onProperty> <ns:hasChild>
_:1c23 <owl:allValuesFrom> <ns:Child>
<ns:Person> <rdfs:subClassOf> _:1c23
E81
(ISL14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL14#
<xsd:string> <rdf:type> <owl:Datatype>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
_:1c0c <rdf:type> <owl:Restriction>
_:1c0c <owl:onProperty> <ns:hasChild>
_:1c0c <owl:allValuesFrom> <ns:Child>
<ns:Person> <rdfs:subClassOf> _:1c0c
<ns:Child> <rdfs:subClassOf> _:1c0d
_:1c0d <rdf:type> <owl:Restriction>
_:1c0d <owl:onProperty> <ns:hasName>
_:1c0d <owl:allValuesFrom> <xsd:string>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Paul"^^<xsd:string>
Inserted:
ns=http://www.example.org/ISL14#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
_:210b <rdf:type> <owl:Restriction>
_:210b <owl:onProperty> <ns:hasChild>
_:210b <owl:allValuesFrom> <ns:Child>
<ns:Person> <rdfs:subClassOf> _:210b
_:210c <rdf:type> <owl:Restriction>
_:210c <owl:onProperty> <ns:hasName>
_:210c <owl:allValuesFrom> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:210c
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Paul"^^<xsd:string>
Inserted:
ns=http://www.example.org/ISL14#
<xsd:string> <rdf:type> <owl:Datatype>
_:1c14 <rdf:type> <owl:Restriction>
_:1c14 <owl:onProperty> <ns:hasName>
_:1c14 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1c13
<ns:Child> <rdfs:subClassOf> _:1c14
_:1c13 <rdf:type> <owl:Restriction>
_:1c13 <owl:onProperty> <ns:hasChild>
_:1c13 <owl:allValuesFrom> <ns:Child>
 Removed:
ns=http://www.example.org/ISL14#
_:1c0e <owl:sameAs> _:1c0e
_:1c0e <rdf:type> <ns:Child>
_:1c0e <rdf:type> <owl:Thing>
_:1c0e <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:1c0e
Removed:
ns=http://www.example.org/ISL14#
_:7835 <owl:sameAs> _:7835
_:7835 <rdf:type> <ns:Child>
_:7835 <rdf:type> <owl:Thing>
_:7835 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:7835
Removed:
ns=http://www.example.org/ISL14#
<ns:Person> <rdfs:subClassOf> _:1c15
_:1c16 <rdf:type> <owl:Restriction>
_:1c16 <owl:onProperty> <ns:hasName>
_:1c16 <owl:allValuesFrom> <xsd:string>
_:1c15 <rdf:type> <owl:Restriction>
_:1c15 <owl:onProperty> <ns:hasChild>
_:1c15 <owl:allValuesFrom> <ns:Child>
<ns:Child> <rdfs:subClassOf> _:1c16
E82
(ISL15)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL15#
<ns:Book> <rdfs:comment> "rdfs:label : Book||rdfs:label : Libro||"^^<xsd:string>
Inserted:
ns=http://www.example.org/ISL15#
<ns:Book> <rdfs:comment> "rdfs:label : Book||rdfs:label : Libro||"
 
 Removed:
ns=http://www.example.org/ISL15#
<ns:Book> <rdfs:label> "Book"@en
<ns:Book> <rdfs:label> "Libro"@es
Removed:
ns=http://www.example.org/ISL15#
<ns:Book> <rdfs:label> "Book"@en
<ns:Book> <rdfs:label> "Libro"@es
 
Namespaces
owl=http://www.w3.org/2002/07/owl#
rdf=http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs=http://www.w3.org/2000/01/rdf-schema#
xsd=http://www.w3.org/2001/XMLSchema
#diff=http://www.aifb.uni-karlsruhe.de/WBS/dvr/owltools/diff/result#