Interoperability from WebODE to ProtegeOWL (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (WebODE) Step2 (ProtegeOWL)
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#
<ns:hasCar> <rdfs:domain> <ns:Driver>
<ns:Driver> <rdfs:subClassOf> _:1827
_:1827 <owl:onProperty> <ns:hasCar>
_:1827 <owl:allValuesFrom> <owl:Thing>
_:1827 <rdf:type> <owl:Restriction>
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#
<ns:Driver> <rdfs:subClassOf> _:1828
_:1828 <rdf:type> <owl:Restriction>
_:1828 <owl:onProperty> <ns:hasCar>
_:1828 <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>
 
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> _:1821
_:1821 <owl:onProperty> <ns:wasBorn>
_:1821 <rdf:type> <owl:Restriction>
_:1821 <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#
_:1822 <rdf:type> <owl:Restriction>
_:1822 <owl:onProperty> <ns:wasBorn>
_:1822 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:1822
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#
_:181b <rdf:type> <owl:Restriction>
_:181b <owl:allValuesFrom> <owl:Thing>
_:181b <owl:onProperty> <ns:worksIn>
<ns:Employee> <rdfs:subClassOf> _:181b
<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#
_:181c <rdf:type> <owl:Restriction>
_:181c <owl:onProperty> <ns:worksIn>
_:181c <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:181c
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> _:1813
<ns:Researcher> <rdfs:subClassOf> _:1812
_:1812 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1812 <owl:onProperty> <ns:hasAffiliation>
_:1812 <rdf:type> <owl:Restriction>
_:1813 <owl:onProperty> <ns:hasAffiliation>
_:1813 <rdf:type> <owl:Restriction>
_:1813 <owl:allValuesFrom> <owl:Thing>
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#
_:1814 <rdf:type> <owl:Restriction>
_:1814 <owl:onProperty> <ns:hasAffiliation>
_:1814 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:1814
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> _:1809
<ns:Person> <rdfs:subClassOf> _:1808
_:1809 <owl:onProperty> <ns:hasMother>
_:1809 <owl:allValuesFrom> <owl:Thing>
_:1809 <rdf:type> <owl:Restriction>
_:1808 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1808 <rdf:type> <owl:Restriction>
_:1808 <owl:onProperty> <ns:hasMother>
<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> _:180a
_:180a <rdf:type> <owl:Restriction>
_:180a <owl:onProperty> <ns:hasMother>
_:180a <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#
_:17fe <rdf:type> <owl:Restriction>
_:17fe <owl:allValuesFrom> <owl:Thing>
_:17fe <owl:onProperty> <ns:hasAffiliation>
_:17fd <owl:onProperty> <ns:hasAffiliation>
_:17fd <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:17fd <rdf:type> <owl:Restriction>
<ns:hasAffiliation> <rdfs:domain> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:17fe
<ns:Researcher> <rdfs:subClassOf> _:17fd
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#
<ns:Researcher> <rdfs:subClassOf> _:1800
<ns:Researcher> <rdfs:subClassOf> _:17ff
_:1800 <rdf:type> <owl:Restriction>
_:1800 <owl:onProperty> <ns:hasAffiliation>
_:1800 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:17ff <rdf:type> <owl:Restriction>
_:17ff <owl:onProperty> <ns:hasAffiliation>
_:17ff <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA12#
_:7ecf <rdf:type> <owl:Restriction>
_:7ecf <owl:onProperty> <ns:hasAffiliation>
_:7ecf <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7ece <rdf:type> <owl:Restriction>
_:7ece <owl:onProperty> <ns:hasAffiliation>
_:7ece <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7ecf
<ns:Researcher> <rdfs:subClassOf> _:7ece
 
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> _:17f5
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
_:17f5 <owl:allValuesFrom> <xsd:string>
_:17f5 <rdf:type> <owl:Restriction>
_:17f5 <owl:onProperty> <ns:hasName>
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> _:17f6
_:17f6 <rdf:type> <owl:Restriction>
_:17f6 <owl:onProperty> <ns:hasName>
_:17f6 <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#
<ns:Researcher> <rdfs:subClassOf> _:17ed
<ns:Researcher> <rdfs:subClassOf> _:17ec
_:17ed <owl:onProperty> <ns:wrotePhDThesis>
_:17ed <owl:allValuesFrom> <xsd:string>
_:17ed <rdf:type> <owl:Restriction>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
_:17ec <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:17ec <rdf:type> <owl:Restriction>
_:17ec <owl:onProperty> <ns:wrotePhDThesis>
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> _:17ee
_:17ee <rdf:type> <owl:Restriction>
_:17ee <owl:onProperty> <ns:wrotePhDThesis>
_:17ee <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> _:17e3
<ns:Person> <rdfs:subClassOf> _:17e2
<ns:hasSSN> <rdfs:range> <xsd:string>
<ns:hasSSN> <rdfs:domain> <ns:Person>
_:17e2 <owl:onProperty> <ns:hasSSN>
_:17e2 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:17e2 <rdf:type> <owl:Restriction>
_:17e3 <rdf:type> <owl:Restriction>
_:17e3 <owl:allValuesFrom> <xsd:string>
_:17e3 <owl:onProperty> <ns:hasSSN>
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> _:17e4
_:17e4 <rdf:type> <owl:Restriction>
_:17e4 <owl:onProperty> <ns:hasSSN>
_:17e4 <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> _:17d8
<ns:Researcher> <rdfs:subClassOf> _:17d7
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:17d7 <rdf:type> <owl:Restriction>
_:17d7 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:17d7 <owl:onProperty> <ns:wrotePhDThesis>
_:17d8 <owl:onProperty> <ns:wrotePhDThesis>
_:17d8 <owl:allValuesFrom> <xsd:string>
_:17d8 <rdf:type> <owl:Restriction>
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> _:17da
<ns:Researcher> <rdfs:subClassOf> _:17d9
_:17d9 <rdf:type> <owl:Restriction>
_:17d9 <owl:onProperty> <ns:wrotePhDThesis>
_:17d9 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:17da <rdf:type> <owl:Restriction>
_:17da <owl:onProperty> <ns:wrotePhDThesis>
_:17da <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>
_:17d2 <rdf:first> <ns:Italian>
_:17d2 <rdf:rest> _:17d1
<ns:ItalianMale> <owl:intersectionOf> _:17d2
<ns:ItalianMale> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMale> <rdfs:subClassOf> <ns:Male>
_:17d1 <rdf:first> <ns:Male>
_:17d1 <rdf:rest> <rdf:nil>
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#
<ns:hasCar> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
_:17cb <owl:allValuesFrom> <owl:Thing>
_:17cb <rdf:type> <owl:Restriction>
_:17cb <owl:onProperty> <ns:hasCar>
<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> _:17cb
<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> _:17cc
_:17cc <rdf:type> <owl:Restriction>
_:17cc <owl:onProperty> <ns:hasCar>
_:17cc <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> <rdfs:subClassOf> _:17c5
<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> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:17c5 <rdf:type> <owl:Restriction>
_:17c5 <owl:allValuesFrom> <owl:Thing>
_:17c5 <owl:onProperty> <ns:wasBorn>
<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#
_:17c6 <rdf:type> <owl:Restriction>
_:17c6 <owl:onProperty> <ns:wasBorn>
_:17c6 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:17c6
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> <rdfs:subClassOf> _:17bf
<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> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:17bf <owl:allValuesFrom> <owl:Thing>
_:17bf <rdf:type> <owl:Restriction>
_:17bf <owl:onProperty> <ns:worksIn>
<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>
 
 Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <owl:equivalentClass> _:17c0
_:17c0 <rdf:type> <owl:Restriction>
_:17c0 <owl:onProperty> <ns:worksIn>
_:17c0 <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#
_:17b7 <rdf:type> <owl:Restriction>
_:17b7 <owl:allValuesFrom> <owl:Thing>
_:17b7 <owl:onProperty> <ns:hasAffiliation>
<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> _:17b7
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:17b6
<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>
_:17b6 <owl:onProperty> <ns:hasAffiliation>
_:17b6 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:17b6 <rdf:type> <owl:Restriction>
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> _:17b8
_:17b8 <rdf:type> <owl:Restriction>
_:17b8 <owl:onProperty> <ns:hasAffiliation>
_:17b8 <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>
_:17ac <owl:allValuesFrom> <owl:Thing>
_:17ac <rdf:type> <owl:Restriction>
_:17ac <owl:onProperty> <ns:hasMother>
_:17ad <owl:onProperty> <ns:hasMother>
_:17ad <rdf:type> <owl:Restriction>
_:17ad <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:17ac
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:17ad
<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#
_: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> _:17ae
_:17ae <rdf:type> <owl:Restriction>
_:17ae <owl:onProperty> <ns:hasMother>
_:17ae <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> <rdfs:subClassOf> _:17a4
<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> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:17a4 <owl:allValuesFrom> <owl:Thing>
_:17a4 <rdf:type> <owl:Restriction>
_:17a4 <owl:onProperty> <ns:hasAffiliation>
<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#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:17a6
<ns:Researcher> <owl:equivalentClass> _:17a5
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:17a5 <rdf:type> <owl:Restriction>
_:17a5 <owl:onProperty> <ns:hasAffiliation>
_:17a5 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:17a6 <rdf:type> <owl:Restriction>
_:17a6 <owl:onProperty> <ns:hasAffiliation>
_:17a6 <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>
 
E25
(ISB08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB08#
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:179d
<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> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:179d <owl:allValuesFrom> <xsd:string>
_:179d <rdf:type> <owl:Restriction>
_:179d <owl:onProperty> <ns:hasName>
<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> _:179e
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
_:179e <rdf:type> <owl:Restriction>
_:179e <owl:onProperty> <ns:hasName>
_:179e <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <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>
 
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>
_:1794 <owl:onProperty> <ns:wrotePhDThesis>
_:1794 <rdf:type> <owl:Restriction>
_:1794 <owl:allValuesFrom> <xsd:string>
_:1795 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1795 <owl:onProperty> <ns:wrotePhDThesis>
_:1795 <rdf:type> <owl:Restriction>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1794
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1795
<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> _:1796
_:1796 <rdf:type> <owl:Restriction>
_:1796 <owl:onProperty> <ns:wrotePhDThesis>
_:1796 <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#
<ns:hasSSN> <rdfs:range> <xsd:string>
<ns:hasSSN> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:178a <rdf:type> <owl:Restriction>
_:178a <owl:allValuesFrom> <xsd:string>
_:178a <owl:onProperty> <ns:hasSSN>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:178a
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:178b
<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>
_:178b <owl:onProperty> <ns:hasSSN>
_:178b <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:178b <rdf:type> <owl:Restriction>
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> _:178c
_:178c <rdf:type> <owl:Restriction>
_:178c <owl:onProperty> <ns:hasSSN>
_:178c <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#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1782
<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>
_:1782 <owl:allValuesFrom> <xsd:string>
_:1782 <rdf:type> <owl:Restriction>
_:1782 <owl:onProperty> <ns:wrotePhDThesis>
<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>
_:1783 <rdf:type> <owl:Restriction>
_:1783 <owl:onProperty> <ns:wrotePhDThesis>
_:1783 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:1784
<ns:Researcher> <owl:equivalentClass> _:1783
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:1784 <rdf:type> <owl:Restriction>
_:1784 <owl:onProperty> <ns:wrotePhDThesis>
_:1784 <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> _:177e
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:177e <rdf:type> <owl:Class>
_:177e <owl:intersectionOf> _:177d
_:177d <rdf:first> <ns:Italian>
_:177d <rdf:rest> _:177c
_:177c <rdf:first> <ns:Male>
_:177c <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> _:1778
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:1778 <rdf:first> <ns:Italian>
_:1778 <rdf:rest> _:1777
_:1777 <rdf:first> <ns:Male>
_:1777 <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#
_:1774 <rdf:first> <ns:Italian>
_:1774 <rdf:rest> _:1773
<ns:ItalianMan> <owl:intersectionOf> _:1774
<ns:ItalianMan> <rdfs:subClassOf> <ns:Person>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
_:1772 <rdf:first> <ns:Person>
_:1772 <rdf:rest> <rdf:nil>
_:1773 <rdf:first> <ns:Male>
_:1773 <rdf:rest> _:1772
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> <rdfs:subClassOf> _:1760
<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: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>
_:1760 <rdf:type> <owl:Restriction>
_:1760 <owl:onProperty> <ns:hasChild>
_:1760 <owl:allValuesFrom> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
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#
_:175c <owl:onProperty> <ns:hasChild>
_:175c <owl:allValuesFrom> <ns:ANONYMOUS_CONCEPT_0>
_:175c <rdf:type> <owl:Restriction>
<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> _:175c
<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#
_:1758 <owl:onProperty> <ns:hasSSN>
_:1758 <rdf:type> <owl:Restriction>
_:1758 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:1758
<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>
_:1754 <owl:allValuesFrom> <xsd:string>
_:1754 <rdf:type> <owl:Restriction>
_:1754 <owl:onProperty> <ns:hasName>
<ns:Person> <rdfs:subClassOf> _:1754
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:range> <xsd:string>
<ns:hasChildNamed> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
_:1750 <owl:allValuesFrom> <xsd:string>
_:1750 <rdf:type> <owl:Restriction>
_:1750 <owl:onProperty> <ns:hasChildNamed>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:1750
<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> <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> _:174a
<ns:Person> <rdfs:subClassOf> _:1749
_:1749 <rdf:type> <owl:Restriction>
_:1749 <owl:allValuesFrom> <ns:City>
_:1749 <owl:onProperty> <ns:isResidentIn>
_:174a <owl:onProperty> <ns:livesIn>
_:174a <owl:allValuesFrom> <ns:City>
_:174a <rdf:type> <owl:Restriction>
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#
_:1742 <owl:onProperty> <ns:hasSpanishName>
_:1742 <owl:allValuesFrom> <xsd:string>
_:1742 <rdf:type> <owl:Restriction>
<ns:City> <rdfs:subClassOf> _:1742
<ns:City> <rdfs:subClassOf> _:1741
_:1741 <owl:allValuesFrom> <xsd:string>
_:1741 <rdf:type> <owl:Restriction>
_:1741 <owl:onProperty> <ns:hasName>
<ns:hasSpanishName> <rdfs:range> <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> _:173a
_:173a <owl:allValuesFrom> <ns:Person>
_:173a <rdf:type> <owl:Restriction>
_:173a <owl:onProperty> <ns:hasParent>
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>
_:1724 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:1724 <owl:onProperty> <ns:hasAge>
_:1724 <rdf:type> <owl:Restriction>
_:1723 <owl:allValuesFrom> <xsd:string>
_:1723 <owl:onProperty> <ns:hasAge>
_:1723 <rdf:type> <owl:Restriction>
<ns:Person> <rdfs:subClassOf> _:1723
<ns:Person> <rdfs:subClassOf> _:1724
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#
_:171e <rdf:type> <owl:Restriction>
_:171e <owl:allValuesFrom> <ns:Student>
_:171e <owl:onProperty> <ns:hasTutor>
<ns:Professor> <rdfs:subClassOf> _:171e
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>
_:170e <owl:allValuesFrom> <xsd:string>
_:170e <rdf:type> <owl:Restriction>
_:170e <owl:onProperty> <ns:hasName>
<ns:Person> <rdfs:subClassOf> _:170e
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:Person> <rdfs:subClassOf> _:170a
_:170a <owl:allValuesFrom> <xsd:string>
_:170a <owl:onProperty> <ns:hasName>
_:170a <rdf:type> <owl:Restriction>
<ns:hasName> <rdfs:range> <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> _:1705
_:1705 <owl:allValuesFrom> <ns:Person>
_:1705 <owl:onProperty> <ns:hasChild>
_:1705 <rdf:type> <owl:Restriction>
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#
_:1706 <owl:sameAs> _:1706
_:1706 <rdf:type> <ns:Person>
_:1706 <rdf:type> <owl:Thing>
_:1706 <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> _:16ff
_:16ff <owl:allValuesFrom> <ns:Person>
_:16ff <rdf:type> <owl:Restriction>
_:16ff <owl:onProperty> <ns:hasChild>
<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>
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#
_:1700 <owl:sameAs> _:1700
_:1700 <rdf:type> <ns:Parent>
_:1700 <rdf:type> <owl:Thing>
_:1700 <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> _:16f9
_:16f9 <rdf:type> <owl:Restriction>
_:16f9 <owl:onProperty> <ns:hasName>
_:16f9 <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#
_:16fa <owl:sameAs> _:16fa
_:16fa <rdf:type> <owl:Thing>
_:16fa <rdf:type> <ns:Person>
_:16fa <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#
_:16f4 <rdf:first> <ns:Joan>
_:16f4 <rdf:rest> _:16f3
_:16f3 <rdf:first> <ns:Mary>
_:16f3 <rdf:rest> <rdf:nil>
_:16f6 <rdf:type> <owl:AllDifferent>
_:16f6 <owl:distinctMembers> _:16f5
_:16f5 <rdf:first> <ns:Ann>
_:16f5 <rdf:rest> _:16f4
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>
<ns:Person> <rdfs:subClassOf> _:16ec
_:16ec <rdf:type> <owl:Restriction>
_:16ec <owl:onProperty> <ns:hasName>
_:16ec <owl:allValuesFrom> <xsd:string>
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#
_:16e8 <rdf:type> <owl:Restriction>
_:16e8 <owl:allValuesFrom> <xsd:string>
_:16e8 <owl:onProperty> <ns:hasName>
<ns:Person> <rdfs:subClassOf> _:16e8
<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#
<ns:hasSurname> <rdfs:range> <xsd:string>
_:16e1 <owl:allValuesFrom> <xsd:string>
_:16e1 <rdf:type> <owl:Restriction>
_:16e1 <owl:onProperty> <ns:hasName>
_:16e2 <rdf:type> <owl:Restriction>
_:16e2 <owl:allValuesFrom> <xsd:string>
_:16e2 <owl:onProperty> <ns:hasSurname>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:16e2
<ns:Person> <rdfs:subClassOf> _:16e1
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#
_:16da <rdf:type> <owl:Restriction>
_:16da <owl:allValuesFrom> <xsd:string>
_:16da <owl:onProperty> <ns:hasName>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
_:16d9 <owl:allValuesFrom> <xsd:string>
_:16d9 <rdf:type> <owl:Restriction>
_:16d9 <owl:onProperty> <ns:hasSurname>
<ns:Person> <rdfs:subClassOf> _:16d9
<ns:Person> <rdfs:subClassOf> _:16da
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#
_:16d0 <owl:onProperty> <ns:hasChild>
_:16d0 <rdf:type> <owl:Restriction>
_:16d0 <owl:allValuesFrom> <ns:Child>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:16d1
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
_:16d1 <rdf:type> <owl:Restriction>
_:16d1 <owl:allValuesFrom> <xsd:string>
_:16d1 <owl:onProperty> <ns:hasName>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Paul"^^<xsd:string>
<ns:Person> <rdfs:subClassOf> _:16d0
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#
_:16d2 <owl:sameAs> _:16d2
_:16d2 <rdf:type> <ns:Child>
_:16d2 <rdf:type> <owl:Thing>
_:16d2 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:16d2
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>
_:16c6 <rdf:type> <owl:Restriction>
_:16c6 <owl:allValuesFrom> <ns:Child>
_:16c6 <owl:onProperty> <ns:hasChild>
_:16c7 <rdf:type> <owl:Restriction>
_:16c7 <owl:onProperty> <ns:hasName>
_:16c7 <owl:allValuesFrom> <xsd:string>
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
<ns:Person> <rdfs:subClassOf> _:16c6
<ns:Child> <rdfs:subClassOf> _:16c7
<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> _:16c8
_:16c8 <owl:sameAs> _:16c8
_:16c8 <rdf:type> <ns:Child>
_:16c8 <rdf:type> <owl:Thing>
_:16c8 <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||"^^<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#