Interoperability from SemTalk to WebODE (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (SemTalk) Step2 (WebODE)
E01
(ISA01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA01#
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISA01#
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
E02
(ISA02)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E03
(ISA03)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E04
(ISA04)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E05
(ISA05)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Removed:
ns=http://www.example.org/ISA05#
-[<ns:Man> <rdfs:subClassOf> <ns:Male>.]
  
E06
(ISA06)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA06#
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISA06#
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
 Removed:
ns=http://www.example.org/ISA06#
-[<ns:Woman> <rdfs:subClassOf> <ns:Woman>.]
 Removed:
ns=http://www.example.org/ISA06#
-[<ns:Woman> <rdfs:subClassOf> <ns:Woman>.]
  
E07
(ISA07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA07#
-[_:gxesmoju <owl:allValuesFrom> <ns:Car>., _:gxesmoju <owl:onProperty> <ns:hasCar>., <ns:Driver> <rdfs:subClassOf> _:gxesmoju., _:gxesmoju <rdf:type> <owl:Restriction>.]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<ns:hasCar_1> <rdfs:label> "hasCar^^xsd:string".]
-[<ns:hasCar_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:hasCar_1> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:Driver> <rdfs:label> "Driver^^xsd:string".]
-[<ns:Car> <rdfs:label> "Car^^xsd:string".]
-[<ns:hasCar> <rdfs:range> <ns:Car>.]
-[<ns:hasCar_1> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasCar> <rdfs:domain> <ns:Driver>.]
-[<ns:hasCar> <rdfs:label> "hasCar^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISA07#
-[_:ddonhhjq <owl:allValuesFrom> <ns:Car>., _:ddonhhjq <owl:onProperty> <ns:hasCar>., _:ddonhhjq <rdf:type> <owl:Restriction>., <ns:Driver> <rdfs:subClassOf> _:ddonhhjq.]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<ns:hasCar_1> <rdfs:label> "hasCar^^xsd:string".]
-[<ns:hasCar_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:hasCar_1> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:Driver> <rdfs:label> "Driver^^xsd:string".]
-[<ns:Car> <rdfs:label> "Car^^xsd:string".]
-[<ns:hasCar> <rdfs:range> <ns:Car>.]
-[<ns:hasCar_1> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasCar> <rdfs:domain> <ns:Driver>.]
-[<ns:hasCar> <rdfs:label> "hasCar^^xsd:string".]
 Removed:
ns=http://www.example.org/ISA07#
-[<ns:Driver> <rdfs:subClassOf> _:oapvouvh., _:oapvouvh <owl:someValuesFrom> <ns:Car>., _:oapvouvh <owl:onProperty> <ns:hasCar>., _:oapvouvh <rdf:type> <owl:Restriction>.]
  Removed:
ns=http://www.example.org/ISA07#
-[_:tlkxnoeu <owl:onProperty> <ns:hasCar>., _:tlkxnoeu <owl:someValuesFrom> <ns:Car>., <ns:Driver> <rdfs:subClassOf> _:tlkxnoeu., _:tlkxnoeu <rdf:type> <owl:Restriction>.]
E08
(ISA08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
-[<ns:wasBorn> <rdfs:domain> <ns:Italian>.]
-[<ns:wasBorn_1> <rdfs:label> "wasBorn^^xsd:string".]
-[<ns:wasBorn> <rdfs:label> "wasBorn^^xsd:string".]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<ns:wasBorn> <rdfs:range> <ns:Italy>.]
-[<ns:wasBorn_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
-[<ns:Italy> <rdfs:label> "Italy^^xsd:string".]
-[<ns:wasBorn_1> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:wasBorn_1> <rdf:type> <owl:ObjectProperty>.]
 Inserted:
ns=http://www.example.org/ISA08#
-[<ns:Italian> <rdfs:subClassOf> _:ofhgahld., _:ofhgahld <rdf:type> <owl:Restriction>., _:ofhgahld <owl:someValuesFrom> <ns:Italy>., _:ofhgahld <owl:onProperty> <ns:wasBorn>.]
 Inserted:
ns=http://www.example.org/ISA08#
-[_:ahxawgyg <owl:onProperty> <ns:wasBorn>., _:ahxawgyg <owl:allValuesFrom> <ns:Italy>., <ns:Italian> <rdfs:subClassOf> _:ahxawgyg., _:ahxawgyg <rdf:type> <owl:Restriction>.]
-[<ns:wasBorn> <rdfs:domain> <ns:Italian>.]
-[<ns:wasBorn_1> <rdfs:label> "wasBorn^^xsd:string".]
-[<ns:wasBorn> <rdfs:label> "wasBorn^^xsd:string".]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<ns:wasBorn> <rdfs:range> <ns:Italy>.]
-[<ns:wasBorn_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
-[<ns:Italy> <rdfs:label> "Italy^^xsd:string".]
-[<ns:wasBorn_1> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:wasBorn_1> <rdf:type> <owl:ObjectProperty>.]
   Removed:
ns=http://www.example.org/ISA08#
-[_:nxufcpbb <rdf:type> <owl:Restriction>., _:nxufcpbb <owl:onProperty> <ns:wasBorn>., <ns:Italian> <rdfs:subClassOf> _:nxufcpbb., _:nxufcpbb <owl:allValuesFrom> <ns:Italy>.]
 Removed:
ns=http://www.example.org/ISA08#
-[_:xjspgdtk <rdf:type> <owl:Restriction>., _:xjspgdtk <owl:someValuesFrom> <ns:Italy>., <ns:Italian> <rdfs:subClassOf> _:xjspgdtk., _:xjspgdtk <owl:onProperty> <ns:wasBorn>.]
E09
(ISA09)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E10
(ISA10)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E11
(ISA11)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E12
(ISA12)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E13
(ISA13)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISA13#
-[_:rkdejvsk <rdf:type> <owl:Restriction>., _:rkdejvsk <owl:onProperty> <ns:hasName>., <ns:Person> <rdfs:subClassOf> _:rkdejvsk., _:rkdejvsk <owl:hasValue> "^^xsd:string".]
  
E14
(ISA14)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISA14#
-[_:uyishiva <rdf:type> <owl:Restriction>., _:uyishiva <owl:onProperty> <ns:wrotePhDThesis>., _:uyishiva <owl:hasValue> "^^xsd:string"., <ns:Researcher> <rdfs:subClassOf> _:uyishiva.]
  
E15
(ISA15)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISA15#
-[_:houjalhx <rdf:type> <owl:Restriction>., _:houjalhx <owl:onProperty> <ns:hasSSN>., <ns:Person> <rdfs:subClassOf> _:houjalhx., _:houjalhx <owl:minCardinality> "1^^xsd:nonNegativeInteger".]
-[_:ffdrasfa <owl:hasValue> "^^xsd:string"., <ns:Person> <rdfs:subClassOf> _:ffdrasfa., _:ffdrasfa <rdf:type> <owl:Restriction>., _:ffdrasfa <owl:onProperty> <ns:hasSSN>.]
-[_:efgftegy <owl:onProperty> <ns:hasSSN>., _:efgftegy <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., <ns:Person> <rdfs:subClassOf> _:efgftegy., _:efgftegy <rdf:type> <owl:Restriction>.]
  
   Removed:
ns=http://www.example.org/ISA15#
-[_:mvhjeeou <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:mvhjeeou <owl:onProperty> <ns:hasSSN>., <ns:Person> <rdfs:subClassOf> _:mvhjeeou., _:mvhjeeou <rdf:type> <owl:Restriction>.]
  
E16
(ISA16)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISA16#
-[<ns:Researcher> <rdfs:subClassOf> _:spvklbyq., _:spvklbyq <owl:onProperty> <ns:wrotePhDThesis>., _:spvklbyq <owl:hasValue> "^^xsd:string"., _:spvklbyq <rdf:type> <owl:Restriction>.]
  
E17
(ISA17)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E18
(ISB01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB01#
-[<ns:Italienne> <rdfs:label> "Italienne^^xsd:string".]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
-[<ns:Italiano> <rdfs:label> "Italiano^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISB01#
-[<ns:Italienne> <rdfs:label> "Italienne^^xsd:string".]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
-[<ns:Italiano> <rdfs:label> "Italiano^^xsd:string".]
 Removed:
ns=http://www.example.org/ISB01#
-[<ns:Italian> <owl:equivalentClass> <ns:Italiano>.]
-[<ns:Italian> <owl:equivalentClass> <ns:Italienne>.]
 Removed:
ns=http://www.example.org/ISB01#
-[<ns:Italian> <owl:equivalentClass> <ns:Italiano>.]
-[<ns:Italian> <owl:equivalentClass> <ns:Italienne>.]
  
E19
(ISB02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB02#
-[_:ngagmiyn <owl:allValuesFrom> <ns:Car>., <ns:Driver> <rdfs:subClassOf> _:ngagmiyn., _:ngagmiyn <rdf:type> <owl:Restriction>., _:ngagmiyn <owl:onProperty> <ns:hasCar>.]
-[<ns:hasCar> <rdfs:domain> <ns:Driver>.]
-[<ns:hasCar> <rdfs:label> "hasCar^^xsd:string".]
-[<ns:hasCar_1> <rdfs:label> "hasCar^^xsd:string".]
-[<ns:hasCar_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<ns:hasCar_1> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasCar_1> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:hasCar> <rdfs:range> <ns:Car>.]
-[<ns:Car> <rdfs:label> "Car^^xsd:string".]
-[<ns:Driver> <rdfs:label> "Driver^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISB02#
-[_:jgaxbuel <owl:onProperty> <ns:hasCar>., _:jgaxbuel <rdf:type> <owl:Restriction>., _:jgaxbuel <owl:someValuesFrom> <ns:Car>., <ns:Driver> <rdfs:subClassOf> _:jgaxbuel.]
 Inserted:
ns=http://www.example.org/ISB02#
-[_:nolrclin <rdf:type> <owl:Restriction>., <ns:Driver> <rdfs:subClassOf> _:nolrclin., _:nolrclin <owl:allValuesFrom> <ns:Car>., _:nolrclin <owl:onProperty> <ns:hasCar>.]
-[<ns:hasCar> <rdfs:domain> <ns:Driver>.]
-[<ns:hasCar> <rdfs:label> "hasCar^^xsd:string".]
-[<ns:hasCar_1> <rdfs:label> "hasCar^^xsd:string".]
-[<ns:hasCar_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<ns:hasCar_1> <rdf:type> <owl:ObjectProperty>.]
-[<ns:hasCar_1> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:hasCar> <rdfs:range> <ns:Car>.]
-[<ns:Car> <rdfs:label> "Car^^xsd:string".]
-[<ns:Driver> <rdfs:label> "Driver^^xsd:string".]
 Removed:
ns=http://www.example.org/ISB02#
-[<ns:Driver> <owl:equivalentClass> _:xqhcqapr., _:xqhcqapr <owl:someValuesFrom> <ns:Car>., _:xqhcqapr <rdf:type> <owl:Restriction>., _:xqhcqapr <owl:onProperty> <ns:hasCar>.]
 Removed:
ns=http://www.example.org/ISB02#
-[_:idlechno <owl:onProperty> <ns:hasCar>., _:idlechno <owl:someValuesFrom> <ns:Car>., _:idlechno <rdf:type> <owl:Restriction>., <ns:Driver> <owl:equivalentClass> _:idlechno.]
 Removed:
ns=http://www.example.org/ISB02#
-[_:lcwnvbhl <owl:someValuesFrom> <ns:Car>., _:lcwnvbhl <rdf:type> <owl:Restriction>., _:lcwnvbhl <owl:onProperty> <ns:hasCar>., <ns:Driver> <rdfs:subClassOf> _:lcwnvbhl.]
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB03#
-[_:wwrymurg <owl:onProperty> <ns:wasBorn>., _:wwrymurg <owl:allValuesFrom> <ns:Italy>., _:wwrymurg <rdf:type> <owl:Restriction>., <ns:Italian> <rdfs:subClassOf> _:wwrymurg.]
-[<ns:wasBorn> <rdfs:label> "wasBorn^^xsd:string".]
-[<ns:wasBorn> <rdfs:range> <ns:Italy>.]
-[<ns:wasBorn_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
-[<ns:wasBorn_1> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:Italy> <rdfs:label> "Italy^^xsd:string".]
-[<ns:wasBorn> <rdfs:domain> <ns:Italian>.]
-[<ns:wasBorn_1> <rdfs:label> "wasBorn^^xsd:string".]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<ns:wasBorn_1> <rdf:type> <owl:ObjectProperty>.]
 Inserted:
ns=http://www.example.org/ISB03#
-[_:hntxwots <rdf:type> <owl:Restriction>., <ns:Italian> <rdfs:subClassOf> _:hntxwots., _:hntxwots <owl:onProperty> <ns:wasBorn>., _:hntxwots <owl:someValuesFrom> <ns:Italy>.]
 Inserted:
ns=http://www.example.org/ISB03#
-[<ns:Italian> <rdfs:subClassOf> _:vhewqtcv., _:vhewqtcv <rdf:type> <owl:Restriction>., _:vhewqtcv <owl:allValuesFrom> <ns:Italy>., _:vhewqtcv <owl:onProperty> <ns:wasBorn>.]
-[<ns:wasBorn> <rdfs:label> "wasBorn^^xsd:string".]
-[<ns:wasBorn> <rdfs:range> <ns:Italy>.]
-[<ns:wasBorn_1> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
-[<ns:wasBorn_1> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:Italy> <rdfs:label> "Italy^^xsd:string".]
-[<ns:wasBorn> <rdfs:domain> <ns:Italian>.]
-[<ns:wasBorn_1> <rdfs:label> "wasBorn^^xsd:string".]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<ns:wasBorn_1> <rdf:type> <owl:ObjectProperty>.]
 Removed:
ns=http://www.example.org/ISB03#
-[_:pxhjucmm <owl:onProperty> <ns:wasBorn>., <ns:Italian> <owl:equivalentClass> _:pxhjucmm., _:pxhjucmm <rdf:type> <owl:Restriction>., _:pxhjucmm <owl:allValuesFrom> <ns:Italy>.]
 Removed:
ns=http://www.example.org/ISB03#
-[_:mghwvbha <owl:onProperty> <ns:wasBorn>., _:mghwvbha <owl:allValuesFrom> <ns:Italy>., <ns:Italian> <owl:equivalentClass> _:mghwvbha., _:mghwvbha <rdf:type> <owl:Restriction>.]
 Removed:
ns=http://www.example.org/ISB03#
-[<ns:Italian> <rdfs:subClassOf> _:twroclxf., _:twroclxf <rdf:type> <owl:Restriction>., _:twroclxf <owl:onProperty> <ns:wasBorn>., _:twroclxf <owl:someValuesFrom> <ns:Italy>.]
E21
(ISB04)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E22
(ISB05)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E23
(ISB06)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E24
(ISB07)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E25
(ISB08)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISB08#
-[_:cyptsphk <owl:hasValue> "^^xsd:string"., _:cyptsphk <owl:onProperty> <ns:hasName>., _:cyptsphk <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:cyptsphk.]
-[<ns:Person> <rdfs:subClassOf> "".]
  
   Removed:
ns=http://www.example.org/ISB08#
-[<ns:Person> <owl:equivalentClass> "".]
  
E26
(ISB09)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISB09#
-[_:mxpblidt <rdf:type> <owl:Restriction>., _:mxpblidt <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:mxpblidt., _:mxpblidt <owl:maxCardinality> "1^^xsd:nonNegativeInteger".]
-[_:aossihub <owl:hasValue> "^^xsd:string"., <ns:Researcher> <rdfs:subClassOf> _:aossihub., _:aossihub <rdf:type> <owl:Restriction>., _:aossihub <owl:onProperty> <ns:wrotePhDThesis>.]
  
   Removed:
ns=http://www.example.org/ISB09#
-[_:gnjcdcfq <rdf:type> <owl:Restriction>., _:gnjcdcfq <owl:onProperty> <ns:wrotePhDThesis>., _:gnjcdcfq <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., <ns:Researcher> <owl:equivalentClass> _:gnjcdcfq.]
  
E27
(ISB10)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISB10#
-[<ns:Man> <rdfs:subClassOf> _:spukwljc., _:spukwljc <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:spukwljc <owl:onProperty> <ns:hasSSN>., _:spukwljc <rdf:type> <owl:Restriction>.]
-[_:ycwefxce <owl:minCardinality> "1^^xsd:nonNegativeInteger"., _:ycwefxce <owl:onProperty> <ns:hasSSN>., _:ycwefxce <rdf:type> <owl:Restriction>., <ns:Man> <rdfs:subClassOf> _:ycwefxce.]
-[_:dcjhknlu <owl:onProperty> <ns:hasSSN>., _:dcjhknlu <rdf:type> <owl:Restriction>., <ns:Man> <rdfs:subClassOf> _:dcjhknlu., _:dcjhknlu <owl:hasValue> "^^xsd:string".]
  
   Removed:
ns=http://www.example.org/ISB10#
-[_:kmxlvrcw <owl:cardinality> "1^^xsd:nonNegativeInteger"., <ns:Man> <owl:equivalentClass> _:kmxlvrcw., _:kmxlvrcw <rdf:type> <owl:Restriction>., _:kmxlvrcw <owl:onProperty> <ns:hasSSN>.]
  
E28
(ISB11)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISB11#
-[_:mhewukqa <owl:onProperty> <ns:wrotePhDThesis>., _:mhewukqa <rdf:type> <owl:Restriction>., <ns:Researcher> <rdfs:subClassOf> _:mhewukqa., _:mhewukqa <owl:maxCardinality> "1^^xsd:nonNegativeInteger".]
-[_:biucwtxq <owl:hasValue> "^^xsd:string"., _:biucwtxq <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:biucwtxq., _:biucwtxq <rdf:type> <owl:Restriction>.]
-[<ns:Researcher> <rdfs:subClassOf> "".]
  
   Removed:
ns=http://www.example.org/ISB11#
-[_:xgydknqk <rdf:type> <owl:Restriction>., _:xgydknqk <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <owl:equivalentClass> _:xgydknqk., _:xgydknqk <owl:maxCardinality> "1^^xsd:nonNegativeInteger".]
-[<ns:Researcher> <owl:equivalentClass> "".]
  
E29
(ISB12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB12#
-[<ns:ItalianMan> <rdfs:label> "ItalianMan^^xsd:string".]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
-[<ns:Male> <rdfs:label> "Male^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISB12#
-[<ns:ItalianMan> <rdfs:label> "ItalianMan^^xsd:string".]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
-[<ns:Male> <rdfs:label> "Male^^xsd:string".]
 Removed:
ns=http://www.example.org/ISB12#
-[_:rhpfonlr <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., <ns:ItalianMan> <owl:equivalentClass> _:rhpfonlr., _:rhpfonlr <rdf:type> <owl:Class>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.]
 Removed:
ns=http://www.example.org/ISB12#
-[<ns:ItalianMan> <owl:equivalentClass> _:ltuumdgt., _:ltuumdgt <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., _:ltuumdgt <rdf:type> <owl:Class>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.]
  
E30
(ISC01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISC01#
-[<ns:ItalianMan> <rdfs:label> "ItalianMan^^xsd:string".]
-[<ns:Male> <rdfs:label> "Male^^xsd:string".]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISC01#
-[<ns:ItalianMan> <rdfs:label> "ItalianMan^^xsd:string".]
-[<ns:Male> <rdfs:label> "Male^^xsd:string".]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
 Removed:
ns=http://www.example.org/ISC01#
-[<ns:ItalianMan> <owl:equivalentClass> _:pbnmrbdp., _:pbnmrbdp <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., _:pbnmrbdp <rdf:type> <owl:Class>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.]
  Removed:
ns=http://www.example.org/ISC01#
-[_:wpmuadvn <rdf:type> <owl:Class>., _:wpmuadvn <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}., <ns:ItalianMan> <owl:equivalentClass> _:wpmuadvn.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Italian>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Male>.]
E31
(ISC02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISC02#
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:ItalianMan> <rdfs:label> "ItalianMan^^xsd:string".]
-[<ns:Male> <rdfs:label> "Male^^xsd:string".]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISC02#
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:ItalianMan> <rdfs:label> "ItalianMan^^xsd:string".]
-[<ns:Male> <rdfs:label> "Male^^xsd:string".]
-[<ns:Italian> <rdfs:label> "Italian^^xsd:string".]
 Removed:
ns=http://www.example.org/ISC02#
-[_:mlveyeaq <rdf:type> <owl:Class>., <ns:ItalianMan> <owl:equivalentClass> _:mlveyeaq., _:mlveyeaq <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}.]
-[{x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}} <rdf:first> <ns:Italian>.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Person>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Male>.]
  Removed:
ns=http://www.example.org/ISC02#
-[_:oqstppbe <owl:intersectionOf> {x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}}., _:oqstppbe <rdf:type> <owl:Class>., <ns:ItalianMan> <owl:equivalentClass> _:oqstppbe.]
-[{x <rdf:rest> <rdf:nil>} <rdf:first> <ns:Person>.]
-[{x <rdf:rest> {x <rdf:rest> {x <rdf:rest> <rdf:nil>}}} <rdf:first> <ns:Italian>.]
-[{x <rdf:rest> {x <rdf:rest> <rdf:nil>}} <rdf:first> <ns:Male>.]
E32
(ISD01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD01#
-[<ns:hasChild> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
   Inserted:
ns=http://www.example.org/ISD01#
-[<ns:hasChild> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<ns:hasChild> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
E33
(ISD02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISD02#
-[<ns:isFatherOf> <rdfs:label> "isFatherOf^^xsd:string".]
-[<ns:isGrandFatherOf> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:isFatherOf> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:isFatherOf> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:isGrandFatherOf> <rdfs:label> "isGrandFatherOf^^xsd:string".]
-[<ns:isAncestorOf> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:isAncestorOf> <rdfs:label> "isAncestorOf^^xsd:string".]
-[<ns:isGrandFatherOf> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:isAncestorOf> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
   Inserted:
ns=http://www.example.org/ISD02#
-[<ns:isFatherOf> <rdfs:label> "isFatherOf^^xsd:string".]
-[<ns:isGrandFatherOf> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:isFatherOf> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:isFatherOf> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:isGrandFatherOf> <rdfs:label> "isGrandFatherOf^^xsd:string".]
-[<ns:isAncestorOf> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:isAncestorOf> <rdfs:label> "isAncestorOf^^xsd:string".]
-[<ns:isGrandFatherOf> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:isAncestorOf> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
 Removed:
ns=http://www.example.org/ISD02#
-[<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>.]
-[<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>.]
  Removed:
ns=http://www.example.org/ISD02#
-[<ns:isGrandFatherOf> <rdfs:subPropertyOf> <ns:isAncestorOf>.]
-[<ns:isFatherOf> <rdfs:subPropertyOf> <ns:isGrandFatherOf>.]
E34
(ISD03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISD03#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:hasAge> <rdf:type> <owl:DatatypeProperty>.]
  Removed:
ns=http://www.example.org/ISD03#
-[_:nfixhjko <rdf:type> <owl:Ontology>.]
-[<file:/E:/raul/Compartido/rgarcia/eclipse/interoperability_benchmarking/fin/2007-08-09T15-22-23Experiment/SemTalk/exchanged/ontology_exchangedISD03.owl#hasAge> <rdf:type> <owl:DatatypeProperty>.]
E35
(ISD04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISD04#
-[<diff:isInteger> <rdf:type> <owl:DatatypeProperty>.]
-[<diff:isInteger> <rdfs:subPropertyOf> <diff:isRational>.]
-[<diff:isReal> <rdf:type> <owl:DatatypeProperty>.]
-[<diff:isRational> <rdfs:subPropertyOf> <diff:isReal>.]
-[<diff:isRational> <rdf:type> <owl:DatatypeProperty>.]
  
 Removed:
ns=http://www.example.org/ISD04#
-[<ns:isReal> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:isInteger> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>.]
-[<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>.]
-[<ns:isRational> <rdf:type> <owl:DatatypeProperty>.]
 Removed:
ns=http://www.example.org/ISD04#
-[<ns:isReal> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:isInteger> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>.]
-[<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>.]
-[<ns:isRational> <rdf:type> <owl:DatatypeProperty>.]
 Removed:
ns=http://www.example.org/ISD04#
-[_:damvbndu <rdf:type> <owl:Ontology>.]
-[<file:/E:/raul/Compartido/rgarcia/eclipse/interoperability_benchmarking/fin/2007-08-09T15-22-23Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdf:type> <owl:DatatypeProperty>.]
-[<file:/E:/raul/Compartido/rgarcia/eclipse/interoperability_benchmarking/fin/2007-08-09T15-22-23Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdf:type> <owl:DatatypeProperty>.]
-[<file:/E:/raul/Compartido/rgarcia/eclipse/interoperability_benchmarking/fin/2007-08-09T15-22-23Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational> <rdfs:subPropertyOf> <file:/E:/raul/Compartido/rgarcia/eclipse/interoperability_benchmarking/fin/2007-08-09T15-22-23Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal>.]
-[<file:/E:/raul/Compartido/rgarcia/eclipse/interoperability_benchmarking/fin/2007-08-09T15-22-23Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isReal> <rdf:type> <owl:DatatypeProperty>.]
-[<file:/E:/raul/Compartido/rgarcia/eclipse/interoperability_benchmarking/fin/2007-08-09T15-22-23Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isInteger> <rdfs:subPropertyOf> <file:/E:/raul/Compartido/rgarcia/eclipse/interoperability_benchmarking/fin/2007-08-09T15-22-23Experiment/SemTalk/exchanged/ontology_exchangedISD04.owl#isRational>.]
E36
(ISE01)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E37
(ISE02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE02#
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<ns:hasChild> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
   Inserted:
ns=http://www.example.org/ISE02#
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<ns:hasChild> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
E38
(ISE03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE03#
-[_:faqafmwc <owl:allValuesFrom> <ns:Person>., <ns:Father> <rdfs:subClassOf> _:faqafmwc., _:faqafmwc <owl:onProperty> <ns:hasChild>., _:faqafmwc <rdf:type> <owl:Restriction>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:Father> <rdfs:label> "Father^^xsd:string".]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISE03#
-[_:psuesoqo <rdf:type> <owl:Restriction>., _:psuesoqo <owl:onProperty> <ns:hasChild>., _:psuesoqo <owl:allValuesFrom> <ns:Person>., <ns:Father> <rdfs:subClassOf> _:psuesoqo.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:Father> <rdfs:label> "Father^^xsd:string".]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
E39
(ISE04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE04#
-[_:qlpnsmed <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:qlpnsmed., _:qlpnsmed <owl:onProperty> <ns:hasChild>., _:qlpnsmed <owl:allValuesFrom> <ns:Person>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISE04#
-[_:gpujxakl <owl:onProperty> <ns:hasChild>., <ns:Person> <rdfs:subClassOf> _:gpujxakl., _:gpujxakl <owl:allValuesFrom> <ns:Person>., _:gpujxakl <rdf:type> <owl:Restriction>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
E40
(ISE05)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E41
(ISE06)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E42
(ISE07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE07#
-[<ns:Person> <rdfs:subClassOf> _:qbuwyvav., _:qbuwyvav <rdf:type> <owl:Restriction>., _:qbuwyvav <owl:onProperty> <ns:hasSSN>., _:qbuwyvav <owl:allValuesFrom> <xsd:string>.]
-[<ns:hasSSN> <rdfs:comment> "^^xsd:string".]
-[<ns:hasSSN> <rdfs:range> <xsd:string>.]
-[<ns:hasSSN> <rdfs:label> "hasSSN^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISE07#
-[_:xlfjxqbg <rdf:type> <owl:Restriction>., _:xlfjxqbg <owl:allValuesFrom> <xsd:string>., _:xlfjxqbg <owl:onProperty> <ns:hasSSN>., <ns:Person> <rdfs:subClassOf> _:xlfjxqbg.]
-[<ns:hasSSN> <rdfs:comment> "^^xsd:string".]
-[<ns:hasSSN> <rdfs:range> <xsd:string>.]
-[<ns:hasSSN> <rdfs:label> "hasSSN^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
E43
(ISE08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE08#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 Removed:
ns=http://www.example.org/ISE08#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdf:type> <owl:DatatypeProperty>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISE08#
-[_:kdjjecwg <rdf:type> <owl:Ontology>.]
-[<file:/E:/raul/Compartido/rgarcia/eclipse/interoperability_benchmarking/fin/2007-08-09T15-22-23Experiment/SemTalk/exchanged/ontology_exchangedISE08.owl#hasName> <rdf:type> <owl:DatatypeProperty>.]
E44
(ISE09)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISE09#
-[<ns:Person> <rdfs:subClassOf> _:mtusdgml., _:mtusdgml <owl:allValuesFrom> <xsd:string>., _:mtusdgml <rdf:type> <owl:Restriction>., _:mtusdgml <owl:onProperty> <ns:hasName>.]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
   Inserted:
ns=http://www.example.org/ISE09#
-[_:ywyuuyni <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:ywyuuyni., _:ywyuuyni <owl:onProperty> <ns:hasName>., _:ywyuuyni <owl:allValuesFrom> <xsd:string>.]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISE09#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISE09#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
  
E45
(ISE10)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Removed:
ns=http://www.example.org/ISE10#
-[<ns:hasChildNamed> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
  
E46
(ISF01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF01#
-[_:rmqcjdug <rdf:type> <owl:Restriction>., _:rmqcjdug <owl:allValuesFrom> <ns:City>., _:rmqcjdug <owl:onProperty> <ns:livesIn>., <ns:Person> <rdfs:subClassOf> _:rmqcjdug.]
-[<ns:Person> <rdfs:subClassOf> _:hefbaaig., _:hefbaaig <owl:onProperty> <ns:isResidentIn>., _:hefbaaig <rdf:type> <owl:Restriction>., _:hefbaaig <owl:allValuesFrom> <ns:City>.]
-[<ns:City> <rdfs:label> "City^^xsd:string".]
-[<ns:isResidentIn> <rdfs:label> "isResidentIn^^xsd:string".]
-[<ns:livesIn> <rdfs:label> "livesIn^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISF01#
-[_:vovdetnj <owl:allValuesFrom> <ns:City>., _:vovdetnj <owl:onProperty> <ns:livesIn>., <ns:Person> <rdfs:subClassOf> _:vovdetnj., _:vovdetnj <rdf:type> <owl:Restriction>.]
-[_:avyrlhme <rdf:type> <owl:Restriction>., _:avyrlhme <owl:allValuesFrom> <ns:City>., <ns:Person> <rdfs:subClassOf> _:avyrlhme., _:avyrlhme <owl:onProperty> <ns:isResidentIn>.]
-[<ns:City> <rdfs:label> "City^^xsd:string".]
-[<ns:isResidentIn> <rdfs:label> "isResidentIn^^xsd:string".]
-[<ns:livesIn> <rdfs:label> "livesIn^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
 Removed:
ns=http://www.example.org/ISF01#
-[<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>.]
  Removed:
ns=http://www.example.org/ISF01#
-[<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>.]
E47
(ISF02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF02#
-[_:hhlrxegm <owl:onProperty> <ns:hasSpanishName>., <ns:City> <rdfs:subClassOf> _:hhlrxegm., _:hhlrxegm <owl:allValuesFrom> <xsd:string>., _:hhlrxegm <rdf:type> <owl:Restriction>.]
-[<ns:City> <rdfs:subClassOf> _:phlnuvoh., _:phlnuvoh <owl:allValuesFrom> <xsd:string>., _:phlnuvoh <owl:onProperty> <ns:hasName>., _:phlnuvoh <rdf:type> <owl:Restriction>.]
-[<ns:hasSpanishName> <rdfs:range> <xsd:string>.]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<ns:hasSpanishName> <rdfs:label> "hasSpanishName^^xsd:string".]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<ns:hasSpanishName> <rdfs:comment> "^^xsd:string".]
-[<ns:City> <rdfs:label> "City^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
   Inserted:
ns=http://www.example.org/ISF02#
-[_:ulkpsdwb <rdf:type> <owl:Restriction>., <ns:City> <rdfs:subClassOf> _:ulkpsdwb., _:ulkpsdwb <owl:onProperty> <ns:hasSpanishName>., _:ulkpsdwb <owl:allValuesFrom> <xsd:string>.]
-[_:wuvghbgl <owl:allValuesFrom> <xsd:string>., <ns:City> <rdfs:subClassOf> _:wuvghbgl., _:wuvghbgl <rdf:type> <owl:Restriction>., _:wuvghbgl <owl:onProperty> <ns:hasName>.]
-[<ns:hasSpanishName> <rdfs:range> <xsd:string>.]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<ns:hasSpanishName> <rdfs:label> "hasSpanishName^^xsd:string".]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<ns:hasSpanishName> <rdfs:comment> "^^xsd:string".]
-[<ns:City> <rdfs:label> "City^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
 Removed:
ns=http://www.example.org/ISF02#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasSpanishName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <owl:equivalentProperty> <ns:hasSpanishName>.]
 Removed:
ns=http://www.example.org/ISF02#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasSpanishName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISF02#
-[<ns:hasName> <owl:equivalentProperty> <ns:hasSpanishName>.]
E48
(ISF03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISF03#
-[<ns:Child> <rdfs:subClassOf> _:naotxdxo., _:naotxdxo <rdf:type> <owl:Restriction>., _:naotxdxo <owl:allValuesFrom> <ns:Person>., _:naotxdxo <owl:onProperty> <ns:hasParent>.]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<ns:Child> <rdfs:label> "Child^^xsd:string".]
-[<ns:hasChild> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:hasParent> <rdfs:label> "hasParent^^xsd:string".]
-[<ns:hasChild> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
   Inserted:
ns=http://www.example.org/ISF03#
-[<ns:Child> <rdfs:subClassOf> _:bfhitdai., _:bfhitdai <owl:onProperty> <ns:hasParent>., _:bfhitdai <rdf:type> <owl:Restriction>., _:bfhitdai <owl:allValuesFrom> <ns:Person>.]
-[<ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing> <rdf:type> <owl:Class>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<ns:Child> <rdfs:label> "Child^^xsd:string".]
-[<ns:hasChild> <rdfs:range> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
-[<ns:hasParent> <rdfs:label> "hasParent^^xsd:string".]
-[<ns:hasChild> <rdfs:domain> <ns:http_3A_2F_2Fwww.w3.org_2F2002_2F07_2Fowl_23Thing>.]
 Removed:
ns=http://www.example.org/ISF03#
-[<ns:hasParent> <owl:inverseOf> <ns:hasChild>.]
 Removed:
ns=http://www.example.org/ISF03#
-[<ns:hasParent> <owl:inverseOf> <ns:hasChild>.]
  
E49
(ISG01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG01#
-[<ns:Person> <rdfs:subClassOf> _:mgqssdqu., _:mgqssdqu <owl:onProperty> <ns:hasFriend>., _:mgqssdqu <owl:allValuesFrom> <ns:Person>., _:mgqssdqu <rdf:type> <owl:Restriction>.]
-[<ns:hasFriend> <rdfs:label> "hasFriend^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISG01#
-[_:wgipjmfq <owl:allValuesFrom> <ns:Person>., _:wgipjmfq <owl:onProperty> <ns:hasFriend>., _:wgipjmfq <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:wgipjmfq.]
-[<ns:hasFriend> <rdfs:label> "hasFriend^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
 Removed:
ns=http://www.example.org/ISG01#
-[<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>.]
  Removed:
ns=http://www.example.org/ISG01#
-[<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>.]
E50
(ISG02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG02#
-[_:eqknvige <owl:allValuesFrom> <ns:Person>., <ns:Person> <rdfs:subClassOf> _:eqknvige., _:eqknvige <rdf:type> <owl:Restriction>., _:eqknvige <owl:onProperty> <ns:hasFriend>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasFriend> <rdfs:label> "hasFriend^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISG02#
-[_:rpsmkjrg <rdf:type> <owl:Restriction>., _:rpsmkjrg <owl:allValuesFrom> <ns:Person>., <ns:Person> <rdfs:subClassOf> _:rpsmkjrg., _:rpsmkjrg <owl:onProperty> <ns:hasFriend>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasFriend> <rdfs:label> "hasFriend^^xsd:string".]
 Removed:
ns=http://www.example.org/ISG02#
-[<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>.]
  Removed:
ns=http://www.example.org/ISG02#
-[<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>.]
E51
(ISG03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG03#
-[_:ghrvxhaj <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:ghrvxhaj <rdf:type> <owl:Restriction>., <ns:Woman> <rdfs:subClassOf> _:ghrvxhaj., _:ghrvxhaj <owl:onProperty> <ns:hasHusband>.]
-[_:fynmpdgd <owl:onProperty> <ns:hasHusband>., _:fynmpdgd <rdf:type> <owl:Restriction>., _:fynmpdgd <owl:allValuesFrom> <ns:Man>., <ns:Woman> <rdfs:subClassOf> _:fynmpdgd.]
-[<ns:hasHusband> <rdfs:label> "hasHusband^^xsd:string".]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISG03#
-[<ns:Woman> <rdfs:subClassOf> _:pdnjdbvh., _:pdnjdbvh <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:pdnjdbvh <owl:onProperty> <ns:hasHusband>., _:pdnjdbvh <rdf:type> <owl:Restriction>.]
-[_:itbdfgcg <owl:allValuesFrom> <ns:Man>., _:itbdfgcg <owl:onProperty> <ns:hasHusband>., _:itbdfgcg <rdf:type> <owl:Restriction>., <ns:Woman> <rdfs:subClassOf> _:itbdfgcg.]
-[<ns:hasHusband> <rdfs:label> "hasHusband^^xsd:string".]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
 Removed:
ns=http://www.example.org/ISG03#
-[<ns:hasHusband> <rdf:type> <owl:FunctionalProperty>.]
  Removed:
ns=http://www.example.org/ISG03#
-[<ns:hasHusband> <rdf:type> <owl:FunctionalProperty>.]
E52
(ISG04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG04#
-[<ns:Person> <rdfs:subClassOf> _:wmbjtuyu., _:wmbjtuyu <owl:allValuesFrom> <xsd:string>., _:wmbjtuyu <owl:onProperty> <ns:hasAge>., _:wmbjtuyu <rdf:type> <owl:Restriction>.]
-[<ns:hasAge> <rdfs:label> "hasAge^^xsd:string".]
-[<ns:hasAge> <rdfs:comment> "^^xsd:string".]
-[<ns:hasAge> <rdfs:range> <xsd:string>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
   Inserted:
ns=http://www.example.org/ISG04#
-[_:mxvifkmu <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:mxvifkmu., _:mxvifkmu <owl:allValuesFrom> <xsd:string>., _:mxvifkmu <owl:onProperty> <ns:hasAge>.]
-[<ns:hasAge> <rdfs:label> "hasAge^^xsd:string".]
-[<ns:hasAge> <rdfs:comment> "^^xsd:string".]
-[<ns:hasAge> <rdfs:range> <xsd:string>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISG04#
-[<ns:hasAge> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasAge> <rdf:type> <owl:FunctionalProperty>.]
 Removed:
ns=http://www.example.org/ISG04#
-[<ns:hasAge> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasAge> <rdf:type> <owl:FunctionalProperty>.]
  
E53
(ISG05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISG05#
-[_:fagcrlgv <owl:onProperty> <ns:hasTutor>., _:fagcrlgv <rdf:type> <owl:Restriction>., <ns:Professor> <rdfs:subClassOf> _:fagcrlgv., _:fagcrlgv <owl:allValuesFrom> <ns:Student>.]
-[<ns:Student> <rdfs:label> "Student^^xsd:string".]
-[<ns:hasTutor> <rdfs:label> "hasTutor^^xsd:string".]
-[<ns:Professor> <rdfs:label> "Professor^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISG05#
-[_:pohftwvs <rdf:type> <owl:Restriction>., <ns:Professor> <rdfs:subClassOf> _:pohftwvs., _:pohftwvs <owl:allValuesFrom> <ns:Student>., _:pohftwvs <owl:onProperty> <ns:hasTutor>.]
-[<ns:Student> <rdfs:label> "Student^^xsd:string".]
-[<ns:hasTutor> <rdfs:label> "hasTutor^^xsd:string".]
-[<ns:Professor> <rdfs:label> "Professor^^xsd:string".]
 Removed:
ns=http://www.example.org/ISG05#
-[<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>.]
 Removed:
ns=http://www.example.org/ISG05#
-[<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>.]
  
E54
(ISH01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISH01#
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/Peter> <rdfs:label> "Peter^^xsd:string".]
-[<http://www.example.org/Peter> <rdf:type> <ns:Person>.]
   Inserted:
ns=http://www.example.org/ISH01#
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/Peter> <rdfs:label> "Peter^^xsd:string".]
-[<http://www.example.org/Peter> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISH01#
-[<ns:Peter> <rdf:type> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISH01#
-[<ns:Peter> <rdf:type> <ns:Person>.]
E55
(ISH02)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E56
(ISH03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISH03#
-[<http://www.example.org/Mary> <rdf:type> <ns:Person>.]
-[<http://www.example.org/Peter> <rdf:type> <ns:Person>.]
-[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/Paul> <rdfs:label> "Paul^^xsd:string".]
-[<http://www.example.org/Peter> <rdfs:label> "Peter^^xsd:string".]
-[<http://www.example.org/Paul> <rdf:type> <ns:Person>.]
   Inserted:
ns=http://www.example.org/ISH03#
-[<http://www.example.org/Mary> <rdf:type> <ns:Person>.]
-[<http://www.example.org/Peter> <rdf:type> <ns:Person>.]
-[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/Paul> <rdfs:label> "Paul^^xsd:string".]
-[<http://www.example.org/Peter> <rdfs:label> "Peter^^xsd:string".]
-[<http://www.example.org/Paul> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISH03#
-[<ns:Mary> <rdf:type> <ns:Person>.]
-[<ns:Peter> <rdf:type> <ns:Person>.]
-[<ns:Paul> <rdf:type> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISH03#
-[<ns:Mary> <rdf:type> <ns:Person>.]
-[<ns:Peter> <rdf:type> <ns:Person>.]
-[<ns:Paul> <rdf:type> <ns:Person>.]
E57
(ISI01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI01#
-[<ns:Person> <rdfs:subClassOf> _:katoopha., _:katoopha <owl:onProperty> <ns:hasChild>., _:katoopha <owl:allValuesFrom> <ns:Person>., _:katoopha <rdf:type> <owl:Restriction>.]
-[<http://www.example.org/Mary> <rdf:type> <ns:Person>.]
-[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".]
-[<http://www.example.org/Paul> <rdfs:label> "Paul^^xsd:string".]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/Paul> <rdf:type> <ns:Person>.]
   Inserted:
ns=http://www.example.org/ISI01#
-[_:ncxksnrm <owl:onProperty> <ns:hasChild>., _:ncxksnrm <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:ncxksnrm., _:ncxksnrm <owl:allValuesFrom> <ns:Person>.]
-[<http://www.example.org/Mary> <rdf:type> <ns:Person>.]
-[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".]
-[<http://www.example.org/Paul> <rdfs:label> "Paul^^xsd:string".]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/Paul> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISI01#
-[<ns:Mary> <rdf:type> <ns:Person>.]
-[<ns:Mary> <ns:hasChild> <ns:Paul>.]
-[<ns:Paul> <rdf:type> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISI01#
-[<ns:Mary> <rdf:type> <ns:Person>.]
-[<ns:Mary> <ns:hasChild> <ns:Paul>.]
-[<ns:Paul> <rdf:type> <ns:Person>.]
E58
(ISI02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI02#
-[_:wegkemjo <owl:onProperty> <ns:knows>., _:wegkemjo <owl:allValuesFrom> <ns:Person>., _:wegkemjo <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:wegkemjo.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:knows> <rdfs:label> "knows^^xsd:string".]
-[<http://www.example.org/Peter> <rdfs:label> "Peter^^xsd:string".]
-[<http://www.example.org/Peter> <rdf:type> <ns:Person>.]
   Inserted:
ns=http://www.example.org/ISI02#
-[<ns:Person> <rdfs:subClassOf> _:eghcpmdr., _:eghcpmdr <owl:allValuesFrom> <ns:Person>., _:eghcpmdr <rdf:type> <owl:Restriction>., _:eghcpmdr <owl:onProperty> <ns:knows>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:knows> <rdfs:label> "knows^^xsd:string".]
-[<http://www.example.org/Peter> <rdfs:label> "Peter^^xsd:string".]
-[<http://www.example.org/Peter> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISI02#
-[<ns:Peter> <ns:knows> <ns:Peter>.]
-[<ns:Peter> <rdf:type> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISI02#
-[<ns:Peter> <ns:knows> <ns:Peter>.]
-[<ns:Peter> <rdf:type> <ns:Person>.]
E59
(ISI03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI03#
-[<ns:Mother> <rdfs:subClassOf> _:ssmikfop., _:ssmikfop <rdf:type> <owl:Restriction>., _:ssmikfop <owl:onProperty> <ns:hasChild>., _:ssmikfop <owl:allValuesFrom> <ns:Child>.]
-[<http://www.example.org/Paul> <rdf:type> <ns:Child>.]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".]
-[<http://www.example.org/Mary> <rdf:type> <ns:Mother>.]
-[<ns:Mother> <rdfs:label> "Mother^^xsd:string".]
-[<http://www.example.org/Paul> <rdfs:label> "Paul^^xsd:string".]
-[<ns:Child> <rdfs:label> "Child^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISI03#
-[_:tqtuelxk <owl:onProperty> <ns:hasChild>., _:tqtuelxk <owl:allValuesFrom> <ns:Child>., <ns:Mother> <rdfs:subClassOf> _:tqtuelxk., _:tqtuelxk <rdf:type> <owl:Restriction>.]
-[<http://www.example.org/Paul> <rdf:type> <ns:Child>.]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".]
-[<http://www.example.org/Mary> <rdf:type> <ns:Mother>.]
-[<ns:Mother> <rdfs:label> "Mother^^xsd:string".]
-[<http://www.example.org/Paul> <rdfs:label> "Paul^^xsd:string".]
-[<ns:Child> <rdfs:label> "Child^^xsd:string".]
 Removed:
ns=http://www.example.org/ISI03#
-[<ns:Paul> <rdf:type> <ns:Child>.]
-[<ns:Mary> <ns:hasChild> <ns:Paul>.]
-[<ns:Mary> <rdf:type> <ns:Mother>.]
  Removed:
ns=http://www.example.org/ISI03#
-[<ns:Paul> <rdf:type> <ns:Child>.]
-[<ns:Mary> <ns:hasChild> <ns:Paul>.]
-[<ns:Mary> <rdf:type> <ns:Mother>.]
E60
(ISI04)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI04#
-[_:wwdkopyl <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:wwdkopyl., _:wwdkopyl <owl:onProperty> <ns:hasName>., _:wwdkopyl <owl:allValuesFrom> <xsd:string>.]
-[<http://www.example.org/MarySmith> <rdfs:label> "MarySmith^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<http://www.example.org/MarySmith> <rdf:type> <ns:Person>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<http://www.example.org/MarySmith> <ns:hasName> "Mary^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISI04#
-[_:xcbulpxv <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:xcbulpxv., _:xcbulpxv <owl:allValuesFrom> <xsd:string>., _:xcbulpxv <owl:onProperty> <ns:hasName>.]
-[<http://www.example.org/MarySmith> <rdfs:label> "MarySmith^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<http://www.example.org/MarySmith> <rdf:type> <ns:Person>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<http://www.example.org/MarySmith> <ns:hasName> "Mary^^xsd:string".]
 Removed:
ns=http://www.example.org/ISI04#
-[<ns:MarySmith> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:MarySmith> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISI04#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISI04#
-[<ns:MarySmith> <ns:hasName> "Mary^^xsd:string".]
-[<ns:MarySmith> <rdf:type> <ns:Person>.]
E61
(ISI05)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISI05#
-[_:vtdhejuk <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:vtdhejuk., _:vtdhejuk <owl:onProperty> <ns:hasName>., _:vtdhejuk <rdf:type> <owl:Restriction>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".]
-[<http://www.example.org/MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
   Inserted:
ns=http://www.example.org/ISI05#
-[_:ovlyyqkr <rdf:type> <owl:Restriction>., _:ovlyyqkr <owl:onProperty> <ns:hasName>., <ns:Person> <rdfs:subClassOf> _:ovlyyqkr., _:ovlyyqkr <owl:allValuesFrom> <xsd:string>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".]
-[<http://www.example.org/MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISI05#
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISI05#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISI05#
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
E62
(ISJ01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ01#
-[<ns:Person> <rdfs:subClassOf> _:ksbbyfgy., _:ksbbyfgy <rdf:type> <owl:Restriction>., _:ksbbyfgy <owl:onProperty> <ns:hasChild>., _:ksbbyfgy <owl:allValuesFrom> <ns:Person>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/John> <rdf:type> <ns:Person>.]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<http://www.example.org/John> <rdfs:label> "John^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISJ01#
-[<ns:Person> <rdfs:subClassOf> _:gyetxlqb., _:gyetxlqb <owl:onProperty> <ns:hasChild>., _:gyetxlqb <owl:allValuesFrom> <ns:Person>., _:gyetxlqb <rdf:type> <owl:Restriction>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/John> <rdf:type> <ns:Person>.]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<http://www.example.org/John> <rdfs:label> "John^^xsd:string".]
 Removed:
ns=http://www.example.org/ISJ01#
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
-[<ns:John> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISJ01#
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
 Removed:
ns=http://www.example.org/ISJ01#
-[<ns:John> <rdf:type> <ns:Person>.]
E63
(ISJ02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ02#
-[_:eygsygai <owl:allValuesFrom> <ns:Person>., <ns:Parent> <rdfs:subClassOf> _:eygsygai., _:eygsygai <owl:onProperty> <ns:hasChild>., _:eygsygai <rdf:type> <owl:Restriction>.]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<http://www.example.org/John> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/John> <rdfs:label> "John^^xsd:string".]
-[<ns:Parent> <rdfs:label> "Parent^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISJ02#
-[_:cbacabvg <owl:onProperty> <ns:hasChild>., _:cbacabvg <rdf:type> <owl:Restriction>., <ns:Parent> <rdfs:subClassOf> _:cbacabvg., _:cbacabvg <owl:allValuesFrom> <ns:Person>.]
-[<ns:hasChild> <rdfs:label> "hasChild^^xsd:string".]
-[<http://www.example.org/John> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/John> <rdfs:label> "John^^xsd:string".]
-[<ns:Parent> <rdfs:label> "Parent^^xsd:string".]
 Removed:
ns=http://www.example.org/ISJ02#
-[<ns:genid1> <rdf:type> <ns:Parent>.]
-[<ns:John> <rdf:type> <ns:Person>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
 Removed:
ns=http://www.example.org/ISJ02#
-[<ns:genid1> <rdf:type> <ns:Parent>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
 Removed:
ns=http://www.example.org/ISJ02#
-[<ns:John> <rdf:type> <ns:Person>.]
E64
(ISJ03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ03#
-[_:nmxjxwae <owl:onProperty> <ns:hasName>., _:nmxjxwae <owl:allValuesFrom> <xsd:string>., _:nmxjxwae <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:nmxjxwae.]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISJ03#
-[<ns:Person> <rdfs:subClassOf> _:byqoktvr., _:byqoktvr <owl:allValuesFrom> <xsd:string>., _:byqoktvr <rdf:type> <owl:Restriction>., _:byqoktvr <owl:onProperty> <ns:hasName>.]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
 Removed:
ns=http://www.example.org/ISJ03#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:genid1> <ns:hasName> "Peter^^xsd:string".]
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISJ03#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:genid1> <ns:hasName> "Peter^^xsd:string".]
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
  
E65
(ISK01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK01#
-[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.]
-[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".]
-[<http://www.example.org/Mary> <rdf:type> <ns:Person>.]
   Inserted:
ns=http://www.example.org/ISK01#
-[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.]
-[<http://www.example.org/Mary> <rdfs:label> "Mary^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".]
-[<http://www.example.org/Mary> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISK01#
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:Mary> <rdf:type> <ns:Person>.]
-[<ns:Mary> <owl:sameAs> <ns:MaryAnn>.]
 Removed:
ns=http://www.example.org/ISK01#
-[<ns:Mary> <owl:sameAs> <ns:MaryAnn>.]
 Removed:
ns=http://www.example.org/ISK01#
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:Mary> <rdf:type> <ns:Person>.]
E66
(ISK02)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK02#
-[<http://www.example.org/Ann> <rdf:type> <ns:Person>.]
-[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".]
-[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.]
-[<http://www.example.org/Ann> <rdfs:label> "Ann^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISK02#
-[<http://www.example.org/Ann> <rdf:type> <ns:Person>.]
-[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".]
-[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.]
-[<http://www.example.org/Ann> <rdfs:label> "Ann^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
 Removed:
ns=http://www.example.org/ISK02#
-[<ns:Ann> <owl:differentFrom> <ns:MaryAnn>.]
-[<ns:Ann> <rdf:type> <ns:Person>.]
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
 Removed:
ns=http://www.example.org/ISK02#
-[<ns:Ann> <owl:differentFrom> <ns:MaryAnn>.]
 Removed:
ns=http://www.example.org/ISK02#
-[<ns:Ann> <rdf:type> <ns:Person>.]
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
E67
(ISK03)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E68
(ISL01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL01#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL01#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E69
(ISL02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL02#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL02#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E70
(ISL03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL03#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL03#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E71
(ISL04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL04#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL04#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E72
(ISL05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL05#
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL05#
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
E73
(ISL06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL06#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL06#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E74
(ISL07)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL07#
-[_:bpboxixa <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:bpboxixa., _:bpboxixa <owl:allValuesFrom> <xsd:string>., _:bpboxixa <owl:onProperty> <ns:hasName>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
   Inserted:
ns=http://www.example.org/ISL07#
-[_:bdopagvt <rdf:type> <owl:Restriction>., _:bdopagvt <owl:allValuesFrom> <xsd:string>., _:bdopagvt <owl:onProperty> <ns:hasName>., <ns:Person> <rdfs:subClassOf> _:bdopagvt.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL07#
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL07#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL07#
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
E75
(ISL08)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL08#
-[_:rjnsxexm <owl:allValuesFrom> <xsd:string>., _:rjnsxexm <owl:onProperty> <ns:hasName>., _:rjnsxexm <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:rjnsxexm.]
-[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".]
-[<http://www.example.org/MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL08#
-[_:vnmoufke <owl:onProperty> <ns:hasName>., _:vnmoufke <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:vnmoufke., _:vnmoufke <rdf:type> <owl:Restriction>.]
-[<http://www.example.org/MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<http://www.example.org/MaryAnn> <rdfs:label> "MaryAnn^^xsd:string".]
-[<http://www.example.org/MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
 Removed:
ns=http://www.example.org/ISL08#
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL08#
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL08#
-[<ns:MaryAnn> <rdf:type> <ns:Person>.]
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
E76
(ISL09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL09#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL09#
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
E77
(ISL10)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL10#
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL10#
-[<ns:Woman> <rdfs:label> "Woman^^xsd:string".]
-[<ns:Man> <rdfs:label> "Man^^xsd:string".]
E78
(ISL11)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL11#
-[_:ytrupgog <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:ytrupgog., _:ytrupgog <rdf:type> <owl:Restriction>., _:ytrupgog <owl:onProperty> <ns:hasName>.]
-[<ns:Person> <rdfs:subClassOf> _:ghxtvutg., _:ghxtvutg <owl:onProperty> <ns:hasSurname>., _:ghxtvutg <owl:allValuesFrom> <xsd:string>., _:ghxtvutg <rdf:type> <owl:Restriction>.]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<http://www.example.org/JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<http://www.example.org/JohnDoe> <rdf:type> <ns:Person>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<http://www.example.org/JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/JohnDoe> <rdfs:label> "JohnDoe^^xsd:string".]
-[<ns:hasSurname> <rdfs:label> "hasSurname^^xsd:string".]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<ns:hasSurname> <rdfs:range> <xsd:string>.]
-[<ns:hasSurname> <rdfs:comment> "^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
   Inserted:
ns=http://www.example.org/ISL11#
-[<ns:Person> <rdfs:subClassOf> _:ifavddsr., _:ifavddsr <rdf:type> <owl:Restriction>., _:ifavddsr <owl:onProperty> <ns:hasName>., _:ifavddsr <owl:allValuesFrom> <xsd:string>.]
-[_:lbypuiop <owl:allValuesFrom> <xsd:string>., _:lbypuiop <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:lbypuiop., _:lbypuiop <owl:onProperty> <ns:hasSurname>.]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<http://www.example.org/JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<http://www.example.org/JohnDoe> <rdf:type> <ns:Person>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<http://www.example.org/JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/JohnDoe> <rdfs:label> "JohnDoe^^xsd:string".]
-[<ns:hasSurname> <rdfs:label> "hasSurname^^xsd:string".]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<ns:hasSurname> <rdfs:range> <xsd:string>.]
-[<ns:hasSurname> <rdfs:comment> "^^xsd:string".]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL11#
-[<ns:JohnDoe> <rdf:type> <ns:Person>.]
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL11#
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL11#
-[<ns:JohnDoe> <rdf:type> <ns:Person>.]
-[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
E79
(ISL12)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL12#
-[<ns:Person> <rdfs:subClassOf> _:wdobmgdh., _:wdobmgdh <owl:onProperty> <ns:hasSurname>., _:wdobmgdh <rdf:type> <owl:Restriction>., _:wdobmgdh <owl:allValuesFrom> <xsd:string>.]
-[_:mboyjyte <owl:allValuesFrom> <xsd:string>., <ns:Person> <rdfs:subClassOf> _:mboyjyte., _:mboyjyte <rdf:type> <owl:Restriction>., _:mboyjyte <owl:onProperty> <ns:hasName>.]
-[<ns:hasSurname> <rdfs:range> <xsd:string>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<ns:hasSurname> <rdfs:comment> "^^xsd:string".]
-[<ns:hasSurname> <rdfs:label> "hasSurname^^xsd:string".]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/JohnDoe> <rdfs:label> "JohnDoe^^xsd:string".]
-[<http://www.example.org/JohnDoe> <rdf:type> <ns:Person>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
   Inserted:
ns=http://www.example.org/ISL12#
-[_:ojtfeekf <owl:allValuesFrom> <xsd:string>., _:ojtfeekf <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:ojtfeekf., _:ojtfeekf <owl:onProperty> <ns:hasSurname>.]
-[_:fcaaugbv <owl:onProperty> <ns:hasName>., <ns:Person> <rdfs:subClassOf> _:fcaaugbv., _:fcaaugbv <rdf:type> <owl:Restriction>., _:fcaaugbv <owl:allValuesFrom> <xsd:string>.]
-[<ns:hasSurname> <rdfs:range> <xsd:string>.]
-[<ns:hasName> <rdfs:label> "hasName^^xsd:string".]
-[<ns:hasSurname> <rdfs:comment> "^^xsd:string".]
-[<ns:hasSurname> <rdfs:label> "hasSurname^^xsd:string".]
-[<ns:hasName> <rdfs:range> <xsd:string>.]
-[<ns:hasName> <rdfs:comment> "^^xsd:string".]
-[<ns:Person> <rdfs:label> "Person^^xsd:string".]
-[<http://www.example.org/JohnDoe> <rdfs:label> "JohnDoe^^xsd:string".]
-[<http://www.example.org/JohnDoe> <rdf:type> <ns:Person>.]
-[<xsd:string> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL12#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<ns:JohnDoe> <rdf:type> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
 Removed:
ns=http://www.example.org/ISL12#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
 Removed:
ns=http://www.example.org/ISL12#
-[<ns:JohnDoe> <rdf:type> <ns:Person>.]
E80
(ISL13)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E81
(ISL14)		Interchange = N.E.
Execution = N.E.		 Interchange = N.E.
Execution = C.E.		 Interchange = N.E.
Execution = N.E.
E82
(ISL15)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL15#
-[<ns:Book> <rdfs:comment> "rdfs:label : Book||rdfs:label : Libro||^^xsd:string".]
-[<ns:Book> <rdfs:label> "Book^^xsd:string".]
   Inserted:
ns=http://www.example.org/ISL15#
-[<ns:Book> <rdfs:comment> "rdfs:label : Book||rdfs:label : Libro||^^xsd:string".]
-[<ns:Book> <rdfs:label> "Book^^xsd:string".]
 Removed:
ns=http://www.example.org/ISL15#
-[<ns:Book> <rdfs:label> "Libro@es".]
-[<ns:Book> <rdfs:label> "Book@en".]
  Removed:
ns=http://www.example.org/ISL15#
-[<ns:Book> <rdfs:label> "Libro@es".]
-[<ns:Book> <rdfs:label> "Book@en".]
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#