Interoperability from KAON2 to SemTalk (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)
Interoperability Step1 (KAON2) Step2 (SemTalk)
E01
(ISA01)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISA01#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
Removed:
ns=http://www.example.org/ISA01#
-[<ns:Person> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 
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
 Removed:
ns=http://www.example.org/ISA05#
-[<ns:Man> <rdfs:subClassOf> <ns:Male>.]
 Removed:
ns=http://www.example.org/ISA05#
-[<ns:Man> <rdfs:subClassOf> <ns:Male>.]
E06
(ISA06)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 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 = 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#
-[_:jnqnsyst <rdf:type> <owl:Restriction>., _:jnqnsyst <owl:someValuesFrom> <ns:Italy>., <ns:Italian> <rdfs:subClassOf> _:jnqnsyst., _:jnqnsyst <owl:onProperty> <ns:wasBorn>.]
  Inserted:
ns=http://www.example.org/ISA08#
-[_:rgkucjyt <owl:onProperty> <ns:wasBorn>., _:rgkucjyt <owl:someValuesFrom> <ns:Italy>., <ns:Italian> <rdfs:subClassOf> _:rgkucjyt., _:rgkucjyt <rdf:type> <owl:Restriction>.]
 Removed:
ns=http://www.example.org/ISA08#
-[_:lgfgvsdv <rdf:type> <owl:Restriction>., <ns:Italian> <rdfs:subClassOf> _:lgfgvsdv., _:lgfgvsdv <owl:allValuesFrom> <ns:Italy>., _:lgfgvsdv <owl:onProperty> <ns:wasBorn>.]
 Removed:
ns=http://www.example.org/ISA08#
-[_:aosddxtr <owl:allValuesFrom> <ns:Italy>., _:aosddxtr <owl:onProperty> <ns:wasBorn>., _:aosddxtr <rdf:type> <owl:Restriction>., <ns:Italian> <rdfs:subClassOf> _:aosddxtr.]
E09
(ISA09)
Interchange = N.E.
Execution = N.E.
Interchange = N.E.
Execution = C.E.
Interchange = N.E.
Execution = N.E.
E10
(ISA10)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA10#
-[_:tkeseriu <rdf:type> <owl:Restriction>., <ns:Researcher> <rdfs:subClassOf> _:tkeseriu., _:tkeseriu <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:tkeseriu <owl:onProperty> <ns:hasAffiliation>.]
 Removed:
ns=http://www.example.org/ISA10#
-[_:fqlhdcuo <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:fqlhdcuo <rdf:type> <owl:Restriction>., _:fqlhdcuo <owl:onProperty> <ns:hasAffiliation>., <ns:Researcher> <rdfs:subClassOf> _:fqlhdcuo.]
E11
(ISA11)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA11#
-[<ns:Person> <rdfs:subClassOf> _:hhwidmne., _:hhwidmne <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:hhwidmne <owl:onProperty> <ns:hasMother>., _:hhwidmne <rdf:type> <owl:Restriction>.]
 Removed:
ns=http://www.example.org/ISA11#
-[<ns:Person> <rdfs:subClassOf> _:asvjxmie., _:asvjxmie <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:asvjxmie <owl:onProperty> <ns:hasMother>., _:asvjxmie <rdf:type> <owl:Restriction>.]
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 = N.E.
Interchange = N.E.
Execution = C.E.
Interchange = N.E.
Execution = N.E.
E14
(ISA14)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA14#
-[_:knoguxto <owl:onProperty> <ns:wrotePhDThesis>., _:knoguxto <owl:hasValue> "^^xsd:string"., <ns:Researcher> <rdfs:subClassOf> _:knoguxto., _:knoguxto <rdf:type> <owl:Restriction>.]
  Inserted:
ns=http://www.example.org/ISA14#
-[_:okcpeqtu <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:okcpeqtu., _:okcpeqtu <owl:hasValue> "^^xsd:string"., _:okcpeqtu <rdf:type> <owl:Restriction>.]
E15
(ISA15)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA15#
-[<ns:Person> <rdfs:subClassOf> _:vbnwbpwx., _:vbnwbpwx <owl:onProperty> <ns:hasSSN>., _:vbnwbpwx <rdf:type> <owl:Restriction>., _:vbnwbpwx <owl:hasValue> "^^xsd:string".]
-[_:vlnhgxdh <owl:minCardinality> "1^^xsd:nonNegativeInteger"., _:vlnhgxdh <owl:onProperty> <ns:hasSSN>., <ns:Person> <rdfs:subClassOf> _:vlnhgxdh., _:vlnhgxdh <rdf:type> <owl:Restriction>.]
-[_:sluweiau <owl:onProperty> <ns:hasSSN>., _:sluweiau <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:sluweiau <rdf:type> <owl:Restriction>., <ns:Person> <rdfs:subClassOf> _:sluweiau.]
  Inserted:
ns=http://www.example.org/ISA15#
-[<ns:Person> <rdfs:subClassOf> _:gytiuiks., _:gytiuiks <rdf:type> <owl:Restriction>., _:gytiuiks <owl:hasValue> "^^xsd:string"., _:gytiuiks <owl:onProperty> <ns:hasSSN>.]
-[_:ajmotnpn <owl:minCardinality> "1^^xsd:nonNegativeInteger"., _:ajmotnpn <owl:onProperty> <ns:hasSSN>., <ns:Person> <rdfs:subClassOf> _:ajmotnpn., _:ajmotnpn <rdf:type> <owl:Restriction>.]
-[_:tjwqmumf <owl:onProperty> <ns:hasSSN>., _:tjwqmumf <rdf:type> <owl:Restriction>., _:tjwqmumf <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., <ns:Person> <rdfs:subClassOf> _:tjwqmumf.]
 Removed:
ns=http://www.example.org/ISA15#
-[<ns:Person> <rdfs:subClassOf> _:texnubwr., _:texnubwr <rdf:type> <owl:Restriction>., _:texnubwr <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:texnubwr <owl:onProperty> <ns:hasSSN>.]
 Removed:
ns=http://www.example.org/ISA15#
-[_:ihvlipey <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:ihvlipey <rdf:type> <owl:Restriction>., _:ihvlipey <owl:onProperty> <ns:hasSSN>., <ns:Person> <rdfs:subClassOf> _:ihvlipey.]
E16
(ISA16)
Interchange = N.E.
Execution = N.E.
Interchange = N.E.
Execution = C.E.
Interchange = N.E.
Execution = N.E.
E17
(ISA17)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E18
(ISB01)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E19
(ISB02)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB02#
-[_:tdnmupae <owl:someValuesFrom> <ns:Car>., _:tdnmupae <rdf:type> <owl:Restriction>., _:tdnmupae <owl:onProperty> <ns:hasCar>., <ns:Driver> <rdfs:subClassOf> _:tdnmupae.]
  Inserted:
ns=http://www.example.org/ISB02#
-[<ns:Driver> <rdfs:subClassOf> _:tytphads., _:tytphads <owl:someValuesFrom> <ns:Car>., _:tytphads <owl:onProperty> <ns:hasCar>., _:tytphads <rdf:type> <owl:Restriction>.]
 Removed:
ns=http://www.example.org/ISB02#
-[_:lqudklua <rdf:type> <owl:Restriction>., _:lqudklua <owl:onProperty> <ns:hasCar>., _:lqudklua <owl:someValuesFrom> <ns:Car>., <ns:Driver> <owl:equivalentClass> _:lqudklua.]
 Removed:
ns=http://www.example.org/ISB02#
-[_:vuwpqjkb <rdf:type> <owl:Restriction>., _:vuwpqjkb <owl:onProperty> <ns:hasCar>., <ns:Driver> <owl:equivalentClass> _:vuwpqjkb., _:vuwpqjkb <owl:someValuesFrom> <ns:Car>.]
E20
(ISB03)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB03#
-[<ns:Italian> <rdfs:subClassOf> _:mykfursg., _:mykfursg <rdf:type> <owl:Restriction>., _:mykfursg <owl:onProperty> <ns:wasBorn>., _:mykfursg <owl:someValuesFrom> <ns:Italy>.]
  Inserted:
ns=http://www.example.org/ISB03#
-[_:mjiiaheg <owl:someValuesFrom> <ns:Italy>., _:mjiiaheg <owl:onProperty> <ns:wasBorn>., _:mjiiaheg <rdf:type> <owl:Restriction>., <ns:Italian> <rdfs:subClassOf> _:mjiiaheg.]
 Removed:
ns=http://www.example.org/ISB03#
-[_:ysxrgbdn <owl:onProperty> <ns:wasBorn>., _:ysxrgbdn <rdf:type> <owl:Restriction>., <ns:Italian> <owl:equivalentClass> _:ysxrgbdn., _:ysxrgbdn <owl:allValuesFrom> <ns:Italy>.]
 Removed:
ns=http://www.example.org/ISB03#
-[_:sahjboht <owl:allValuesFrom> <ns:Italy>., <ns:Italian> <owl:equivalentClass> _:sahjboht., _:sahjboht <rdf:type> <owl:Restriction>., _:sahjboht <owl:onProperty> <ns:wasBorn>.]
E21
(ISB04)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISB04#
-[_:qglnntwg <owl:onProperty> <ns:worksIn>., _:qglnntwg <owl:minCardinality> "1^^xsd:nonNegativeInteger"., _:qglnntwg <rdf:type> <owl:Restriction>., <ns:Employee> <owl:equivalentClass> _:qglnntwg.]
 Removed:
ns=http://www.example.org/ISB04#
-[_:feqtkyce <owl:onProperty> <ns:worksIn>., _:feqtkyce <owl:minCardinality> "1^^xsd:nonNegativeInteger"., <ns:Employee> <owl:equivalentClass> _:feqtkyce., _:feqtkyce <rdf:type> <owl:Restriction>.]
E22
(ISB05)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISB05#
-[<ns:Researcher> <owl:equivalentClass> _:cohmubao., _:cohmubao <rdf:type> <owl:Restriction>., _:cohmubao <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:cohmubao <owl:onProperty> <ns:hasAffiliation>.]
 Removed:
ns=http://www.example.org/ISB05#
-[_:tsuqgfaw <owl:onProperty> <ns:hasAffiliation>., <ns:Researcher> <owl:equivalentClass> _:tsuqgfaw., _:tsuqgfaw <rdf:type> <owl:Restriction>., _:tsuqgfaw <owl:maxCardinality> "1^^xsd:nonNegativeInteger".]
E23
(ISB06)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISB06#
-[_:cmofiraq <owl:onProperty> <ns:hasMother>., <ns:Man> <owl:equivalentClass> _:cmofiraq., _:cmofiraq <rdf:type> <owl:Restriction>., _:cmofiraq <owl:cardinality> "1^^xsd:nonNegativeInteger".]
 Removed:
ns=http://www.example.org/ISB06#
-[_:csmbwapw <owl:onProperty> <ns:hasMother>., <ns:Man> <owl:equivalentClass> _:csmbwapw., _:csmbwapw <rdf:type> <owl:Restriction>., _:csmbwapw <owl:cardinality> "1^^xsd:nonNegativeInteger".]
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 = N.E.
Interchange = N.E.
Execution = C.E.
Interchange = N.E.
Execution = N.E.
E26
(ISB09)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB09#
-[_:gmukwxly <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:gmukwxly., _:gmukwxly <rdf:type> <owl:Restriction>., _:gmukwxly <owl:maxCardinality> "1^^xsd:nonNegativeInteger".]
-[_:vdjqiwce <rdf:type> <owl:Restriction>., _:vdjqiwce <owl:hasValue> "^^xsd:string"., _:vdjqiwce <owl:onProperty> <ns:wrotePhDThesis>., <ns:Researcher> <rdfs:subClassOf> _:vdjqiwce.]
  Inserted:
ns=http://www.example.org/ISB09#
-[_:deqhgvis <rdf:type> <owl:Restriction>., _:deqhgvis <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., <ns:Researcher> <rdfs:subClassOf> _:deqhgvis., _:deqhgvis <owl:onProperty> <ns:wrotePhDThesis>.]
-[_:bjuprqxh <owl:onProperty> <ns:wrotePhDThesis>., _:bjuprqxh <rdf:type> <owl:Restriction>., <ns:Researcher> <rdfs:subClassOf> _:bjuprqxh., _:bjuprqxh <owl:hasValue> "^^xsd:string".]
 Removed:
ns=http://www.example.org/ISB09#
-[_:wtyukvce <owl:onProperty> <ns:wrotePhDThesis>., _:wtyukvce <rdf:type> <owl:Restriction>., _:wtyukvce <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., <ns:Researcher> <owl:equivalentClass> _:wtyukvce.]
 Removed:
ns=http://www.example.org/ISB09#
-[<ns:Researcher> <owl:equivalentClass> _:irimdduy., _:irimdduy <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:irimdduy <rdf:type> <owl:Restriction>., _:irimdduy <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#
-[<ns:Man> <rdfs:subClassOf> _:fucmjjyw., _:fucmjjyw <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:fucmjjyw <owl:onProperty> <ns:hasSSN>., _:fucmjjyw <rdf:type> <owl:Restriction>.]
-[_:rrmrvdws <rdf:type> <owl:Restriction>., _:rrmrvdws <owl:onProperty> <ns:hasSSN>., _:rrmrvdws <owl:minCardinality> "1^^xsd:nonNegativeInteger"., <ns:Man> <rdfs:subClassOf> _:rrmrvdws.]
-[<ns:Man> <rdfs:subClassOf> _:wirshhef., _:wirshhef <rdf:type> <owl:Restriction>., _:wirshhef <owl:onProperty> <ns:hasSSN>., _:wirshhef <owl:hasValue> "^^xsd:string".]
  Inserted:
ns=http://www.example.org/ISB10#
-[_:euypmixb <owl:maxCardinality> "1^^xsd:nonNegativeInteger"., _:euypmixb <owl:onProperty> <ns:hasSSN>., _:euypmixb <rdf:type> <owl:Restriction>., <ns:Man> <rdfs:subClassOf> _:euypmixb.]
-[_:dkbnmvgo <owl:onProperty> <ns:hasSSN>., _:dkbnmvgo <rdf:type> <owl:Restriction>., <ns:Man> <rdfs:subClassOf> _:dkbnmvgo., _:dkbnmvgo <owl:minCardinality> "1^^xsd:nonNegativeInteger".]
-[_:rgcotciv <owl:hasValue> "^^xsd:string"., _:rgcotciv <rdf:type> <owl:Restriction>., _:rgcotciv <owl:onProperty> <ns:hasSSN>., <ns:Man> <rdfs:subClassOf> _:rgcotciv.]
 Removed:
ns=http://www.example.org/ISB10#
-[_:wdansdiw <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:wdansdiw <owl:onProperty> <ns:hasSSN>., _:wdansdiw <rdf:type> <owl:Restriction>., <ns:Man> <owl:equivalentClass> _:wdansdiw.]
 Removed:
ns=http://www.example.org/ISB10#
-[<ns:Man> <owl:equivalentClass> _:ljaenjfc., _:ljaenjfc <owl:cardinality> "1^^xsd:nonNegativeInteger"., _:ljaenjfc <owl:onProperty> <ns:hasSSN>., _:ljaenjfc <rdf:type> <owl:Restriction>.]
E28
(ISB11)
Interchange = N.E.
Execution = N.E.
Interchange = N.E.
Execution = C.E.
Interchange = N.E.
Execution = N.E.
E29
(ISB12)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E30
(ISC01)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E31
(ISC02)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E32
(ISD01)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISD01#
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
Removed:
ns=http://www.example.org/ISD01#
-[<ns:hasChild> <rdf:type> <owl:ObjectProperty>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 
E33
(ISD02)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E34
(ISD03)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
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#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:hasAge> <rdf:type> <owl:DatatypeProperty>.]
 
E35
(ISD04)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISD04#
-[<ns:isRational> <rdfs:subPropertyOf> <ns:isReal>.]
-[<ns:isInteger> <rdfs:subPropertyOf> <ns:isRational>.]
 Removed:
ns=http://www.example.org/ISD04#
-[<ns:isRational> <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
 Removed:
ns=http://www.example.org/ISE08#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISE08#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
E44
(ISE09)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE09#
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
 Removed:
ns=http://www.example.org/ISE09#
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
E45
(ISE10)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE10#
-[<ns:hasChildNamed> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISE10#
-[<ns:hasChildNamed> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
E46
(ISF01)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E47
(ISF02)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 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> <rdfs:range> <rdfs:Literal>.]
-[<ns:hasSpanishName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
E48
(ISF03)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 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 = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E50
(ISG02)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E51
(ISG03)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E52
(ISG04)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISG04#
-[<ns:hasAge> <rdf:type> <owl:FunctionalProperty>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasAge> <rdfs:range> <rdfs:Literal>.]
 Removed:
ns=http://www.example.org/ISG04#
-[<ns:hasAge> <rdf:type> <owl:FunctionalProperty>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasAge> <rdfs:range> <rdfs:Literal>.]
E53
(ISG05)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 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 = 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
 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:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
E61
(ISI05)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISI05#
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
 Removed:
ns=http://www.example.org/ISI05#
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
E62
(ISJ01)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E63
(ISJ02)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E64
(ISJ03)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISJ03#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISJ03#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
E65
(ISK01)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E66
(ISK02)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISK02#
-[<ns:Ann> <owl:differentFrom> <ns:MaryAnn>.]
 Removed:
ns=http://www.example.org/ISK02#
-[<ns:Ann> <owl:differentFrom> <ns:MaryAnn>.]
E67
(ISK03)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
E68
(ISL01)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL01#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
Removed:
ns=http://www.example.org/ISL01#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
 
E69
(ISL02)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL02#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
Removed:
ns=http://www.example.org/ISL02#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
 
E70
(ISL03)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL03#
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
Removed:
ns=http://www.example.org/ISL03#
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
 
E71
(ISL04)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL04#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
Removed:
ns=http://www.example.org/ISL04#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
 
E72
(ISL05)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL05#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
Removed:
ns=http://www.example.org/ISL05#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
 
E73
(ISL06)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL06#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
Removed:
ns=http://www.example.org/ISL06#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
 
E74
(ISL07)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL07#
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
 Removed:
ns=http://www.example.org/ISL07#
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
E75
(ISL08)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL08#
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL08#
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
E76
(ISL09)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL09#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
Removed:
ns=http://www.example.org/ISL09#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
-[<ns:Woman> <rdf:type> <owl:Class>.]
 
E77
(ISL10)
Interchange = DIFFERENT
Execution = OK
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
 Removed:
ns=http://www.example.org/ISL10#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
Removed:
ns=http://www.example.org/ISL10#
-[<ns:Woman> <rdf:type> <owl:Class>.]
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:Man> <rdf:type> <owl:Class>.]
 
E78
(ISL11)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL11#
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
 Removed:
ns=http://www.example.org/ISL11#
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
E79
(ISL12)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL12#
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
 Removed:
ns=http://www.example.org/ISL12#
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
E80
(ISL13)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL13#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL13#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
E81
(ISL14)
Interchange = DIFFERENT
Execution = OK
Interchange = SAME
Execution = OK
Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL14#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
 Removed:
ns=http://www.example.org/ISL14#
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
E82
(ISL15)
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
Interchange = SAME
Execution = OK
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#