Interoperability from WebODE to ProtegeFRAMES (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (WebODE) Step2 (ProtegeFRAMES)
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> _:77fc
_:77fe <rdf:first> <ns:Driver>
_:77fe <rdf:rest> _:77fd
_:77fd <rdf:rest> <rdf:nil>
_:77fd <rdf:first> <ns:Driver>
_:77fc <rdf:type> <owl:Class>
_:77fc <owl:unionOf> _:77fe
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#
_:77ff <rdf:type> <owl:Restriction>
_:77ff <owl:onProperty> <ns:hasCar>
_:77ff <owl:someValuesFrom> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:77ff
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> _:77eb
_:77ed <rdf:first> <ns:Italian>
_:77ed <rdf:rest> _:77ec
_:77ec <rdf:rest> <rdf:nil>
_:77ec <rdf:first> <ns:Italian>
_:77eb <rdf:type> <owl:Class>
_:77eb <owl:unionOf> _:77ed
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> _:77ee
_:77ee <rdf:type> <owl:Restriction>
_:77ee <owl:onProperty> <ns:wasBorn>
_:77ee <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#
_:77da <rdf:first> <ns:Employee>
_:77da <rdf:rest> <rdf:nil>
<ns:worksIn> <rdfs:domain> _:77dc
_:77dc <owl:unionOf> _:77db
_:77dc <rdf:type> <owl:Class>
_:77db <rdf:first> <ns:Employee>
_:77db <rdf:rest> _:77da
Inserted:
ns=http://www.example.org/ISA09#
<ns:Employee> <rdfs:subClassOf> _:284f
_:284f <rdf:type> <owl:Restriction>
_:284f <owl:onProperty> <ns:worksIn>
_:284f <owl:allValuesFrom> <owl:Thing>
<ns:worksIn> <rdfs:domain> <ns:Employee>
 
 Removed:
ns=http://www.example.org/ISA09#
<ns:Employee> <rdfs:subClassOf> _:77dd
_:77dd <rdf:type> <owl:Restriction>
_:77dd <owl:onProperty> <ns:worksIn>
_:77dd <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA09#
_:7f20 <rdf:type> <owl:Restriction>
_:7f20 <owl:onProperty> <ns:worksIn>
_:7f20 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:7f20
 
E10
(ISA10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdfs:domain> _:77c3
_:77c1 <rdf:rest> _:77c4
_:77c1 <rdf:first> <ns:Researcher>
_:77c2 <rdf:first> <ns:Researcher>
_:77c2 <rdf:rest> _:77c1
<ns:Researcher> <rdfs:subClassOf> _:77c0
_:77c3 <owl:unionOf> _:77c2
_:77c3 <rdf:type> <owl:Class>
_:77c4 <rdf:first> <ns:Researcher>
_:77c4 <rdf:rest> <rdf:nil>
_:77c0 <rdf:type> <owl:Restriction>
_:77c0 <owl:maxCardinality> "1"^^<xsd:int>
_:77c0 <owl:onProperty> <ns:hasAffiliation>
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> _:77c5
_:77c5 <rdf:type> <owl:Restriction>
_:77c5 <owl:onProperty> <ns:hasAffiliation>
_:77c5 <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#
_:77a8 <owl:maxCardinality> "1"^^<xsd:int>
_:77a8 <owl:onProperty> <ns:hasMother>
_:77a8 <rdf:type> <owl:Restriction>
_:77a4 <rdf:first> <ns:Person>
_:77a4 <rdf:rest> _:77a7
<ns:Person> <rdfs:subClassOf> _:77a8
_:77a5 <rdf:first> <ns:Person>
_:77a5 <rdf:rest> _:77a4
_:77a6 <owl:unionOf> _:77a5
_:77a6 <rdf:type> <owl:Class>
<ns:hasMother> <rdfs:domain> _:77a6
_:77a7 <rdf:first> <ns:Person>
_:77a7 <rdf:rest> <rdf:nil>
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> _:77a9
_:77a9 <rdf:type> <owl:Restriction>
_:77a9 <owl:onProperty> <ns:hasMother>
_:77a9 <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#
_:778c <rdf:type> <owl:Class>
_:778c <owl:unionOf> _:778a
_:7788 <owl:maxCardinality> "1"^^<xsd:int>
_:7788 <owl:onProperty> <ns:hasAffiliation>
_:7788 <rdf:type> <owl:Restriction>
<ns:hasAffiliation> <rdfs:domain> _:778c
_:7789 <rdf:rest> _:778b
_:7789 <rdf:first> <ns:Researcher>
<ns:Researcher> <rdfs:subClassOf> _:7788
_:778a <rdf:first> <ns:Researcher>
_:778a <rdf:rest> _:7789
_:778b <rdf:rest> <rdf:nil>
_:778b <rdf:first> <ns:Researcher>
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#
_:778e <rdf:type> <owl:Restriction>
_:778e <owl:onProperty> <ns:hasAffiliation>
_:778e <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:778d <rdf:type> <owl:Restriction>
_:778d <owl:onProperty> <ns:hasAffiliation>
_:778d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:778e
<ns:Researcher> <rdfs:subClassOf> _:778d
Removed:
ns=http://www.example.org/ISA12#
_:7ecf <rdf:type> <owl:Restriction>
_:7ecf <owl:onProperty> <ns:hasAffiliation>
_:7ecf <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7ece <rdf:type> <owl:Restriction>
_:7ece <owl:onProperty> <ns:hasAffiliation>
_:7ece <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7ecf
<ns:Researcher> <rdfs:subClassOf> _:7ece
 
E13
(ISA13)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA13#
_:7774 <rdf:first> <ns:Person>
_:7774 <rdf:rest> _:7773
_:7773 <rdf:rest> <rdf:nil>
_:7773 <rdf:first> <ns:Person>
<ns:hasName> <rdfs:domain> _:7775
<ns:hasName> <rdfs:range> <xsd:string>
_:7775 <rdf:type> <owl:Class>
_:7775 <owl:unionOf> _:7774
Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:6e8d
<ns:hasName> <rdfs:domain> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
_:6e8d <rdf:type> <owl:Restriction>
_:6e8d <owl:onProperty> <ns:hasName>
_:6e8d <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISA13#
_:777d <rdf:type> <owl:Class>
_:777d <owl:unionOf> _:777c
_:777c <rdf:first> <ns:Person>
_:777c <rdf:rest> _:777b
<ns:hasName> <rdfs:domain> _:777d
_:777b <rdf:rest> <rdf:nil>
_:777b <rdf:first> <ns:Person>
 Removed:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:7776
_:7776 <rdf:type> <owl:Restriction>
_:7776 <owl:onProperty> <ns:hasName>
_:7776 <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>
Removed:
ns=http://www.example.org/ISA13#
_:777e <rdf:type> <owl:Restriction>
_:777e <owl:onProperty> <ns:hasName>
_:777e <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:777e
E14
(ISA14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA14#
_:775d <rdf:type> <owl:Class>
_:775d <owl:unionOf> _:775c
<ns:wrotePhDThesis> <rdfs:domain> _:775d
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:775e <rdf:first> <ns:Researcher>
_:775e <rdf:rest> <rdf:nil>
<ns:Researcher> <rdfs:subClassOf> _:775b
_:775a <rdf:rest> _:775e
_:775a <rdf:first> <ns:Researcher>
_:775b <owl:maxCardinality> "1"^^<xsd:int>
_:775b <rdf:type> <owl:Restriction>
_:775b <owl:onProperty> <ns:wrotePhDThesis>
_:775c <rdf:rest> _:775a
_:775c <rdf:first> <ns:Researcher>
Inserted:
ns=http://www.example.org/ISA14#
_:7e96 <rdf:type> <owl:Restriction>
_:7e96 <owl:onProperty> <ns:wrotePhDThesis>
_:7e96 <owl:allValuesFrom> <xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:7e97
<ns:Researcher> <rdfs:subClassOf> _:7e96
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:7e97 <rdf:type> <owl:Restriction>
_:7e97 <owl:onProperty> <ns:wrotePhDThesis>
_:7e97 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISA14#
_:7769 <rdf:rest> _:7767
_:7769 <rdf:first> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:domain> _:776a
<ns:Researcher> <rdfs:subClassOf> _:7768
_:776a <rdf:type> <owl:Class>
_:776a <owl:unionOf> _:7769
_:776b <rdf:first> <ns:Researcher>
_:776b <rdf:rest> <rdf:nil>
_:7767 <rdf:rest> _:776b
_:7767 <rdf:first> <ns:Researcher>
_:7768 <owl:maxCardinality> "1"^^<xsd:int>
_:7768 <rdf:type> <owl:Restriction>
_:7768 <owl:onProperty> <ns:wrotePhDThesis>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:775f
_:775f <rdf:type> <owl:Restriction>
_:775f <owl:onProperty> <ns:wrotePhDThesis>
_:775f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:7e98
_:7e98 <rdf:type> <owl:Restriction>
_:7e98 <owl:onProperty> <ns:wrotePhDThesis>
_:7e98 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:776d
<ns:Researcher> <rdfs:subClassOf> _:776c
_:776d <rdf:type> <owl:Restriction>
_:776d <owl:onProperty> <ns:wrotePhDThesis>
_:776d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:776c <rdf:type> <owl:Restriction>
_:776c <owl:onProperty> <ns:wrotePhDThesis>
_:776c <owl:allValuesFrom> <xsd:string>
E15
(ISA15)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA15#
_:773e <rdf:first> <ns:Person>
_:773e <rdf:rest> _:7741
<ns:Person> <rdfs:subClassOf> _:7742
_:773f <rdf:rest> _:773e
_:773f <rdf:first> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
<ns:hasSSN> <rdfs:domain> _:7740
_:7740 <rdf:type> <owl:Class>
_:7740 <owl:unionOf> _:773f
_:7741 <rdf:rest> <rdf:nil>
_:7741 <rdf:first> <ns:Person>
_:7742 <owl:onProperty> <ns:hasSSN>
_:7742 <rdf:type> <owl:Restriction>
_:7742 <owl:cardinality> "1"^^<xsd:int>
Inserted:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:6e57
<ns:Person> <rdfs:subClassOf> _:6e56
<ns:hasSSN> <rdfs:domain> <ns:Person>
<ns:hasSSN> <rdfs:range> <xsd:string>
_:6e57 <rdf:type> <owl:Restriction>
_:6e57 <owl:onProperty> <ns:hasSSN>
_:6e57 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:6e56 <rdf:type> <owl:Restriction>
_:6e56 <owl:onProperty> <ns:hasSSN>
_:6e56 <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISA15#
_:774d <rdf:type> <owl:Class>
_:774d <owl:unionOf> _:774c
_:774e <rdf:rest> <rdf:nil>
_:774e <rdf:first> <ns:Person>
<ns:Person> <rdfs:subClassOf> _:774f
_:774f <owl:onProperty> <ns:hasSSN>
_:774f <rdf:type> <owl:Restriction>
_:774f <owl:cardinality> "1"^^<xsd:int>
<ns:hasSSN> <rdfs:domain> _:774d
_:774b <rdf:first> <ns:Person>
_:774b <rdf:rest> _:774e
_:774c <rdf:rest> _:774b
_:774c <rdf:first> <ns:Person>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:7743
_:7743 <rdf:type> <owl:Restriction>
_:7743 <owl:onProperty> <ns:hasSSN>
_:7743 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:27aa
_:27aa <rdf:type> <owl:Restriction>
_:27aa <owl:onProperty> <ns:hasSSN>
_:27aa <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:7751
<ns:Person> <rdfs:subClassOf> _:7750
_:7751 <rdf:type> <owl:Restriction>
_:7751 <owl:onProperty> <ns:hasSSN>
_:7751 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:7750 <rdf:type> <owl:Restriction>
_:7750 <owl:onProperty> <ns:hasSSN>
_:7750 <owl:allValuesFrom> <xsd:string>
E16
(ISA16)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA16#
_:7723 <rdf:first> <ns:Researcher>
_:7723 <rdf:rest> _:7722
_:7724 <owl:onProperty> <ns:wrotePhDThesis>
_:7724 <owl:maxCardinality> "1"^^<xsd:int>
_:7724 <rdf:type> <owl:Restriction>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> _:7726
<ns:Researcher> <rdfs:subClassOf> _:7724
_:7725 <rdf:rest> <rdf:nil>
_:7725 <rdf:first> <ns:Researcher>
_:7726 <owl:unionOf> _:7723
_:7726 <rdf:type> <owl:Class>
_:7722 <rdf:rest> _:7725
_:7722 <rdf:first> <ns:Researcher>
Inserted:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> _:7e60
<ns:Researcher> <rdfs:subClassOf> _:7e5f
_:7e5f <rdf:type> <owl:Restriction>
_:7e5f <owl:onProperty> <ns:wrotePhDThesis>
_:7e5f <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:7e60 <rdf:type> <owl:Restriction>
_:7e60 <owl:onProperty> <ns:wrotePhDThesis>
_:7e60 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISA16#
_:7733 <rdf:rest> <rdf:nil>
_:7733 <rdf:first> <ns:Researcher>
<ns:wrotePhDThesis> <rdfs:domain> _:7734
_:7734 <owl:unionOf> _:7731
_:7734 <rdf:type> <owl:Class>
<ns:Researcher> <rdfs:subClassOf> _:7732
_:7730 <rdf:rest> _:7733
_:7730 <rdf:first> <ns:Researcher>
_:7731 <rdf:first> <ns:Researcher>
_:7731 <rdf:rest> _:7730
_:7732 <owl:onProperty> <ns:wrotePhDThesis>
_:7732 <owl:maxCardinality> "1"^^<xsd:int>
_:7732 <rdf:type> <owl:Restriction>
 Removed:
ns=http://www.example.org/ISA16#
_:7728 <rdf:type> <owl:Restriction>
_:7728 <owl:onProperty> <ns:wrotePhDThesis>
_:7728 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7727 <rdf:type> <owl:Restriction>
_:7727 <owl:onProperty> <ns:wrotePhDThesis>
_:7727 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7728
<ns:Researcher> <rdfs:subClassOf> _:7727
Removed:
ns=http://www.example.org/ISA16#
_:6e3d <rdf:type> <owl:Restriction>
_:6e3d <owl:onProperty> <ns:wrotePhDThesis>
_:6e3d <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6e3c <rdf:type> <owl:Restriction>
_:6e3c <owl:onProperty> <ns:wrotePhDThesis>
_:6e3c <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:6e3d
<ns:Researcher> <rdfs:subClassOf> _:6e3c
Removed:
ns=http://www.example.org/ISA16#
_:7736 <rdf:type> <owl:Restriction>
_:7736 <owl:onProperty> <ns:wrotePhDThesis>
_:7736 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7735 <rdf:type> <owl:Restriction>
_:7735 <owl:onProperty> <ns:wrotePhDThesis>
_:7735 <owl:allValuesFrom> <xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:7736
<ns:Researcher> <rdfs:subClassOf> _:7735
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>
_:7718 <rdf:first> <ns:Italian>
_:7718 <rdf:rest> _:7717
_:7717 <rdf:first> <ns:Male>
_:7717 <rdf:rest> <rdf:nil>
<ns:ItalianMale> <owl:intersectionOf> _:7718
<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#
<ns:hasCar> <rdfs:domain> _:7708
<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>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7706 <rdf:rest> <rdf:nil>
_:7706 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:7707 <rdf:rest> _:7706
_:7707 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:7708 <rdf:type> <owl:Class>
_:7708 <owl:unionOf> _:7707
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> _:7709
_:7709 <rdf:type> <owl:Restriction>
_:7709 <owl:onProperty> <ns:hasCar>
_:7709 <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> <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:wasBorn> <rdfs:domain> _:76f7
_:76f6 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:76f6 <rdf:rest> _:76f5
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:76f7 <owl:unionOf> _:76f6
_:76f7 <rdf:type> <owl:Class>
_:76f5 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:76f5 <rdf:rest> <rdf:nil>
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#
_:76f8 <rdf:type> <owl:Restriction>
_:76f8 <owl:onProperty> <ns:wasBorn>
_:76f8 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:76f8
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#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:76e3 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:76e3 <rdf:rest> <rdf:nil>
<ns:worksIn> <rdfs:domain> _:76e5
_:76e4 <rdf:rest> _:76e3
_:76e4 <rdf:first> <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> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:76e5 <rdf:type> <owl:Class>
_:76e5 <owl:unionOf> _:76e4
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> _:76e6
_:76e6 <rdf:type> <owl:Restriction>
_:76e6 <owl:onProperty> <ns:worksIn>
_:76e6 <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#
_:76ca <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:76ca <rdf:rest> _:76c9
_:76cb <owl:unionOf> _:76ca
_:76cb <rdf:type> <owl:Class>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:76cc <rdf:rest> <rdf:nil>
_:76cc <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:76c8 <owl:maxCardinality> "1"^^<xsd:int>
_:76c8 <rdf:type> <owl:Restriction>
_:76c8 <owl:onProperty> <ns:hasAffiliation>
_:76c9 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:76c9 <rdf:rest> _:76cc
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:76c8
<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>
<ns:hasAffiliation> <rdfs:domain> _:76cb
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> _:76ce
_:76ce <rdf:type> <owl:Restriction>
_:76ce <owl:onProperty> <ns:hasAffiliation>
_:76ce <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#
_:76b0 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:76b0 <rdf:rest> <rdf:nil>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:76b1 <owl:unionOf> _:76af
_:76b1 <rdf:type> <owl:Class>
_:76ad <owl:maxCardinality> "1"^^<xsd:int>
_:76ad <rdf:type> <owl:Restriction>
_:76ad <owl:onProperty> <ns:hasMother>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:76ad
<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>
_:76ae <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:76ae <rdf:rest> _:76b0
_:76af <rdf:rest> _:76ae
_:76af <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasMother> <rdfs:domain> _:76b1
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> _:76b2
_:76b2 <rdf:type> <owl:Restriction>
_:76b2 <owl:onProperty> <ns:hasMother>
_:76b2 <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#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7698 <rdf:type> <owl:Class>
_:7698 <owl:unionOf> _:769a
<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>
_:7699 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:7699 <rdf:rest> <rdf:nil>
<ns:hasAffiliation> <rdfs:domain> _:7698
_:769a <rdf:rest> _:7699
_:769a <rdf:first> <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#
_:769b <rdf:type> <owl:Restriction>
_:769b <owl:onProperty> <ns:hasAffiliation>
_:769b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
_:769c <rdf:type> <owl:Restriction>
_:769c <owl:onProperty> <ns:hasAffiliation>
_:769c <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:769c
<ns:Researcher> <owl:equivalentClass> _:769b
<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 = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB08#
_:7687 <owl:unionOf> _:7689
_:7687 <rdf:type> <owl:Class>
<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>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7688 <rdf:rest> <rdf:nil>
_:7688 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:7689 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:7689 <rdf:rest> _:7688
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:domain> _:7687
Inserted:
ns=http://www.example.org/ISB08#
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2683
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:2683 <rdf:type> <owl:Restriction>
_:2683 <owl:onProperty> <ns:hasName>
_:2683 <owl:allValuesFrom> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasName> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasName> <rdfs:range> <xsd:string>
Inserted:
ns=http://www.example.org/ISB08#
_:768f <owl:unionOf> _:7691
_:768f <rdf:type> <owl:Class>
_:7691 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:7691 <rdf:rest> _:7690
_:7690 <rdf:rest> <rdf:nil>
_:7690 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasName> <rdfs:domain> _:768f
 Removed:
ns=http://www.example.org/ISB08#
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:Person> <owl:equivalentClass> _:768a
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
_:768a <rdf:type> <owl:Restriction>
_:768a <owl:onProperty> <ns:hasName>
_:768a <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>
Removed:
ns=http://www.example.org/ISB08#
_:7692 <rdf:type> <owl:Restriction>
_:7692 <owl:onProperty> <ns:hasName>
_:7692 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7692
E26
(ISB09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB09#
_:7671 <owl:unionOf> _:7670
_:7671 <rdf:type> <owl:Class>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7672 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:7672 <rdf:rest> <rdf:nil>
_:766e <rdf:type> <owl:Restriction>
_:766e <owl:onProperty> <ns:wrotePhDThesis>
_:766e <owl:maxCardinality> "1"^^<xsd:int>
_:766f <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:766f <rdf:rest> _:7672
<ns:wrotePhDThesis> <rdfs:domain> _:7671
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:766e
<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>
_:7670 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:7670 <rdf:rest> _:766f
Inserted:
ns=http://www.example.org/ISB09#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:265f <rdf:type> <owl:Restriction>
_:265f <owl:onProperty> <ns:wrotePhDThesis>
_:265f <owl:allValuesFrom> <xsd:string>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:2660
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:265f
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:2660 <rdf:type> <owl:Restriction>
_:2660 <owl:onProperty> <ns:wrotePhDThesis>
_:2660 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISB09#
_:767c <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:767c <rdf:rest> _:767f
_:767d <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:767d <rdf:rest> _:767c
_:767e <owl:unionOf> _:767d
_:767e <rdf:type> <owl:Class>
_:767f <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:767f <rdf:rest> <rdf:nil>
<ns:wrotePhDThesis> <rdfs:domain> _:767e
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:767b
_:767b <rdf:type> <owl:Restriction>
_:767b <owl:onProperty> <ns:wrotePhDThesis>
_:767b <owl:maxCardinality> "1"^^<xsd:int>
 Removed:
ns=http://www.example.org/ISB09#
<ns:Researcher> <owl:equivalentClass> _:7673
_:7673 <rdf:type> <owl:Restriction>
_:7673 <owl:onProperty> <ns:wrotePhDThesis>
_:7673 <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
Removed:
ns=http://www.example.org/ISB09#
_:7681 <rdf:type> <owl:Restriction>
_:7681 <owl:onProperty> <ns:wrotePhDThesis>
_:7681 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7680 <rdf:type> <owl:Restriction>
_:7680 <owl:onProperty> <ns:wrotePhDThesis>
_:7680 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7681
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7680
E27
(ISB10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB10#
<ns:hasSSN> <rdfs:domain> _:7654
<ns:hasSSN> <rdfs:range> <xsd:string>
_:7652 <rdf:type> <owl:Restriction>
_:7652 <owl:cardinality> "1"^^<xsd:int>
_:7652 <owl:onProperty> <ns:hasSSN>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7653 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:7653 <rdf:rest> _:7651
_:7654 <owl:unionOf> _:7653
_:7654 <rdf:type> <owl:Class>
_:7655 <rdf:rest> <rdf:nil>
_:7655 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7652
<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>
_:7651 <rdf:rest> _:7655
_:7651 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB10#
<ns:hasSSN> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasSSN> <rdfs:range> <xsd:string>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7d43 <rdf:type> <owl:Restriction>
_:7d43 <owl:onProperty> <ns:hasSSN>
_:7d43 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7d44
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7d43
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
_:7d44 <rdf:type> <owl:Restriction>
_:7d44 <owl:onProperty> <ns:hasSSN>
_:7d44 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISB10#
_:7661 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:7661 <rdf:rest> _:765f
<ns:hasSSN> <rdfs:domain> _:7662
_:7662 <owl:unionOf> _:7661
_:7662 <rdf:type> <owl:Class>
_:7663 <rdf:rest> <rdf:nil>
_:7663 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:765f <rdf:rest> _:7663
_:765f <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:7660 <rdf:type> <owl:Restriction>
_:7660 <owl:cardinality> "1"^^<xsd:int>
_:7660 <owl:onProperty> <ns:hasSSN>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7660
 Removed:
ns=http://www.example.org/ISB10#
_:7656 <rdf:type> <owl:Restriction>
_:7656 <owl:onProperty> <ns:hasSSN>
_:7656 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Man> <owl:equivalentClass> _:7656
Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:6d1a
_:6d1a <rdf:type> <owl:Restriction>
_:6d1a <owl:onProperty> <ns:hasSSN>
_:6d1a <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB10#
_:7665 <rdf:type> <owl:Restriction>
_:7665 <owl:onProperty> <ns:hasSSN>
_:7665 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:7664 <rdf:type> <owl:Restriction>
_:7664 <owl:onProperty> <ns:hasSSN>
_:7664 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7665
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7664
E28
(ISB11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB11#
_:7638 <rdf:rest> <rdf:nil>
_:7638 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7639 <owl:maxCardinality> "1"^^<xsd:int>
_:7639 <owl:onProperty> <ns:wrotePhDThesis>
_:7639 <rdf:type> <owl:Restriction>
<ns:wrotePhDThesis> <rdfs:domain> _:7637
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:7635 <rdf:rest> _:7638
_:7635 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7639
<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>
_:7636 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:7636 <rdf:rest> _:7635
_:7637 <owl:unionOf> _:7636
_:7637 <rdf:type> <owl:Class>
Inserted:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:range> <xsd:string>
_:7d27 <rdf:type> <owl:Restriction>
_:7d27 <owl:onProperty> <ns:wrotePhDThesis>
_:7d27 <owl:allValuesFrom> <xsd:string>
_:7d28 <rdf:type> <owl:Restriction>
_:7d28 <owl:onProperty> <ns:wrotePhDThesis>
_:7d28 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7d28
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7d27
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
Inserted:
ns=http://www.example.org/ISB11#
_:7643 <rdf:rest> _:7646
_:7643 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
<ns:wrotePhDThesis> <rdfs:domain> _:7645
_:7644 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:7644 <rdf:rest> _:7643
_:7645 <owl:unionOf> _:7644
_:7645 <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7647
_:7646 <rdf:rest> <rdf:nil>
_:7646 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:7647 <owl:maxCardinality> "1"^^<xsd:int>
_:7647 <owl:onProperty> <ns:wrotePhDThesis>
_:7647 <rdf:type> <owl:Restriction>
 Removed:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:763b
<ns:Researcher> <owl:equivalentClass> _:763a
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:763a <rdf:type> <owl:Restriction>
_:763a <owl:onProperty> <ns:wrotePhDThesis>
_:763a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:763b <rdf:type> <owl:Restriction>
_:763b <owl:onProperty> <ns:wrotePhDThesis>
_:763b <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
Removed:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
_:7d2a <rdf:type> <owl:Restriction>
_:7d2a <owl:onProperty> <ns:wrotePhDThesis>
_:7d2a <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:7d2a
<ns:Researcher> <owl:equivalentClass> _:7d29
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:7d29 <rdf:type> <owl:Restriction>
_:7d29 <owl:onProperty> <ns:wrotePhDThesis>
_:7d29 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
Removed:
ns=http://www.example.org/ISB11#
_:7648 <rdf:type> <owl:Restriction>
_:7648 <owl:onProperty> <ns:wrotePhDThesis>
_:7648 <owl:allValuesFrom> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7649
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7648
_:7649 <rdf:type> <owl:Restriction>
_:7649 <owl:onProperty> <ns:wrotePhDThesis>
_:7649 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
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#
_:762b <rdf:type> <owl:Class>
_:762b <owl:intersectionOf> _:762a
_:7629 <rdf:first> <ns:Male>
_:7629 <rdf:rest> <rdf:nil>
_:762a <rdf:first> <ns:Italian>
_:762a <rdf:rest> _:7629
<ns:ItalianMan> <owl:equivalentClass> _:762b
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
Removed:
ns=http://www.example.org/ISB12#
<ns:ItalianMan> <owl:equivalentClass> _:7d0b
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:7d0b <rdf:type> <owl:Class>
_:7d0b <owl:intersectionOf> _:7d0a
_:7d0a <rdf:first> <ns:Italian>
_:7d0a <rdf:rest> _:7d09
_:7d09 <rdf:first> <ns:Male>
_:7d09 <rdf:rest> <rdf:nil>
 
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> _:7625
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:7625 <rdf:first> <ns:Italian>
_:7625 <rdf:rest> _:7624
_:7624 <rdf:first> <ns:Male>
_:7624 <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#
_:7620 <rdf:first> <ns:Male>
_:7620 <rdf:rest> _:761f
<ns:ItalianMan> <owl:intersectionOf> _:7621
<ns:ItalianMan> <rdfs:subClassOf> <ns:Person>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
_:761f <rdf:first> <ns:Person>
_:761f <rdf:rest> <rdf:nil>
_:7621 <rdf:first> <ns:Italian>
_:7621 <rdf:rest> _:7620
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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE02#
<ns:hasChild> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISE02#
<ns:hasChild> <rdfs:range> <ns:Person>
E38
(ISE03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE03#
_:75fa <owl:unionOf> _:75fc
_:75fa <rdf:type> <owl:Class>
_:75fc <rdf:first> <ns:Father>
_:75fc <rdf:rest> _:75fb
<ns:hasChild> <rdfs:domain> _:75fa
_:75fb <rdf:rest> <rdf:nil>
_:75fb <rdf:first> <ns:Father>
  Inserted:
ns=http://www.example.org/ISE03#
_:7602 <rdf:rest> <rdf:nil>
_:7602 <rdf:first> <ns:Father>
_:7601 <owl:unionOf> _:7603
_:7601 <rdf:type> <owl:Class>
<ns:hasChild> <rdfs:domain> _:7601
_:7603 <rdf:first> <ns:Father>
_:7603 <rdf:rest> _:7602
 Removed:
ns=http://www.example.org/ISE03#
<ns:hasChild> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISE03#
<ns:Father> <rdfs:subClassOf> _:7604
<ns:hasChild> <rdfs:range> <ns:Person>
_:7604 <rdf:type> <owl:Restriction>
_:7604 <owl:onProperty> <ns:hasChild>
_:7604 <owl:allValuesFrom> <ns:Person>
E39
(ISE04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE04#
_:75eb <rdf:type> <owl:Class>
_:75eb <owl:unionOf> _:75ed
<ns:hasChild> <rdfs:domain> _:75eb
_:75ed <rdf:rest> _:75ec
_:75ed <rdf:first> <ns:Person>
_:75ec <rdf:first> <ns:Person>
_:75ec <rdf:rest> <rdf:nil>
  Inserted:
ns=http://www.example.org/ISE04#
_:75f4 <rdf:rest> _:75f3
_:75f4 <rdf:first> <ns:Person>
_:75f3 <rdf:first> <ns:Person>
_:75f3 <rdf:rest> <rdf:nil>
_:75f2 <rdf:type> <owl:Class>
_:75f2 <owl:unionOf> _:75f4
<ns:hasChild> <rdfs:domain> _:75f2
 Removed:
ns=http://www.example.org/ISE04#
<ns:hasChild> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISE04#
_:75f5 <rdf:type> <owl:Restriction>
_:75f5 <owl:onProperty> <ns:hasChild>
_:75f5 <owl:allValuesFrom> <ns:Person>
<ns:Person> <rdfs:subClassOf> _:75f5
<ns:hasChild> <rdfs:range> <ns:Person>
E40
(ISE05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE05#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:75db <rdf:rest> <rdf:nil>
_:75db <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:75dc <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:75dc <rdf:rest> _:75db
<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>
_:75dd <rdf:type> <owl:Class>
_:75dd <owl:unionOf> _:75dc
<ns:hasChild> <rdfs:domain> _:75dd
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>
Inserted:
ns=http://www.example.org/ISE05#
<ns:hasChild> <rdfs:domain> _:75e4
_:75e4 <rdf:type> <owl:Class>
_:75e4 <owl:unionOf> _:75e3
_:75e3 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:75e3 <rdf:rest> _:75e2
_:75e2 <rdf:rest> <rdf:nil>
_:75e2 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
 Removed:
ns=http://www.example.org/ISE05#
<ns:hasChild> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISE05#
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:75e5
_:75e5 <rdf:type> <owl:Restriction>
_:75e5 <owl:onProperty> <ns:hasChild>
_:75e5 <owl:allValuesFrom> <ns:Person>
E41
(ISE06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE06#
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:75cb <owl:unionOf> _:75cd
_:75cb <rdf:type> <owl:Class>
<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>
_:75cc <rdf:rest> <rdf:nil>
_:75cc <rdf:first> <ns:Person>
_:75cd <rdf:first> <ns:Person>
_:75cd <rdf:rest> _:75cc
<ns:hasChild> <rdfs:domain> _:75cb
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>
Inserted:
ns=http://www.example.org/ISE06#
<ns:hasChild> <rdfs:domain> _:75d2
_:75d4 <rdf:first> <ns:Person>
_:75d4 <rdf:rest> _:75d3
_:75d3 <rdf:rest> <rdf:nil>
_:75d3 <rdf:first> <ns:Person>
_:75d2 <owl:unionOf> _:75d4
_:75d2 <rdf:type> <owl:Class>
 Removed:
ns=http://www.example.org/ISE06#
<ns:hasChild> <rdfs:range> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Human>
<ns:hasChild> <rdfs:range> <ns:Child>
 Removed:
ns=http://www.example.org/ISE06#
<ns:Person> <rdfs:subClassOf> _:75d5
_:75d5 <rdf:type> <owl:Restriction>
_:75d5 <owl:onProperty> <ns:hasChild>
_:75d5 <owl:allValuesFrom> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasChild> <rdfs:range> <ns:ANONYMOUS_CONCEPT_0>
E42
(ISE07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE07#
_:75be <rdf:first> <ns:Person>
_:75be <rdf:rest> _:75bd
_:75bd <rdf:rest> <rdf:nil>
_:75bd <rdf:first> <ns:Person>
_:75bc <rdf:type> <owl:Class>
_:75bc <owl:unionOf> _:75be
<ns:hasSSN> <rdfs:domain> _:75bc
<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>
Inserted:
ns=http://www.example.org/ISE07#
_:75c4 <rdf:rest> <rdf:nil>
_:75c4 <rdf:first> <ns:Person>
_:75c5 <rdf:first> <ns:Person>
_:75c5 <rdf:rest> _:75c4
<ns:hasSSN> <rdfs:domain> _:75c3
_:75c3 <rdf:type> <owl:Class>
_:75c3 <owl:unionOf> _:75c5
    Removed:
ns=http://www.example.org/ISE07#
_:75c6 <rdf:type> <owl:Restriction>
_:75c6 <owl:onProperty> <ns:hasSSN>
_:75c6 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:75c6
E43
(ISE08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISE08#
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
Removed:
ns=http://www.example.org/ISE08#
<ns:hasName> <rdfs:range> <rdfs:Literal>
<ns:hasName> <rdf:type> <owl:DatatypeProperty>
<ns:hasName> <rdf:type> <rdf:Property>
<ns:hasName> <owl:equivalentProperty> <ns:hasName>
<ns:hasName> <rdfs:subPropertyOf> <ns:hasName>
 
E44
(ISE09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE09#
_:75ae <rdf:type> <owl:Class>
_:75ae <owl:unionOf> _:75ad
_:75ad <rdf:first> <ns:Person>
_:75ad <rdf:rest> _:75ac
_:75ac <rdf:rest> <rdf:nil>
_:75ac <rdf:first> <ns:Person>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:domain> _:75ae
Inserted:
ns=http://www.example.org/ISE09#
_:7bb3 <rdf:type> <owl:Restriction>
_:7bb3 <owl:onProperty> <ns:hasName>
_:7bb3 <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:7bb3
Inserted:
ns=http://www.example.org/ISE09#
_:75b3 <rdf:rest> <rdf:nil>
_:75b3 <rdf:first> <ns:Person>
<ns:hasName> <rdfs:domain> _:75b5
_:75b5 <rdf:type> <owl:Class>
_:75b5 <owl:unionOf> _:75b4
_:75b4 <rdf:first> <ns:Person>
_:75b4 <rdf:rest> _:75b3
    Removed:
ns=http://www.example.org/ISE09#
_:75b6 <rdf:type> <owl:Restriction>
_:75b6 <owl:onProperty> <ns:hasName>
_:75b6 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:75b6
E45
(ISE10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE10#
_:75a0 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:75a0 <rdf:rest> _:759f
<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> <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>
_:759e <owl:unionOf> _:75a0
_:759e <rdf:type> <owl:Class>
<ns:hasChildNamed> <rdfs:range> <xsd:string>
<ns:hasChildNamed> <rdfs:domain> _:759e
_:759f <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:759f <rdf:rest> <rdf:nil>
Inserted:
ns=http://www.example.org/ISE10#
<ns:hasChildNamed> <rdfs:domain> <ns:ANONYMOUS_CONCEPT_0>
<ns:hasChildNamed> <rdfs:range> <xsd:string>
<ns:ANONYMOUS_CONCEPT_0> <rdf:type> <owl:Class>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:7b9c
<ns:ANONYMOUS_CONCEPT_0> <owl:disjointWith> <owl:Nothing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <owl:Thing>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Mother>
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> <ns:Woman>
<ns:ANONYMOUS_CONCEPT_0> <owl:equivalentClass> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <owl:disjointWith> <ns:ANONYMOUS_CONCEPT_0>
<owl:Nothing> <rdfs:subClassOf> <ns:ANONYMOUS_CONCEPT_0>
_:7b9c <rdf:type> <owl:Restriction>
_:7b9c <owl:onProperty> <ns:hasChildNamed>
_:7b9c <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISE10#
<ns:hasChildNamed> <rdfs:domain> _:75a5
_:75a7 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:75a7 <rdf:rest> _:75a6
_:75a6 <rdf:first> <ns:ANONYMOUS_CONCEPT_0>
_:75a6 <rdf:rest> <rdf:nil>
_:75a5 <owl:unionOf> _:75a7
_:75a5 <rdf:type> <owl:Class>
    Removed:
ns=http://www.example.org/ISE10#
<ns:ANONYMOUS_CONCEPT_0> <rdfs:subClassOf> _:75a8
_:75a8 <rdf:type> <owl:Restriction>
_:75a8 <owl:onProperty> <ns:hasChildNamed>
_:75a8 <owl:allValuesFrom> <xsd:string>
E46
(ISF01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF01#
_:758a <owl:unionOf> _:7589
_:758a <rdf:type> <owl:Class>
_:7586 <rdf:rest> <rdf:nil>
_:7586 <rdf:first> <ns:Person>
_:7587 <rdf:first> <ns:Person>
_:7587 <rdf:rest> <rdf:nil>
<ns:livesIn> <rdfs:domain> _:7585
_:7588 <rdf:rest> _:7587
_:7588 <rdf:first> <ns:Person>
<ns:isResidentIn> <rdfs:domain> _:758a
_:7589 <rdf:rest> _:7586
_:7589 <rdf:first> <ns:Person>
_:7585 <owl:unionOf> _:7588
_:7585 <rdf:type> <owl:Class>
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>
Inserted:
ns=http://www.example.org/ISF01#
_:7596 <rdf:rest> _:7595
_:7596 <rdf:first> <ns:Person>
<ns:livesIn> <rdfs:domain> _:7593
_:7597 <rdf:rest> _:7594
_:7597 <rdf:first> <ns:Person>
_:7598 <owl:unionOf> _:7597
_:7598 <rdf:type> <owl:Class>
<ns:isResidentIn> <rdfs:domain> _:7598
_:7593 <owl:unionOf> _:7596
_:7593 <rdf:type> <owl:Class>
_:7594 <rdf:rest> <rdf:nil>
_:7594 <rdf:first> <ns:Person>
_:7595 <rdf:first> <ns:Person>
_:7595 <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISF01#
<ns:isResidentIn> <rdfs:range> <ns:City>
<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>
<ns:isResidentIn> <rdfs:subPropertyOf> <ns:livesIn>
<ns:livesIn> <rdfs:range> <ns:City>
<ns:livesIn> <owl:equivalentProperty> <ns:isResidentIn>
<ns:livesIn> <rdfs:subPropertyOf> <ns:isResidentIn>
Removed:
ns=http://www.example.org/ISF01#
<ns:isResidentIn> <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#
_:759a <rdf:type> <owl:Restriction>
_:759a <owl:onProperty> <ns:isResidentIn>
_:759a <owl:allValuesFrom> <ns:City>
<ns:Person> <rdfs:subClassOf> _:759a
<ns:Person> <rdfs:subClassOf> _:7599
<ns:livesIn> <rdfs:range> <ns:City>
<ns:isResidentIn> <rdfs:range> <ns:City>
_:7599 <rdf:type> <owl:Restriction>
_:7599 <owl:onProperty> <ns:livesIn>
_:7599 <owl:allValuesFrom> <ns:City>
E47
(ISF02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF02#
_:756b <rdf:first> <ns:City>
_:756b <rdf:rest> _:756a
_:756c <owl:unionOf> _:756b
_:756c <rdf:type> <owl:Class>
_:756d <rdf:rest> _:7569
_:756d <rdf:first> <ns:City>
_:7569 <rdf:rest> <rdf:nil>
_:7569 <rdf:first> <ns:City>
_:756e <owl:unionOf> _:756d
_:756e <rdf:type> <owl:Class>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:domain> _:756c
<ns:hasSpanishName> <rdfs:range> <xsd:string>
<ns:hasSpanishName> <rdfs:domain> _:756e
_:756a <rdf:first> <ns:City>
_:756a <rdf:rest> <rdf:nil>
Inserted:
ns=http://www.example.org/ISF02#
<ns:City> <rdfs:subClassOf> _:7b6b
<ns:City> <rdfs:subClassOf> _:7b6a
_:7b6a <rdf:type> <owl:Restriction>
_:7b6a <owl:onProperty> <ns:hasSpanishName>
_:7b6a <owl:allValuesFrom> <xsd:string>
_:7b6b <rdf:type> <owl:Restriction>
_:7b6b <owl:onProperty> <ns:hasName>
_:7b6b <owl:allValuesFrom> <xsd:string>
<ns:hasSpanishName> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
Inserted:
ns=http://www.example.org/ISF02#
_:757b <rdf:rest> _:7577
_:757b <rdf:first> <ns:City>
_:7577 <rdf:rest> <rdf:nil>
_:7577 <rdf:first> <ns:City>
_:757c <owl:unionOf> _:757b
_:757c <rdf:type> <owl:Class>
_:7578 <rdf:first> <ns:City>
_:7578 <rdf:rest> <rdf:nil>
_:7579 <rdf:first> <ns:City>
_:7579 <rdf:rest> _:7578
<ns:hasName> <rdfs:domain> _:757a
<ns:hasSpanishName> <rdfs:domain> _:757c
_:757a <owl:unionOf> _:7579
_:757a <rdf:type> <owl:Class>
    Removed:
ns=http://www.example.org/ISF02#
_:757e <rdf:type> <owl:Restriction>
_:757e <owl:onProperty> <ns:hasName>
_:757e <owl:allValuesFrom> <xsd:string>
_:757d <rdf:type> <owl:Restriction>
_:757d <owl:onProperty> <ns:hasSpanishName>
_:757d <owl:allValuesFrom> <xsd:string>
<ns:City> <rdfs:subClassOf> _:757e
<ns:City> <rdfs:subClassOf> _:757d
E48
(ISF03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF03#
_:7558 <rdf:type> <owl:Class>
_:7558 <owl:unionOf> _:7557
_:7557 <rdf:first> <ns:Child>
_:7557 <rdf:rest> _:7556
_:7556 <rdf:rest> <rdf:nil>
_:7556 <rdf:first> <ns:Child>
<ns:hasParent> <rdfs:domain> _:7558
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>
Inserted:
ns=http://www.example.org/ISF03#
<ns:hasParent> <rdfs:domain> _:755f
_:755f <rdf:type> <owl:Class>
_:755f <owl:unionOf> _:755e
_:755e <rdf:first> <ns:Child>
_:755e <rdf:rest> _:755d
_:755d <rdf:rest> <rdf:nil>
_:755d <rdf:first> <ns:Child>
 Removed:
ns=http://www.example.org/ISF03#
<ns:hasParent> <rdfs:range> <ns:Person>
<ns:hasParent> <owl:inverseOf> <ns:hasChild>
<ns:hasChild> <owl:inverseOf> <ns:hasParent>
Removed:
ns=http://www.example.org/ISF03#
<ns:hasParent> <owl:inverseOf> <ns:hasChild>
<ns:hasChild> <owl:inverseOf> <ns:hasParent>
Removed:
ns=http://www.example.org/ISF03#
<ns:Child> <rdfs:subClassOf> _:7560
<ns:hasParent> <rdfs:range> <ns:Person>
_:7560 <rdf:type> <owl:Restriction>
_:7560 <owl:onProperty> <ns:hasParent>
_:7560 <owl:allValuesFrom> <ns:Person>
E49
(ISG01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG01#
_:7549 <rdf:rest> _:7548
_:7549 <rdf:first> <ns:Person>
_:7548 <rdf:first> <ns:Person>
_:7548 <rdf:rest> <rdf:nil>
<ns:hasFriend> <rdfs:domain> _:754a
_:754a <owl:unionOf> _:7549
_:754a <rdf:type> <owl:Class>
  Inserted:
ns=http://www.example.org/ISG01#
<ns:hasFriend> <rdfs:domain> _:7551
_:754f <rdf:first> <ns:Person>
_:754f <rdf:rest> <rdf:nil>
_:7551 <owl:unionOf> _:7550
_:7551 <rdf:type> <owl:Class>
_:7550 <rdf:rest> _:754f
_:7550 <rdf:first> <ns:Person>
 Removed:
ns=http://www.example.org/ISG01#
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>
 Removed:
ns=http://www.example.org/ISG01#
<ns:Person> <rdfs:subClassOf> _:7552
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>
_:7552 <rdf:type> <owl:Restriction>
_:7552 <owl:onProperty> <ns:hasFriend>
_:7552 <owl:allValuesFrom> <ns:Person>
E50
(ISG02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG02#
_:753b <rdf:rest> _:753a
_:753b <rdf:first> <ns:Person>
_:7539 <rdf:type> <owl:Class>
_:7539 <owl:unionOf> _:753b
_:753a <rdf:first> <ns:Person>
_:753a <rdf:rest> <rdf:nil>
<ns:hasFriend> <rdfs:domain> _:7539
  Inserted:
ns=http://www.example.org/ISG02#
<ns:hasFriend> <rdfs:domain> _:7540
_:7542 <rdf:rest> _:7541
_:7542 <rdf:first> <ns:Person>
_:7541 <rdf:first> <ns:Person>
_:7541 <rdf:rest> <rdf:nil>
_:7540 <rdf:type> <owl:Class>
_:7540 <owl:unionOf> _:7542
 Removed:
ns=http://www.example.org/ISG02#
<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <owl:inverseOf> <ns:hasFriend>
 Removed:
ns=http://www.example.org/ISG02#
<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>
<ns:hasFriend> <rdfs:range> <ns:Person>
<ns:hasFriend> <owl:inverseOf> <ns:hasFriend>
_:7543 <rdf:type> <owl:Restriction>
_:7543 <owl:onProperty> <ns:hasFriend>
_:7543 <owl:allValuesFrom> <ns:Person>
<ns:Person> <rdfs:subClassOf> _:7543
E51
(ISG03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG03#
_:7521 <owl:maxCardinality> "1"^^<xsd:int>
_:7521 <owl:onProperty> <ns:hasHusband>
_:7521 <rdf:type> <owl:Restriction>
_:7522 <rdf:first> <ns:Woman>
_:7522 <rdf:rest> _:7524
_:7523 <rdf:rest> _:7522
_:7523 <rdf:first> <ns:Woman>
_:7524 <rdf:rest> <rdf:nil>
_:7524 <rdf:first> <ns:Woman>
_:7525 <rdf:type> <owl:Class>
_:7525 <owl:unionOf> _:7523
<ns:hasHusband> <rdfs:domain> _:7525
<ns:Woman> <rdfs:subClassOf> _:7521
  Inserted:
ns=http://www.example.org/ISG03#
_:7531 <rdf:type> <owl:Class>
_:7531 <owl:unionOf> _:752f
_:752d <owl:maxCardinality> "1"^^<xsd:int>
_:752d <owl:onProperty> <ns:hasHusband>
_:752d <rdf:type> <owl:Restriction>
_:752e <rdf:first> <ns:Woman>
_:752e <rdf:rest> _:7530
_:752f <rdf:rest> _:752e
_:752f <rdf:first> <ns:Woman>
<ns:hasHusband> <rdfs:domain> _:7531
_:7530 <rdf:rest> <rdf:nil>
_:7530 <rdf:first> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> _:752d
 Removed:
ns=http://www.example.org/ISG03#
<ns:hasHusband> <rdfs:range> <ns:Man>
 Removed:
ns=http://www.example.org/ISG03#
<ns:Woman> <rdfs:subClassOf> _:7533
<ns:Woman> <rdfs:subClassOf> _:7532
_:7533 <rdf:type> <owl:Restriction>
_:7533 <owl:onProperty> <ns:hasHusband>
_:7533 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7532 <rdf:type> <owl:Restriction>
_:7532 <owl:onProperty> <ns:hasHusband>
_:7532 <owl:allValuesFrom> <ns:Man>
<ns:hasHusband> <rdfs:range> <ns:Man>
E52
(ISG04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG04#
_:750c <rdf:type> <owl:Class>
_:750c <owl:unionOf> _:750a
_:7508 <rdf:rest> _:750b
_:7508 <rdf:first> <ns:Person>
<ns:Person> <rdfs:subClassOf> _:7509
_:7509 <rdf:type> <owl:Restriction>
_:7509 <owl:onProperty> <ns:hasAge>
_:7509 <owl:maxCardinality> "1"^^<xsd:int>
<ns:hasAge> <rdfs:domain> _:750c
<ns:hasAge> <rdfs:range> <xsd:string>
_:750a <rdf:rest> _:7508
_:750a <rdf:first> <ns:Person>
_:750b <rdf:rest> <rdf:nil>
_:750b <rdf:first> <ns:Person>
Inserted:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdfs:range> <xsd:string>
_:7af2 <rdf:type> <owl:Restriction>
_:7af2 <owl:onProperty> <ns:hasAge>
_:7af2 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:7af2
<ns:Person> <rdfs:subClassOf> _:7af1
_:7af1 <rdf:type> <owl:Restriction>
_:7af1 <owl:onProperty> <ns:hasAge>
_:7af1 <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISG04#
_:7517 <rdf:rest> <rdf:nil>
_:7517 <rdf:first> <ns:Person>
_:7518 <rdf:type> <owl:Class>
_:7518 <owl:unionOf> _:7516
<ns:Person> <rdfs:subClassOf> _:7515
_:7514 <rdf:rest> _:7517
_:7514 <rdf:first> <ns:Person>
<ns:hasAge> <rdfs:domain> _:7518
_:7515 <rdf:type> <owl:Restriction>
_:7515 <owl:onProperty> <ns:hasAge>
_:7515 <owl:maxCardinality> "1"^^<xsd:int>
_:7516 <rdf:rest> _:7514
_:7516 <rdf:first> <ns:Person>
    Removed:
ns=http://www.example.org/ISG04#
_:7519 <rdf:type> <owl:Restriction>
_:7519 <owl:onProperty> <ns:hasAge>
_:7519 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:751a
<ns:Person> <rdfs:subClassOf> _:7519
_:751a <rdf:type> <owl:Restriction>
_:751a <owl:onProperty> <ns:hasAge>
_:751a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E53
(ISG05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG05#
_:74fa <rdf:type> <owl:Class>
_:74fa <owl:unionOf> _:74f9
_:74f8 <rdf:first> <ns:Professor>
_:74f8 <rdf:rest> <rdf:nil>
_:74f9 <rdf:rest> _:74f8
_:74f9 <rdf:first> <ns:Professor>
<ns:hasTutor> <rdfs:domain> _:74fa
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>
Inserted:
ns=http://www.example.org/ISG05#
_:7501 <rdf:type> <owl:Class>
_:7501 <owl:unionOf> _:7500
_:7500 <rdf:rest> _:74ff
_:7500 <rdf:first> <ns:Professor>
_:74ff <rdf:first> <ns:Professor>
_:74ff <rdf:rest> <rdf:nil>
<ns:hasTutor> <rdfs:domain> _:7501
 Removed:
ns=http://www.example.org/ISG05#
<ns:hasTutor> <rdfs:range> <ns:Student>
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
Removed:
ns=http://www.example.org/ISG05#
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
Removed:
ns=http://www.example.org/ISG05#
_:7502 <rdf:type> <owl:Restriction>
_:7502 <owl:onProperty> <ns:hasTutor>
_:7502 <owl:allValuesFrom> <ns:Student>
<ns:Professor> <rdfs:subClassOf> _:7502
<ns:hasTutor> <rdfs:range> <ns:Student>
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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI01#
_:74e7 <rdf:type> <owl:Class>
_:74e7 <owl:unionOf> _:74e6
_:74e6 <rdf:rest> _:74e5
_:74e6 <rdf:first> <ns:Person>
_:74e5 <rdf:first> <ns:Person>
_:74e5 <rdf:rest> <rdf:nil>
<ns:hasChild> <rdfs:domain> _:74e7
  Inserted:
ns=http://www.example.org/ISI01#
_:74ec <rdf:first> <ns:Person>
_:74ec <rdf:rest> <rdf:nil>
<ns:hasChild> <rdfs:domain> _:74ee
_:74ee <rdf:type> <owl:Class>
_:74ee <owl:unionOf> _:74ed
_:74ed <rdf:rest> _:74ec
_:74ed <rdf:first> <ns:Person>
 Removed:
ns=http://www.example.org/ISI01#
<ns:hasChild> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISI01#
<ns:Person> <rdfs:subClassOf> _:74ef
<ns:hasChild> <rdfs:range> <ns:Person>
_:74ef <rdf:type> <owl:Restriction>
_:74ef <owl:onProperty> <ns:hasChild>
_:74ef <owl:allValuesFrom> <ns:Person>
E58
(ISI02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI02#
<ns:knows> <rdfs:domain> _:74d5
_:74d7 <rdf:rest> _:74d6
_:74d7 <rdf:first> <ns:Person>
_:74d6 <rdf:first> <ns:Person>
_:74d6 <rdf:rest> <rdf:nil>
_:74d5 <rdf:type> <owl:Class>
_:74d5 <owl:unionOf> _:74d7
  Inserted:
ns=http://www.example.org/ISI02#
_:74dd <rdf:first> <ns:Person>
_:74dd <rdf:rest> <rdf:nil>
_:74dc <rdf:type> <owl:Class>
_:74dc <owl:unionOf> _:74de
<ns:knows> <rdfs:domain> _:74dc
_:74de <rdf:rest> _:74dd
_:74de <rdf:first> <ns:Person>
 Removed:
ns=http://www.example.org/ISI02#
<ns:knows> <rdfs:range> <ns:Person>
 Removed:
ns=http://www.example.org/ISI02#
<ns:knows> <rdfs:range> <ns:Person>
<ns:Person> <rdfs:subClassOf> _:74df
_:74df <rdf:type> <owl:Restriction>
_:74df <owl:onProperty> <ns:knows>
_:74df <owl:allValuesFrom> <ns:Person>
E59
(ISI03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI03#
<ns:hasChild> <rdfs:domain> _:74c5
_:74c6 <rdf:first> <ns:Mother>
_:74c6 <rdf:rest> <rdf:nil>
_:74c5 <owl:unionOf> _:74c7
_:74c5 <rdf:type> <owl:Class>
_:74c7 <rdf:first> <ns:Mother>
_:74c7 <rdf:rest> _:74c6
  Inserted:
ns=http://www.example.org/ISI03#
_:74ce <rdf:first> <ns:Mother>
_:74ce <rdf:rest> _:74cd
_:74cd <rdf:first> <ns:Mother>
_:74cd <rdf:rest> <rdf:nil>
_:74cc <owl:unionOf> _:74ce
_:74cc <rdf:type> <owl:Class>
<ns:hasChild> <rdfs:domain> _:74cc
 Removed:
ns=http://www.example.org/ISI03#
<ns:hasChild> <rdfs:range> <ns:Child>
 Removed:
ns=http://www.example.org/ISI03#
<ns:Mother> <rdfs:subClassOf> _:74cf
<ns:hasChild> <rdfs:range> <ns:Child>
_:74cf <rdf:type> <owl:Restriction>
_:74cf <owl:onProperty> <ns:hasChild>
_:74cf <owl:allValuesFrom> <ns:Child>
E60
(ISI04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI04#
<ns:hasName> <rdfs:domain> _:74b9
<ns:hasName> <rdfs:range> <xsd:string>
_:74b9 <rdf:type> <owl:Class>
_:74b9 <owl:unionOf> _:74b8
_:74b8 <rdf:rest> _:74b7
_:74b8 <rdf:first> <ns:Person>
_:74b7 <rdf:first> <ns:Person>
_:74b7 <rdf:rest> <rdf:nil>
Inserted:
ns=http://www.example.org/ISI04#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:7a39
_:7a39 <rdf:type> <owl:Restriction>
_:7a39 <owl:onProperty> <ns:hasName>
_:7a39 <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISI04#
_:74bf <rdf:rest> _:74be
_:74bf <rdf:first> <ns:Person>
_:74be <rdf:first> <ns:Person>
_:74be <rdf:rest> <rdf:nil>
_:74c0 <rdf:type> <owl:Class>
_:74c0 <owl:unionOf> _:74bf
<ns:hasName> <rdfs:domain> _:74c0
    Removed:
ns=http://www.example.org/ISI04#
_:74c1 <rdf:type> <owl:Restriction>
_:74c1 <owl:onProperty> <ns:hasName>
_:74c1 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:74c1
E61
(ISI05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI05#
_:74a9 <rdf:type> <owl:Class>
_:74a9 <owl:unionOf> _:74a8
_:74a8 <rdf:first> <ns:Person>
_:74a8 <rdf:rest> _:74a7
_:74a7 <rdf:first> <ns:Person>
_:74a7 <rdf:rest> <rdf:nil>
<ns:hasName> <rdfs:domain> _:74a9
<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>
Inserted:
ns=http://www.example.org/ISI05#
_:74af <rdf:first> <ns:Person>
_:74af <rdf:rest> _:74ae
_:74ae <rdf:first> <ns:Person>
_:74ae <rdf:rest> <rdf:nil>
_:74b0 <rdf:type> <owl:Class>
_:74b0 <owl:unionOf> _:74af
<ns:hasName> <rdfs:domain> _:74b0
    Removed:
ns=http://www.example.org/ISI05#
<ns:Person> <rdfs:subClassOf> _:74b1
_:74b1 <rdf:type> <owl:Restriction>
_:74b1 <owl:onProperty> <ns:hasName>
_:74b1 <owl:allValuesFrom> <xsd:string>
E62
(ISJ01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
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>
_:7497 <rdf:type> <owl:Class>
_:7497 <owl:unionOf> _:7499
_:7498 <rdf:first> <ns:Person>
_:7498 <rdf:rest> <rdf:nil>
_:7499 <rdf:rest> _:7498
_:7499 <rdf:first> <ns:Person>
<ns:hasChild> <rdfs:domain> _:7497
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>
Inserted:
ns=http://www.example.org/ISJ01#
_:749f <rdf:type> <owl:Class>
_:749f <owl:unionOf> _:74a1
<ns:hasChild> <rdfs:domain> _:749f
_:74a1 <rdf:rest> _:74a0
_:74a1 <rdf:first> <ns:Person>
_:74a0 <rdf:first> <ns:Person>
_:74a0 <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISJ01#
<ns:hasChild> <rdfs:range> <ns:Person>
_:749a <owl:sameAs> _:749a
_:749a <rdf:type> <ns:Person>
_:749a <rdf:type> <owl:Thing>
_:749a <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>
Removed:
ns=http://www.example.org/ISJ01#
<ns:Person> <rdfs:subClassOf> _:74a2
_:74a2 <rdf:type> <owl:Restriction>
_:74a2 <owl:onProperty> <ns:hasChild>
_:74a2 <owl:allValuesFrom> <ns:Person>
<ns:hasChild> <rdfs:range> <ns:Person>
E63
(ISJ02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ02#
_:7486 <rdf:rest> <rdf:nil>
_:7486 <rdf:first> <ns:Parent>
<ns:hasChild> <rdfs:domain> _:7488
_:7487 <rdf:rest> _:7486
_:7487 <rdf:first> <ns:Parent>
_:7488 <rdf:type> <owl:Class>
_:7488 <owl:unionOf> _:7487
<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>
Inserted:
ns=http://www.example.org/ISJ02#
_:748f <rdf:rest> _:748e
_:748f <rdf:first> <ns:Parent>
_:748e <rdf:rest> <rdf:nil>
_:748e <rdf:first> <ns:Parent>
<ns:hasChild> <rdfs:domain> _:7490
_:7490 <rdf:type> <owl:Class>
_:7490 <owl:unionOf> _:748f
 Removed:
ns=http://www.example.org/ISJ02#
<ns:hasChild> <rdfs:range> <ns:Person>
_:7489 <owl:sameAs> _:7489
_:7489 <rdf:type> <ns:Parent>
_:7489 <rdf:type> <owl:Thing>
_:7489 <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>
Removed:
ns=http://www.example.org/ISJ02#
<ns:Parent> <rdfs:subClassOf> _:7491
<ns:hasChild> <rdfs:range> <ns:Person>
_:7491 <rdf:type> <owl:Restriction>
_:7491 <owl:onProperty> <ns:hasChild>
_:7491 <owl:allValuesFrom> <ns:Person>
E64
(ISJ03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ03#
_:7475 <rdf:first> <ns:Person>
_:7475 <rdf:rest> <rdf:nil>
_:7476 <rdf:first> <ns:Person>
_:7476 <rdf:rest> _:7475
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:domain> _:7477
_:7477 <rdf:type> <owl:Class>
_:7477 <owl:unionOf> _:7476
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Peter"^^<xsd:string>
Inserted:
ns=http://www.example.org/ISJ03#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:22a7
_:22a7 <rdf:type> <owl:Restriction>
_:22a7 <owl:onProperty> <ns:hasName>
_:22a7 <owl:allValuesFrom> <xsd:string>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Person>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Peter"^^<xsd:string>
Inserted:
ns=http://www.example.org/ISJ03#
<ns:hasName> <rdfs:domain> _:747f
_:747f <rdf:type> <owl:Class>
_:747f <owl:unionOf> _:747e
_:747e <rdf:first> <ns:Person>
_:747e <rdf:rest> _:747d
_:747d <rdf:first> <ns:Person>
_:747d <rdf:rest> <rdf:nil>
 Removed:
ns=http://www.example.org/ISJ03#
_:7478 <owl:sameAs> _:7478
_:7478 <rdf:type> <owl:Thing>
_:7478 <rdf:type> <ns:Person>
_:7478 <ns:hasName> "Peter"
Removed:
ns=http://www.example.org/ISJ03#
_:69a4 <owl:sameAs> _:69a4
_:69a4 <rdf:type> <owl:Thing>
_:69a4 <rdf:type> <ns:Person>
_:69a4 <ns:hasName> "Peter"
Removed:
ns=http://www.example.org/ISJ03#
<ns:Person> <rdfs:subClassOf> _:7480
_:7480 <rdf:type> <owl:Restriction>
_:7480 <owl:onProperty> <ns:hasName>
_:7480 <owl:allValuesFrom> <xsd:string>
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#
_:746d <rdf:type> <owl:AllDifferent>
_:746d <owl:distinctMembers> _:746c
_:746c <rdf:first> <ns:Ann>
_:746c <rdf:rest> _:746b
_:746b <rdf:first> <ns:Joan>
_:746b <rdf:rest> _:746a
_:746a <rdf:first> <ns:Mary>
_:746a <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 = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL07#
<ns:hasName> <rdfs:domain> _:7454
<ns:hasName> <rdfs:range> <xsd:string>
_:7454 <owl:unionOf> _:7453
_:7454 <rdf:type> <owl:Class>
_:7453 <rdf:first> <ns:Person>
_:7453 <rdf:rest> _:7452
_:7452 <rdf:rest> <rdf:nil>
_:7452 <rdf:first> <ns:Person>
Inserted:
ns=http://www.example.org/ISL07#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:78f0
_:78f0 <rdf:type> <owl:Restriction>
_:78f0 <owl:onProperty> <ns:hasName>
_:78f0 <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISL07#
_:745a <rdf:first> <ns:Person>
_:745a <rdf:rest> _:7459
_:7459 <rdf:rest> <rdf:nil>
_:7459 <rdf:first> <ns:Person>
<ns:hasName> <rdfs:domain> _:745b
_:745b <owl:unionOf> _:745a
_:745b <rdf:type> <owl:Class>
    Removed:
ns=http://www.example.org/ISL07#
<ns:Person> <rdfs:subClassOf> _:745c
_:745c <rdf:type> <owl:Restriction>
_:745c <owl:onProperty> <ns:hasName>
_:745c <owl:allValuesFrom> <xsd:string>
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
<ns:hasName> <rdfs:domain> _:7441
<ns:hasName> <rdfs:range> <xsd:string>
_:7443 <rdf:rest> _:7442
_:7443 <rdf:first> <ns:Person>
_:7442 <rdf:first> <ns:Person>
_:7442 <rdf:rest> <rdf:nil>
_:7441 <owl:unionOf> _:7443
_:7441 <rdf:type> <owl:Class>
Inserted:
ns=http://www.example.org/ISL08#
_:78d5 <rdf:type> <owl:Restriction>
_:78d5 <owl:onProperty> <ns:hasName>
_:78d5 <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:78d5
<ns:hasName> <rdfs:range> <xsd:string>
Inserted:
ns=http://www.example.org/ISL08#
_:744a <rdf:rest> _:7449
_:744a <rdf:first> <ns:Person>
_:7448 <owl:unionOf> _:744a
_:7448 <rdf:type> <owl:Class>
_:7449 <rdf:first> <ns:Person>
_:7449 <rdf:rest> <rdf:nil>
<ns:hasName> <rdfs:domain> _:7448
    Removed:
ns=http://www.example.org/ISL08#
_:744b <rdf:type> <owl:Restriction>
_:744b <owl:onProperty> <ns:hasName>
_:744b <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:744b
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 = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL11#
_:742a <rdf:rest> _:7427
_:742a <rdf:first> <ns:Person>
_:7426 <rdf:type> <owl:Class>
_:7426 <owl:unionOf> _:7429
<ns:hasSurname> <rdfs:domain> _:742b
<ns:hasSurname> <rdfs:range> <xsd:string>
_:742b <owl:unionOf> _:742a
_:742b <rdf:type> <owl:Class>
_:7427 <rdf:first> <ns:Person>
_:7427 <rdf:rest> <rdf:nil>
_:7428 <rdf:first> <ns:Person>
_:7428 <rdf:rest> <rdf:nil>
_:7429 <rdf:first> <ns:Person>
_:7429 <rdf:rest> _:7428
<ns:hasName> <rdfs:domain> _:7426
<ns:hasName> <rdfs:range> <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>
Inserted:
ns=http://www.example.org/ISL11#
<ns:hasSurname> <rdfs:domain> _:7439
_:7436 <rdf:first> <ns:Person>
_:7436 <rdf:rest> <rdf:nil>
_:7437 <rdf:first> <ns:Person>
_:7437 <rdf:rest> _:7436
_:7438 <rdf:rest> _:7435
_:7438 <rdf:first> <ns:Person>
_:7439 <owl:unionOf> _:7438
_:7439 <rdf:type> <owl:Class>
<ns:hasName> <rdfs:domain> _:7434
_:7434 <rdf:type> <owl:Class>
_:7434 <owl:unionOf> _:7437
_:7435 <rdf:first> <ns:Person>
_:7435 <rdf:rest> <rdf:nil>
    Removed:
ns=http://www.example.org/ISL11#
_:743b <rdf:type> <owl:Restriction>
_:743b <owl:onProperty> <ns:hasName>
_:743b <owl:allValuesFrom> <xsd:string>
_:743a <rdf:type> <owl:Restriction>
_:743a <owl:onProperty> <ns:hasSurname>
_:743a <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:743b
<ns:Person> <rdfs:subClassOf> _:743a
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL12#
_:740b <rdf:rest> _:740a
_:740b <rdf:first> <ns:Person>
_:740c <rdf:first> <ns:Person>
_:740c <rdf:rest> _:7409
_:7408 <owl:unionOf> _:740b
_:7408 <rdf:type> <owl:Class>
_:740d <rdf:type> <owl:Class>
_:740d <owl:unionOf> _:740c
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:domain> _:740d
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:domain> _:7408
_:7409 <rdf:rest> <rdf:nil>
_:7409 <rdf:first> <ns:Person>
_:740a <rdf:rest> <rdf:nil>
_:740a <rdf:first> <ns:Person>
Inserted:
ns=http://www.example.org/ISL12#
_:786e <rdf:type> <owl:Restriction>
_:786e <owl:onProperty> <ns:hasSurname>
_:786e <owl:allValuesFrom> <xsd:string>
_:786f <rdf:type> <owl:Restriction>
_:786f <owl:onProperty> <ns:hasName>
_:786f <owl:allValuesFrom> <xsd:string>
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasSurname> <rdfs:range> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:786f
<ns:Person> <rdfs:subClassOf> _:786e
Inserted:
ns=http://www.example.org/ISL12#
_:7416 <owl:unionOf> _:7419
_:7416 <rdf:type> <owl:Class>
_:741b <rdf:type> <owl:Class>
_:741b <owl:unionOf> _:741a
_:7417 <rdf:rest> <rdf:nil>
_:7417 <rdf:first> <ns:Person>
_:7418 <rdf:rest> <rdf:nil>
_:7418 <rdf:first> <ns:Person>
<ns:hasSurname> <rdfs:domain> _:741b
<ns:hasName> <rdfs:domain> _:7416
_:7419 <rdf:rest> _:7418
_:7419 <rdf:first> <ns:Person>
_:741a <rdf:first> <ns:Person>
_:741a <rdf:rest> _:7417
    Removed:
ns=http://www.example.org/ISL12#
_:741d <rdf:type> <owl:Restriction>
_:741d <owl:onProperty> <ns:hasName>
_:741d <owl:allValuesFrom> <xsd:string>
_:741c <rdf:type> <owl:Restriction>
_:741c <owl:onProperty> <ns:hasSurname>
_:741c <owl:allValuesFrom> <xsd:string>
<ns:Person> <rdfs:subClassOf> _:741d
<ns:Person> <rdfs:subClassOf> _:741c
E80
(ISL13)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL13#
_:73ed <owl:unionOf> _:73ec
_:73ed <rdf:type> <owl:Class>
_:73ee <rdf:rest> <rdf:nil>
_:73ee <rdf:first> <ns:Child>
<ns:hasName> <rdfs:domain> _:73f0
<ns:hasName> <rdfs:range> <xsd:string>
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
_:73ef <rdf:rest> _:73ee
_:73ef <rdf:first> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Paul"^^<xsd:string>
<ns:hasChild> <rdfs:domain> _:73ed
_:73f0 <rdf:type> <owl:Class>
_:73f0 <owl:unionOf> _:73ef
_:73eb <rdf:first> <ns:Person>
_:73eb <rdf:rest> <rdf:nil>
_:73ec <rdf:rest> _:73eb
_:73ec <rdf:first> <ns:Person>
Inserted:
ns=http://www.example.org/ISL13#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:6828
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Paul"^^<xsd:string>
_:6827 <rdf:type> <owl:Restriction>
_:6827 <owl:onProperty> <ns:hasChild>
_:6827 <owl:allValuesFrom> <ns:Child>
<ns:Person> <rdfs:subClassOf> _:6827
_:6828 <rdf:type> <owl:Restriction>
_:6828 <owl:onProperty> <ns:hasName>
_:6828 <owl:allValuesFrom> <xsd:string>
Inserted:
ns=http://www.example.org/ISL13#
_:73fd <rdf:rest> <rdf:nil>
_:73fd <rdf:first> <ns:Child>
_:73fe <rdf:rest> _:73fd
_:73fe <rdf:first> <ns:Child>
<ns:hasName> <rdfs:domain> _:73ff
_:73ff <rdf:type> <owl:Class>
_:73ff <owl:unionOf> _:73fe
<ns:hasChild> <rdfs:domain> _:73fc
_:73fa <rdf:first> <ns:Person>
_:73fa <rdf:rest> <rdf:nil>
_:73fb <rdf:rest> _:73fa
_:73fb <rdf:first> <ns:Person>
_:73fc <owl:unionOf> _:73fb
_:73fc <rdf:type> <owl:Class>
 Removed:
ns=http://www.example.org/ISL13#
_:73f1 <owl:sameAs> _:73f1
_:73f1 <rdf:type> <ns:Child>
_:73f1 <rdf:type> <owl:Thing>
_:73f1 <ns:hasName> "Paul"
<ns:hasChild> <rdfs:range> <ns:Child>
<ns:John> <ns:hasChild> _:73f1
Removed:
ns=http://www.example.org/ISL13#
_:2129 <owl:sameAs> _:2129
_:2129 <rdf:type> <ns:Child>
_:2129 <rdf:type> <owl:Thing>
_:2129 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:2129
Removed:
ns=http://www.example.org/ISL13#
_:7400 <rdf:type> <owl:Restriction>
_:7400 <owl:onProperty> <ns:hasChild>
_:7400 <owl:allValuesFrom> <ns:Child>
_:7401 <rdf:type> <owl:Restriction>
_:7401 <owl:onProperty> <ns:hasName>
_:7401 <owl:allValuesFrom> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:7401
<ns:hasChild> <rdfs:range> <ns:Child>
<ns:Person> <rdfs:subClassOf> _:7400
E81
(ISL14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL14#
_:73cd <rdf:type> <owl:Class>
_:73cd <owl:unionOf> _:73cc
<ns:hasName> <rdfs:range> <xsd:string>
<ns:hasName> <rdfs:domain> _:73d0
_:73ce <rdf:first> <ns:Child>
_:73ce <rdf:rest> <rdf:nil>
_:73cf <rdf:rest> _:73ce
_:73cf <rdf:first> <ns:Child>
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
_:73d0 <owl:unionOf> _:73cf
_:73d0 <rdf:type> <owl:Class>
_:73cb <rdf:first> <ns:Person>
_:73cb <rdf:rest> <rdf:nil>
_:73cc <rdf:first> <ns:Person>
_:73cc <rdf:rest> _:73cb
<ns:hasChild> <rdfs:domain> _:73cd
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Paul"^^<xsd:string>
Inserted:
ns=http://www.example.org/ISL14#
<ns:hasName> <rdfs:range> <xsd:string>
<ns:John> <ns:hasChild> <ns:OWL_INDIVIDUAL_0>
_:210b <rdf:type> <owl:Restriction>
_:210b <owl:onProperty> <ns:hasChild>
_:210b <owl:allValuesFrom> <ns:Child>
<ns:Person> <rdfs:subClassOf> _:210b
_:210c <rdf:type> <owl:Restriction>
_:210c <owl:onProperty> <ns:hasName>
_:210c <owl:allValuesFrom> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:210c
<ns:OWL_INDIVIDUAL_0> <owl:sameAs> <ns:OWL_INDIVIDUAL_0>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <ns:Child>
<ns:OWL_INDIVIDUAL_0> <rdf:type> <owl:Thing>
<ns:OWL_INDIVIDUAL_0> <ns:hasName> "Paul"^^<xsd:string>
Inserted:
ns=http://www.example.org/ISL14#
_:73dd <rdf:first> <ns:Child>
_:73dd <rdf:rest> <rdf:nil>
<ns:hasName> <rdfs:domain> _:73df
_:73de <rdf:rest> _:73dd
_:73de <rdf:first> <ns:Child>
_:73df <owl:unionOf> _:73de
_:73df <rdf:type> <owl:Class>
_:73da <rdf:first> <ns:Person>
_:73da <rdf:rest> <rdf:nil>
_:73db <rdf:first> <ns:Person>
_:73db <rdf:rest> _:73da
_:73dc <rdf:type> <owl:Class>
_:73dc <owl:unionOf> _:73db
<ns:hasChild> <rdfs:domain> _:73dc
 Removed:
ns=http://www.example.org/ISL14#
<ns:hasChild> <rdfs:range> <ns:Child>
_:73d1 <owl:sameAs> _:73d1
_:73d1 <rdf:type> <ns:Child>
_:73d1 <rdf:type> <owl:Thing>
_:73d1 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:73d1
Removed:
ns=http://www.example.org/ISL14#
_:7835 <owl:sameAs> _:7835
_:7835 <rdf:type> <ns:Child>
_:7835 <rdf:type> <owl:Thing>
_:7835 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:7835
Removed:
ns=http://www.example.org/ISL14#
_:73e0 <rdf:type> <owl:Restriction>
_:73e0 <owl:onProperty> <ns:hasChild>
_:73e0 <owl:allValuesFrom> <ns:Child>
<ns:Person> <rdfs:subClassOf> _:73e0
_:73e1 <rdf:type> <owl:Restriction>
_:73e1 <owl:onProperty> <ns:hasName>
_:73e1 <owl:allValuesFrom> <xsd:string>
<ns:Child> <rdfs:subClassOf> _:73e1
<ns:hasChild> <rdfs:range> <ns:Child>
E82
(ISL15)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   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
Removed:
ns=http://www.example.org/ISL15#
<ns:Book> <rdfs:comment> "rdfs:label : Book||rdfs:label : Libro||"
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#