Interoperability from WebODE to Jena (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (WebODE) Step2 (Jena)
E01
(ISA01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E02
(ISA02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E03
(ISA03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E04
(ISA04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E05
(ISA05)		Interchange = DIFFERENT
Execution = OK		 Interchange = 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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E07
(ISA07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA07#
_:1f7c <rdf:type> <owl:Restriction>
_:1f7c <owl:onProperty> <ns:hasCar>
_:1f7c <owl:allValuesFrom> <owl:Thing>
<ns:hasCar> <rdfs:domain> <ns:Driver>
<ns:Driver> <rdfs:subClassOf> _:1f7c
Inserted:
ns=http://www.example.org/ISA07#
<ns:hasCar> <rdfs:domain> <ns:Driver>
_:2883 <rdf:type> <owl:Restriction>
_:2883 <owl:onProperty> <ns:hasCar>
_:2883 <owl:allValuesFrom> <owl:Thing>
<ns:Driver> <rdfs:subClassOf> _:2883
 
 Removed:
ns=http://www.example.org/ISA07#
_:1f7d <rdf:type> <owl:Restriction>
_:1f7d <owl:onProperty> <ns:hasCar>
_:1f7d <owl:someValuesFrom> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:1f7d
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>
 
E08
(ISA08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
<ns:wasBorn> <rdfs:domain> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> _:1f75
_:1f75 <rdf:type> <owl:Restriction>
_:1f75 <owl:onProperty> <ns:wasBorn>
_:1f75 <owl:allValuesFrom> <owl:Thing>
Inserted:
ns=http://www.example.org/ISA08#
_:286a <rdf:type> <owl:Restriction>
_:286a <owl:onProperty> <ns:wasBorn>
_:286a <owl:allValuesFrom> <owl:Thing>
<ns:wasBorn> <rdfs:domain> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> _:286a
 
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:1f76
_:1f76 <rdf:type> <owl:Restriction>
_:1f76 <owl:onProperty> <ns:wasBorn>
_:1f76 <owl:allValuesFrom> <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
 
E09
(ISA09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA09#
_:1f6e <rdf:type> <owl:Restriction>
_:1f6e <owl:onProperty> <ns:worksIn>
_:1f6e <owl:allValuesFrom> <owl:Thing>
<ns:Employee> <rdfs:subClassOf> _:1f6e
<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#
_:1f6f <rdf:type> <owl:Restriction>
_:1f6f <owl:onProperty> <ns:worksIn>
_:1f6f <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:1f6f
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>
_:1f63 <rdf:type> <owl:Restriction>
_:1f63 <owl:onProperty> <ns:hasAffiliation>
_:1f63 <owl:allValuesFrom> <owl:Thing>
<ns:Researcher> <rdfs:subClassOf> _:1f64
<ns:Researcher> <rdfs:subClassOf> _:1f63
_:1f64 <rdf:type> <owl:Restriction>
_:1f64 <owl:onProperty> <ns:hasAffiliation>
_:1f64 <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> _:1f65
_:1f65 <rdf:type> <owl:Restriction>
_:1f65 <owl:onProperty> <ns:hasAffiliation>
_:1f65 <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> _:1f58
<ns:Person> <rdfs:subClassOf> _:1f57
_:1f58 <rdf:type> <owl:Restriction>
_:1f58 <owl:onProperty> <ns:hasMother>
_:1f58 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1f57 <rdf:type> <owl:Restriction>
_:1f57 <owl:onProperty> <ns:hasMother>
_:1f57 <owl:allValuesFrom> <owl:Thing>
<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> _:1f59
_:1f59 <rdf:type> <owl:Restriction>
_:1f59 <owl:onProperty> <ns:hasMother>
_:1f59 <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>
_:1f4b <rdf:type> <owl:Restriction>
_:1f4b <owl:onProperty> <ns:hasAffiliation>
_:1f4b <owl:allValuesFrom> <owl:Thing>
_:1f4a <rdf:type> <owl:Restriction>
_:1f4a <owl:onProperty> <ns:hasAffiliation>
_:1f4a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:1f4a
<ns:Researcher> <rdfs:subClassOf> _:1f4b
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#
_:1f4d <rdf:type> <owl:Restriction>
_:1f4d <owl:onProperty> <ns:hasAffiliation>
_:1f4d <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:1f4c <rdf:type> <owl:Restriction>
_:1f4c <owl:onProperty> <ns:hasAffiliation>
_:1f4c <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:1f4d
<ns:Researcher> <rdfs:subClassOf> _:1f4c
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 = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:1f41
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
_:1f41 <rdf:type> <owl:Restriction>
_:1f41 <owl:onProperty> <ns:hasName>
_:1f41 <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:6e8d
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
_:6e8d <rdf:type> <owl:Restriction>
_:6e8d <owl:onProperty> <ns:hasName>
_:6e8d <owl:allValuesFrom> <xsd:string>
 
 Removed:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:1f42
_:1f42 <rdf:type> <owl:Restriction>
_:1f42 <owl:onProperty> <ns:hasName>
_:1f42 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
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>
 
E14
(ISA14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA14#
_:1f37 <rdf:type> <owl:Restriction>
_:1f37 <owl:onProperty> <ns:wrotePhDThesis>
_:1f37 <owl:allValuesFrom> <xsd:string>
_:1f36 <rdf:type> <owl:Restriction>
_:1f36 <owl:onProperty> <ns:wrotePhDThesis>
_:1f36 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:1f36
<ns:Researcher> <rdfs:subClassOf> _:1f37
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <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>
 
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:1f38
_:1f38 <rdf:type> <owl:Restriction>
_:1f38 <owl:onProperty> <ns:wrotePhDThesis>
_:1f38 <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>
 
E15
(ISA15)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:1f2b
<ns:Person> <rdfs:subClassOf> _:1f2a
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
_:1f2b <rdf:type> <owl:Restriction>
_:1f2b <owl:onProperty> <ns:hasSSN>
_:1f2b <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:1f2a <rdf:type> <owl:Restriction>
_:1f2a <owl:onProperty> <ns:hasSSN>
_:1f2a <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>
 
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:1f2c
_:1f2c <rdf:type> <owl:Restriction>
_:1f2c <owl:onProperty> <ns:hasSSN>
_:1f2c <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>
 
E16
(ISA16)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> _:1f1e
<ns:Researcher> <rdfs:subClassOf> _:1f1d
_:1f1e <rdf:type> <owl:Restriction>
_:1f1e <owl:onProperty> <ns:wrotePhDThesis>
_:1f1e <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:1f1d <rdf:type> <owl:Restriction>
_:1f1d <owl:onProperty> <ns:wrotePhDThesis>
_:1f1d <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> _:7e60
<ns:Researcher> <rdfs:subClassOf> _:7e5f
_:7e5f <rdf:type> <owl:Restriction>
_:7e5f <owl:onProperty> <ns:wrotePhDThesis>
_:7e5f <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:7e60 <rdf:type> <owl:Restriction>
_:7e60 <owl:onProperty> <ns:wrotePhDThesis>
_:7e60 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
 Removed:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> _:1f20
<ns:Researcher> <rdfs:subClassOf> _:1f1f
_:1f1f <rdf:type> <owl:Restriction>
_:1f1f <owl:onProperty> <ns:wrotePhDThesis>
_:1f1f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1f20 <rdf:type> <owl:Restriction>
_:1f20 <owl:onProperty> <ns:wrotePhDThesis>
_:1f20 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
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
 
E17
(ISA17)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISA17#
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:1f17 <rdf:first> <ns:Male>
_:1f17 <rdf:rest> <rdf:nil>
_:1f18 <rdf:first> <ns:Italian>
_:1f18 <rdf:rest> _:1f17
<ns:ItalianMale> <owl:intersectionOf> _:1f18
<ns:ItalianMale> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMale> <rdfs:subClassOf> <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>
 
E18
(ISB01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISB01#
<ns:Italienne> <rdfs:subClassOf> <ns:Italiano>
<ns:Italienne> <rdfs:subClassOf> <ns:Italian>
<ns:Italienne> <owl:equivalentClass> <ns:Italiano>
<ns:Italienne> <owl:equivalentClass> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <ns:Italiano>
<ns:Italian> <rdfs:subClassOf> <ns:Italienne>
<ns:Italian> <owl:equivalentClass> <ns:Italiano>
<ns:Italian> <owl:equivalentClass> <ns:Italienne>
<ns:Italiano> <rdfs:subClassOf> <ns:Italian>
<ns:Italiano> <rdfs:subClassOf> <ns:Italienne>
<ns:Italiano> <owl:equivalentClass> <ns:Italian>
<ns:Italiano> <owl:equivalentClass> <ns:Italienne>
Removed:
ns=http://www.example.org/ISB01#
<ns:Italienne> <rdfs:subClassOf> <ns:Italiano>
<ns:Italienne> <rdfs:subClassOf> <ns:Italian>
<ns:Italienne> <owl:equivalentClass> <ns:Italiano>
<ns:Italienne> <owl:equivalentClass> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <ns:Italiano>
<ns:Italian> <rdfs:subClassOf> <ns:Italienne>
<ns:Italian> <owl:equivalentClass> <ns:Italiano>
<ns:Italian> <owl:equivalentClass> <ns:Italienne>
<ns:Italiano> <rdfs:subClassOf> <ns:Italian>
<ns:Italiano> <rdfs:subClassOf> <ns:Italienne>
<ns:Italiano> <owl:equivalentClass> <ns:Italian>
<ns:Italiano> <owl:equivalentClass> <ns:Italienne>
 
E19
(ISB02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB02#
_:1f10 <rdf:type> <owl:Restriction>
_:1f10 <owl:onProperty> <ns:hasCar>
_:1f10 <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> _:1f10
<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>
 
 Removed:
ns=http://www.example.org/ISB02#
<ns:Driver> <owl:equivalentClass> _:1f11
_:1f11 <rdf:type> <owl:Restriction>
_:1f11 <owl:onProperty> <ns:hasCar>
_:1f11 <owl:someValuesFrom> <ns:Car>
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>
 
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB03#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1f09
<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>
_:1f09 <rdf:type> <owl:Restriction>
_:1f09 <owl:onProperty> <ns:wasBorn>
_:1f09 <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>
 
 Removed:
ns=http://www.example.org/ISB03#
_:1f0a <rdf:type> <owl:Restriction>
_:1f0a <owl:onProperty> <ns:wasBorn>
_:1f0a <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:1f0a
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>
 
E21
(ISB04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB04#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1f02
<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>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:1f02 <rdf:type> <owl:Restriction>
_:1f02 <owl:onProperty> <ns:worksIn>
_:1f02 <owl:allValuesFrom> <owl:Thing>
Inserted:
ns=http://www.example.org/ISB04#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:6dbb
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:worksIn> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
_:6dbb <rdf:type> <owl:Restriction>
_:6dbb <owl:onProperty> <ns:worksIn>
_:6dbb <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
 
 Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <owl:equivalentClass> _:1f03
_:1f03 <rdf:type> <owl:Restriction>
_:1f03 <owl:onProperty> <ns:worksIn>
_:1f03 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
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>
 
E22
(ISB05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
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> _:1ef8
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1ef7
<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>
_:1ef7 <rdf:type> <owl:Restriction>
_:1ef7 <owl:onProperty> <ns:hasAffiliation>
_:1ef7 <owl:allValuesFrom> <owl:Thing>
_:1ef8 <rdf:type> <owl:Restriction>
_:1ef8 <owl:onProperty> <ns:hasAffiliation>
_:1ef8 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISB05#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7dca <rdf:type> <owl:Restriction>
_:7dca <owl:onProperty> <ns:hasAffiliation>
_:7dca <owl:allValuesFrom> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7dcb
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7dca
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
_:7dcb <rdf:type> <owl:Restriction>
_:7dcb <owl:onProperty> <ns:hasAffiliation>
_:7dcb <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
 Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:1ef9
_:1ef9 <rdf:type> <owl:Restriction>
_:1ef9 <owl:onProperty> <ns:hasAffiliation>
_:1ef9 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:7dcc
_:7dcc <rdf:type> <owl:Restriction>
_:7dcc <owl:onProperty> <ns:hasAffiliation>
_:7dcc <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
E23
(ISB06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
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>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1eec
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1eeb
<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>
_:1eeb <rdf:type> <owl:Restriction>
_:1eeb <owl:onProperty> <ns:hasMother>
_:1eeb <owl:allValuesFrom> <owl:Thing>
_:1eec <rdf:type> <owl:Restriction>
_:1eec <owl:onProperty> <ns:hasMother>
_:1eec <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<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>
 
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:1eed
_:1eed <rdf:type> <owl:Restriction>
_:1eed <owl:onProperty> <ns:hasMother>
_:1eed <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>
 
E24
(ISB07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB07#
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1ee2
<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>
_:1ee2 <rdf:type> <owl:Restriction>
_:1ee2 <owl:onProperty> <ns:hasAffiliation>
_:1ee2 <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB07#
<ns:hasAffiliation> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7d92
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:7d92 <rdf:type> <owl:Restriction>
_:7d92 <owl:onProperty> <ns:hasAffiliation>
_:7d92 <owl:allValuesFrom> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
 
 Removed:
ns=http://www.example.org/ISB07#
_:1ee3 <rdf:type> <owl:Restriction>
_:1ee3 <owl:onProperty> <ns:hasAffiliation>
_:1ee3 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
_:1ee4 <rdf:type> <owl:Restriction>
_:1ee4 <owl:onProperty> <ns:hasAffiliation>
_:1ee4 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:1ee4
<ns:Researcher> <owl:equivalentClass> _:1ee3
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<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>
 
E25
(ISB08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB08#
_:1eda <rdf:type> <owl:Restriction>
_:1eda <owl:onProperty> <ns:hasName>
_:1eda <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1eda
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns: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>
 
 Removed:
ns=http://www.example.org/ISB08#
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:Person> <owl:equivalentClass> _:1edb
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
<owl:Nothing> <owl:complementOf> <ns:Person>
_:1edb <rdf:type> <owl:Restriction>
_:1edb <owl:onProperty> <ns:hasName>
_:1edb <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB08#
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:Person> <owl:equivalentClass> _:2685
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
_:2685 <rdf:type> <owl:Restriction>
_:2685 <owl:onProperty> <ns:hasName>
_:2685 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Person>
 
E26
(ISB09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB09#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:1ecf <rdf:type> <owl:Restriction>
_:1ecf <owl:onProperty> <ns:wrotePhDThesis>
_:1ecf <owl:allValuesFrom> <xsd:string>
_:1ed0 <rdf:type> <owl:Restriction>
_:1ed0 <owl:onProperty> <ns:wrotePhDThesis>
_:1ed0 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1ed0
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1ecf
<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>
 
 Removed:
ns=http://www.example.org/ISB09#
<ns:Researcher> <owl:equivalentClass> _:1ed1
_:1ed1 <rdf:type> <owl:Restriction>
_:1ed1 <owl:onProperty> <ns:wrotePhDThesis>
_:1ed1 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
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
 
E27
(ISB10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB10#
_:1ec3 <rdf:type> <owl:Restriction>
_:1ec3 <owl:onProperty> <ns:hasSSN>
_:1ec3 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:hasSSN> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasSSN> <rdfs:range> <xsd:string>
_:1ec4 <rdf:type> <owl:Restriction>
_:1ec4 <owl:onProperty> <ns:hasSSN>
_:1ec4 <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> _:1ec3
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1ec4
<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>
 
 Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:1ec5
_:1ec5 <rdf:type> <owl:Restriction>
_:1ec5 <owl:onProperty> <ns:hasSSN>
_:1ec5 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:6d1a
_:6d1a <rdf:type> <owl:Restriction>
_:6d1a <owl:onProperty> <ns:hasSSN>
_:6d1a <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 
E28
(ISB11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB11#
_:1eba <rdf:type> <owl:Restriction>
_:1eba <owl:onProperty> <ns:wrotePhDThesis>
_:1eba <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1eba
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
Inserted:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:7d27 <rdf:type> <owl:Restriction>
_:7d27 <owl:onProperty> <ns:wrotePhDThesis>
_:7d27 <owl:allValuesFrom> <xsd:string>
_:7d28 <rdf:type> <owl:Restriction>
_:7d28 <owl:onProperty> <ns:wrotePhDThesis>
_:7d28 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7d28
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7d27
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
 
 Removed:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:1ebc
<ns:Researcher> <owl:equivalentClass> _:1ebb
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:1ebb <rdf:type> <owl:Restriction>
_:1ebb <owl:onProperty> <ns:wrotePhDThesis>
_:1ebb <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1ebc <rdf:type> <owl:Restriction>
_:1ebc <owl:onProperty> <ns:wrotePhDThesis>
_:1ebc <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>
 
E29
(ISB12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB12#
<ns:OWL_ANONYM_CLASS_0> <rdf:type> <owl:Class>
<ns:OWL_ANONYM_CLASS_0> <owl:disjointWith> <owl:Nothing>
<ns:OWL_ANONYM_CLASS_0> <rdfs:subClassOf> <ns:OWL_ANONYM_CLASS_0>
<ns:OWL_ANONYM_CLASS_0> <rdfs:subClassOf> <owl:Thing>
<ns:OWL_ANONYM_CLASS_0> <owl:equivalentClass> <ns:OWL_ANONYM_CLASS_0>
<owl:Nothing> <owl:disjointWith> <ns:OWL_ANONYM_CLASS_0>
<owl:Nothing> <rdfs:subClassOf> <ns:OWL_ANONYM_CLASS_0>
Inserted:
ns=http://www.example.org/ISB12#
<ns:OWL_ANONYM_CLASS_0> <rdf:type> <owl:Class>
<ns:OWL_ANONYM_CLASS_0> <owl:disjointWith> <owl:Nothing>
<ns:OWL_ANONYM_CLASS_0> <rdfs:subClassOf> <ns:OWL_ANONYM_CLASS_0>
<ns:OWL_ANONYM_CLASS_0> <rdfs:subClassOf> <owl:Thing>
<ns:OWL_ANONYM_CLASS_0> <owl:equivalentClass> <ns:OWL_ANONYM_CLASS_0>
<owl:Nothing> <owl:disjointWith> <ns:OWL_ANONYM_CLASS_0>
<owl:Nothing> <rdfs:subClassOf> <ns:OWL_ANONYM_CLASS_0>
 
 Removed:
ns=http://www.example.org/ISB12#
<ns:ItalianMan> <owl:equivalentClass> _:1eb6
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:1eb6 <rdf:type> <owl:Class>
_:1eb6 <owl:intersectionOf> _:1eb5
_:1eb5 <rdf:first> <ns:Italian>
_:1eb5 <rdf:rest> _:1eb4
_:1eb4 <rdf:first> <ns:Male>
_:1eb4 <rdf:rest> <rdf:nil>
Removed:
ns=http://www.example.org/ISB12#
<ns:ItalianMan> <owl:equivalentClass> _:7d0b
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:7d0b <rdf:type> <owl:Class>
_:7d0b <owl:intersectionOf> _:7d0a
_:7d0a <rdf:first> <ns:Italian>
_:7d0a <rdf:rest> _:7d09
_:7d09 <rdf:first> <ns:Male>
_:7d09 <rdf:rest> <rdf:nil>
 
E30
(ISC01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISC01#
<ns:ItalianMan> <owl:intersectionOf> _:1eb0
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:1eb0 <rdf:first> <ns:Italian>
_:1eb0 <rdf:rest> _:1eaf
_:1eaf <rdf:first> <ns:Male>
_:1eaf <rdf:rest> <rdf:nil>
Removed:
ns=http://www.example.org/ISC01#
<ns:ItalianMan> <owl:intersectionOf> _:7cf0
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:7cef <rdf:first> <ns:Male>
_:7cef <rdf:rest> <rdf:nil>
_:7cf0 <rdf:first> <ns:Italian>
_:7cf0 <rdf:rest> _:7cef
 
E31
(ISC02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISC02#
_:1eac <rdf:first> <ns:Italian>
_:1eac <rdf:rest> _:1eab
_:1eab <rdf:first> <ns:Male>
_:1eab <rdf:rest> _:1eaa
_:1eaa <rdf:first> <ns:Person>
_:1eaa <rdf:rest> <rdf:nil>
<ns:ItalianMan> <owl:intersectionOf> _:1eac
<ns:ItalianMan> <rdfs:subClassOf> <ns:Person>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
Removed:
ns=http://www.example.org/ISC02#
_: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
 
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> _:1e94
<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>
_:1e94 <rdf:type> <owl:Restriction>
_:1e94 <owl:onProperty> <ns:hasChild>
_:1e94 <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#
_:1e8f <rdf:type> <owl:Restriction>
_:1e8f <owl:onProperty> <ns:hasChild>
_:1e8f <owl:allValuesFrom> <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> <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> _:1e8f
<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 = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISE07#
_:1e8a <rdf:type> <owl:Restriction>
_:1e8a <owl:onProperty> <ns:hasSSN>
_:1e8a <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1e8a
<ns:hasSSN> <rdfs:range> <xsd:string>
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>
 
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 = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISE09#
<ns:hasName> <rdfs:range> <xsd:string>
_:1e85 <rdf:type> <owl:Restriction>
_:1e85 <owl:onProperty> <ns:hasName>
_:1e85 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1e85
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
 
E45
(ISE10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISE10#
<ns:hasChildNamed> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasChildNamed> <rdfs:range> <xsd:string>
_:1e80 <rdf:type> <owl:Restriction>
_:1e80 <owl:onProperty> <ns:hasChildNamed>
_:1e80 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1e80
<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>
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>
 
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> _:1e78
<ns:Person> <rdfs:subClassOf> _:1e77
_:1e78 <rdf:type> <owl:Restriction>
_:1e78 <owl:onProperty> <ns:isResidentIn>
_:1e78 <owl:allValuesFrom> <ns:City>
_:1e77 <rdf:type> <owl:Restriction>
_:1e77 <owl:onProperty> <ns:livesIn>
_:1e77 <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 = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISF02#
<ns:City> <rdfs:subClassOf> _:1e6e
<ns:City> <rdfs:subClassOf> _:1e6d
_:1e6d <rdf:type> <owl:Restriction>
_:1e6d <owl:onProperty> <ns:hasSpanishName>
_:1e6d <owl:allValuesFrom> <xsd:string>
<ns:hasSpanishName> <rdfs:range> <xsd:string>
_:1e6e <rdf:type> <owl:Restriction>
_:1e6e <owl:onProperty> <ns:hasName>
_:1e6e <owl:allValuesFrom> <xsd:string>
<ns:hasName> <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>
 
E48
(ISF03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISF03#
<ns:Child> <rdfs:subClassOf> _:1e67
_:1e67 <rdf:type> <owl:Restriction>
_:1e67 <owl:onProperty> <ns:hasParent>
_:1e67 <owl:allValuesFrom> <ns:Person>
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 = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1e4b
<ns:Person> <rdfs:subClassOf> _:1e4a
_:1e4b <rdf:type> <owl:Restriction>
_:1e4b <owl:onProperty> <ns:hasAge>
_:1e4b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1e4a <rdf:type> <owl:Restriction>
_:1e4a <owl:onProperty> <ns:hasAge>
_:1e4a <owl:allValuesFrom> <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>
 
E53
(ISG05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISG05#
<ns:Professor> <rdfs:subClassOf> _:1e44
_:1e44 <rdf:type> <owl:Restriction>
_:1e44 <owl:onProperty> <ns:hasTutor>
_:1e44 <owl:allValuesFrom> <ns:Student>
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 = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISI04#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1e30
_:1e30 <rdf:type> <owl:Restriction>
_:1e30 <owl:onProperty> <ns:hasName>
_:1e30 <owl:allValuesFrom> <xsd:string>
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>
 
E61
(ISI05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISI05#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1e2b
_:1e2b <rdf:type> <owl:Restriction>
_:1e2b <owl:onProperty> <ns:hasName>
_:1e2b <owl:allValuesFrom> <xsd:string>
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>
 
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> _:1e25
_:1e25 <rdf:type> <owl:Restriction>
_:1e25 <owl:onProperty> <ns:hasChild>
_:1e25 <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#
_:1e26 <owl:sameAs> _:1e26
_:1e26 <rdf:type> <ns:Person>
_:1e26 <rdf:type> <owl:Thing>
_:1e26 <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> _:1e1e
<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>
_:1e1e <rdf:type> <owl:Restriction>
_:1e1e <owl:onProperty> <ns:hasChild>
_:1e1e <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#
_:1e1f <owl:sameAs> _:1e1f
_:1e1f <rdf:type> <ns:Parent>
_:1e1f <rdf:type> <owl:Thing>
_:1e1f <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 = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ03#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1e17
_:1e17 <rdf:type> <owl:Restriction>
_:1e17 <owl:onProperty> <ns:hasName>
_:1e17 <owl:allValuesFrom> <xsd:string>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Peter"^^<xsd:string>
Inserted:
ns=http://www.example.org/ISJ03#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:22a7
_:22a7 <rdf:type> <owl:Restriction>
_:22a7 <owl:onProperty> <ns:hasName>
_:22a7 <owl:allValuesFrom> <xsd:string>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Peter"^^<xsd:string>
 
 Removed:
ns=http://www.example.org/ISJ03#
_:1e18 <owl:sameAs> _:1e18
_:1e18 <rdf:type> <owl:Thing>
_:1e18 <rdf:type> <ns:Person>
_:1e18 <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"
 
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#
_:1e14 <rdf:type> <owl:AllDifferent>
_:1e14 <owl:distinctMembers> _:1e13
_:1e13 <rdf:first> <ns:Ann>
_:1e13 <rdf:rest> _:1e12
_:1e12 <rdf:first> <ns:Joan>
_:1e12 <rdf:rest> _:1e11
_:1e11 <rdf:first> <ns:Mary>
_:1e11 <rdf:rest> <rdf:nil>
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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E69
(ISL02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E70
(ISL03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E71
(ISL04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E72
(ISL05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E73
(ISL06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E74
(ISL07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL07#
<ns:hasName> <rdfs:range> <xsd:string>
_:1e09 <rdf:type> <owl:Restriction>
_:1e09 <owl:onProperty> <ns:hasName>
_:1e09 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1e09
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>
 
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
<ns:Person> <rdfs:subClassOf> _:1e04
_:1e04 <rdf:type> <owl:Restriction>
_:1e04 <owl:onProperty> <ns:hasName>
_:1e04 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
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>
 
E76
(ISL09)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E77
(ISL10)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E78
(ISL11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL11#
_:1dfc <rdf:type> <owl:Restriction>
_:1dfc <owl:onProperty> <ns:hasName>
_:1dfc <owl:allValuesFrom> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1dfc
<ns:Person> <rdfs:subClassOf> _:1dfb
_:1dfb <rdf:type> <owl:Restriction>
_:1dfb <owl:onProperty> <ns:hasSurname>
_:1dfb <owl:allValuesFrom> <xsd:string>
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>
 
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL12#
_:1df2 <rdf:type> <owl:Restriction>
_:1df2 <owl:onProperty> <ns:hasSurname>
_:1df2 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1df1
<ns:Person> <rdfs:subClassOf> _:1df2
_:1df1 <rdf:type> <owl:Restriction>
_:1df1 <owl:onProperty> <ns:hasName>
_:1df1 <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
 
E80
(ISL13)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL13#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:1de7
<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>
_:1de6 <rdf:type> <owl:Restriction>
_:1de6 <owl:onProperty> <ns:hasChild>
_:1de6 <owl:allValuesFrom> <ns:Child>
<ns:Person> <rdfs:subClassOf> _:1de6
_:1de7 <rdf:type> <owl:Restriction>
_:1de7 <owl:onProperty> <ns:hasName>
_:1de7 <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISL13#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:6828
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Paul"^^<xsd:string>
_:6827 <rdf:type> <owl:Restriction>
_:6827 <owl:onProperty> <ns:hasChild>
_:6827 <owl:allValuesFrom> <ns:Child>
<ns:Person> <rdfs:subClassOf> _:6827
_:6828 <rdf:type> <owl:Restriction>
_:6828 <owl:onProperty> <ns:hasName>
_:6828 <owl:allValuesFrom> <xsd:string>
 
 Removed:
ns=http://www.example.org/ISL13#
_:1de8 <owl:sameAs> _:1de8
_:1de8 <rdf:type> <ns:Child>
_:1de8 <rdf:type> <owl:Thing>
_:1de8 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:1de8
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
 
E81
(ISL14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL14#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
_:1dda <rdf:type> <owl:Restriction>
_:1dda <owl:onProperty> <ns:hasName>
_:1dda <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1ddb
_:1ddb <rdf:type> <owl:Restriction>
_:1ddb <owl:onProperty> <ns:hasChild>
_:1ddb <owl:allValuesFrom> <ns:Child>
<ns:Child> <rdfs:subClassOf> _:1dda
<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>
 
 Removed:
ns=http://www.example.org/ISL14#
<ns:John> <ns:hasChild> _:1ddc
_:1ddc <owl:sameAs> _:1ddc
_:1ddc <rdf:type> <ns:Child>
_:1ddc <rdf:type> <owl:Thing>
_:1ddc <ns:hasName> "Paul"
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
 
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||"
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#