Interoperability from SWIProlog to SemTalk (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (SWIProlog) Step2 (SemTalk)
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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA05#
<26882951:11af2cc5588:-7288#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISA05#
<26882951:11af2cc5588:-728a#> <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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:726e
_:726e <rdf:type> <owl:Restriction>
_:726e <owl:onProperty> <ns:wasBorn>
_:726e <owl:someValuesFrom> <ns:Italy>
<26882951:11af2cc5588:-726f#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:7274
<26882951:11af2cc5588:-7275#> <rdf:type> <owl:Ontology>
_:7274 <rdf:type> <owl:Restriction>
_:7274 <owl:onProperty> <ns:wasBorn>
_:7274 <owl:someValuesFrom> <ns:Italy>
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:7270
<ns:> <rdf:type> <owl:Ontology>
_:7270 <rdf:type> <owl:Restriction>
_:7270 <owl:onProperty> <ns:wasBorn>
_:7270 <owl:allValuesFrom> <ns:Italy>
 Removed:
ns=http://www.example.org/ISA08#
_:7276 <rdf:type> <owl:Restriction>
_:7276 <owl:allValuesFrom> <ns:Italy>
_:7276 <owl:onProperty> <ns:wasBorn>
<ns:Italian> <rdfs:subClassOf> _:7276
<ns:> <rdf:type> <owl:Ontology>
E09
(ISA09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA09#
<26882951:11af2cc5588:-7261#> <rdf:type> <owl:Ontology>
_:725f <rdf:type> <owl:Restriction>
_:725f <owl:onProperty> <ns:worksIn>
_:725f <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7260 <rdf:type> <owl:Restriction>
_:7260 <owl:onProperty> <ns:worksIn>
_:7260 <owl:hasValue> ""^^<xsd:string>
<ns:Employee> <rdfs:subClassOf> _:7260
<ns:Employee> <rdfs:subClassOf> _:725f
<ns:worksIn> <rdf:type> <owl:DatatypeProperty>
  Inserted:
ns=http://www.example.org/ISA09#
<26882951:11af2cc5588:-7269#> <rdf:type> <owl:Ontology>
_:7267 <rdf:type> <owl:Restriction>
_:7267 <owl:onProperty> <ns:worksIn>
_:7267 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Employee> <rdfs:subClassOf> _:7268
<ns:Employee> <rdfs:subClassOf> _:7267
_:7268 <rdf:type> <owl:Restriction>
_:7268 <owl:onProperty> <ns:worksIn>
_:7268 <owl:hasValue> ""^^<xsd:string>
<ns:worksIn> <rdf:type> <owl:DatatypeProperty>
 Removed:
ns=http://www.example.org/ISA09#
<ns:> <rdf:type> <owl:Ontology>
<ns:Employee> <rdfs:subClassOf> _:7262
_:7262 <rdf:type> <owl:Restriction>
_:7262 <owl:onProperty> <ns:worksIn>
_:7262 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA09#
_:726a <rdf:type> <owl:Restriction>
_:726a <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:726a <owl:onProperty> <ns:worksIn>
<ns:> <rdf:type> <owl:Ontology>
<ns:Employee> <rdfs:subClassOf> _:726a
E10
(ISA10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdf:type> <owl:DatatypeProperty>
<26882951:11af2cc5588:-7251#> <rdf:type> <owl:Ontology>
_:724f <rdf:type> <owl:Restriction>
_:724f <owl:onProperty> <ns:hasAffiliation>
_:724f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7250
<ns:Researcher> <rdfs:subClassOf> _:724f
_:7250 <rdf:type> <owl:Restriction>
_:7250 <owl:onProperty> <ns:hasAffiliation>
_:7250 <owl:hasValue> ""^^<xsd:string>
  Inserted:
ns=http://www.example.org/ISA10#
<ns:hasAffiliation> <rdf:type> <owl:DatatypeProperty>
<ns:Researcher> <rdfs:subClassOf> _:7258
<ns:Researcher> <rdfs:subClassOf> _:7257
<26882951:11af2cc5588:-7259#> <rdf:type> <owl:Ontology>
_:7257 <rdf:type> <owl:Restriction>
_:7257 <owl:onProperty> <ns:hasAffiliation>
_:7257 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7258 <rdf:type> <owl:Restriction>
_:7258 <owl:onProperty> <ns:hasAffiliation>
_:7258 <owl:hasValue> ""^^<xsd:string>
 Removed:
ns=http://www.example.org/ISA10#
<ns:> <rdf:type> <owl:Ontology>
<ns:Researcher> <rdfs:subClassOf> _:7252
_:7252 <rdf:type> <owl:Restriction>
_:7252 <owl:onProperty> <ns:hasAffiliation>
_:7252 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA10#
<ns:> <rdf:type> <owl:Ontology>
_:725a <rdf:type> <owl:Restriction>
_:725a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:725a <owl:onProperty> <ns:hasAffiliation>
<ns:Researcher> <rdfs:subClassOf> _:725a
E11
(ISA11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA11#
<26882951:11af2cc5588:-723f#> <rdf:type> <owl:Ontology>
_:723e <rdf:type> <owl:Restriction>
_:723e <owl:onProperty> <ns:hasMother>
_:723e <owl:hasValue> ""^^<xsd:string>
<ns:Person> <rdfs:subClassOf> _:723e
<ns:Person> <rdfs:subClassOf> _:723d
<ns:Person> <rdfs:subClassOf> _:723c
_:723c <rdf:type> <owl:Restriction>
_:723c <owl:onProperty> <ns:hasMother>
_:723c <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:hasMother> <rdf:type> <owl:DatatypeProperty>
_:723d <rdf:type> <owl:Restriction>
_:723d <owl:onProperty> <ns:hasMother>
_:723d <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISA11#
_:7246 <rdf:type> <owl:Restriction>
_:7246 <owl:onProperty> <ns:hasMother>
_:7246 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:7248
<ns:Person> <rdfs:subClassOf> _:7247
<ns:Person> <rdfs:subClassOf> _:7246
<26882951:11af2cc5588:-7249#> <rdf:type> <owl:Ontology>
_:7247 <rdf:type> <owl:Restriction>
_:7247 <owl:onProperty> <ns:hasMother>
_:7247 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:7248 <rdf:type> <owl:Restriction>
_:7248 <owl:onProperty> <ns:hasMother>
_:7248 <owl:hasValue> ""^^<xsd:string>
<ns:hasMother> <rdf:type> <owl:DatatypeProperty>
 Removed:
ns=http://www.example.org/ISA11#
_:7240 <rdf:type> <owl:Restriction>
_:7240 <owl:onProperty> <ns:hasMother>
_:7240 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:7240
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA11#
<ns:Person> <rdfs:subClassOf> _:724a
_:724a <rdf:type> <owl:Restriction>
_:724a <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:724a <owl:onProperty> <ns:hasMother>
<ns:> <rdf:type> <owl:Ontology>
E12
(ISA12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA12#
<ns:hasAffiliation> <rdf:type> <owl:DatatypeProperty>
_:7225 <rdf:type> <owl:Restriction>
_:7225 <owl:onProperty> <ns:hasAffiliation>
_:7225 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:7227
<ns:Researcher> <rdfs:subClassOf> _:7226
<ns:Researcher> <rdfs:subClassOf> _:7225
_:7226 <rdf:type> <owl:Restriction>
_:7226 <owl:onProperty> <ns:hasAffiliation>
_:7226 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7227 <rdf:type> <owl:Restriction>
_:7227 <owl:onProperty> <ns:hasAffiliation>
_:7227 <owl:hasValue> ""^^<xsd:string>
<26882951:11af2cc5588:-7228#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISA12#
_:7233 <rdf:type> <owl:Restriction>
_:7233 <owl:onProperty> <ns:hasAffiliation>
_:7233 <owl:hasValue> ""^^<xsd:string>
<ns:hasAffiliation> <rdf:type> <owl:DatatypeProperty>
<ns:Researcher> <rdfs:subClassOf> _:7233
<ns:Researcher> <rdfs:subClassOf> _:7232
<ns:Researcher> <rdfs:subClassOf> _:7231
_:7231 <rdf:type> <owl:Restriction>
_:7231 <owl:onProperty> <ns:hasAffiliation>
_:7231 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<26882951:11af2cc5588:-7234#> <rdf:type> <owl:Ontology>
_:7232 <rdf:type> <owl:Restriction>
_:7232 <owl:onProperty> <ns:hasAffiliation>
_:7232 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA12#
_:722a <rdf:type> <owl:Restriction>
_:722a <owl:onProperty> <ns:hasAffiliation>
_:722a <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7229 <rdf:type> <owl:Restriction>
_:7229 <owl:onProperty> <ns:hasAffiliation>
_:7229 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:722a
<ns:Researcher> <rdfs:subClassOf> _:7229
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA12#
<ns:Researcher> <rdfs:subClassOf> _:7236
<ns:Researcher> <rdfs:subClassOf> _:7235
_:7235 <rdf:type> <owl:Restriction>
_:7235 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7235 <owl:onProperty> <ns:hasAffiliation>
_:7236 <rdf:type> <owl:Restriction>
_:7236 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7236 <owl:onProperty> <ns:hasAffiliation>
<ns:> <rdf:type> <owl:Ontology>
E13
(ISA13)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA13#
<26882951:11af2cc5588:-7215#> <rdf:type> <owl:Ontology>
_:7214 <rdf:type> <owl:Restriction>
_:7214 <owl:onProperty> <ns:hasName>
_:7214 <owl:hasValue> ""^^<xsd:string>
<ns:Person> <rdfs:subClassOf> _:7214
<ns:Person> <rdfs:subClassOf> _:7213
_:7213 <rdf:type> <owl:Restriction>
_:7213 <owl:onProperty> <ns:hasName>
_:7213 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:721c
<ns:Person> <rdfs:subClassOf> _:721b
<26882951:11af2cc5588:-721d#> <rdf:type> <owl:Ontology>
_:721b <rdf:type> <owl:Restriction>
_:721b <owl:onProperty> <ns:hasName>
_:721b <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:721c <rdf:type> <owl:Restriction>
_:721c <owl:onProperty> <ns:hasName>
_:721c <owl:hasValue> ""^^<xsd:string>
 Removed:
ns=http://www.example.org/ISA13#
<ns:Person> <rdfs:subClassOf> _:7216
<ns:> <rdf:type> <owl:Ontology>
_:7216 <rdf:type> <owl:Restriction>
_:7216 <owl:onProperty> <ns:hasName>
_:7216 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA13#
_:721e <rdf:type> <owl:Restriction>
_:721e <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:721e <owl:onProperty> <ns:hasName>
<ns:Person> <rdfs:subClassOf> _:721e
<ns:> <rdf:type> <owl:Ontology>
E14
(ISA14)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:7204
<ns:Researcher> <rdfs:subClassOf> _:7203
_:7204 <rdf:type> <owl:Restriction>
_:7204 <owl:onProperty> <ns:wrotePhDThesis>
_:7204 <owl:hasValue> ""^^<xsd:string>
<26882951:11af2cc5588:-7205#> <rdf:type> <owl:Ontology>
_:7203 <rdf:type> <owl:Restriction>
_:7203 <owl:onProperty> <ns:wrotePhDThesis>
_:7203 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:720c
<ns:Researcher> <rdfs:subClassOf> _:720b
<26882951:11af2cc5588:-720d#> <rdf:type> <owl:Ontology>
_:720b <rdf:type> <owl:Restriction>
_:720b <owl:onProperty> <ns:wrotePhDThesis>
_:720b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:720c <rdf:type> <owl:Restriction>
_:720c <owl:onProperty> <ns:wrotePhDThesis>
_:720c <owl:hasValue> ""^^<xsd:string>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:7206
<ns:> <rdf:type> <owl:Ontology>
_:7206 <rdf:type> <owl:Restriction>
_:7206 <owl:onProperty> <ns:wrotePhDThesis>
_:7206 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA14#
<ns:Researcher> <rdfs:subClassOf> _:720e
_:720e <rdf:type> <owl:Restriction>
_:720e <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:720e <owl:onProperty> <ns:wrotePhDThesis>
<ns:> <rdf:type> <owl:Ontology>
E15
(ISA15)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA15#
_:71f0 <rdf:type> <owl:Restriction>
_:71f0 <owl:onProperty> <ns:hasSSN>
_:71f0 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:71f1 <rdf:type> <owl:Restriction>
_:71f1 <owl:onProperty> <ns:hasSSN>
_:71f1 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:71f2
<ns:Person> <rdfs:subClassOf> _:71f1
<ns:Person> <rdfs:subClassOf> _:71f0
_:71f2 <rdf:type> <owl:Restriction>
_:71f2 <owl:onProperty> <ns:hasSSN>
_:71f2 <owl:hasValue> ""^^<xsd:string>
<26882951:11af2cc5588:-71f3#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISA15#
_:71fa <rdf:type> <owl:Restriction>
_:71fa <owl:onProperty> <ns:hasSSN>
_:71fa <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:71fb <rdf:type> <owl:Restriction>
_:71fb <owl:onProperty> <ns:hasSSN>
_:71fb <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:71fc <rdf:type> <owl:Restriction>
_:71fc <owl:onProperty> <ns:hasSSN>
_:71fc <owl:hasValue> ""^^<xsd:string>
<ns:Person> <rdfs:subClassOf> _:71fc
<ns:Person> <rdfs:subClassOf> _:71fb
<ns:Person> <rdfs:subClassOf> _:71fa
<26882951:11af2cc5588:-71fd#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:71f4
<ns:> <rdf:type> <owl:Ontology>
_:71f4 <rdf:type> <owl:Restriction>
_:71f4 <owl:onProperty> <ns:hasSSN>
_:71f4 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA15#
<ns:Person> <rdfs:subClassOf> _:71fe
<ns:> <rdf:type> <owl:Ontology>
_:71fe <rdf:type> <owl:Restriction>
_:71fe <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:71fe <owl:onProperty> <ns:hasSSN>
E16
(ISA16)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA16#
<26882951:11af2cc5588:-71dc#> <rdf:type> <owl:Ontology>
_:71db <rdf:type> <owl:Restriction>
_:71db <owl:onProperty> <ns:wrotePhDThesis>
_:71db <owl:hasValue> ""^^<xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:71db
<ns:Researcher> <rdfs:subClassOf> _:71da
<ns:Researcher> <rdfs:subClassOf> _:71d9
_:71d9 <rdf:type> <owl:Restriction>
_:71d9 <owl:onProperty> <ns:wrotePhDThesis>
_:71d9 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:71da <rdf:type> <owl:Restriction>
_:71da <owl:onProperty> <ns:wrotePhDThesis>
_:71da <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISA16#
_:71e6 <rdf:type> <owl:Restriction>
_:71e6 <owl:onProperty> <ns:wrotePhDThesis>
_:71e6 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:71e7 <rdf:type> <owl:Restriction>
_:71e7 <owl:onProperty> <ns:wrotePhDThesis>
_:71e7 <owl:hasValue> ""^^<xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:71e7
<ns:Researcher> <rdfs:subClassOf> _:71e6
<ns:Researcher> <rdfs:subClassOf> _:71e5
<26882951:11af2cc5588:-71e8#> <rdf:type> <owl:Ontology>
_:71e5 <rdf:type> <owl:Restriction>
_:71e5 <owl:onProperty> <ns:wrotePhDThesis>
_:71e5 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISA16#
_:71de <rdf:type> <owl:Restriction>
_:71de <owl:onProperty> <ns:wrotePhDThesis>
_:71de <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:71dd <rdf:type> <owl:Restriction>
_:71dd <owl:onProperty> <ns:wrotePhDThesis>
_:71dd <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:71de
<ns:Researcher> <rdfs:subClassOf> _:71dd
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISA16#
<ns:Researcher> <rdfs:subClassOf> _:71ea
<ns:Researcher> <rdfs:subClassOf> _:71e9
_:71e9 <rdf:type> <owl:Restriction>
_:71e9 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:71e9 <owl:onProperty> <ns:wrotePhDThesis>
<ns:> <rdf:type> <owl:Ontology>
_:71ea <rdf:type> <owl:Restriction>
_:71ea <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:71ea <owl:onProperty> <ns:wrotePhDThesis>
E17
(ISA17)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E18
(ISB01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB01#
<26882951:11af2cc5588:-71bc#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISB01#
<26882951:11af2cc5588:-71be#> <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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB02#
<ns:Driver> <rdfs:subClassOf> _:71b2
<26882951:11af2cc5588:-71b3#> <rdf:type> <owl:Ontology>
_:71b2 <rdf:type> <owl:Restriction>
_:71b2 <owl:onProperty> <ns:hasCar>
_:71b2 <owl:someValuesFrom> <ns:Car>
  Inserted:
ns=http://www.example.org/ISB02#
<ns:Driver> <rdfs:subClassOf> _:71b8
<26882951:11af2cc5588:-71b9#> <rdf:type> <owl:Ontology>
_:71b8 <rdf:type> <owl:Restriction>
_:71b8 <owl:onProperty> <ns:hasCar>
_:71b8 <owl:someValuesFrom> <ns:Car>
 Removed:
ns=http://www.example.org/ISB02#
_:71b4 <rdf:type> <owl:Restriction>
_:71b4 <owl:onProperty> <ns:hasCar>
_:71b4 <owl:someValuesFrom> <ns:Car>
<ns:Driver> <owl:equivalentClass> _:71b4
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB02#
<ns:Driver> <owl:equivalentClass> _:71ba
_:71ba <rdf:type> <owl:Restriction>
_:71ba <owl:onProperty> <ns:hasCar>
_:71ba <owl:someValuesFrom> <ns:Car>
<ns:> <rdf:type> <owl:Ontology>
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB03#
<26882951:11af2cc5588:-71a7#> <rdf:type> <owl:Ontology>
_:71a6 <rdf:type> <owl:Restriction>
_:71a6 <owl:onProperty> <ns:wasBorn>
_:71a6 <owl:someValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:71a6
  Inserted:
ns=http://www.example.org/ISB03#
_:71ac <rdf:type> <owl:Restriction>
_:71ac <owl:onProperty> <ns:wasBorn>
_:71ac <owl:someValuesFrom> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:71ac
<26882951:11af2cc5588:-71ad#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB03#
<ns:Italian> <owl:equivalentClass> _:71a8
<ns:> <rdf:type> <owl:Ontology>
_:71a8 <rdf:type> <owl:Restriction>
_:71a8 <owl:onProperty> <ns:wasBorn>
_:71a8 <owl:allValuesFrom> <ns:Italy>
 Removed:
ns=http://www.example.org/ISB03#
_:71ae <rdf:type> <owl:Restriction>
_:71ae <owl:allValuesFrom> <ns:Italy>
_:71ae <owl:onProperty> <ns:wasBorn>
<ns:Italian> <owl:equivalentClass> _:71ae
<ns:> <rdf:type> <owl:Ontology>
E21
(ISB04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB04#
_:7198 <rdf:type> <owl:Restriction>
_:7198 <owl:onProperty> <ns:worksIn>
_:7198 <owl:hasValue> ""^^<xsd:string>
<ns:Employee> <rdfs:subClassOf> _:7198
<ns:Employee> <rdfs:subClassOf> _:7197
<ns:worksIn> <rdf:type> <owl:DatatypeProperty>
<26882951:11af2cc5588:-7199#> <rdf:type> <owl:Ontology>
_:7197 <rdf:type> <owl:Restriction>
_:7197 <owl:onProperty> <ns:worksIn>
_:7197 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISB04#
<26882951:11af2cc5588:-71a1#> <rdf:type> <owl:Ontology>
<ns:Employee> <rdfs:subClassOf> _:71a0
<ns:Employee> <rdfs:subClassOf> _:719f
_:719f <rdf:type> <owl:Restriction>
_:719f <owl:onProperty> <ns:worksIn>
_:719f <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:worksIn> <rdf:type> <owl:DatatypeProperty>
_:71a0 <rdf:type> <owl:Restriction>
_:71a0 <owl:onProperty> <ns:worksIn>
_:71a0 <owl:hasValue> ""^^<xsd:string>
 Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <owl:equivalentClass> _:719a
<ns:> <rdf:type> <owl:Ontology>
_:719a <rdf:type> <owl:Restriction>
_:719a <owl:onProperty> <ns:worksIn>
_:719a <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB04#
<ns:Employee> <owl:equivalentClass> _:71a2
_:71a2 <rdf:type> <owl:Restriction>
_:71a2 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:71a2 <owl:onProperty> <ns:worksIn>
<ns:> <rdf:type> <owl:Ontology>
E22
(ISB05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB05#
<26882951:11af2cc5588:-7189#> <rdf:type> <owl:Ontology>
_:7188 <rdf:type> <owl:Restriction>
_:7188 <owl:onProperty> <ns:hasAffiliation>
_:7188 <owl:hasValue> ""^^<xsd:string>
<ns:hasAffiliation> <rdf:type> <owl:DatatypeProperty>
<ns:Researcher> <rdfs:subClassOf> _:7188
<ns:Researcher> <rdfs:subClassOf> _:7187
_:7187 <rdf:type> <owl:Restriction>
_:7187 <owl:onProperty> <ns:hasAffiliation>
_:7187 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISB05#
_:718f <rdf:type> <owl:Restriction>
_:718f <owl:onProperty> <ns:hasAffiliation>
_:718f <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<26882951:11af2cc5588:-7191#> <rdf:type> <owl:Ontology>
<ns:hasAffiliation> <rdf:type> <owl:DatatypeProperty>
_:7190 <rdf:type> <owl:Restriction>
_:7190 <owl:onProperty> <ns:hasAffiliation>
_:7190 <owl:hasValue> ""^^<xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:7190
<ns:Researcher> <rdfs:subClassOf> _:718f
 Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:718a
<ns:> <rdf:type> <owl:Ontology>
_:718a <rdf:type> <owl:Restriction>
_:718a <owl:onProperty> <ns:hasAffiliation>
_:718a <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB05#
<ns:Researcher> <owl:equivalentClass> _:7192
<ns:> <rdf:type> <owl:Ontology>
_:7192 <rdf:type> <owl:Restriction>
_:7192 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7192 <owl:onProperty> <ns:hasAffiliation>
E23
(ISB06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB06#
<26882951:11af2cc5588:-7177#> <rdf:type> <owl:Ontology>
_:7174 <rdf:type> <owl:Restriction>
_:7174 <owl:onProperty> <ns:hasMother>
_:7174 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7175 <rdf:type> <owl:Restriction>
_:7175 <owl:onProperty> <ns:hasMother>
_:7175 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Man> <rdfs:subClassOf> _:7176
<ns:Man> <rdfs:subClassOf> _:7175
<ns:Man> <rdfs:subClassOf> _:7174
_:7176 <rdf:type> <owl:Restriction>
_:7176 <owl:onProperty> <ns:hasMother>
_:7176 <owl:hasValue> ""^^<xsd:string>
<ns:hasMother> <rdf:type> <owl:DatatypeProperty>
  Inserted:
ns=http://www.example.org/ISB06#
_:717e <rdf:type> <owl:Restriction>
_:717e <owl:onProperty> <ns:hasMother>
_:717e <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:717f <rdf:type> <owl:Restriction>
_:717f <owl:onProperty> <ns:hasMother>
_:717f <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Man> <rdfs:subClassOf> _:7180
<ns:Man> <rdfs:subClassOf> _:717f
<ns:Man> <rdfs:subClassOf> _:717e
_:7180 <rdf:type> <owl:Restriction>
_:7180 <owl:onProperty> <ns:hasMother>
_:7180 <owl:hasValue> ""^^<xsd:string>
<26882951:11af2cc5588:-7181#> <rdf:type> <owl:Ontology>
<ns:hasMother> <rdf:type> <owl:DatatypeProperty>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:7178
_:7178 <rdf:type> <owl:Restriction>
_:7178 <owl:onProperty> <ns:hasMother>
_:7178 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB06#
<ns:Man> <owl:equivalentClass> _:7182
<ns:> <rdf:type> <owl:Ontology>
_:7182 <rdf:type> <owl:Restriction>
_:7182 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:7182 <owl:onProperty> <ns:hasMother>
E24
(ISB07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB07#
<26882951:11af2cc5588:-7160#> <rdf:type> <owl:Ontology>
_:715d <rdf:type> <owl:Restriction>
_:715d <owl:onProperty> <ns:hasAffiliation>
_:715d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:715f
<ns:Researcher> <rdfs:subClassOf> _:715e
<ns:Researcher> <rdfs:subClassOf> _:715d
_:715e <rdf:type> <owl:Restriction>
_:715e <owl:onProperty> <ns:hasAffiliation>
_:715e <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:715f <rdf:type> <owl:Restriction>
_:715f <owl:onProperty> <ns:hasAffiliation>
_:715f <owl:hasValue> ""^^<xsd:string>
<ns:hasAffiliation> <rdf:type> <owl:DatatypeProperty>
  Inserted:
ns=http://www.example.org/ISB07#
_:7169 <rdf:type> <owl:Restriction>
_:7169 <owl:onProperty> <ns:hasAffiliation>
_:7169 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <rdfs:subClassOf> _:716b
<ns:Researcher> <rdfs:subClassOf> _:716a
<ns:Researcher> <rdfs:subClassOf> _:7169
<26882951:11af2cc5588:-716c#> <rdf:type> <owl:Ontology>
_:716a <rdf:type> <owl:Restriction>
_:716a <owl:onProperty> <ns:hasAffiliation>
_:716a <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:hasAffiliation> <rdf:type> <owl:DatatypeProperty>
_:716b <rdf:type> <owl:Restriction>
_:716b <owl:onProperty> <ns:hasAffiliation>
_:716b <owl:hasValue> ""^^<xsd:string>
 Removed:
ns=http://www.example.org/ISB07#
_:7162 <rdf:type> <owl:Restriction>
_:7162 <owl:onProperty> <ns:hasAffiliation>
_:7162 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:7162
<ns:Researcher> <owl:equivalentClass> _:7161
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<ns:> <rdf:type> <owl:Ontology>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
_:7161 <rdf:type> <owl:Restriction>
_:7161 <owl:onProperty> <ns:hasAffiliation>
_:7161 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB07#
_:716d <rdf:type> <owl:Restriction>
_:716d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:716d <owl:onProperty> <ns:hasAffiliation>
<owl:Nothing> <owl:complementOf> <ns:Researcher>
<ns:Researcher> <owl:equivalentClass> _:716e
<ns:Researcher> <owl:equivalentClass> _:716d
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
_:716e <rdf:type> <owl:Restriction>
_:716e <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:716e <owl:onProperty> <ns:hasAffiliation>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
<ns:> <rdf:type> <owl:Ontology>
E25
(ISB08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB08#
<26882951:11af2cc5588:-714d#> <rdf:type> <owl:Ontology>
_:714b <rdf:type> <owl:Restriction>
_:714b <owl:onProperty> <ns:hasName>
_:714b <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<ns:Person> <rdfs:subClassOf> _:714c
<ns:Person> <rdfs:subClassOf> _:714b
_:714c <rdf:type> <owl:Restriction>
_:714c <owl:onProperty> <ns:hasName>
_:714c <owl:hasValue> ""^^<xsd:string>
  Inserted:
ns=http://www.example.org/ISB08#
<ns:Person> <rdfs:subClassOf> _:7154
<ns:Person> <rdfs:subClassOf> _:7153
_:7154 <rdf:type> <owl:Restriction>
_:7154 <owl:onProperty> <ns:hasName>
_:7154 <owl:hasValue> ""^^<xsd:string>
_:7153 <rdf:type> <owl:Restriction>
_:7153 <owl:onProperty> <ns:hasName>
_:7153 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
<26882951:11af2cc5588:-7155#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB08#
<owl:Nothing> <owl:complementOf> <ns:Person>
_:714e <rdf:type> <owl:Restriction>
_:714e <owl:onProperty> <ns:hasName>
_:714e <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> _:714e
<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>
_:7156 <rdf:type> <owl:Restriction>
_:7156 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7156 <owl:onProperty> <ns:hasName>
<owl:Thing> <rdfs:subClassOf> <ns:Person>
<owl:Thing> <owl:equivalentClass> <ns:Person>
<ns:> <rdf:type> <owl:Ontology>
<ns:Person> <owl:equivalentClass> _:7156
<ns:Person> <owl:complementOf> <owl:Nothing>
<ns:Person> <owl:equivalentClass> <owl:Thing>
E26
(ISB09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB09#
<ns:Researcher> <rdfs:subClassOf> _:713c
<ns:Researcher> <rdfs:subClassOf> _:713b
<26882951:11af2cc5588:-713d#> <rdf:type> <owl:Ontology>
_:713b <rdf:type> <owl:Restriction>
_:713b <owl:onProperty> <ns:wrotePhDThesis>
_:713b <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:713c <rdf:type> <owl:Restriction>
_:713c <owl:onProperty> <ns:wrotePhDThesis>
_:713c <owl:hasValue> ""^^<xsd:string>
  Inserted:
ns=http://www.example.org/ISB09#
<26882951:11af2cc5588:-7145#> <rdf:type> <owl:Ontology>
<ns:Researcher> <rdfs:subClassOf> _:7144
<ns:Researcher> <rdfs:subClassOf> _:7143
_:7144 <rdf:type> <owl:Restriction>
_:7144 <owl:onProperty> <ns:wrotePhDThesis>
_:7144 <owl:hasValue> ""^^<xsd:string>
_:7143 <rdf:type> <owl:Restriction>
_:7143 <owl:onProperty> <ns:wrotePhDThesis>
_:7143 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
 Removed:
ns=http://www.example.org/ISB09#
_:713e <rdf:type> <owl:Restriction>
_:713e <owl:onProperty> <ns:wrotePhDThesis>
_:713e <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
<ns:Researcher> <owl:equivalentClass> _:713e
 Removed:
ns=http://www.example.org/ISB09#
<ns:> <rdf:type> <owl:Ontology>
<ns:Researcher> <owl:equivalentClass> _:7146
_:7146 <rdf:type> <owl:Restriction>
_:7146 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7146 <owl:onProperty> <ns:wrotePhDThesis>
E27
(ISB10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB10#
<26882951:11af2cc5588:-712b#> <rdf:type> <owl:Ontology>
_:7129 <rdf:type> <owl:Restriction>
_:7129 <owl:onProperty> <ns:hasSSN>
_:7129 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Man> <rdfs:subClassOf> _:712a
<ns:Man> <rdfs:subClassOf> _:7129
<ns:Man> <rdfs:subClassOf> _:7128
_:712a <rdf:type> <owl:Restriction>
_:712a <owl:onProperty> <ns:hasSSN>
_:712a <owl:hasValue> ""^^<xsd:string>
_:7128 <rdf:type> <owl:Restriction>
_:7128 <owl:onProperty> <ns:hasSSN>
_:7128 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISB10#
_:7132 <rdf:type> <owl:Restriction>
_:7132 <owl:onProperty> <ns:hasSSN>
_:7132 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7133 <rdf:type> <owl:Restriction>
_:7133 <owl:onProperty> <ns:hasSSN>
_:7133 <owl:minCardinality> "1"^^<xsd:nonNegativeInteger>
_:7134 <rdf:type> <owl:Restriction>
_:7134 <owl:onProperty> <ns:hasSSN>
_:7134 <owl:hasValue> ""^^<xsd:string>
<ns:Man> <rdfs:subClassOf> _:7134
<ns:Man> <rdfs:subClassOf> _:7133
<ns:Man> <rdfs:subClassOf> _:7132
<26882951:11af2cc5588:-7135#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:712c
_:712c <rdf:type> <owl:Restriction>
_:712c <owl:onProperty> <ns:hasSSN>
_:712c <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB10#
<ns:Man> <owl:equivalentClass> _:7136
_:7136 <rdf:type> <owl:Restriction>
_:7136 <owl:cardinality> "1"^^<xsd:nonNegativeInteger>
_:7136 <owl:onProperty> <ns:hasSSN>
<ns:> <rdf:type> <owl:Ontology>
E28
(ISB11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB11#
<26882951:11af2cc5588:-7114#> <rdf:type> <owl:Ontology>
_:7113 <rdf:type> <owl:Restriction>
_:7113 <owl:onProperty> <ns:wrotePhDThesis>
_:7113 <owl:hasValue> ""^^<xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:7113
<ns:Researcher> <rdfs:subClassOf> _:7112
<ns:Researcher> <rdfs:subClassOf> _:7111
_:7111 <rdf:type> <owl:Restriction>
_:7111 <owl:onProperty> <ns:wrotePhDThesis>
_:7111 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7112 <rdf:type> <owl:Restriction>
_:7112 <owl:onProperty> <ns:wrotePhDThesis>
_:7112 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
  Inserted:
ns=http://www.example.org/ISB11#
_:711d <rdf:type> <owl:Restriction>
_:711d <owl:onProperty> <ns:wrotePhDThesis>
_:711d <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:711e <rdf:type> <owl:Restriction>
_:711e <owl:onProperty> <ns:wrotePhDThesis>
_:711e <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:711f <rdf:type> <owl:Restriction>
_:711f <owl:onProperty> <ns:wrotePhDThesis>
_:711f <owl:hasValue> ""^^<xsd:string>
<ns:Researcher> <rdfs:subClassOf> _:711f
<ns:Researcher> <rdfs:subClassOf> _:711e
<ns:Researcher> <rdfs:subClassOf> _:711d
<26882951:11af2cc5588:-7120#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB11#
<owl:Nothing> <owl:complementOf> <ns:Researcher>
_:7115 <rdf:type> <owl:Restriction>
_:7115 <owl:onProperty> <ns:wrotePhDThesis>
_:7115 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
<ns:Researcher> <owl:equivalentClass> _:7116
<ns:Researcher> <owl:equivalentClass> _:7115
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<ns:> <rdf:type> <owl:Ontology>
_:7116 <rdf:type> <owl:Restriction>
_:7116 <owl:onProperty> <ns:wrotePhDThesis>
_:7116 <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> _:7122
<ns:Researcher> <owl:equivalentClass> _:7121
<ns:Researcher> <owl:complementOf> <owl:Nothing>
<ns:Researcher> <owl:equivalentClass> <owl:Thing>
<ns:> <rdf:type> <owl:Ontology>
_:7121 <rdf:type> <owl:Restriction>
_:7121 <owl:maxCardinality> "1"^^<xsd:nonNegativeInteger>
_:7121 <owl:onProperty> <ns:wrotePhDThesis>
<owl:Thing> <rdfs:subClassOf> <ns:Researcher>
<owl:Thing> <owl:equivalentClass> <ns:Researcher>
_:7122 <rdf:type> <owl:Restriction>
_:7122 <owl:minCardinality> "0"^^<xsd:nonNegativeInteger>
_:7122 <owl:onProperty> <ns:wrotePhDThesis>
E29
(ISB12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB12#
<26882951:11af2cc5588:-70ff#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISB12#
<26882951:11af2cc5588:-7107#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISB12#
<ns:ItalianMan> <owl:equivalentClass> _:7102
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
<ns:> <rdf:type> <owl:Ontology>
_:7100 <rdf:first> <ns:Male>
_:7100 <rdf:rest> <rdf:nil>
_:7101 <rdf:first> <ns:Italian>
_:7101 <rdf:rest> _:7100
_:7102 <rdf:type> <owl:Class>
_:7102 <owl:intersectionOf> _:7101
 Removed:
ns=http://www.example.org/ISB12#
_:7109 <rdf:first> <ns:Italian>
_:7109 <rdf:rest> _:7108
<ns:ItalianMan> <owl:equivalentClass> _:710a
<ns:ItalianMan> <rdfs:subClassOf> <ns:Italian>
<ns:ItalianMan> <rdfs:subClassOf> <ns:Male>
_:710a <rdf:type> <owl:Class>
_:710a <owl:intersectionOf> _:7109
<ns:> <rdf:type> <owl:Ontology>
_:7108 <rdf:first> <ns:Male>
_:7108 <rdf:rest> <rdf:nil>
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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD03#
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD03.owl#hasAge> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD03.owl#hasAge> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD03.owl#hasAge> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD03.owl#hasAge>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD03.owl#hasAge> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD03.owl#hasAge>
<26882951:11af2cc5588:-70c0#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISD03#
<26882951:11af2cc5588:-70c2#> <rdf:type> <owl:Ontology>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD03.owl#hasAge> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD03.owl#hasAge> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD03.owl#hasAge> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD03.owl#hasAge>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD03.owl#hasAge> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD03.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>
E35
(ISD04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD04#
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isInteger> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isInteger> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isInteger> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isInteger>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isInteger> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isInteger>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isInteger> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isRational>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isInteger> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isReal>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isRational> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isRational> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isRational> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isRational>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isRational> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isRational>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isRational> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isReal>
<26882951:11af2cc5588:-70bc#> <rdf:type> <owl:Ontology>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isReal> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isReal> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isReal> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isReal>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isReal> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isReal>
  Inserted:
ns=http://www.example.org/ISD04#
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isInteger> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isInteger> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isInteger> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isInteger>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isInteger> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isInteger>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isInteger> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isRational>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isInteger> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isReal>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isRational> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isRational> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isRational> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isRational>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isRational> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isRational>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isRational> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isReal>
<26882951:11af2cc5588:-70be#> <rdf:type> <owl:Ontology>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isReal> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isReal> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isReal> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isReal>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isReal> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISD04.owl#isReal>
 Removed:
ns=http://www.example.org/ISD04#
<ns:isRational> <rdf:type> <owl:DatatypeProperty>
<ns:isRational> <rdf:type> <rdf:Property>
<ns:isRational> <owl:equivalentProperty> <ns:isRational>
<ns:isRational> <rdfs:subPropertyOf> <ns:isRational>
<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>
<ns:isReal> <rdf:type> <owl:DatatypeProperty>
<ns:isReal> <rdf:type> <rdf:Property>
<ns:isReal> <owl:equivalentProperty> <ns:isReal>
<ns:isReal> <rdfs:subPropertyOf> <ns:isReal>
<ns:> <rdf:type> <owl:Ontology>
<ns:isInteger> <rdf:type> <owl:DatatypeProperty>
<ns:isInteger> <rdf:type> <rdf:Property>
<ns:isInteger> <owl:equivalentProperty> <ns:isInteger>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isInteger>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>
 Removed:
ns=http://www.example.org/ISD04#
<ns:isRational> <rdf:type> <owl:DatatypeProperty>
<ns:isRational> <rdf:type> <rdf:Property>
<ns:isRational> <owl:equivalentProperty> <ns:isRational>
<ns:isRational> <rdfs:subPropertyOf> <ns:isRational>
<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>
<ns:isReal> <rdf:type> <owl:DatatypeProperty>
<ns:isReal> <rdf:type> <rdf:Property>
<ns:isReal> <owl:equivalentProperty> <ns:isReal>
<ns:isReal> <rdfs:subPropertyOf> <ns:isReal>
<ns:> <rdf:type> <owl:Ontology>
<ns:isInteger> <rdf:type> <owl:DatatypeProperty>
<ns:isInteger> <rdf:type> <rdf:Property>
<ns:isInteger> <owl:equivalentProperty> <ns:isInteger>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isInteger>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isReal>
<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>
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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE08#
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISE08.owl#hasName> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISE08.owl#hasName> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISE08.owl#hasName> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISE08.owl#hasName>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISE08.owl#hasName> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISE08.owl#hasName>
<26882951:11af2cc5588:-709c#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISE08#
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISE08.owl#hasName> <rdf:type> <owl:DatatypeProperty>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISE08.owl#hasName> <rdf:type> <rdf:Property>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISE08.owl#hasName> <owl:equivalentProperty> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISE08.owl#hasName>
<file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISE08.owl#hasName> <rdfs:subPropertyOf> <file:///E:\u005Craul\u005CCompartido\u005Crgarcia\u005Ceclipse\u005Cibse./fin/2008-07-05T13-05-24Experiment/SWIProlog/SemTalk/finals/final_ontologyISE08.owl#hasName>
<26882951:11af2cc5588:-709e#> <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>
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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF03#
<26882951:11af2cc5588:-7088#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISF03#
<26882951:11af2cc5588:-708a#> <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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG03#
<26882951:11af2cc5588:-707c#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISG03#
<26882951:11af2cc5588:-707e#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISG03#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasHusband> <rdfs:domain> <ns:Woman>
<ns:hasHusband> <rdfs:range> <ns:Man>
 Removed:
ns=http://www.example.org/ISG03#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasHusband> <rdfs:domain> <ns:Woman>
<ns:hasHusband> <rdfs:range> <ns:Man>
E52
(ISG04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG04#
<26882951:11af2cc5588:-7078#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISG04#
<26882951:11af2cc5588:-707a#> <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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG05#
<ns:hasTutor> <rdf:type> <owl:FunctionalProperty>
<ns:unique> <rdf:type> <owl:DatatypeProperty>
<ns:unique> <rdf:type> <rdf:Property>
<ns:unique> <owl:equivalentProperty> <ns:unique>
<ns:unique> <rdfs:subPropertyOf> <ns:unique>
<26882951:11af2cc5588:-7074#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISG05#
<26882951:11af2cc5588:-7076#> <rdf:type> <owl:Ontology>
<ns:hasTutor> <rdf:type> <owl:FunctionalProperty>
<ns:unique> <rdf:type> <owl:DatatypeProperty>
<ns:unique> <rdf:type> <rdf:Property>
<ns:unique> <owl:equivalentProperty> <ns:unique>
<ns:unique> <rdfs:subPropertyOf> <ns:unique>
 Removed:
ns=http://www.example.org/ISG05#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasTutor> <rdfs:domain> <ns:Professor>
<ns:hasTutor> <rdfs:range> <ns:Student>
<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>
 Removed:
ns=http://www.example.org/ISG05#
<ns:> <rdf:type> <owl:Ontology>
<ns:hasTutor> <rdfs:domain> <ns:Professor>
<ns:hasTutor> <rdfs:range> <ns:Student>
<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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI04#
<26882951:11af2cc5588:-7058#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISI04#
<26882951:11af2cc5588:-705a#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISI04#
<ns:MarySmith> <ns:hasName> "Mary"
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISI04#
<ns:MarySmith> <ns:hasName> "Mary"
<ns:> <rdf:type> <owl:Ontology>
E61
(ISI05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI05#
<26882951:11af2cc5588:-7054#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISI05#
<26882951:11af2cc5588:-7056#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISI05#
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISI05#
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:> <rdf:type> <owl:Ontology>
E62
(ISJ01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ01#
<26882951:11af2cc5588:-704d#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISJ01#
<26882951:11af2cc5588:-7051#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISJ01#
_:704e <owl:sameAs> _:704e
_:704e <rdf:type> <ns:Person>
_:704e <rdf:type> <owl:Thing>
_:704e <ns:hasChild> <ns:John>
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISJ01#
_:7052 <owl:sameAs> _:7052
_:7052 <rdf:type> <ns:Person>
_:7052 <rdf:type> <owl:Thing>
_:7052 <ns:hasChild> <ns:John>
<ns:> <rdf:type> <owl:Ontology>
E63
(ISJ02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ02#
<26882951:11af2cc5588:-7045#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISJ02#
<26882951:11af2cc5588:-7049#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISJ02#
<ns:> <rdf:type> <owl:Ontology>
_:7046 <owl:sameAs> _:7046
_:7046 <rdf:type> <ns:Parent>
_:7046 <rdf:type> <owl:Thing>
_:7046 <ns:hasChild> <ns:John>
 Removed:
ns=http://www.example.org/ISJ02#
<ns:> <rdf:type> <owl:Ontology>
_:704a <owl:sameAs> _:704a
_:704a <rdf:type> <ns:Parent>
_:704a <rdf:type> <owl:Thing>
_:704a <ns:hasChild> <ns:John>
E64
(ISJ03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ03#
<26882951:11af2cc5588:-703d#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISJ03#
<26882951:11af2cc5588:-7041#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISJ03#
_:703e <owl:sameAs> _:703e
_:703e <rdf:type> <owl:Thing>
_:703e <rdf:type> <ns:Person>
_:703e <ns:hasName> "Peter"
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISJ03#
_:7042 <owl:sameAs> _:7042
_:7042 <rdf:type> <owl:Thing>
_:7042 <rdf:type> <ns:Person>
_:7042 <ns:hasName> "Peter"
<ns:> <rdf:type> <owl:Ontology>
E65
(ISK01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK01#
<26882951:11af2cc5588:-7038#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISK01#
<26882951:11af2cc5588:-703a#> <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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK02#
<26882951:11af2cc5588:-7034#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISK02#
<26882951:11af2cc5588:-7036#> <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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK03#
_:7018 <rdf:first> <ns:Mary>
_:7018 <rdf:rest> <rdf:nil>
_:7019 <rdf:first> <ns:Joan>
_:7019 <rdf:rest> _:7018
<26882951:11af2cc5588:-701c#> <rdf:type> <owl:Ontology>
_:701a <rdf:first> <ns:Ann>
_:701a <rdf:rest> _:7019
_:701b <rdf:type> <owl:AllDifferent>
_:701b <owl:distinctMembers> _:701a
  Inserted:
ns=http://www.example.org/ISK03#
_:702c <rdf:first> <ns:Ann>
_:702c <rdf:rest> _:702b
<26882951:11af2cc5588:-702e#> <rdf:type> <owl:Ontology>
_:702d <rdf:type> <owl:AllDifferent>
_:702d <owl:distinctMembers> _:702c
_:702a <rdf:first> <ns:Mary>
_:702a <rdf:rest> <rdf:nil>
_:702b <rdf:first> <ns:Joan>
_:702b <rdf:rest> _:702a
 Removed:
ns=http://www.example.org/ISK03#
_:701d <rdf:first> <ns:Mary>
_:701d <rdf:rest> <rdf:nil>
_:701e <rdf:first> <ns:Joan>
_:701e <rdf:rest> _:701d
<ns:> <rdf:type> <owl:Ontology>
_:701f <rdf:first> <ns:Ann>
_:701f <rdf:rest> _:701e
_:7020 <rdf:type> <owl:AllDifferent>
_:7020 <owl:distinctMembers> _:701f
 Removed:
ns=http://www.example.org/ISK03#
_:7031 <rdf:first> <ns:Ann>
_:7031 <rdf:rest> _:7030
_:7032 <rdf:type> <owl:AllDifferent>
_:7032 <owl:distinctMembers> _:7031
<ns:> <rdf:type> <owl:Ontology>
_:702f <rdf:first> <ns:Mary>
_:702f <rdf:rest> <rdf:nil>
_:7030 <rdf:first> <ns:Joan>
_:7030 <rdf:rest> _:702f
E68
(ISL01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E69
(ISL02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E70
(ISL03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E71
(ISL04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E72
(ISL05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E73
(ISL06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E74
(ISL07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL07#
<26882951:11af2cc5588:-6ff4#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISL07#
<26882951:11af2cc5588:-6ff6#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL07#
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL07#
<ns:MaryAnn> <ns:hasName> "Ann"
<ns:> <rdf:type> <owl:Ontology>
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
<26882951:11af2cc5588:-6ff0#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISL08#
<26882951:11af2cc5588:-6ff2#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL08#
<ns:> <rdf:type> <owl:Ontology>
<ns:MaryAnn> <ns:hasName> "Ann"
 Removed:
ns=http://www.example.org/ISL08#
<ns:> <rdf:type> <owl:Ontology>
<ns:MaryAnn> <ns:hasName> "Ann"
E76
(ISL09)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E77
(ISL10)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E78
(ISL11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL11#
<26882951:11af2cc5588:-6fe4#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISL11#
<26882951:11af2cc5588:-6fe6#> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL11#
<ns:JohnDoe> <ns:hasSurname> "Doe"
<ns:JohnDoe> <ns:hasName> "John"
<ns:> <rdf:type> <owl:Ontology>
 Removed:
ns=http://www.example.org/ISL11#
<ns:JohnDoe> <ns:hasSurname> "Doe"
<ns:JohnDoe> <ns:hasName> "John"
<ns:> <rdf:type> <owl:Ontology>
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL12#
<26882951:11af2cc5588:-6fe0#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISL12#
<26882951:11af2cc5588:-6fe2#> <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 = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL13#
<ns:hasChild> <rdf:type> <owl:DatatypeProperty>
<26882951:11af2cc5588:-6fd9#> <rdf:type> <owl:Ontology>
<ns:John> <ns:hasChild> "\n "^^<xsd:string>
  Inserted:
ns=http://www.example.org/ISL13#
<ns:hasChild> <rdf:type> <owl:DatatypeProperty>
<26882951:11af2cc5588:-6fdd#> <rdf:type> <owl:Ontology>
<ns:John> <ns:hasChild> "\n "^^<xsd:string>
 Removed:
ns=http://www.example.org/ISL13#
_:6fda <owl:sameAs> _:6fda
_:6fda <rdf:type> <ns:Child>
_:6fda <rdf:type> <owl:Thing>
_:6fda <ns:hasName> "Paul"
<ns:> <rdf:type> <owl:Ontology>
<ns:John> <ns:hasChild> _:6fda
 Removed:
ns=http://www.example.org/ISL13#
<ns:John> <ns:hasChild> _:6fde
<ns:> <rdf:type> <owl:Ontology>
_:6fde <owl:sameAs> _:6fde
_:6fde <rdf:type> <ns:Child>
_:6fde <rdf:type> <owl:Thing>
_:6fde <ns:hasName> "Paul"
E81
(ISL14)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL14#
<ns:hasChild> <rdf:type> <owl:DatatypeProperty>
<26882951:11af2cc5588:-6fd1#> <rdf:type> <owl:Ontology>
<ns:John> <ns:hasChild> "\n "^^<xsd:string>
  Inserted:
ns=http://www.example.org/ISL14#
<ns:hasChild> <rdf:type> <owl:DatatypeProperty>
<26882951:11af2cc5588:-6fd5#> <rdf:type> <owl:Ontology>
<ns:John> <ns:hasChild> "\n "^^<xsd:string>
 Removed:
ns=http://www.example.org/ISL14#
_:6fd2 <owl:sameAs> _:6fd2
_:6fd2 <rdf:type> <ns:Child>
_:6fd2 <rdf:type> <owl:Thing>
_:6fd2 <ns:hasName> "Paul"
<ns:> <rdf:type> <owl:Ontology>
<ns:John> <ns:hasChild> _:6fd2
 Removed:
ns=http://www.example.org/ISL14#
<ns:> <rdf:type> <owl:Ontology>
_:6fd6 <owl:sameAs> _:6fd6
_:6fd6 <rdf:type> <ns:Child>
_:6fd6 <rdf:type> <owl:Thing>
_:6fd6 <ns:hasName> "Paul"
<ns:John> <ns:hasChild> _:6fd6
E82
(ISL15)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL15#
<26882951:11af2cc5588:-6fcc#> <rdf:type> <owl:Ontology>
  Inserted:
ns=http://www.example.org/ISL15#
<26882951:11af2cc5588:-6fce#> <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>
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#