Interoperability from SemTalk to KAON2 (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (SemTalk) Step2 (KAON2)
E01
(ISA01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA01#
<ns:genid1#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISA01#
<ns:genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA01#
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
 Removed:
ns=http://www.example.org/ISA01#
<766614ff:11af2babce4:-781c#> <rdf:type> <owl:Ontology>
<ns:Person> <rdf:type> <owl:Class>
<ns:Person> <owl:disjointWith> <owl:Nothing>
<ns:Person> <rdfs:subClassOf> <ns:Person>
<ns:Person> <rdfs:subClassOf> <owl:Thing>
<ns:Person> <owl:equivalentClass> <ns:Person>
<owl:Nothing> <owl:disjointWith> <ns:Person>
<owl:Nothing> <rdfs:subClassOf> <ns:Person>
E02
(ISA02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E03
(ISA03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E04
(ISA04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E05
(ISA05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA05#
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISA05#
<766614ff:11af2babce4:-7ff3#> <rdf:type> <owl:Ontology>
 
 Removed:
ns=http://www.example.org/ISA05#
<ns:> <rdf:type> <owl:Ontology>
<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:> <rdf:type> <owl:Ontology>
<ns:Male> <owl:equivalentClass> <ns:Man>
<ns:Man> <rdfs:subClassOf> <ns:Male>
<ns:Man> <owl:equivalentClass> <ns:Male>
 
E06
(ISA06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA06#
<ns:genid1#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISA06#
<ns:genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA06#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:> <rdf:type> <owl:Ontology>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
 Removed:
ns=http://www.example.org/ISA06#
<766614ff:11af2babce4:-7812#> <rdf:type> <owl:Ontology>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
E07
(ISA07)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E08
(ISA08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
_:77ff <rdf:type> <owl:Restriction>
_:77ff <owl:onProperty> <ns:wasBorn>
_:77ff <owl:someValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:77ff
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISA08#
_:7fe7 <rdf:type> <owl:Restriction>
_:7fe7 <owl:onProperty> <ns:wasBorn>
_:7fe7 <owl:someValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:7fe7
<766614ff:11af2babce4:-7fe8#> <rdf:type> <owl:Ontology>
 
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:7800
<ns:> <rdf:type> <owl:Ontology>
_:7800 <rdf:type> <owl:Restriction>
_:7800 <owl:onProperty> <ns:wasBorn>
_:7800 <owl:allValuesFrom> <ns:Italy>
Removed:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:7fe9
<ns:> <rdf:type> <owl:Ontology>
_:7fe9 <rdf:type> <owl:Restriction>
_:7fe9 <owl:onProperty> <ns:wasBorn>
_:7fe9 <owl:allValuesFrom> <ns:Italy>
 
E09
(ISA09)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISA09#
_:7fe0 <rdf:type> <owl:Restriction>
_:7fe0 <owl:onProperty> <ns:worksIn>
_:7fe0 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7fe1 <rdf:type> <owl:Restriction>
_:7fe1 <owl:onProperty> <ns:worksIn>
_:7fe1 <owl:hasValue> ""^^<xsd:string>
<766614ff:11af2babce4:-7fe2#> <rdf:type> <owl:Ontology>
<ns:Employee> <rdfs:subClassOf> _:7fe1
<ns:Employee> <rdfs:subClassOf> _:7fe0
<ns:worksIn> <rdf:type> <owl:DatatypeProperty>
 
   Removed:
ns=http://www.example.org/ISA09#
<ns:> <rdf:type> <owl:Ontology>
_:7fe3 <rdf:type> <owl:Restriction>
_:7fe3 <owl:onProperty> <ns:worksIn>
_:7fe3 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:7fe3
 
E10
(ISA10)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdf:type> <owl:DatatypeProperty>
<766614ff:11af2babce4:-7fda#> <rdf:type> <owl:Ontology>
<ns:Researcher> <rdfs:subClassOf> _:7fd9
<ns:Researcher> <rdfs:subClassOf> _:7fd8
_:7fd8 <rdf:type> <owl:Restriction>
_:7fd8 <owl:onProperty> <ns:hasAffiliation>
_:7fd8 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7fd9 <rdf:type> <owl:Restriction>
_:7fd9 <owl:onProperty> <ns:hasAffiliation>
_:7fd9 <owl:hasValue> ""^^<xsd:string>
 
   Removed:
ns=http://www.example.org/ISA10#
<ns:> <rdf:type> <owl:Ontology>
<ns:Researcher> <rdfs:subClassOf> _:7fdb
_:7fdb <rdf:type> <owl:Restriction>
_:7fdb <owl:onProperty> <ns:hasAffiliation>
_:7fdb <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
E11
(ISA11)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISA11#
_:7fcf <rdf:type> <owl:Restriction>
_:7fcf <owl:onProperty> <ns:hasMother>
_:7fcf <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7fd0 <rdf:type> <owl:Restriction>
_:7fd0 <owl:onProperty> <ns:hasMother>
_:7fd0 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:7fd1 <rdf:type> <owl:Restriction>
_:7fd1 <owl:onProperty> <ns:hasMother>
_:7fd1 <owl:hasValue> ""^^<xsd:string>
<ns:Person> <rdfs:subClassOf> _:7fd1
<ns:Person> <rdfs:subClassOf> _:7fd0
<ns:Person> <rdfs:subClassOf> _:7fcf
<766614ff:11af2babce4:-7fd2#> <rdf:type> <owl:Ontology>
<ns:hasMother> <rdf:type> <owl:DatatypeProperty>
 
   Removed:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:7fd3
_:7fd3 <rdf:type> <owl:Restriction>
_:7fd3 <owl:onProperty> <ns:hasMother>
_:7fd3 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
 
E12
(ISA12)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISA12#
_:7fc4 <rdf:type> <owl:Restriction>
_:7fc4 <owl:onProperty> <ns:hasAffiliation>
_:7fc4 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:hasAffiliation> <rdf:type> <owl:DatatypeProperty>
<766614ff:11af2babce4:-7fc7#> <rdf:type> <owl:Ontology>
_:7fc5 <rdf:type> <owl:Restriction>
_:7fc5 <owl:onProperty> <ns:hasAffiliation>
_:7fc5 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7fc6
<ns:Researcher> <rdfs:subClassOf> _:7fc5
<ns:Researcher> <rdfs:subClassOf> _:7fc4
_:7fc6 <rdf:type> <owl:Restriction>
_:7fc6 <owl:onProperty> <ns:hasAffiliation>
_:7fc6 <owl:hasValue> ""^^<xsd:string>
 
   Removed:
ns=http://www.example.org/ISA12#
_:7fc9 <rdf:type> <owl:Restriction>
_:7fc9 <owl:onProperty> <ns:hasAffiliation>
_:7fc9 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7fc8 <rdf:type> <owl:Restriction>
_:7fc8 <owl:onProperty> <ns:hasAffiliation>
_:7fc8 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7fc9
<ns:Researcher> <rdfs:subClassOf> _:7fc8
<ns:> <rdf:type> <owl:Ontology>
 
E13
(ISA13)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA13#
_:77f3 <rdf:type> <owl:Restriction>
_:77f3 <owl:onProperty> <ns:hasName>
_:77f3 <owl:hasValue> ""^^<xsd:string>
<ns:Person> <rdfs:subClassOf> ""
<ns:Person> <rdfs:subClassOf> _:77f3
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISA13#
_:7fbb <rdf:type> <owl:Restriction>
_:7fbb <owl:onProperty> <ns:hasName>
_:7fbb <owl:hasValue> ""^^<xsd:string>
_:7fba <rdf:type> <owl:Restriction>
_:7fba <owl:onProperty> <ns:hasName>
_:7fba <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:7fbb
<ns:Person> <rdfs:subClassOf> _:7fba
<766614ff:11af2babce4:-7fbc#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> ""
<ns:Person> <rdfs:subClassOf> _:77f9
<ns:genid1#> <rdf:type> <owl:Ontology>
_:77f9 <rdf:type> <owl:Restriction>
_:77f9 <owl:onProperty> <ns:hasName>
_:77f9 <owl:hasValue> ""^^<xsd:string>
 Removed:
ns=http://www.example.org/ISA13#
_:77f4 <rdf:type> <owl:Restriction>
_:77f4 <owl:onProperty> <ns:hasName>
_:77f4 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:77f4
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:7fbd
<ns:> <rdf:type> <owl:Ontology>
_:7fbd <rdf:type> <owl:Restriction>
_:7fbd <owl:onProperty> <ns:hasName>
_:7fbd <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA13#
<766614ff:11af2babce4:-77fc#> <rdf:type> <owl:Ontology>
<ns:Person> <rdfs:subClassOf> _:77fb
<ns:Person> <rdfs:subClassOf> _:77fa
_:77fb <rdf:type> <owl:Restriction>
_:77fb <owl:onProperty> <ns:hasName>
_:77fb <owl:hasValue> ""^^<xsd:string>
_:77fa <rdf:type> <owl:Restriction>
_:77fa <owl:onProperty> <ns:hasName>
_:77fa <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
E14
(ISA14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:77e5
<ns:Researcher> <rdfs:subClassOf> _:77e4
_:77e4 <rdf:type> <owl:Restriction>
_:77e4 <owl:onProperty> <ns:wrotePhDThesis>
_:77e4 <owl:hasValue> ""^^<xsd:string>
_:77e5 <rdf:type> <owl:Restriction>
_:77e5 <owl:onProperty> <ns:wrotePhDThesis>
_:77e5 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:7fb3
<ns:Researcher> <rdfs:subClassOf> _:7fb2
<766614ff:11af2babce4:-7fb4#> <rdf:type> <owl:Ontology>
_:7fb3 <rdf:type> <owl:Restriction>
_:7fb3 <owl:onProperty> <ns:wrotePhDThesis>
_:7fb3 <owl:hasValue> ""^^<xsd:string>
_:7fb2 <rdf:type> <owl:Restriction>
_:7fb2 <owl:onProperty> <ns:wrotePhDThesis>
_:7fb2 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:77e6
<ns:> <rdf:type> <owl:Ontology>
_:77e6 <rdf:type> <owl:Restriction>
_:77e6 <owl:onProperty> <ns:wrotePhDThesis>
_:77e6 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:7fb5
<ns:> <rdf:type> <owl:Ontology>
_:7fb5 <rdf:type> <owl:Restriction>
_:7fb5 <owl:onProperty> <ns:wrotePhDThesis>
_:7fb5 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
E15
(ISA15)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA15#
_:77d0 <rdf:type> <owl:Restriction>
_:77d0 <owl:onProperty> <ns:hasSSN>
_:77d0 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:genid1#> <rdf:type> <owl:Ontology>
_:77d1 <rdf:type> <owl:Restriction>
_:77d1 <owl:onProperty> <ns:hasSSN>
_:77d1 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:77d1
<ns:Person> <rdfs:subClassOf> _:77d0
<ns:Person> <rdfs:subClassOf> _:77cf
_:77cf <rdf:type> <owl:Restriction>
_:77cf <owl:onProperty> <ns:hasSSN>
_:77cf <owl:hasValue> ""^^<xsd:string>
Inserted:
ns=http://www.example.org/ISA15#
_:7faa <rdf:type> <owl:Restriction>
_:7faa <owl:onProperty> <ns:hasSSN>
_:7faa <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:7fab
<ns:Person> <rdfs:subClassOf> _:7faa
<ns:Person> <rdfs:subClassOf> _:7fa9
_:7fab <rdf:type> <owl:Restriction>
_:7fab <owl:onProperty> <ns:hasSSN>
_:7fab <owl:hasValue> ""^^<xsd:string>
<766614ff:11af2babce4:-7fac#> <rdf:type> <owl:Ontology>
_:7fa9 <rdf:type> <owl:Restriction>
_:7fa9 <owl:onProperty> <ns:hasSSN>
_:7fa9 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:77d2
_:77d2 <rdf:type> <owl:Restriction>
_:77d2 <owl:onProperty> <ns:hasSSN>
_:77d2 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:7fad
_:7fad <rdf:type> <owl:Restriction>
_:7fad <owl:onProperty> <ns:hasSSN>
_:7fad <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
 
E16
(ISA16)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> _:77bc
<ns:Researcher> <rdfs:subClassOf> ""
<ns:Researcher> <rdfs:subClassOf> _:77bb
_:77bc <rdf:type> <owl:Restriction>
_:77bc <owl:onProperty> <ns:wrotePhDThesis>
_:77bc <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:77bb <rdf:type> <owl:Restriction>
_:77bb <owl:onProperty> <ns:wrotePhDThesis>
_:77bb <owl:hasValue> ""^^<xsd:string>
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISA16#
_:7f9f <rdf:type> <owl:Restriction>
_:7f9f <owl:onProperty> <ns:wrotePhDThesis>
_:7f9f <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<766614ff:11af2babce4:-7fa1#> <rdf:type> <owl:Ontology>
_:7fa0 <rdf:type> <owl:Restriction>
_:7fa0 <owl:onProperty> <ns:wrotePhDThesis>
_:7fa0 <owl:hasValue> ""^^<xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:7fa0
<ns:Researcher> <rdfs:subClassOf> _:7f9f
<ns:Researcher> <rdfs:subClassOf> _:7f9e
_:7f9e <rdf:type> <owl:Restriction>
_:7f9e <owl:onProperty> <ns:wrotePhDThesis>
_:7f9e <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Inserted:
ns=http://www.example.org/ISA16#
_:77c6 <rdf:type> <owl:Restriction>
_:77c6 <owl:onProperty> <ns:wrotePhDThesis>
_:77c6 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:77c5 <rdf:type> <owl:Restriction>
_:77c5 <owl:onProperty> <ns:wrotePhDThesis>
_:77c5 <owl:hasValue> ""^^<xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:77c6
<ns:Researcher> <rdfs:subClassOf> ""
<ns:Researcher> <rdfs:subClassOf> _:77c5
<ns:genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> _:77be
<ns:Researcher> <rdfs:subClassOf> _:77bd
_:77be <rdf:type> <owl:Restriction>
_:77be <owl:onProperty> <ns:wrotePhDThesis>
_:77be <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:77bd <rdf:type> <owl:Restriction>
_:77bd <owl:onProperty> <ns:wrotePhDThesis>
_:77bd <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISA16#
_:7fa2 <rdf:type> <owl:Restriction>
_:7fa2 <owl:onProperty> <ns:wrotePhDThesis>
_:7fa2 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7fa3
<ns:Researcher> <rdfs:subClassOf> _:7fa2
<ns:> <rdf:type> <owl:Ontology>
_:7fa3 <rdf:type> <owl:Restriction>
_:7fa3 <owl:onProperty> <ns:wrotePhDThesis>
_:7fa3 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISA16#
_:77c7 <rdf:type> <owl:Restriction>
_:77c7 <owl:onProperty> <ns:wrotePhDThesis>
_:77c7 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:77c8 <rdf:type> <owl:Restriction>
_:77c8 <owl:onProperty> <ns:wrotePhDThesis>
_:77c8 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:77c9
<ns:Researcher> <rdfs:subClassOf> _:77c8
<ns:Researcher> <rdfs:subClassOf> _:77c7
_:77c9 <rdf:type> <owl:Restriction>
_:77c9 <owl:onProperty> <ns:wrotePhDThesis>
_:77c9 <owl:hasValue> ""^^<xsd:string>
<766614ff:11af2babce4:-77ca#> <rdf:type> <owl:Ontology>
E17
(ISA17)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E18
(ISB01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB01#
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISB01#
<766614ff:11af2babce4:-7f8d#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISB01#
<ns:genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB01#
<owl:Nothing> <owl:disjointWith> <ns:Italiano>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Italienne>
<owl:Nothing> <rdfs:subClassOf> <ns:Italiano>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Italienne>
<ns:Italienne> <rdf:type> <owl:Class>
<ns:Italienne> <owl:disjointWith> <owl:Nothing>
<ns:Italienne> <rdfs:subClassOf> <ns:Italiano>
<ns:Italienne> <rdfs:subClassOf> <ns:Italian>
<ns:Italienne> <rdfs:subClassOf> <ns:Italienne>
<ns:Italienne> <rdfs:subClassOf> <owl:Thing>
<ns:Italienne> <owl:equivalentClass> <ns:Italiano>
<ns:Italienne> <owl:equivalentClass> <ns:Italian>
<ns:Italienne> <owl:equivalentClass> <ns:Italienne>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italiano>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <ns:Italienne>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italiano>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:Italian> <owl:equivalentClass> <ns:Italienne>
<ns:> <rdf:type> <owl:Ontology>
<ns:Italiano> <rdf:type> <owl:Class>
<ns:Italiano> <owl:disjointWith> <owl:Nothing>
<ns:Italiano> <rdfs:subClassOf> <ns:Italiano>
<ns:Italiano> <rdfs:subClassOf> <ns:Italian>
<ns:Italiano> <rdfs:subClassOf> <ns:Italienne>
<ns:Italiano> <rdfs:subClassOf> <owl:Thing>
<ns:Italiano> <owl:equivalentClass> <ns:Italiano>
<ns:Italiano> <owl:equivalentClass> <ns:Italian>
<ns:Italiano> <owl:equivalentClass> <ns:Italienne>
Removed:
ns=http://www.example.org/ISB01#
<ns:Italienne> <rdfs:subClassOf> <ns:Italiano>
<ns:Italienne> <rdfs:subClassOf> <ns:Italian>
<ns:Italienne> <owl:equivalentClass> <ns:Italiano>
<ns:Italienne> <owl:equivalentClass> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <ns:Italiano>
<ns:Italian> <rdfs:subClassOf> <ns:Italienne>
<ns:Italian> <owl:equivalentClass> <ns:Italiano>
<ns:Italian> <owl:equivalentClass> <ns:Italienne>
<ns:Italiano> <rdfs:subClassOf> <ns:Italian>
<ns:Italiano> <rdfs:subClassOf> <ns:Italienne>
<ns:Italiano> <owl:equivalentClass> <ns:Italian>
<ns:Italiano> <owl:equivalentClass> <ns:Italienne>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISB01#
<owl:Nothing> <owl:disjointWith> <ns:Italiano>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Italienne>
<owl:Nothing> <rdfs:subClassOf> <ns:Italiano>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Italienne>
<ns:Italienne> <rdf:type> <owl:Class>
<ns:Italienne> <owl:disjointWith> <owl:Nothing>
<ns:Italienne> <rdfs:subClassOf> <ns:Italienne>
<ns:Italienne> <rdfs:subClassOf> <owl:Thing>
<ns:Italienne> <owl:equivalentClass> <ns:Italienne>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<766614ff:11af2babce4:-77a0#> <rdf:type> <owl:Ontology>
<ns:Italiano> <rdf:type> <owl:Class>
<ns:Italiano> <owl:disjointWith> <owl:Nothing>
<ns:Italiano> <rdfs:subClassOf> <ns:Italiano>
<ns:Italiano> <rdfs:subClassOf> <owl:Thing>
<ns:Italiano> <owl:equivalentClass> <ns:Italiano>
E19
(ISB02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB02#
_:7797 <rdf:type> <owl:Restriction>
_:7797 <owl:onProperty> <ns:hasCar>
_:7797 <owl:someValuesFrom> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:7797
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISB02#
<ns:Driver> <rdfs:subClassOf> _:7f89
<766614ff:11af2babce4:-7f8a#> <rdf:type> <owl:Ontology>
_:7f89 <rdf:type> <owl:Restriction>
_:7f89 <owl:onProperty> <ns:hasCar>
_:7f89 <owl:someValuesFrom> <ns:Car>
 
 Removed:
ns=http://www.example.org/ISB02#
_:7798 <rdf:type> <owl:Restriction>
_:7798 <owl:onProperty> <ns:hasCar>
_:7798 <owl:someValuesFrom> <ns:Car>
<ns:Driver> <owl:equivalentClass> _:7798
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISB02#
<ns:Driver> <owl:equivalentClass> _:7f8b
_:7f8b <rdf:type> <owl:Restriction>
_:7f8b <owl:onProperty> <ns:hasCar>
_:7f8b <owl:someValuesFrom> <ns:Car>
<ns:> <rdf:type> <owl:Ontology>
 
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB03#
<ns:genid1#> <rdf:type> <owl:Ontology>
<ns:Italian> <rdfs:subClassOf> _:778d
_:778d <rdf:type> <owl:Restriction>
_:778d <owl:onProperty> <ns:wasBorn>
_:778d <owl:someValuesFrom> <ns:Italy>
Inserted:
ns=http://www.example.org/ISB03#
_:7f83 <rdf:type> <owl:Restriction>
_:7f83 <owl:onProperty> <ns:wasBorn>
_:7f83 <owl:someValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:7f83
<766614ff:11af2babce4:-7f84#> <rdf:type> <owl:Ontology>
 
 Removed:
ns=http://www.example.org/ISB03#
<ns:Italian> <owl:equivalentClass> _:778e
_:778e <rdf:type> <owl:Restriction>
_:778e <owl:onProperty> <ns:wasBorn>
_:778e <owl:allValuesFrom> <ns:Italy>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISB03#
<ns:Italian> <owl:equivalentClass> _:7f85
_:7f85 <rdf:type> <owl:Restriction>
_:7f85 <owl:onProperty> <ns:wasBorn>
_:7f85 <owl:allValuesFrom> <ns:Italy>
<ns:> <rdf:type> <owl:Ontology>
 
E21
(ISB04)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISB04#
_:7f7c <rdf:type> <owl:Restriction>
_:7f7c <owl:onProperty> <ns:worksIn>
_:7f7c <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:7f7d
<ns:Employee> <rdfs:subClassOf> _:7f7c
<766614ff:11af2babce4:-7f7e#> <rdf:type> <owl:Ontology>
_:7f7d <rdf:type> <owl:Restriction>
_:7f7d <owl:onProperty> <ns:worksIn>
_:7f7d <owl:hasValue> ""^^<xsd:string>
<ns:worksIn> <rdf:type> <owl:DatatypeProperty>
 
   Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <owl:equivalentClass> _:7f7f
_:7f7f <rdf:type> <owl:Restriction>
_:7f7f <owl:onProperty> <ns:worksIn>
_:7f7f <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
 
E22
(ISB05)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISB05#
_:7f75 <rdf:type> <owl:Restriction>
_:7f75 <owl:onProperty> <ns:hasAffiliation>
_:7f75 <owl:hasValue> ""^^<xsd:string>
<766614ff:11af2babce4:-7f76#> <rdf:type> <owl:Ontology>
<ns:hasAffiliation> <rdf:type> <owl:DatatypeProperty>
<ns:Researcher> <rdfs:subClassOf> _:7f75
<ns:Researcher> <rdfs:subClassOf> _:7f74
_:7f74 <rdf:type> <owl:Restriction>
_:7f74 <owl:onProperty> <ns:hasAffiliation>
_:7f74 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
   Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:7f77
<ns:> <rdf:type> <owl:Ontology>
_:7f77 <rdf:type> <owl:Restriction>
_:7f77 <owl:onProperty> <ns:hasAffiliation>
_:7f77 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
E23
(ISB06)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISB06#
_:7f6b <rdf:type> <owl:Restriction>
_:7f6b <owl:onProperty> <ns:hasMother>
_:7f6b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7f6c <rdf:type> <owl:Restriction>
_:7f6c <owl:onProperty> <ns:hasMother>
_:7f6c <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:7f6d <rdf:type> <owl:Restriction>
_:7f6d <owl:onProperty> <ns:hasMother>
_:7f6d <owl:hasValue> ""^^<xsd:string>
<766614ff:11af2babce4:-7f6e#> <rdf:type> <owl:Ontology>
<ns:Man> <rdfs:subClassOf> _:7f6d
<ns:Man> <rdfs:subClassOf> _:7f6c
<ns:Man> <rdfs:subClassOf> _:7f6b
<ns:hasMother> <rdf:type> <owl:DatatypeProperty>
 
   Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:7f6f
_:7f6f <rdf:type> <owl:Restriction>
_:7f6f <owl:onProperty> <ns:hasMother>
_:7f6f <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
 
E24
(ISB07)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISB07#
_:7f60 <rdf:type> <owl:Restriction>
_:7f60 <owl:onProperty> <ns:hasAffiliation>
_:7f60 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7f62
<ns:Researcher> <rdfs:subClassOf> _:7f61
<ns:Researcher> <rdfs:subClassOf> _:7f60
_:7f61 <rdf:type> <owl:Restriction>
_:7f61 <owl:onProperty> <ns:hasAffiliation>
_:7f61 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<766614ff:11af2babce4:-7f63#> <rdf:type> <owl:Ontology>
_:7f62 <rdf:type> <owl:Restriction>
_:7f62 <owl:onProperty> <ns:hasAffiliation>
_:7f62 <owl:hasValue> ""^^<xsd:string>
<ns:hasAffiliation> <rdf:type> <owl:DatatypeProperty>
 
   Removed:
ns=http://www.example.org/ISB07#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:7f65
<ns:Researcher> <owl:equivalentClass> _:7f64
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:7f64 <rdf:type> <owl:Restriction>
_:7f64 <owl:onProperty> <ns:hasAffiliation>
_:7f64 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
_:7f65 <rdf:type> <owl:Restriction>
_:7f65 <owl:onProperty> <ns:hasAffiliation>
_:7f65 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
 
E25
(ISB08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB08#
<ns:genid1#> <rdf:type> <owl:Ontology>
<ns:Person> <rdfs:subClassOf> ""
<ns:Person> <rdfs:subClassOf> _:7781
_:7781 <rdf:type> <owl:Restriction>
_:7781 <owl:onProperty> <ns:hasName>
_:7781 <owl:hasValue> ""^^<xsd:string>
Inserted:
ns=http://www.example.org/ISB08#
_:7f56 <rdf:type> <owl:Restriction>
_:7f56 <owl:onProperty> <ns:hasName>
_:7f56 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:7f57
<ns:Person> <rdfs:subClassOf> _:7f56
<766614ff:11af2babce4:-7f58#> <rdf:type> <owl:Ontology>
_:7f57 <rdf:type> <owl:Restriction>
_:7f57 <owl:onProperty> <ns:hasName>
_:7f57 <owl:hasValue> ""^^<xsd:string>
Inserted:
ns=http://www.example.org/ISB08#
<ns:Person> <rdfs:subClassOf> ""
<ns:Person> <rdfs:subClassOf> _:7787
_:7787 <rdf:type> <owl:Restriction>
_:7787 <owl:onProperty> <ns:hasName>
_:7787 <owl:hasValue> ""^^<xsd:string>
<ns:genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB08#
_:7782 <rdf:type> <owl:Restriction>
_:7782 <owl:onProperty> <ns:hasName>
_:7782 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Person>
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <owl:equivalentClass> _:7782
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
Removed:
ns=http://www.example.org/ISB08#
<owl:Nothing> <owl:complementOf> <ns:Person>
_:7f59 <rdf:type> <owl:Restriction>
_:7f59 <owl:onProperty> <ns:hasName>
_:7f59 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <owl:equivalentClass> _:7f59
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
Removed:
ns=http://www.example.org/ISB08#
<766614ff:11af2babce4:-778a#> <rdf:type> <owl:Ontology>
_:7789 <rdf:type> <owl:Restriction>
_:7789 <owl:onProperty> <ns:hasName>
_:7789 <owl:hasValue> ""^^<xsd:string>
_:7788 <rdf:type> <owl:Restriction>
_:7788 <owl:onProperty> <ns:hasName>
_:7788 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:7789
<ns:Person> <rdfs:subClassOf> _:7788
E26
(ISB09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB09#
<ns:Researcher> <rdfs:subClassOf> _:7773
<ns:Researcher> <rdfs:subClassOf> _:7772
<ns:genid1#> <rdf:type> <owl:Ontology>
_:7773 <rdf:type> <owl:Restriction>
_:7773 <owl:onProperty> <ns:wrotePhDThesis>
_:7773 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7772 <rdf:type> <owl:Restriction>
_:7772 <owl:onProperty> <ns:wrotePhDThesis>
_:7772 <owl:hasValue> ""^^<xsd:string>
Inserted:
ns=http://www.example.org/ISB09#
<ns:Researcher> <rdfs:subClassOf> _:7f4f
<ns:Researcher> <rdfs:subClassOf> _:7f4e
_:7f4f <rdf:type> <owl:Restriction>
_:7f4f <owl:onProperty> <ns:wrotePhDThesis>
_:7f4f <owl:hasValue> ""^^<xsd:string>
_:7f4e <rdf:type> <owl:Restriction>
_:7f4e <owl:onProperty> <ns:wrotePhDThesis>
_:7f4e <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<766614ff:11af2babce4:-7f50#> <rdf:type> <owl:Ontology>
 
 Removed:
ns=http://www.example.org/ISB09#
<ns:> <rdf:type> <owl:Ontology>
<ns:Researcher> <owl:equivalentClass> _:7774
_:7774 <rdf:type> <owl:Restriction>
_:7774 <owl:onProperty> <ns:wrotePhDThesis>
_:7774 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
Removed:
ns=http://www.example.org/ISB09#
<ns:> <rdf:type> <owl:Ontology>
<ns:Researcher> <owl:equivalentClass> _:7f51
_:7f51 <rdf:type> <owl:Restriction>
_:7f51 <owl:onProperty> <ns:wrotePhDThesis>
_:7f51 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
E27
(ISB10)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB10#
_:775d <rdf:type> <owl:Restriction>
_:775d <owl:onProperty> <ns:hasSSN>
_:775d <owl:hasValue> ""^^<xsd:string>
<ns:Man> <rdfs:subClassOf> _:775f
<ns:Man> <rdfs:subClassOf> _:775e
<ns:Man> <rdfs:subClassOf> _:775d
_:775e <rdf:type> <owl:Restriction>
_:775e <owl:onProperty> <ns:hasSSN>
_:775e <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:775f <rdf:type> <owl:Restriction>
_:775f <owl:onProperty> <ns:hasSSN>
_:775f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISB10#
_:7f46 <rdf:type> <owl:Restriction>
_:7f46 <owl:onProperty> <ns:hasSSN>
_:7f46 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:7f47 <rdf:type> <owl:Restriction>
_:7f47 <owl:onProperty> <ns:hasSSN>
_:7f47 <owl:hasValue> ""^^<xsd:string>
<ns:Man> <rdfs:subClassOf> _:7f47
<ns:Man> <rdfs:subClassOf> _:7f46
<ns:Man> <rdfs:subClassOf> _:7f45
<766614ff:11af2babce4:-7f48#> <rdf:type> <owl:Ontology>
_:7f45 <rdf:type> <owl:Restriction>
_:7f45 <owl:onProperty> <ns:hasSSN>
_:7f45 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 
 Removed:
ns=http://www.example.org/ISB10#
_:7760 <rdf:type> <owl:Restriction>
_:7760 <owl:onProperty> <ns:hasSSN>
_:7760 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Man> <owl:equivalentClass> _:7760
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:7f49
_:7f49 <rdf:type> <owl:Restriction>
_:7f49 <owl:onProperty> <ns:hasSSN>
_:7f49 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
 
E28
(ISB11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB11#
_:7749 <rdf:type> <owl:Restriction>
_:7749 <owl:onProperty> <ns:wrotePhDThesis>
_:7749 <owl:hasValue> ""^^<xsd:string>
_:774a <rdf:type> <owl:Restriction>
_:774a <owl:onProperty> <ns:wrotePhDThesis>
_:774a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:genid1#> <rdf:type> <owl:Ontology>
<ns:Researcher> <rdfs:subClassOf> _:774a
<ns:Researcher> <rdfs:subClassOf> ""
<ns:Researcher> <rdfs:subClassOf> _:7749
Inserted:
ns=http://www.example.org/ISB11#
_:7f3a <rdf:type> <owl:Restriction>
_:7f3a <owl:onProperty> <ns:wrotePhDThesis>
_:7f3a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<766614ff:11af2babce4:-7f3d#> <rdf:type> <owl:Ontology>
_:7f3b <rdf:type> <owl:Restriction>
_:7f3b <owl:onProperty> <ns:wrotePhDThesis>
_:7f3b <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7f3c <rdf:type> <owl:Restriction>
_:7f3c <owl:onProperty> <ns:wrotePhDThesis>
_:7f3c <owl:hasValue> ""^^<xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:7f3c
<ns:Researcher> <rdfs:subClassOf> _:7f3b
<ns:Researcher> <rdfs:subClassOf> _:7f3a
Inserted:
ns=http://www.example.org/ISB11#
_:7753 <rdf:type> <owl:Restriction>
_:7753 <owl:onProperty> <ns:wrotePhDThesis>
_:7753 <owl:hasValue> ""^^<xsd:string>
<ns:genid1#> <rdf:type> <owl:Ontology>
<ns:Researcher> <rdfs:subClassOf> _:7754
<ns:Researcher> <rdfs:subClassOf> ""
<ns:Researcher> <rdfs:subClassOf> _:7753
_:7754 <rdf:type> <owl:Restriction>
_:7754 <owl:onProperty> <ns:wrotePhDThesis>
_:7754 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB11#
_:774c <rdf:type> <owl:Restriction>
_:774c <owl:onProperty> <ns:wrotePhDThesis>
_:774c <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:774c
<ns:Researcher> <owl:equivalentClass> _:774b
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<ns:> <rdf:type> <owl:Ontology>
_:774b <rdf:type> <owl:Restriction>
_:774b <owl:onProperty> <ns:wrotePhDThesis>
_:774b <owl:maxCardinality> "1"^^<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>
<ns:Researcher> <owl:equivalentClass> _:7f3f
<ns:Researcher> <owl:equivalentClass> _:7f3e
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<ns:> <rdf:type> <owl:Ontology>
_:7f3e <rdf:type> <owl:Restriction>
_:7f3e <owl:onProperty> <ns:wrotePhDThesis>
_:7f3e <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7f3f <rdf:type> <owl:Restriction>
_:7f3f <owl:onProperty> <ns:wrotePhDThesis>
_:7f3f <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
Removed:
ns=http://www.example.org/ISB11#
<ns:Researcher> <rdfs:subClassOf> _:7757
<ns:Researcher> <rdfs:subClassOf> _:7756
<ns:Researcher> <rdfs:subClassOf> _:7755
_:7755 <rdf:type> <owl:Restriction>
_:7755 <owl:onProperty> <ns:wrotePhDThesis>
_:7755 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7756 <rdf:type> <owl:Restriction>
_:7756 <owl:onProperty> <ns:wrotePhDThesis>
_:7756 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7757 <rdf:type> <owl:Restriction>
_:7757 <owl:onProperty> <ns:wrotePhDThesis>
_:7757 <owl:hasValue> ""^^<xsd:string>
<766614ff:11af2babce4:-7758#> <rdf:type> <owl:Ontology>
E29
(ISB12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB12#
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISB12#
<766614ff:11af2babce4:-7f30#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISB12#
<ns:genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB12#
_:7742 <rdf:type> <owl:Class>
_:7742 <owl:intersectionOf> _:7741
<owl:Nothing> <owl:disjointWith> <ns:ItalianMan>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdf:type> <owl:Class>
<ns:ItalianMan> <owl:equivalentClass> _:7742
<ns:ItalianMan> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <owl:equivalentClass> <ns:ItalianMan>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:> <rdf:type> <owl:Ontology>
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
_:7740 <rdf:first> <ns:Male>
_:7740 <rdf:rest> <rdf:nil>
_:7741 <rdf:first> <ns:Italian>
_:7741 <rdf:rest> _:7740
Removed:
ns=http://www.example.org/ISB12#
_:7f31 <rdf:first> <ns:Male>
_:7f31 <rdf:rest> <rdf:nil>
<ns:ItalianMan> <owl:equivalentClass> _:7f33
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:7f32 <rdf:first> <ns:Italian>
_:7f32 <rdf:rest> _:7f31
_:7f33 <rdf:type> <owl:Class>
_:7f33 <owl:intersectionOf> _:7f32
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISB12#
<owl:Nothing> <owl:disjointWith> <ns:ItalianMan>
<owl:Nothing> <owl:disjointWith> <ns:Italian>
<owl:Nothing> <owl:disjointWith> <ns:Male>
<owl:Nothing> <rdfs:subClassOf> <ns:ItalianMan>
<owl:Nothing> <rdfs:subClassOf> <ns:Italian>
<owl:Nothing> <rdfs:subClassOf> <ns:Male>
<ns:ItalianMan> <rdf:type> <owl:Class>
<ns:ItalianMan> <owl:disjointWith> <owl:Nothing>
<ns:ItalianMan> <rdfs:subClassOf> <ns:ItalianMan>
<ns:ItalianMan> <rdfs:subClassOf> <owl:Thing>
<ns:ItalianMan> <owl:equivalentClass> <ns:ItalianMan>
<ns:Italian> <rdf:type> <owl:Class>
<ns:Italian> <owl:disjointWith> <owl:Nothing>
<ns:Italian> <rdfs:subClassOf> <ns:Italian>
<ns:Italian> <rdfs:subClassOf> <owl:Thing>
<ns:Italian> <owl:equivalentClass> <ns:Italian>
<ns:Male> <rdf:type> <owl:Class>
<ns:Male> <owl:disjointWith> <owl:Nothing>
<ns:Male> <rdfs:subClassOf> <ns:Male>
<ns:Male> <rdfs:subClassOf> <owl:Thing>
<ns:Male> <owl:equivalentClass> <ns:Male>
<766614ff:11af2babce4:-7744#> <rdf:type> <owl:Ontology>
E30
(ISC01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E31
(ISC02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E32
(ISD01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD01#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD01.owl#genid1#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISD01#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD01.owl#genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISD01#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
 Removed:
ns=http://www.example.org/ISD01#
<766614ff:11af2babce4:-7708#> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
E33
(ISD02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E34
(ISD03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD03#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD03.owl#genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISD03#
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD03.owl#hasAge> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD03.owl#hasAge> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD03.owl#hasAge> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD03.owl#hasAge>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD03.owl#hasAge> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD03.owl#hasAge>
<766614ff:11af2babce4:-7f0f#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISD03#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD03.owl#genid1#> <rdf:type> <owl:Ontology>
 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>
<ns:> <rdf:type> <owl:Ontology>
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>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISD03#
<766614ff:11af2babce4:-7704#> <rdf:type> <owl:Ontology>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD03.owl#hasAge> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD03.owl#hasAge> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD03.owl#hasAge> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD03.owl#hasAge>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD03.owl#hasAge> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD03.owl#hasAge>
E35
(ISD04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD04#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <rdf:type> <owl:DatatypeProperty>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <rdf:type> <rdf:Property>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <owl:equivalentProperty> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <rdfs:subPropertyOf> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#genid1#> <rdf:type> <owl:Ontology>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdf:type> <owl:DatatypeProperty>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdf:type> <rdf:Property>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <owl:equivalentProperty> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdfs:subPropertyOf> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdfs:subPropertyOf> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdfs:subPropertyOf> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdf:type> <owl:DatatypeProperty>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdf:type> <rdf:Property>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <owl:equivalentProperty> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdfs:subPropertyOf> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdfs:subPropertyOf> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>
Inserted:
ns=http://www.example.org/ISD04#
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>
<766614ff:11af2babce4:-7f0d#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISD04#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <rdf:type> <owl:DatatypeProperty>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <rdf:type> <rdf:Property>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <owl:equivalentProperty> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <rdfs:subPropertyOf> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#genid1#> <rdf:type> <owl:Ontology>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdf:type> <owl:DatatypeProperty>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdf:type> <rdf:Property>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <owl:equivalentProperty> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdfs:subPropertyOf> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdfs:subPropertyOf> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdfs:subPropertyOf> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdf:type> <owl:DatatypeProperty>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdf:type> <rdf:Property>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <owl:equivalentProperty> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdfs:subPropertyOf> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational>
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdfs:subPropertyOf> <file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>
 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:> <rdf:type> <owl:Ontology>
<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:> <rdf:type> <owl:Ontology>
<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#
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>
<766614ff:11af2babce4:-7702#> <rdf:type> <owl:Ontology>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>
E36
(ISE01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E37
(ISE02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E38
(ISE03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E39
(ISE04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E40
(ISE05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E41
(ISE06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E42
(ISE07)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E43
(ISE08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE08#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISE08.owl#genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISE08#
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISE08.owl#hasName> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISE08.owl#hasName> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISE08.owl#hasName> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISE08.owl#hasName>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISE08.owl#hasName> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISE08.owl#hasName>
<766614ff:11af2babce4:-7efd#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISE08#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISE08.owl#genid1#> <rdf:type> <owl:Ontology>
 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>
<ns:> <rdf:type> <owl:Ontology>
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>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISE08#
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISE08.owl#hasName> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISE08.owl#hasName> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISE08.owl#hasName> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISE08.owl#hasName>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISE08.owl#hasName> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISE08.owl#hasName>
<766614ff:11af2babce4:-76f2#> <rdf:type> <owl:Ontology>
E44
(ISE09)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E45
(ISE10)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E46
(ISF01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E47
(ISF02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E48
(ISF03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF03#
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISF03#
<766614ff:11af2babce4:-7ef3#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISF03#
<ns:genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISF03#
<ns:hasParent> <owl:inverseOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<ns:hasChild> <owl:inverseOf> <ns:hasParent>
Removed:
ns=http://www.example.org/ISF03#
<ns:hasParent> <owl:inverseOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:inverseOf> <ns:hasParent>
Removed:
ns=http://www.example.org/ISF03#
<ns:hasChild> <rdf:type> <owl:ObjectProperty>
<ns:hasChild> <rdf:type> <rdf:Property>
<ns:hasChild> <owl:equivalentProperty> <ns:hasChild>
<ns:hasChild> <rdfs:subPropertyOf> <ns:hasChild>
<766614ff:11af2babce4:-76e8#> <rdf:type> <owl:Ontology>
E49
(ISG01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E50
(ISG02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E51
(ISG03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E52
(ISG04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISG04#
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISG04#
<766614ff:11af2babce4:-7eeb#> <rdf:type> <owl:Ontology>
 
 Removed:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdf:type> <owl:FunctionalProperty>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISG04#
<ns:hasAge> <rdf:type> <owl:FunctionalProperty>
<ns:> <rdf:type> <owl:Ontology>
 
E53
(ISG05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISG05#
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISG05#
<766614ff:11af2babce4:-7ee9#> <rdf:type> <owl:Ontology>
 
 Removed:
ns=http://www.example.org/ISG05#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
Removed:
ns=http://www.example.org/ISG05#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
 
E54
(ISH01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E55
(ISH02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E56
(ISH03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E57
(ISI01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E58
(ISI02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E59
(ISI03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E60
(ISI04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E61
(ISI05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISI05#
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISI05#
<766614ff:11af2babce4:-7ed9#> <rdf:type> <owl:Ontology>
 
 Removed:
ns=http://www.example.org/ISI05#
<ns:MaryAnn> <ns:hasName> "Mary"
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISI05#
<ns:MaryAnn> <ns:hasName> "Mary"
<ns:> <rdf:type> <owl:Ontology>
 
E62
(ISJ01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ01#
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISJ01#
<766614ff:11af2babce4:-7ed6#> <rdf:type> <owl:Ontology>
 
 Removed:
ns=http://www.example.org/ISJ01#
<ns:> <rdf:type> <owl:Ontology>
_:76ca <owl:sameAs> _:76ca
_:76ca <rdf:type> <ns:Person>
_:76ca <rdf:type> <owl:Thing>
_:76ca <ns:hasChild> <ns:John>
Removed:
ns=http://www.example.org/ISJ01#
<ns:> <rdf:type> <owl:Ontology>
_:7ed7 <owl:sameAs> _:7ed7
_:7ed7 <rdf:type> <ns:Person>
_:7ed7 <rdf:type> <owl:Thing>
_:7ed7 <ns:hasChild> <ns:John>
 
E63
(ISJ02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ02#
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISJ02#
<766614ff:11af2babce4:-7ed2#> <rdf:type> <owl:Ontology>
 
 Removed:
ns=http://www.example.org/ISJ02#
<ns:> <rdf:type> <owl:Ontology>
_:76c6 <owl:sameAs> _:76c6
_:76c6 <rdf:type> <ns:Parent>
_:76c6 <rdf:type> <owl:Thing>
_:76c6 <ns:hasChild> <ns:John>
Removed:
ns=http://www.example.org/ISJ02#
<ns:> <rdf:type> <owl:Ontology>
_:7ed3 <owl:sameAs> _:7ed3
_:7ed3 <rdf:type> <ns:Parent>
_:7ed3 <rdf:type> <owl:Thing>
_:7ed3 <ns:hasChild> <ns:John>
 
E64
(ISJ03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ03#
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISJ03#
<766614ff:11af2babce4:-7ece#> <rdf:type> <owl:Ontology>
 
 Removed:
ns=http://www.example.org/ISJ03#
_:76c2 <owl:sameAs> _:76c2
_:76c2 <rdf:type> <owl:Thing>
_:76c2 <rdf:type> <ns:Person>
_:76c2 <ns:hasName> "Peter"
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISJ03#
_:7ecf <owl:sameAs> _:7ecf
_:7ecf <rdf:type> <owl:Thing>
_:7ecf <rdf:type> <ns:Person>
_:7ecf <ns:hasName> "Peter"
<ns:> <rdf:type> <owl:Ontology>
 
E65
(ISK01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISK01#
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISK01#
<766614ff:11af2babce4:-7ecb#> <rdf:type> <owl:Ontology>
 
 Removed:
ns=http://www.example.org/ISK01#
<ns:MaryAnn> <owl:sameAs> <ns:Mary>
<ns:> <rdf:type> <owl:Ontology>
<ns:Mary> <owl:sameAs> <ns:MaryAnn>
Removed:
ns=http://www.example.org/ISK01#
<ns:MaryAnn> <owl:sameAs> <ns:Mary>
<ns:> <rdf:type> <owl:Ontology>
<ns:Mary> <owl:sameAs> <ns:MaryAnn>
 
E66
(ISK02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISK02#
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISK02#
<766614ff:11af2babce4:-7ec9#> <rdf:type> <owl:Ontology>
 
 Removed:
ns=http://www.example.org/ISK02#
<ns:MaryAnn> <owl:differentFrom> <ns:Ann>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISK02#
<ns:MaryAnn> <owl:differentFrom> <ns:Ann>
<ns:> <rdf:type> <owl:Ontology>
 
E67
(ISK03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK03#
_:76a6 <rdf:type> <owl:AllDifferent>
_:76a6 <owl:distinctMembers> _:76a5
<ns:genid1#> <rdf:type> <owl:Ontology>
_:76a3 <rdf:first> <ns:Mary>
_:76a3 <rdf:rest> <rdf:nil>
_:76a4 <rdf:first> <ns:Joan>
_:76a4 <rdf:rest> _:76a3
_:76a5 <rdf:first> <ns:Ann>
_:76a5 <rdf:rest> _:76a4
Inserted:
ns=http://www.example.org/ISK03#
<766614ff:11af2babce4:-7ec3#> <rdf:type> <owl:Ontology>
_:7ebf <rdf:first> <ns:Mary>
_:7ebf <rdf:rest> <rdf:nil>
_:7ec0 <rdf:first> <ns:Joan>
_:7ec0 <rdf:rest> _:7ebf
_:7ec1 <rdf:first> <ns:Ann>
_:7ec1 <rdf:rest> _:7ec0
_:7ec2 <rdf:type> <owl:AllDifferent>
_:7ec2 <owl:distinctMembers> _:7ec1
Inserted:
ns=http://www.example.org/ISK03#
_:76b6 <rdf:first> <ns:Ann>
_:76b6 <rdf:rest> _:76b5
_:76b7 <rdf:type> <owl:AllDifferent>
_:76b7 <owl:distinctMembers> _:76b6
<ns:genid1#> <rdf:type> <owl:Ontology>
_:76b4 <rdf:first> <ns:Mary>
_:76b4 <rdf:rest> <rdf:nil>
_:76b5 <rdf:first> <ns:Joan>
_:76b5 <rdf:rest> _:76b4
 Removed:
ns=http://www.example.org/ISK03#
_:76aa <rdf:type> <owl:AllDifferent>
_:76aa <owl:distinctMembers> _:76a9
_:76a7 <rdf:first> <ns:Mary>
_:76a7 <rdf:rest> <rdf:nil>
_:76a8 <rdf:first> <ns:Joan>
_:76a8 <rdf:rest> _:76a7
<ns:> <rdf:type> <owl:Ontology>
_:76a9 <rdf:first> <ns:Ann>
_:76a9 <rdf:rest> _:76a8
Removed:
ns=http://www.example.org/ISK03#
_:7ec4 <rdf:first> <ns:Mary>
_:7ec4 <rdf:rest> <rdf:nil>
_:7ec5 <rdf:first> <ns:Joan>
_:7ec5 <rdf:rest> _:7ec4
_:7ec6 <rdf:first> <ns:Ann>
_:7ec6 <rdf:rest> _:7ec5
<ns:> <rdf:type> <owl:Ontology>
_:7ec7 <rdf:type> <owl:AllDifferent>
_:7ec7 <owl:distinctMembers> _:7ec6
Removed:
ns=http://www.example.org/ISK03#
_:76ba <rdf:first> <ns:Ann>
_:76ba <rdf:rest> _:76b9
_:76bb <rdf:type> <owl:AllDifferent>
_:76bb <owl:distinctMembers> _:76ba
_:76b8 <rdf:first> <ns:Mary>
_:76b8 <rdf:rest> <rdf:nil>
_:76b9 <rdf:first> <ns:Joan>
_:76b9 <rdf:rest> _:76b8
<766614ff:11af2babce4:-76bc#> <rdf:type> <owl:Ontology>
E68
(ISL01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL01#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL01.owl#genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL01#
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<766614ff:11af2babce4:-7eb5#> <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
Inserted:
ns=http://www.example.org/ISL01#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL01.owl#genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL01#
<ns:> <rdf:type> <owl:Ontology>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
Removed:
ns=http://www.example.org/ISL01#
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL01#
<766614ff:11af2babce4:-769a#> <rdf:type> <owl:Ontology>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
E69
(ISL02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL02#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL02.owl#genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL02#
<766614ff:11af2babce4:-7eb3#> <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
Inserted:
ns=http://www.example.org/ISL02#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL02.owl#genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL02#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:> <rdf:type> <owl:Ontology>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
Removed:
ns=http://www.example.org/ISL02#
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL02#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<766614ff:11af2babce4:-7698#> <rdf:type> <owl:Ontology>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
E70
(ISL03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL03#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL03.owl#genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL03#
<766614ff:11af2babce4:-7eb1#> <rdf:type> <owl:Ontology>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
Inserted:
ns=http://www.example.org/ISL03#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL03.owl#genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL03#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL03#
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL03#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<766614ff:11af2babce4:-7696#> <rdf:type> <owl:Ontology>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
E71
(ISL04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL04#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL04.owl#genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL04#
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<766614ff:11af2babce4:-7eaf#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL04#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL04.owl#genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL04#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:> <rdf:type> <owl:Ontology>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
Removed:
ns=http://www.example.org/ISL04#
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL04#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<766614ff:11af2babce4:-7694#> <rdf:type> <owl:Ontology>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
E72
(ISL05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL05#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL05#
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<owl:Nothing> <owl:disjointWith> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman>
<owl:Nothing> <owl:disjointWith> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man>
<owl:Nothing> <rdfs:subClassOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman>
<owl:Nothing> <rdfs:subClassOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman> <rdf:type> <owl:Class>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman> <owl:disjointWith> <owl:Nothing>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman> <rdfs:subClassOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman> <rdfs:subClassOf> <owl:Thing>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman> <owl:equivalentClass> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman>
<owl:Class> <owl:sameAs> <owl:Class>
<owl:Class> <rdf:type> <owl:Thing>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man> <rdf:type> <owl:Class>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man> <owl:disjointWith> <owl:Nothing>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man> <rdfs:subClassOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man> <rdfs:subClassOf> <owl:Thing>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man> <owl:equivalentClass> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man>
<766614ff:11af2babce4:-7ead#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL05#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL05#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:> <rdf:type> <owl:Ontology>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL05#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:> <rdf:type> <owl:Ontology>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL05#
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<766614ff:11af2babce4:-7692#> <rdf:type> <owl:Ontology>
<owl:Nothing> <owl:disjointWith> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman>
<owl:Nothing> <owl:disjointWith> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man>
<owl:Nothing> <rdfs:subClassOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman>
<owl:Nothing> <rdfs:subClassOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman> <rdf:type> <owl:Class>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman> <owl:disjointWith> <owl:Nothing>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman> <rdfs:subClassOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman> <rdfs:subClassOf> <owl:Thing>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman> <owl:equivalentClass> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Woman>
<owl:Class> <owl:sameAs> <owl:Class>
<owl:Class> <rdf:type> <owl:Thing>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man> <rdf:type> <owl:Class>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man> <owl:disjointWith> <owl:Nothing>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man> <rdfs:subClassOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man> <rdfs:subClassOf> <owl:Thing>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man> <owl:equivalentClass> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL05.owl#Man>
E73
(ISL06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL06#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL06.owl#genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL06#
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<766614ff:11af2babce4:-7eab#> <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
Inserted:
ns=http://www.example.org/ISL06#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL06.owl#genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL06#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:> <rdf:type> <owl:Ontology>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL06#
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL06#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<766614ff:11af2babce4:-7690#> <rdf:type> <owl:Ontology>
E74
(ISL07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL07#
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL07#
<766614ff:11af2babce4:-7ea9#> <rdf:type> <owl:Ontology>
 
 Removed:
ns=http://www.example.org/ISL07#
<ns:MaryAnn> <ns:hasName> "Mary"
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL07#
<ns:MaryAnn> <ns:hasName> "Mary"
<ns:> <rdf:type> <owl:Ontology>
 
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL08#
<766614ff:11af2babce4:-7ea7#> <rdf:type> <owl:Ontology>
 
 Removed:
ns=http://www.example.org/ISL08#
<ns:> <rdf:type> <owl:Ontology>
<ns:MaryAnn> <ns:hasName> "Mary"
Removed:
ns=http://www.example.org/ISL08#
<ns:> <rdf:type> <owl:Ontology>
<ns:MaryAnn> <ns:hasName> "Mary"
 
E76
(ISL09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL09#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL09.owl#genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL09#
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<766614ff:11af2babce4:-7ea5#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL09#
<file:/E:/raul/Compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24Experiment/SemTalk/exchanged/ontology_exchangedISL09.owl#genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL09#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:> <rdf:type> <owl:Ontology>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
Removed:
ns=http://www.example.org/ISL09#
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL09#
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<766614ff:11af2babce4:-768a#> <rdf:type> <owl:Ontology>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
E77
(ISL10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL10#
<ns:genid1#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISL10#
<ns:genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL10#
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL10#
<766614ff:11af2babce4:-7688#> <rdf:type> <owl:Ontology>
<ns:Woman> <rdf:type> <owl:Class>
<ns:Woman> <owl:disjointWith> <owl:Nothing>
<ns:Woman> <rdfs:subClassOf> <ns:Woman>
<ns:Woman> <rdfs:subClassOf> <owl:Thing>
<ns:Woman> <owl:equivalentClass> <ns:Woman>
<ns:Man> <rdf:type> <owl:Class>
<ns:Man> <owl:disjointWith> <owl:Nothing>
<ns:Man> <rdfs:subClassOf> <ns:Man>
<ns:Man> <rdfs:subClassOf> <owl:Thing>
<ns:Man> <owl:equivalentClass> <ns:Man>
<owl:Nothing> <owl:disjointWith> <ns:Woman>
<owl:Nothing> <owl:disjointWith> <ns:Man>
<owl:Nothing> <rdfs:subClassOf> <ns:Woman>
<owl:Nothing> <rdfs:subClassOf> <ns:Man>
E78
(ISL11)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL12#
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL12#
<766614ff:11af2babce4:-7e9f#> <rdf:type> <owl:Ontology>
 
 Removed:
ns=http://www.example.org/ISL12#
<ns:> <rdf:type> <owl:Ontology>
<ns:JohnDoe> <ns:hasName> "John"
<ns:JohnDoe> <ns:hasSurname> "Doe"
Removed:
ns=http://www.example.org/ISL12#
<ns:> <rdf:type> <owl:Ontology>
<ns:JohnDoe> <ns:hasName> "John"
<ns:JohnDoe> <ns:hasSurname> "Doe"
 
E80
(ISL13)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISL13#
<ns:hasChild> <rdf:type> <owl:DatatypeProperty>
<766614ff:11af2babce4:-7e9c#> <rdf:type> <owl:Ontology>
<ns:John> <ns:hasChild> "\n "^^<xsd:string>
 
   Removed:
ns=http://www.example.org/ISL13#
_:7e9d <owl:sameAs> _:7e9d
_:7e9d <rdf:type> <ns:Child>
_:7e9d <rdf:type> <owl:Thing>
_:7e9d <ns:hasName> "Paul"
<ns:> <rdf:type> <owl:Ontology>
<ns:John> <ns:hasChild> _:7e9d
 
E81
(ISL14)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISL14#
<ns:hasChild> <rdf:type> <owl:DatatypeProperty>
<766614ff:11af2babce4:-7e98#> <rdf:type> <owl:Ontology>
<ns:John> <ns:hasChild> "Paul"^^<xsd:string>
 
   Removed:
ns=http://www.example.org/ISL14#
_:7e99 <owl:sameAs> _:7e99
_:7e99 <rdf:type> <ns:Child>
_:7e99 <rdf:type> <owl:Thing>
_:7e99 <ns:hasName> "Paul"
<ns:> <rdf:type> <owl:Ontology>
<ns:John> <ns:hasChild> _:7e99
 
E82
(ISL15)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL15#
<ns:genid1#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL15#
<766614ff:11af2babce4:-7e95#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISL15#
<ns:genid1#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL15#
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL15#
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL15#
<766614ff:11af2babce4:-7682#> <rdf:type> <owl:Ontology>
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#