Interoperability from ProtegeOWL to SemTalk (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (ProtegeOWL) Step2 (SemTalk)
E01
(ISA01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E02
(ISA02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA02#
-[<ns:Child> <rdfs:subClassOf> <ns:Man>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISA02#
-[<ns:Child> <rdfs:subClassOf> <ns:Man>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Person>.]
E03
(ISA03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA03#
-[<ns:Child> <rdfs:subClassOf> <ns:Person>.]
-[<ns:Child> <rdfs:subClassOf> <ns:Man>.]
  Removed:
ns=http://www.example.org/ISA03#
-[<ns:Child> <rdfs:subClassOf> <ns:Person>.]
-[<ns:Child> <rdfs:subClassOf> <ns:Man>.]
E04
(ISA04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA04#
-[<ns:Woman> <rdfs:subClassOf> <ns:Person>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISA04#
-[<ns:Woman> <rdfs:subClassOf> <ns:Person>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Person>.]
E05
(ISA05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISA05#
-[<ns:Male> <rdfs:subClassOf> <ns:Man>.]
-[<ns:Man> <rdfs:subClassOf> <ns:Male>.]
  Removed:
ns=http://www.example.org/ISA05#
-[<ns:Male> <rdfs:subClassOf> <ns:Man>.]
-[<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 = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E08
(ISA08)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E09
(ISA09)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E10
(ISA10)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E11
(ISA11)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E12
(ISA12)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E13
(ISA13)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E14
(ISA14)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E15
(ISA15)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E16
(ISA16)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E17
(ISA17)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E18
(ISB01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 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 = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E20
(ISB03)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E21
(ISB04)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E22
(ISB05)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E23
(ISB06)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E24
(ISB07)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E25
(ISB08)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E26
(ISB09)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E27
(ISB10)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E28
(ISB11)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E29
(ISB12)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E30
(ISC01)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E31
(ISC02)		Interchange = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E32
(ISD01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E33
(ISD02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE01#
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISE01#
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
E37
(ISE02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE02#
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISE02#
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
E38
(ISE03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE03#
-[<ns:hasChild> <rdfs:domain> <ns:Father>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISE03#
-[<ns:hasChild> <rdfs:domain> <ns:Father>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
E39
(ISE04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE04#
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISE04#
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
E40
(ISE05)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE05#
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:hasChild> <rdfs:domain> <ns:Woman>.]
-[<ns:hasChild> <rdfs:domain> <ns:Mother>.]
  Removed:
ns=http://www.example.org/ISE05#
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:hasChild> <rdfs:domain> <ns:Woman>.]
-[<ns:hasChild> <rdfs:domain> <ns:Mother>.]
E41
(ISE06)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE06#
-[<ns:hasChild> <rdfs:range> <ns:Human>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISE06#
-[<ns:hasChild> <rdfs:range> <ns:Human>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
E42
(ISE07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISE07#
-[<ns:hasSSN> <rdfs:domain> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISE07#
-[<ns:hasSSN> <rdfs:domain> <ns:Person>.]
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#
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
  Removed:
ns=http://www.example.org/ISE09#
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<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>.]
-[<ns:hasChildNamed> <rdfs:domain> <ns:Woman>.]
-[<ns:hasChildNamed> <rdfs:domain> <ns:Mother>.]
  Removed:
ns=http://www.example.org/ISE10#
-[<ns:hasChildNamed> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasChildNamed> <rdfs:domain> <ns:Woman>.]
-[<ns:hasChildNamed> <rdfs:domain> <ns:Mother>.]
E46
(ISF01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISF01#
-[<ns:isResidentIn> <rdfs:domain> <ns:Person>.]
-[<ns:livesIn> <rdfs:domain> <ns:Person>.]
-[<ns:isResidentIn> <rdfs:range> <ns:City>.]
-[<ns:livesIn> <rdfs:range> <ns:City>.]
-[<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>.]
  Removed:
ns=http://www.example.org/ISF01#
-[<ns:isResidentIn> <rdfs:domain> <ns:Person>.]
-[<ns:livesIn> <rdfs:domain> <ns:Person>.]
-[<ns:isResidentIn> <rdfs:range> <ns:City>.]
-[<ns:livesIn> <rdfs:range> <ns:City>.]
-[<ns:isResidentIn> <owl:equivalentProperty> <ns:livesIn>.]
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>.]
-[<ns:hasName> <rdfs:domain> <ns:City>.]
-[<ns:hasName> <owl:equivalentProperty> <ns:hasSpanishName>.]
-[<ns:hasSpanishName> <rdfs:domain> <ns:City>.]
  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> <rdfs:domain> <ns:City>.]
-[<ns:hasName> <owl:equivalentProperty> <ns:hasSpanishName>.]
-[<ns:hasSpanishName> <rdfs:domain> <ns:City>.]
E48
(ISF03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
   Inserted:
ns=http://www.example.org/ISF03#
-[<ns:hasChild> <owl:inverseOf> <ns:hasParent>.]
  
 Removed:
ns=http://www.example.org/ISF03#
-[<ns:hasParent> <rdfs:range> <ns:Person>.]
-[<ns:hasParent> <owl:inverseOf> <ns:hasChild>.]
-[<ns:hasParent> <rdfs:domain> <ns:Child>.]
  Removed:
ns=http://www.example.org/ISF03#
-[<ns:hasParent> <rdfs:range> <ns:Person>.]
-[<ns:hasChild> <owl:inverseOf> <ns:hasParent>.]
-[<ns:hasParent> <owl:inverseOf> <ns:hasChild>.]
-[<ns:hasParent> <rdfs:domain> <ns:Child>.]
E49
(ISG01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISG01#
-[<ns:hasFriend> <rdfs:range> <ns:Person>.]
-[<ns:hasFriend> <rdfs:domain> <ns:Person>.]
-[<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>.]
  Removed:
ns=http://www.example.org/ISG01#
-[<ns:hasFriend> <rdfs:range> <ns:Person>.]
-[<ns:hasFriend> <rdfs:domain> <ns:Person>.]
-[<ns:hasFriend> <rdf:type> <owl:TransitiveProperty>.]
E50
(ISG02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISG02#
-[<ns:hasFriend> <rdfs:range> <ns:Person>.]
-[<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>.]
-[<ns:hasFriend> <rdfs:domain> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISG02#
-[<ns:hasFriend> <rdfs:range> <ns:Person>.]
-[<ns:hasFriend> <rdf:type> <owl:SymmetricProperty>.]
-[<ns:hasFriend> <rdfs:domain> <ns:Person>.]
E51
(ISG03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISG03#
-[<ns:hasHusband> <rdfs:domain> <ns:Woman>.]
-[<ns:hasHusband> <rdf:type> <owl:FunctionalProperty>.]
-[<ns:hasHusband> <rdfs:range> <ns:Man>.]
  Removed:
ns=http://www.example.org/ISG03#
-[<ns:hasHusband> <rdfs:domain> <ns:Woman>.]
-[<ns:hasHusband> <rdf:type> <owl:FunctionalProperty>.]
-[<ns:hasHusband> <rdfs:range> <ns:Man>.]
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>.]
-[<ns:hasAge> <rdfs:domain> <ns:Person>.]
  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>.]
-[<ns:hasAge> <rdfs:domain> <ns:Person>.]
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>.]
-[<ns:hasTutor> <rdfs:domain> <ns:Professor>.]
-[<ns:hasTutor> <rdfs:range> <ns:Student>.]
  Removed:
ns=http://www.example.org/ISG05#
-[<ns:hasTutor> <rdf:type> <owl:InverseFunctionalProperty>.]
-[<ns:hasTutor> <rdfs:domain> <ns:Professor>.]
-[<ns:hasTutor> <rdfs:range> <ns:Student>.]
E54
(ISH01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E55
(ISH02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISH02#
-[<ns:Peter> <rdf:type> <ns:Student>.]
-[<ns:Peter> <rdf:type> <ns:Father>.]
  Removed:
ns=http://www.example.org/ISH02#
-[<ns:Peter> <rdf:type> <ns:Student>.]
-[<ns:Peter> <rdf:type> <ns:Father>.]
E56
(ISH03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E57
(ISI01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISI01#
-[<ns:Mary> <ns:hasChild> <ns:Paul>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISI01#
-[<ns:Mary> <ns:hasChild> <ns:Paul>.]
-[<ns:hasChild> <rdfs:domain> <ns:Person>.]
-[<ns:hasChild> <rdfs:range> <ns:Person>.]
E58
(ISI02)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISI02#
-[<ns:knows> <rdfs:range> <ns:Person>.]
-[<ns:Peter> <ns:knows> <ns:Peter>.]
-[<ns:knows> <rdfs:domain> <ns:Person>.]
  Removed:
ns=http://www.example.org/ISI02#
-[<ns:knows> <rdfs:range> <ns:Person>.]
-[<ns:Peter> <ns:knows> <ns:Peter>.]
-[<ns:knows> <rdfs:domain> <ns:Person>.]
E59
(ISI03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISI03#
-[<ns:Mary> <ns:hasChild> <ns:Paul>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:hasChild> <rdfs:domain> <ns:Mother>.]
  Removed:
ns=http://www.example.org/ISI03#
-[<ns:Mary> <ns:hasChild> <ns:Paul>.]
-[<ns:hasChild> <rdfs:range> <ns:Child>.]
-[<ns:hasChild> <rdfs:domain> <ns:Mother>.]
E60
(ISI04)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISI04#
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:MarySmith> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
  Removed:
ns=http://www.example.org/ISI04#
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:MarySmith> <ns:hasName> "Mary^^xsd:string".]
-[<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".]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
  Removed:
ns=http://www.example.org/ISI05#
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
E62
(ISJ01)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISJ01#
-[<diff:genid-A0> <rdf:type> <ns:Person>.]
-[<diff:genid-A0> <ns:hasChild> <ns:John>.]
  
   Removed:
ns=http://www.example.org/ISJ01#
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
  
E63
(ISJ02)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISJ02#
-[<diff:genid-A0> <ns:hasChild> <ns:John>.]
-[<diff:genid-A0> <rdf:type> <ns:Parent>.]
  
   Removed:
ns=http://www.example.org/ISJ02#
-[<ns:genid1> <rdf:type> <ns:Parent>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
  
E64
(ISJ03)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISJ03#
-[<diff:genid-A0> <ns:hasName> "Peter^^xsd:string".]
-[<diff:genid-A0> <rdf:type> <ns:Person>.]
  
   Removed:
ns=http://www.example.org/ISJ03#
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<ns:genid1> <ns:hasName> "Peter^^xsd:string".]
  
E65
(ISK01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISK01#
-[<ns:Mary> <owl:sameAs> <ns:MaryAnn>.]
  Removed:
ns=http://www.example.org/ISK01#
-[<ns:Mary> <owl:sameAs> <ns:MaryAnn>.]
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 = N.E.
Execution = FAIL		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = FAIL
E68
(ISL01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E69
(ISL02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E70
(ISL03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E71
(ISL04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E72
(ISL05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E73
(ISL06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E74
(ISL07)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL07#
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<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#
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<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:domain> <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/ISL08#
-[<ns:MaryAnn> <ns:hasName> "Ann^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
-[<ns:MaryAnn> <ns:hasName> "Mary^^xsd:string".]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
E76
(ISL09)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E77
(ISL10)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E78
(ISL11)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISL11#
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<ns:hasSurname> <rdfs:domain> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
  Removed:
ns=http://www.example.org/ISL11#
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<ns:hasSurname> <rdfs:domain> <ns:Person>.]
-[<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:domain> <ns:Person>.]
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
  Removed:
ns=http://www.example.org/ISL12#
-[<ns:hasSurname> <rdfs:domain> <ns:Person>.]
-[<ns:hasSurname> <rdfs:range> <rdfs:Literal>.]
-[<ns:JohnDoe> <ns:hasName> "John^^xsd:string".]
-[<ns:JohnDoe> <ns:hasSurname> "Doe^^xsd:string".]
-[<ns:hasName> <rdfs:domain> <ns:Person>.]
-[<rdfs:Literal> <rdf:type> <owl:Datatype>.]
-[<ns:hasName> <rdfs:range> <rdfs:Literal>.]
E80
(ISL13)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISL13#
-[<ns:John> <ns:hasChild> <diff:genid-A0>.]
-[<diff:genid-A0> <rdf:type> <ns:Child>.]
-[<diff:genid-A0> <ns:hasName> "Paul^^xsd:string".]
  
   Removed:
ns=http://www.example.org/ISL13#
-[<ns:genid-node1> <rdf:type> <ns:Child>.]
-[<ns:genid-node1> <ns:hasName> "Paul^^xsd:string".]
-[<ns:John> <ns:hasChild> <ns:genid-node1>.]
  
E81
(ISL14)		Interchange = N.E.
Execution = FAIL		 Interchange = DIFFERENT
Execution = OK		 Interchange = N.E.
Execution = FAIL
   Inserted:
ns=http://www.example.org/ISL14#
-[<diff:genid-A0> <ns:hasName> "Paul^^xsd:string".]
-[<ns:John> <ns:hasChild> <diff:genid-A0>.]
-[<diff:genid-A0> <rdf:type> <ns:Child>.]
  
   Removed:
ns=http://www.example.org/ISL14#
-[<ns:John> <ns:hasChild> <ns:genid1>.]
-[<ns:genid1> <rdf:type> <ns:Child>.]
-[<ns:genid1> <ns:hasName> "Paul^^xsd:string".]
  
E82
(ISL15)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
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#