Interoperability from SemTalk to SWIProlog (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)
Interoperability Step1 (SemTalk) Step2 (SWIProlog)
E01
(ISA01)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E02
(ISA02)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E03
(ISA03)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E04
(ISA04)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E05
(ISA05)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISA05#
<766614ff:11af2babce4:-6da6#> <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 = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
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#
_:6d86 <rdf:type> <owl:Restriction>
_:6d86 <owl:onProperty> <ns:wasBorn>
_:6d86 <owl:someValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:6d86
<766614ff:11af2babce4:-6d87#> <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> _:6d88
<ns:> <rdf:type> <owl:Ontology>
_:6d88 <rdf:type> <owl:Restriction>
_:6d88 <owl:onProperty> <ns:wasBorn>
_:6d88 <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 = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA09#
_:6d73 <rdf:type> <owl:Restriction>
_:6d73 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6d73 <owl:onProperty> <ns:worksIn>
<766614ff:11af2babce4:-6d75#> <rdf:type> <owl:Ontology>
_:6d74 <rdf:type> <owl:Restriction>
_:6d74 <owl:onProperty> <ns:worksIn>
<ns:Employee> <rdfs:subClassOf> _:6d74
<ns:Employee> <rdfs:subClassOf> _:6d73
<ns:worksIn> <rdf:type> <owl:DatatypeProperty>
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>
Inserted:
ns=http://www.example.org/ISA09#
<766614ff:11af2babce4:-6d7f#> <rdf:type> <owl:Ontology>
_:6d7e <rdf:type> <owl:Restriction>
_:6d7e <owl:onProperty> <ns:worksIn>
_:6d7d <rdf:type> <owl:Restriction>
_:6d7d <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6d7d <owl:onProperty> <ns:worksIn>
<ns:Employee> <rdfs:subClassOf> _:6d7e
<ns:Employee> <rdfs:subClassOf> _:6d7d
 Removed:
ns=http://www.example.org/ISA09#
_:6d76 <rdf:type> <owl:Restriction>
_:6d76 <owl:onProperty> <ns:worksIn>
_:6d76 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
<ns:Employee> <rdfs:subClassOf> _:6d76
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
Removed:
ns=http://www.example.org/ISA09#
<766614ff:11af2babce4:-6d82#> <rdf:type> <owl:Ontology>
_:6d81 <rdf:type> <owl:Restriction>
_:6d81 <owl:onProperty> <ns:worksIn>
_:6d81 <owl:hasValue> ""^^<xsd:string>
_:6d80 <rdf:type> <owl:Restriction>
_:6d80 <owl:onProperty> <ns:worksIn>
_:6d80 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:6d81
<ns:Employee> <rdfs:subClassOf> _:6d80
E10
(ISA10)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdf:type> <owl:DatatypeProperty>
<766614ff:11af2babce4:-6d61#> <rdf:type> <owl:Ontology>
_:6d5f <rdf:type> <owl:Restriction>
_:6d5f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6d5f <owl:onProperty> <ns:hasAffiliation>
<ns:Researcher> <rdfs:subClassOf> _:6d60
<ns:Researcher> <rdfs:subClassOf> _:6d5f
_:6d60 <rdf:type> <owl:Restriction>
_:6d60 <owl:onProperty> <ns:hasAffiliation>
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>
Inserted:
ns=http://www.example.org/ISA10#
_:6d69 <rdf:type> <owl:Restriction>
_:6d69 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6d69 <owl:onProperty> <ns:hasAffiliation>
<ns:Researcher> <rdfs:subClassOf> _:6d6a
<ns:Researcher> <rdfs:subClassOf> _:6d69
<766614ff:11af2babce4:-6d6b#> <rdf:type> <owl:Ontology>
_:6d6a <rdf:type> <owl:Restriction>
_:6d6a <owl:onProperty> <ns:hasAffiliation>
 Removed:
ns=http://www.example.org/ISA10#
<ns:> <rdf:type> <owl:Ontology>
<ns:Researcher> <rdfs:subClassOf> _:6d62
_:6d62 <rdf:type> <owl:Restriction>
_:6d62 <owl:onProperty> <ns:hasAffiliation>
_:6d62 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
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>
Removed:
ns=http://www.example.org/ISA10#
<ns:Researcher> <rdfs:subClassOf> _:6d6d
<ns:Researcher> <rdfs:subClassOf> _:6d6c
<766614ff:11af2babce4:-6d6e#> <rdf:type> <owl:Ontology>
_:6d6d <rdf:type> <owl:Restriction>
_:6d6d <owl:onProperty> <ns:hasAffiliation>
_:6d6d <owl:hasValue> ""^^<xsd:string>
_:6d6c <rdf:type> <owl:Restriction>
_:6d6c <owl:onProperty> <ns:hasAffiliation>
_:6d6c <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E11
(ISA11)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA11#
_:6d46 <rdf:type> <owl:Restriction>
_:6d46 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6d46 <owl:onProperty> <ns:hasMother>
_:6d47 <rdf:type> <owl:Restriction>
_:6d47 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:6d47 <owl:onProperty> <ns:hasMother>
<ns:Person> <rdfs:subClassOf> _:6d48
<ns:Person> <rdfs:subClassOf> _:6d47
<ns:Person> <rdfs:subClassOf> _:6d46
<766614ff:11af2babce4:-6d49#> <rdf:type> <owl:Ontology>
_:6d48 <rdf:type> <owl:Restriction>
_:6d48 <owl:onProperty> <ns:hasMother>
<ns:hasMother> <rdf:type> <owl:DatatypeProperty>
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>
Inserted:
ns=http://www.example.org/ISA11#
_:6d54 <rdf:type> <owl:Restriction>
_:6d54 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:6d54 <owl:onProperty> <ns:hasMother>
_:6d55 <rdf:type> <owl:Restriction>
_:6d55 <owl:onProperty> <ns:hasMother>
<766614ff:11af2babce4:-6d56#> <rdf:type> <owl:Ontology>
<ns:Person> <rdfs:subClassOf> _:6d55
<ns:Person> <rdfs:subClassOf> _:6d54
<ns:Person> <rdfs:subClassOf> _:6d53
_:6d53 <rdf:type> <owl:Restriction>
_:6d53 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6d53 <owl:onProperty> <ns:hasMother>
 Removed:
ns=http://www.example.org/ISA11#
_:6d4a <rdf:type> <owl:Restriction>
_:6d4a <owl:onProperty> <ns:hasMother>
_:6d4a <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:6d4a
<ns:> <rdf:type> <owl:Ontology>
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>
Removed:
ns=http://www.example.org/ISA11#
<766614ff:11af2babce4:-6d5a#> <rdf:type> <owl:Ontology>
<ns:Person> <rdfs:subClassOf> _:6d59
<ns:Person> <rdfs:subClassOf> _:6d58
<ns:Person> <rdfs:subClassOf> _:6d57
_:6d57 <rdf:type> <owl:Restriction>
_:6d57 <owl:onProperty> <ns:hasMother>
_:6d57 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6d58 <rdf:type> <owl:Restriction>
_:6d58 <owl:onProperty> <ns:hasMother>
_:6d58 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:6d59 <rdf:type> <owl:Restriction>
_:6d59 <owl:onProperty> <ns:hasMother>
_:6d59 <owl:hasValue> ""^^<xsd:string>
E12
(ISA12)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA12#
<ns:hasAffiliation> <rdf:type> <owl:DatatypeProperty>
<766614ff:11af2babce4:-6d2e#> <rdf:type> <owl:Ontology>
<ns:Researcher> <rdfs:subClassOf> _:6d2d
<ns:Researcher> <rdfs:subClassOf> _:6d2c
<ns:Researcher> <rdfs:subClassOf> _:6d2b
_:6d2b <rdf:type> <owl:Restriction>
_:6d2b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6d2b <owl:onProperty> <ns:hasAffiliation>
_:6d2c <rdf:type> <owl:Restriction>
_:6d2c <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6d2c <owl:onProperty> <ns:hasAffiliation>
_:6d2d <rdf:type> <owl:Restriction>
_:6d2d <owl:onProperty> <ns:hasAffiliation>
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>
Inserted:
ns=http://www.example.org/ISA12#
<766614ff:11af2babce4:-6d3c#> <rdf:type> <owl:Ontology>
<ns:Researcher> <rdfs:subClassOf> _:6d3b
<ns:Researcher> <rdfs:subClassOf> _:6d3a
<ns:Researcher> <rdfs:subClassOf> _:6d39
_:6d3a <rdf:type> <owl:Restriction>
_:6d3a <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6d3a <owl:onProperty> <ns:hasAffiliation>
_:6d3b <rdf:type> <owl:Restriction>
_:6d3b <owl:onProperty> <ns:hasAffiliation>
_:6d39 <rdf:type> <owl:Restriction>
_:6d39 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6d39 <owl:onProperty> <ns:hasAffiliation>
 Removed:
ns=http://www.example.org/ISA12#
_:6d30 <rdf:type> <owl:Restriction>
_:6d30 <owl:onProperty> <ns:hasAffiliation>
_:6d30 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:6d30
<ns:Researcher> <rdfs:subClassOf> _:6d2f
_:6d2f <rdf:type> <owl:Restriction>
_:6d2f <owl:onProperty> <ns:hasAffiliation>
_:6d2f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
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>
Removed:
ns=http://www.example.org/ISA12#
_:6d3e <rdf:type> <owl:Restriction>
_:6d3e <owl:onProperty> <ns:hasAffiliation>
_:6d3e <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6d3f <rdf:type> <owl:Restriction>
_:6d3f <owl:onProperty> <ns:hasAffiliation>
_:6d3f <owl:hasValue> ""^^<xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:6d3f
<ns:Researcher> <rdfs:subClassOf> _:6d3e
<ns:Researcher> <rdfs:subClassOf> _:6d3d
<766614ff:11af2babce4:-6d40#> <rdf:type> <owl:Ontology>
_:6d3d <rdf:type> <owl:Restriction>
_:6d3d <owl:onProperty> <ns:hasAffiliation>
_:6d3d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E13
(ISA13)
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
   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#
<766614ff:11af2babce4:-6d21#> <rdf:type> <owl:Ontology>
_:6d20 <rdf:type> <owl:Restriction>
_:6d20 <owl:onProperty> <ns:hasName>
<ns:Person> <rdfs:subClassOf> _:6d20
<ns:Person> <rdfs:subClassOf> _:6d1f
_:6d1f <rdf:type> <owl:Restriction>
_:6d1f <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6d1f <owl:onProperty> <ns:hasName>
   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#
_:6d22 <rdf:type> <owl:Restriction>
_:6d22 <owl:onProperty> <ns:hasName>
_:6d22 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:6d23
<ns:Person> <rdfs:subClassOf> _:6d22
<766614ff:11af2babce4:-6d24#> <rdf:type> <owl:Ontology>
_:6d23 <rdf:type> <owl:Restriction>
_:6d23 <owl:onProperty> <ns:hasName>
_:6d23 <owl:hasValue> ""^^<xsd:string>
E14
(ISA14)
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
   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>
Inserted:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:6d0c
<ns:Researcher> <rdfs:subClassOf> _:6d0b
<766614ff:11af2babce4:-6d0d#> <rdf:type> <owl:Ontology>
_:6d0c <rdf:type> <owl:Restriction>
_:6d0c <owl:onProperty> <ns:wrotePhDThesis>
_:6d0b <rdf:type> <owl:Restriction>
_:6d0b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6d0b <owl:onProperty> <ns:wrotePhDThesis>
   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>
Removed:
ns=http://www.example.org/ISA14#
_:6d0f <rdf:type> <owl:Restriction>
_:6d0f <owl:onProperty> <ns:wrotePhDThesis>
_:6d0f <owl:hasValue> ""^^<xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:6d0f
<ns:Researcher> <rdfs:subClassOf> _:6d0e
_:6d0e <rdf:type> <owl:Restriction>
_:6d0e <owl:onProperty> <ns:wrotePhDThesis>
_:6d0e <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<766614ff:11af2babce4:-6d10#> <rdf:type> <owl:Ontology>
E15
(ISA15)
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
   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>
Inserted:
ns=http://www.example.org/ISA15#
_:6cf7 <rdf:type> <owl:Restriction>
_:6cf7 <owl:onProperty> <ns:hasSSN>
<ns:Person> <rdfs:subClassOf> _:6cf7
<ns:Person> <rdfs:subClassOf> _:6cf6
<ns:Person> <rdfs:subClassOf> _:6cf5
<766614ff:11af2babce4:-6cf8#> <rdf:type> <owl:Ontology>
_:6cf5 <rdf:type> <owl:Restriction>
_:6cf5 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6cf5 <owl:onProperty> <ns:hasSSN>
_:6cf6 <rdf:type> <owl:Restriction>
_:6cf6 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:6cf6 <owl:onProperty> <ns:hasSSN>
   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>
Removed:
ns=http://www.example.org/ISA15#
_:6cfb <rdf:type> <owl:Restriction>
_:6cfb <owl:onProperty> <ns:hasSSN>
_:6cfb <owl:hasValue> ""^^<xsd:string>
<ns:Person> <rdfs:subClassOf> _:6cfb
<ns:Person> <rdfs:subClassOf> _:6cfa
<ns:Person> <rdfs:subClassOf> _:6cf9
_:6cf9 <rdf:type> <owl:Restriction>
_:6cf9 <owl:onProperty> <ns:hasSSN>
_:6cf9 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<766614ff:11af2babce4:-6cfc#> <rdf:type> <owl:Ontology>
_:6cfa <rdf:type> <owl:Restriction>
_:6cfa <owl:onProperty> <ns:hasSSN>
_:6cfa <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
E16
(ISA16)
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
   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#
_:6cdb <rdf:type> <owl:Restriction>
_:6cdb <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6cdb <owl:onProperty> <ns:wrotePhDThesis>
<766614ff:11af2babce4:-6cde#> <rdf:type> <owl:Ontology>
_:6cdc <rdf:type> <owl:Restriction>
_:6cdc <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6cdc <owl:onProperty> <ns:wrotePhDThesis>
<ns:Researcher> <rdfs:subClassOf> _:6cdd
<ns:Researcher> <rdfs:subClassOf> _:6cdc
<ns:Researcher> <rdfs:subClassOf> _:6cdb
_:6cdd <rdf:type> <owl:Restriction>
_:6cdd <owl:onProperty> <ns:wrotePhDThesis>
   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#
_:6ce1 <rdf:type> <owl:Restriction>
_:6ce1 <owl:onProperty> <ns:wrotePhDThesis>
_:6ce1 <owl:hasValue> ""^^<xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:6ce1
<ns:Researcher> <rdfs:subClassOf> _:6ce0
<ns:Researcher> <rdfs:subClassOf> _:6cdf
<766614ff:11af2babce4:-6ce2#> <rdf:type> <owl:Ontology>
_:6cdf <rdf:type> <owl:Restriction>
_:6cdf <owl:onProperty> <ns:wrotePhDThesis>
_:6cdf <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6ce0 <rdf:type> <owl:Restriction>
_:6ce0 <owl:onProperty> <ns:wrotePhDThesis>
_:6ce0 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
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 = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB01#
<766614ff:11af2babce4:-6cac#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISB01#
<766614ff:11af2babce4:-7f8d#> <rdf:type> <owl:Ontology>
 
 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#
<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>
 
E19
(ISB02)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB02#
<ns:Driver> <rdfs:subClassOf> _:6ca0
<766614ff:11af2babce4:-6ca1#> <rdf:type> <owl:Ontology>
_:6ca0 <rdf:type> <owl:Restriction>
_:6ca0 <owl:onProperty> <ns:hasCar>
_:6ca0 <owl:someValuesFrom> <ns:Car>
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#
<ns:Driver> <owl:equivalentClass> _:6ca2
_:6ca2 <rdf:type> <owl:Restriction>
_:6ca2 <owl:onProperty> <ns:hasCar>
_:6ca2 <owl:someValuesFrom> <ns:Car>
<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#
<766614ff:11af2babce4:-6c93#> <rdf:type> <owl:Ontology>
_:6c92 <rdf:type> <owl:Restriction>
_:6c92 <owl:onProperty> <ns:wasBorn>
_:6c92 <owl:someValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:6c92
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#
_:6c94 <rdf:type> <owl:Restriction>
_:6c94 <owl:onProperty> <ns:wasBorn>
_:6c94 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:6c94
<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 = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB04#
_:6c7f <rdf:type> <owl:Restriction>
_:6c7f <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c7f <owl:onProperty> <ns:worksIn>
<ns:Employee> <rdfs:subClassOf> _:6c80
<ns:Employee> <rdfs:subClassOf> _:6c7f
_:6c80 <rdf:type> <owl:Restriction>
_:6c80 <owl:onProperty> <ns:worksIn>
<ns:worksIn> <rdf:type> <owl:DatatypeProperty>
<766614ff:11af2babce4:-6c81#> <rdf:type> <owl:Ontology>
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>
Inserted:
ns=http://www.example.org/ISB04#
<ns:Employee> <rdfs:subClassOf> _:6c8a
<ns:Employee> <rdfs:subClassOf> _:6c89
<766614ff:11af2babce4:-6c8b#> <rdf:type> <owl:Ontology>
_:6c89 <rdf:type> <owl:Restriction>
_:6c89 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c89 <owl:onProperty> <ns:worksIn>
_:6c8a <rdf:type> <owl:Restriction>
_:6c8a <owl:onProperty> <ns:worksIn>
 Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <owl:equivalentClass> _:6c82
_:6c82 <rdf:type> <owl:Restriction>
_:6c82 <owl:onProperty> <ns:worksIn>
_:6c82 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
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>
Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <rdfs:subClassOf> _:6c8d
<ns:Employee> <rdfs:subClassOf> _:6c8c
<766614ff:11af2babce4:-6c8e#> <rdf:type> <owl:Ontology>
_:6c8d <rdf:type> <owl:Restriction>
_:6c8d <owl:onProperty> <ns:worksIn>
_:6c8d <owl:hasValue> ""^^<xsd:string>
_:6c8c <rdf:type> <owl:Restriction>
_:6c8c <owl:onProperty> <ns:worksIn>
_:6c8c <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
E22
(ISB05)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB05#
<766614ff:11af2babce4:-6c6d#> <rdf:type> <owl:Ontology>
<ns:hasAffiliation> <rdf:type> <owl:DatatypeProperty>
_:6c6b <rdf:type> <owl:Restriction>
_:6c6b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c6b <owl:onProperty> <ns:hasAffiliation>
<ns:Researcher> <rdfs:subClassOf> _:6c6c
<ns:Researcher> <rdfs:subClassOf> _:6c6b
_:6c6c <rdf:type> <owl:Restriction>
_:6c6c <owl:onProperty> <ns:hasAffiliation>
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>
Inserted:
ns=http://www.example.org/ISB05#
<766614ff:11af2babce4:-6c77#> <rdf:type> <owl:Ontology>
<ns:Researcher> <rdfs:subClassOf> _:6c76
<ns:Researcher> <rdfs:subClassOf> _:6c75
_:6c76 <rdf:type> <owl:Restriction>
_:6c76 <owl:onProperty> <ns:hasAffiliation>
_:6c75 <rdf:type> <owl:Restriction>
_:6c75 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c75 <owl:onProperty> <ns:hasAffiliation>
 Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:6c6e
<ns:> <rdf:type> <owl:Ontology>
_:6c6e <rdf:type> <owl:Restriction>
_:6c6e <owl:onProperty> <ns:hasAffiliation>
_:6c6e <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>
Removed:
ns=http://www.example.org/ISB05#
_:6c78 <rdf:type> <owl:Restriction>
_:6c78 <owl:onProperty> <ns:hasAffiliation>
_:6c78 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:6c79
<ns:Researcher> <rdfs:subClassOf> _:6c78
<766614ff:11af2babce4:-6c7a#> <rdf:type> <owl:Ontology>
_:6c79 <rdf:type> <owl:Restriction>
_:6c79 <owl:onProperty> <ns:hasAffiliation>
_:6c79 <owl:hasValue> ""^^<xsd:string>
E23
(ISB06)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB06#
_:6c53 <rdf:type> <owl:Restriction>
_:6c53 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c53 <owl:onProperty> <ns:hasMother>
_:6c54 <rdf:type> <owl:Restriction>
_:6c54 <owl:onProperty> <ns:hasMother>
<766614ff:11af2babce4:-6c55#> <rdf:type> <owl:Ontology>
<ns:Man> <rdfs:subClassOf> _:6c54
<ns:Man> <rdfs:subClassOf> _:6c53
<ns:Man> <rdfs:subClassOf> _:6c52
<ns:hasMother> <rdf:type> <owl:DatatypeProperty>
_:6c52 <rdf:type> <owl:Restriction>
_:6c52 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c52 <owl:onProperty> <ns:hasMother>
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>
Inserted:
ns=http://www.example.org/ISB06#
<766614ff:11af2babce4:-6c62#> <rdf:type> <owl:Ontology>
_:6c5f <rdf:type> <owl:Restriction>
_:6c5f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c5f <owl:onProperty> <ns:hasMother>
_:6c60 <rdf:type> <owl:Restriction>
_:6c60 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c60 <owl:onProperty> <ns:hasMother>
<ns:Man> <rdfs:subClassOf> _:6c61
<ns:Man> <rdfs:subClassOf> _:6c60
<ns:Man> <rdfs:subClassOf> _:6c5f
_:6c61 <rdf:type> <owl:Restriction>
_:6c61 <owl:onProperty> <ns:hasMother>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:6c56
<ns:> <rdf:type> <owl:Ontology>
_:6c56 <rdf:type> <owl:Restriction>
_:6c56 <owl:onProperty> <ns:hasMother>
_:6c56 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
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>
Removed:
ns=http://www.example.org/ISB06#
_:6c63 <rdf:type> <owl:Restriction>
_:6c63 <owl:onProperty> <ns:hasMother>
_:6c63 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c64 <rdf:type> <owl:Restriction>
_:6c64 <owl:onProperty> <ns:hasMother>
_:6c64 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
<766614ff:11af2babce4:-6c66#> <rdf:type> <owl:Ontology>
_:6c65 <rdf:type> <owl:Restriction>
_:6c65 <owl:onProperty> <ns:hasMother>
_:6c65 <owl:hasValue> ""^^<xsd:string>
<ns:Man> <rdfs:subClassOf> _:6c65
<ns:Man> <rdfs:subClassOf> _:6c64
<ns:Man> <rdfs:subClassOf> _:6c63
E24
(ISB07)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB07#
_:6c39 <rdf:type> <owl:Restriction>
_:6c39 <owl:onProperty> <ns:hasAffiliation>
<ns:Researcher> <rdfs:subClassOf> _:6c39
<ns:Researcher> <rdfs:subClassOf> _:6c38
<ns:Researcher> <rdfs:subClassOf> _:6c37
_:6c37 <rdf:type> <owl:Restriction>
_:6c37 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c37 <owl:onProperty> <ns:hasAffiliation>
<ns:hasAffiliation> <rdf:type> <owl:DatatypeProperty>
_:6c38 <rdf:type> <owl:Restriction>
_:6c38 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6c38 <owl:onProperty> <ns:hasAffiliation>
<766614ff:11af2babce4:-6c3a#> <rdf:type> <owl:Ontology>
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>
Inserted:
ns=http://www.example.org/ISB07#
<ns:Researcher> <rdfs:subClassOf> _:6c47
<ns:Researcher> <rdfs:subClassOf> _:6c46
<ns:Researcher> <rdfs:subClassOf> _:6c45
_:6c45 <rdf:type> <owl:Restriction>
_:6c45 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c45 <owl:onProperty> <ns:hasAffiliation>
_:6c46 <rdf:type> <owl:Restriction>
_:6c46 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6c46 <owl:onProperty> <ns:hasAffiliation>
<766614ff:11af2babce4:-6c48#> <rdf:type> <owl:Ontology>
_:6c47 <rdf:type> <owl:Restriction>
_:6c47 <owl:onProperty> <ns:hasAffiliation>
 Removed:
ns=http://www.example.org/ISB07#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:6c3c
<ns:Researcher> <owl:equivalentClass> _:6c3b
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:6c3b <rdf:type> <owl:Restriction>
_:6c3b <owl:onProperty> <ns:hasAffiliation>
_:6c3b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c3c <rdf:type> <owl:Restriction>
_:6c3c <owl:onProperty> <ns:hasAffiliation>
_:6c3c <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
<ns:> <rdf:type> <owl:Ontology>
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>
Removed:
ns=http://www.example.org/ISB07#
_:6c49 <rdf:type> <owl:Restriction>
_:6c49 <owl:onProperty> <ns:hasAffiliation>
_:6c49 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:6c4b
<ns:Researcher> <rdfs:subClassOf> _:6c4a
<ns:Researcher> <rdfs:subClassOf> _:6c49
_:6c4a <rdf:type> <owl:Restriction>
_:6c4a <owl:onProperty> <ns:hasAffiliation>
_:6c4a <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6c4b <rdf:type> <owl:Restriction>
_:6c4b <owl:onProperty> <ns:hasAffiliation>
_:6c4b <owl:hasValue> ""^^<xsd:string>
<766614ff:11af2babce4:-6c4c#> <rdf:type> <owl:Ontology>
E25
(ISB08)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB08#
_:6c22 <rdf:type> <owl:Restriction>
_:6c22 <owl:onProperty> <ns:hasName>
_:6c21 <rdf:type> <owl:Restriction>
_:6c21 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6c21 <owl:onProperty> <ns:hasName>
<ns:Person> <rdfs:subClassOf> _:6c22
<ns:Person> <rdfs:subClassOf> _:6c21
<766614ff:11af2babce4:-6c23#> <rdf:type> <owl:Ontology>
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#
<766614ff:11af2babce4:-6c2d#> <rdf:type> <owl:Ontology>
<ns:Person> <rdfs:subClassOf> _:6c2c
<ns:Person> <rdfs:subClassOf> _:6c2b
_:6c2c <rdf:type> <owl:Restriction>
_:6c2c <owl:onProperty> <ns:hasName>
_:6c2b <rdf:type> <owl:Restriction>
_:6c2b <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6c2b <owl:onProperty> <ns:hasName>
 Removed:
ns=http://www.example.org/ISB08#
<owl:Nothing> <owl:complementOf> <ns:Person>
_:6c24 <rdf:type> <owl:Restriction>
_:6c24 <owl:onProperty> <ns:hasName>
_:6c24 <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> _:6c24
<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#
_:6c2e <rdf:type> <owl:Restriction>
_:6c2e <owl:onProperty> <ns:hasName>
_:6c2e <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<766614ff:11af2babce4:-6c30#> <rdf:type> <owl:Ontology>
<ns:Person> <rdfs:subClassOf> _:6c2f
<ns:Person> <rdfs:subClassOf> _:6c2e
_:6c2f <rdf:type> <owl:Restriction>
_:6c2f <owl:onProperty> <ns:hasName>
_:6c2f <owl:hasValue> ""^^<xsd:string>
E26
(ISB09)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB09#
<766614ff:11af2babce4:-6c0f#> <rdf:type> <owl:Ontology>
<ns:Researcher> <rdfs:subClassOf> _:6c0e
<ns:Researcher> <rdfs:subClassOf> _:6c0d
_:6c0e <rdf:type> <owl:Restriction>
_:6c0e <owl:onProperty> <ns:wrotePhDThesis>
_:6c0d <rdf:type> <owl:Restriction>
_:6c0d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c0d <owl:onProperty> <ns:wrotePhDThesis>
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>
Inserted:
ns=http://www.example.org/ISB09#
<ns:Researcher> <rdfs:subClassOf> _:6c18
<ns:Researcher> <rdfs:subClassOf> _:6c17
<766614ff:11af2babce4:-6c19#> <rdf:type> <owl:Ontology>
_:6c18 <rdf:type> <owl:Restriction>
_:6c18 <owl:onProperty> <ns:wrotePhDThesis>
_:6c17 <rdf:type> <owl:Restriction>
_:6c17 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c17 <owl:onProperty> <ns:wrotePhDThesis>
 Removed:
ns=http://www.example.org/ISB09#
<ns:> <rdf:type> <owl:Ontology>
<ns:Researcher> <owl:equivalentClass> _:6c10
_:6c10 <rdf:type> <owl:Restriction>
_:6c10 <owl:onProperty> <ns:wrotePhDThesis>
_:6c10 <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>
Removed:
ns=http://www.example.org/ISB09#
<ns:Researcher> <rdfs:subClassOf> _:6c1b
<ns:Researcher> <rdfs:subClassOf> _:6c1a
<766614ff:11af2babce4:-6c1c#> <rdf:type> <owl:Ontology>
_:6c1b <rdf:type> <owl:Restriction>
_:6c1b <owl:onProperty> <ns:wrotePhDThesis>
_:6c1b <owl:hasValue> ""^^<xsd:string>
_:6c1a <rdf:type> <owl:Restriction>
_:6c1a <owl:onProperty> <ns:wrotePhDThesis>
_:6c1a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
E27
(ISB10)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB10#
_:6bf6 <rdf:type> <owl:Restriction>
_:6bf6 <owl:onProperty> <ns:hasSSN>
<ns:Man> <rdfs:subClassOf> _:6bf6
<ns:Man> <rdfs:subClassOf> _:6bf5
<ns:Man> <rdfs:subClassOf> _:6bf4
<766614ff:11af2babce4:-6bf7#> <rdf:type> <owl:Ontology>
_:6bf4 <rdf:type> <owl:Restriction>
_:6bf4 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6bf4 <owl:onProperty> <ns:hasSSN>
_:6bf5 <rdf:type> <owl:Restriction>
_:6bf5 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:6bf5 <owl:onProperty> <ns:hasSSN>
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>
Inserted:
ns=http://www.example.org/ISB10#
_:6c03 <rdf:type> <owl:Restriction>
_:6c03 <owl:onProperty> <ns:hasSSN>
<766614ff:11af2babce4:-6c04#> <rdf:type> <owl:Ontology>
<ns:Man> <rdfs:subClassOf> _:6c03
<ns:Man> <rdfs:subClassOf> _:6c02
<ns:Man> <rdfs:subClassOf> _:6c01
_:6c01 <rdf:type> <owl:Restriction>
_:6c01 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c01 <owl:onProperty> <ns:hasSSN>
_:6c02 <rdf:type> <owl:Restriction>
_:6c02 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c02 <owl:onProperty> <ns:hasSSN>
 Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:6bf8
_:6bf8 <rdf:type> <owl:Restriction>
_:6bf8 <owl:onProperty> <ns:hasSSN>
_:6bf8 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<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>
Removed:
ns=http://www.example.org/ISB10#
_:6c05 <rdf:type> <owl:Restriction>
_:6c05 <owl:onProperty> <ns:hasSSN>
_:6c05 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<766614ff:11af2babce4:-6c08#> <rdf:type> <owl:Ontology>
<ns:Man> <rdfs:subClassOf> _:6c07
<ns:Man> <rdfs:subClassOf> _:6c06
<ns:Man> <rdfs:subClassOf> _:6c05
_:6c06 <rdf:type> <owl:Restriction>
_:6c06 <owl:onProperty> <ns:hasSSN>
_:6c06 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:6c07 <rdf:type> <owl:Restriction>
_:6c07 <owl:onProperty> <ns:hasSSN>
_:6c07 <owl:hasValue> ""^^<xsd:string>
E28
(ISB11)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB11#
_:6bda <rdf:type> <owl:Restriction>
_:6bda <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6bda <owl:onProperty> <ns:wrotePhDThesis>
<766614ff:11af2babce4:-6bdc#> <rdf:type> <owl:Ontology>
_:6bdb <rdf:type> <owl:Restriction>
_:6bdb <owl:onProperty> <ns:wrotePhDThesis>
<ns:Researcher> <rdfs:subClassOf> _:6bdb
<ns:Researcher> <rdfs:subClassOf> _:6bda
<ns:Researcher> <rdfs:subClassOf> _:6bd9
_:6bd9 <rdf:type> <owl:Restriction>
_:6bd9 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6bd9 <owl:onProperty> <ns:wrotePhDThesis>
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#
_:6be7 <rdf:type> <owl:Restriction>
_:6be7 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6be7 <owl:onProperty> <ns:wrotePhDThesis>
_:6be8 <rdf:type> <owl:Restriction>
_:6be8 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:6be8 <owl:onProperty> <ns:wrotePhDThesis>
<ns:Researcher> <rdfs:subClassOf> _:6be9
<ns:Researcher> <rdfs:subClassOf> _:6be8
<ns:Researcher> <rdfs:subClassOf> _:6be7
_:6be9 <rdf:type> <owl:Restriction>
_:6be9 <owl:onProperty> <ns:wrotePhDThesis>
<766614ff:11af2babce4:-6bea#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:6bde
<ns:Researcher> <owl:equivalentClass> _:6bdd
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:6bdd <rdf:type> <owl:Restriction>
_:6bdd <owl:onProperty> <ns:wrotePhDThesis>
_:6bdd <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
_:6bde <rdf:type> <owl:Restriction>
_:6bde <owl:onProperty> <ns:wrotePhDThesis>
_:6bde <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
Removed:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<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#
<766614ff:11af2babce4:-6bee#> <rdf:type> <owl:Ontology>
_:6beb <rdf:type> <owl:Restriction>
_:6beb <owl:onProperty> <ns:wrotePhDThesis>
_:6beb <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:6bec <rdf:type> <owl:Restriction>
_:6bec <owl:onProperty> <ns:wrotePhDThesis>
_:6bec <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:6bed
<ns:Researcher> <rdfs:subClassOf> _:6bec
<ns:Researcher> <rdfs:subClassOf> _:6beb
_:6bed <rdf:type> <owl:Restriction>
_:6bed <owl:onProperty> <ns:wrotePhDThesis>
_:6bed <owl:hasValue> ""^^<xsd:string>
E29
(ISB12)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISB12#
<766614ff:11af2babce4:-6bcb#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISB12#
<766614ff:11af2babce4:-7f30#> <rdf:type> <owl:Ontology>
 
 Removed:
ns=http://www.example.org/ISB12#
_:6bcc <rdf:first> <ns:Male>
_:6bcc <rdf:rest> <rdf:nil>
<ns:ItalianMan> <owl:equivalentClass> _:6bce
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:6bcd <rdf:first> <ns:Italian>
_:6bcd <rdf:rest> _:6bcc
<ns:> <rdf:type> <owl:Ontology>
_:6bce <rdf:type> <owl:Class>
_:6bce <owl:intersectionOf> _:6bcd
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>
 
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 = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
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#
<766614ff:11af2babce4:-6b82#> <rdf:type> <owl:Ontology>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisd03.owl#hasAge> <rdf:type> <owl:DatatypeProperty>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisd03.owl#hasAge> <rdf:type> <rdf:Property>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisd03.owl#hasAge> <owl:equivalentProperty> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisd03.owl#hasAge>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisd03.owl#hasAge> <rdfs:subPropertyOf> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisd03.owl#hasAge>
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#
<766614ff:11af2babce4:-6b85#> <rdf:type> <owl:Ontology>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisd03.owl#hasAge> <rdf:type> <owl:DatatypeProperty>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisd03.owl#hasAge> <rdf:type> <rdf:Property>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisd03.owl#hasAge> <owl:equivalentProperty> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisd03.owl#hasAge>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisd03.owl#hasAge> <rdfs:subPropertyOf> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisd03.owl#hasAge>
 Removed:
ns=http://www.example.org/ISD03#
<ns:hasAge> <rdf:type> <owl:DatatypeProperty>
<ns:hasAge> <rdf:type> <rdf:Property>
<ns:hasAge> <owl:equivalentProperty> <ns:hasAge>
<ns:hasAge> <rdfs:subPropertyOf> <ns:hasAge>
<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:-6b86#> <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#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>
<766614ff:11af2babce4:-6b7c#> <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>
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#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>
<766614ff:11af2babce4:-6b7f#> <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>
 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>
<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>
<766614ff:11af2babce4:-6b80#> <rdf:type> <owl:Ontology>
<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#
<766614ff:11af2babce4:-6b4c#> <rdf:type> <owl:Ontology>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedise08.owl#hasName> <rdf:type> <owl:DatatypeProperty>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedise08.owl#hasName> <rdf:type> <rdf:Property>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedise08.owl#hasName> <owl:equivalentProperty> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedise08.owl#hasName>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedise08.owl#hasName> <rdfs:subPropertyOf> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedise08.owl#hasName>
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#hasName> <rdf:type> <owl:DatatypeProperty>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedise08.owl#hasName> <rdf:type> <rdf:Property>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedise08.owl#hasName> <owl:equivalentProperty> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedise08.owl#hasName>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedise08.owl#hasName> <rdfs:subPropertyOf> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedise08.owl#hasName>
<766614ff:11af2babce4:-6b4f#> <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:-6b50#> <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 = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISF03#
<766614ff:11af2babce4:-6b2e#> <rdf:type> <owl:Ontology>
Inserted:
ns=http://www.example.org/ISF03#
<766614ff:11af2babce4:-7ef3#> <rdf:type> <owl:Ontology>
 
 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:hasParent> <owl:inverseOf> <ns:hasChild>
<ns:> <rdf:type> <owl:Ontology>
<ns:hasChild> <owl:inverseOf> <ns:hasParent>
 
E49
(ISG01)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E50
(ISG02)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E51
(ISG03)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E52
(ISG04)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISG04#
<766614ff:11af2babce4:-6b16#> <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#
<766614ff:11af2babce4:-6b10#> <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#
<766614ff:11af2babce4:-6ae0#> <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#
<766614ff:11af2babce4:-6ad9#> <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>
_:6ada <owl:sameAs> _:6ada
_:6ada <rdf:type> <ns:Person>
_:6ada <rdf:type> <owl:Thing>
_:6ada <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#
<766614ff:11af2babce4:-6ad1#> <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>
_:6ad2 <owl:sameAs> _:6ad2
_:6ad2 <rdf:type> <ns:Parent>
_:6ad2 <rdf:type> <owl:Thing>
_:6ad2 <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#
<766614ff:11af2babce4:-6ac9#> <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#
_:6aca <owl:sameAs> _:6aca
_:6aca <rdf:type> <owl:Thing>
_:6aca <rdf:type> <ns:Person>
_:6aca <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#
<766614ff:11af2babce4:-6ac2#> <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#
<766614ff:11af2babce4:-6abc#> <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#
_:6aa0 <rdf:first> <ns:Ann>
_:6aa0 <rdf:rest> _:6a9f
<766614ff:11af2babce4:-6aa2#> <rdf:type> <owl:Ontology>
_:6aa1 <rdf:type> <owl:AllDifferent>
_:6aa1 <owl:distinctMembers> _:6aa0
_:6a9e <rdf:first> <ns:Mary>
_:6a9e <rdf:rest> <rdf:nil>
_:6a9f <rdf:first> <ns:Joan>
_:6a9f <rdf:rest> _:6a9e
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#
<766614ff:11af2babce4:-6ab5#> <rdf:type> <owl:Ontology>
_:6ab1 <rdf:first> <ns:Mary>
_:6ab1 <rdf:rest> <rdf:nil>
_:6ab2 <rdf:first> <ns:Joan>
_:6ab2 <rdf:rest> _:6ab1
_:6ab3 <rdf:first> <ns:Ann>
_:6ab3 <rdf:rest> _:6ab2
_:6ab4 <rdf:type> <owl:AllDifferent>
_:6ab4 <owl:distinctMembers> _:6ab3
 Removed:
ns=http://www.example.org/ISK03#
_:6aa6 <rdf:type> <owl:AllDifferent>
_:6aa6 <owl:distinctMembers> _:6aa5
<ns:> <rdf:type> <owl:Ontology>
_:6aa3 <rdf:first> <ns:Mary>
_:6aa3 <rdf:rest> <rdf:nil>
_:6aa4 <rdf:first> <ns:Joan>
_:6aa4 <rdf:rest> _:6aa3
_:6aa5 <rdf:first> <ns:Ann>
_:6aa5 <rdf:rest> _:6aa4
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#
_:6ab6 <rdf:first> <ns:Mary>
_:6ab6 <rdf:rest> <rdf:nil>
_:6ab7 <rdf:first> <ns:Joan>
_:6ab7 <rdf:rest> _:6ab6
<766614ff:11af2babce4:-6aba#> <rdf:type> <owl:Ontology>
_:6ab8 <rdf:first> <ns:Ann>
_:6ab8 <rdf:rest> _:6ab7
_:6ab9 <rdf:type> <owl:AllDifferent>
_:6ab9 <owl:distinctMembers> _:6ab8
E68
(ISL01)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL01#
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<766614ff:11af2babce4:-6a90#> <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
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>
 
 Removed:
ns=http://www.example.org/ISL01#
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL01#
<ns:> <rdf:type> <owl:Ontology>
 
E69
(ISL02)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL02#
<766614ff:11af2babce4:-6a8a#> <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#
<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>
 
 Removed:
ns=http://www.example.org/ISL02#
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL02#
<ns:> <rdf:type> <owl:Ontology>
 
E70
(ISL03)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL03#
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
<766614ff:11af2babce4:-6a84#> <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
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>
 
 Removed:
ns=http://www.example.org/ISL03#
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL03#
<ns:> <rdf:type> <owl:Ontology>
 
E71
(ISL04)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 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:-6a7e#> <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>
 
 Removed:
ns=http://www.example.org/ISL04#
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL04#
<ns:> <rdf:type> <owl:Ontology>
 
E72
(ISL05)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
 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:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman>
<owl:Nothing> <owl:disjointWith> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man>
<owl:Nothing> <rdfs:subClassOf> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman>
<owl:Nothing> <rdfs:subClassOf> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man>
<766614ff:11af2babce4:-6a78#> <rdf:type> <owl:Ontology>
<owl:Class> <owl:sameAs> <owl:Class>
<owl:Class> <rdf:type> <owl:Thing>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman> <rdf:type> <owl:Class>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman> <owl:disjointWith> <owl:Nothing>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman> <rdfs:subClassOf> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman> <rdfs:subClassOf> <owl:Thing>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman> <owl:equivalentClass> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man> <rdf:type> <owl:Class>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man> <owl:disjointWith> <owl:Nothing>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man> <rdfs:subClassOf> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man> <rdfs:subClassOf> <owl:Thing>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man> <owl:equivalentClass> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man>
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#Man> <rdf:type> <owl:Class>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man> <owl:disjointWith> <owl:Nothing>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man> <rdfs:subClassOf> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man> <rdfs:subClassOf> <owl:Thing>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man> <owl:equivalentClass> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman> <rdf:type> <owl:Class>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman> <owl:disjointWith> <owl:Nothing>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman> <rdfs:subClassOf> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman> <rdfs:subClassOf> <owl:Thing>
<file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman> <owl:equivalentClass> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman>
<owl:Nothing> <owl:disjointWith> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman>
<owl:Nothing> <owl:disjointWith> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man>
<owl:Nothing> <rdfs:subClassOf> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Woman>
<owl:Nothing> <rdfs:subClassOf> <file://e:/raul/compartido/rgarcia/eclipse/ibse/fin/2008-07-05T13-05-24experiment/semtalk/exchanged/ontology_exchangedisl05.owl#Man>
<766614ff:11af2babce4:-6a7b#> <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#
<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>
<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>
<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>
<766614ff:11af2babce4:-6a7c#> <rdf:type> <owl:Ontology>
E73
(ISL06)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL06#
<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:-6a72#> <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>
 
 Removed:
ns=http://www.example.org/ISL06#
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL06#
<ns:> <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#
<766614ff:11af2babce4:-6a6c#> <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#
<766614ff:11af2babce4:-6a66#> <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 = SAME
Execution = OK
 Inserted:
ns=http://www.example.org/ISL09#
<766614ff:11af2babce4:-6a60#> <rdf:type> <owl:Ontology>
<ns:Man> <owl:sameAs> <ns:Man>
<ns:Man> <rdf:type> <owl:Thing>
<ns:Woman> <owl:sameAs> <ns:Woman>
<ns:Woman> <rdf:type> <owl:Thing>
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>
 
 Removed:
ns=http://www.example.org/ISL09#
<ns:> <rdf:type> <owl:Ontology>
Removed:
ns=http://www.example.org/ISL09#
<ns:> <rdf:type> <owl:Ontology>
 
E77
(ISL10)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
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#
<766614ff:11af2babce4:-6a4e#> <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 = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL13#
<ns:hasChild> <rdf:type> <owl:DatatypeProperty>
<766614ff:11af2babce4:-6a47#> <rdf:type> <owl:Ontology>
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>
Inserted:
ns=http://www.example.org/ISL13#
<766614ff:11af2babce4:-6a4b#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL13#
_:6a48 <owl:sameAs> _:6a48
_:6a48 <rdf:type> <ns:Child>
_:6a48 <rdf:type> <owl:Thing>
_:6a48 <ns:hasName> "Paul"
<ns:> <rdf:type> <owl:Ontology>
<ns:John> <ns:hasChild> _:6a48
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
Removed:
ns=http://www.example.org/ISL13#
<766614ff:11af2babce4:-6a4c#> <rdf:type> <owl:Ontology>
<ns:John> <ns:hasChild> "\n "^^<xsd:string>
E81
(ISL14)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL14#
<ns:hasChild> <rdf:type> <owl:DatatypeProperty>
<ns:John> <ns:hasChild> "Paul"^^<xsd:string>
<766614ff:11af2babce4:-6a3f#> <rdf:type> <owl:Ontology>
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>
Inserted:
ns=http://www.example.org/ISL14#
<766614ff:11af2babce4:-6a43#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL14#
_:6a40 <owl:sameAs> _:6a40
_:6a40 <rdf:type> <ns:Child>
_:6a40 <rdf:type> <owl:Thing>
_:6a40 <ns:hasName> "Paul"
<ns:> <rdf:type> <owl:Ontology>
<ns:John> <ns:hasChild> _:6a40
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
Removed:
ns=http://www.example.org/ISL14#
<766614ff:11af2babce4:-6a44#> <rdf:type> <owl:Ontology>
E82
(ISL15)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL15#
<766614ff:11af2babce4:-6a38#> <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#
<766614ff:11af2babce4:-6a3b#> <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:-6a3c#> <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#