Interoperability from SWIProlog to KAON2 (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (SWIProlog) Step2 (KAON2)
E01
(ISA01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E06
(ISA06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E07
(ISA07)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E08
(ISA08)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E09
(ISA09)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E10
(ISA10)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E11
(ISA11)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E12
(ISA12)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E13
(ISA13)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E14
(ISA14)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E15
(ISA15)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E16
(ISA16)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E20
(ISB03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E21
(ISB04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E22
(ISB05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E23
(ISB06)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E24
(ISB07)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E25
(ISB08)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.E.
E26
(ISB09)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E27
(ISB10)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E28
(ISB11)		Interchange = N.E.
Execution = C.E.		 Interchange = SAME
Execution = OK		 Interchange = N.E.
Execution = C.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 = SAME
Execution = OK		 Interchange = DIFFERENT
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 = 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#
-[<ns:> <rdf:type> <owl:Ontology>.]
-[<ns:hasAge> <rdf:type> <owl:DatatypeProperty>.]
E35
(ISD04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E44
(ISE09)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E45
(ISE10)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E46
(ISF01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E47
(ISF02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E48
(ISF03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E53
(ISG05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E54
(ISH01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E55
(ISH02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E56
(ISH03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E57
(ISI01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E58
(ISI02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E59
(ISI03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E60
(ISI04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E61
(ISI05)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E62
(ISJ01)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ01#
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISJ01.owl#genid1> <ns:hasChild> <ns:John>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISJ01.owl#genid1> <rdf:type> <ns:Person>.]
 Inserted:
ns=http://www.example.org/ISJ01#
-[<diff:genid1> <ns:hasChild> <ns:John>.]
-[<diff:genid1> <rdf:type> <ns:Person>.]
 Inserted:
ns=http://www.example.org/ISJ01#
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISJ01.owl#genid1> <ns:hasChild> <ns:John>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISJ01.owl#genid1> <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:genid1> <rdf:type> <ns:Person>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
 Removed:
ns=http://www.example.org/ISJ01#
-[<diff:genid1> <ns:hasChild> <ns:John>.]
-[<diff:genid1> <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#
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISJ02.owl#genid1> <ns:hasChild> <ns:John>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISJ02.owl#genid1> <rdf:type> <ns:Parent>.]
 Inserted:
ns=http://www.example.org/ISJ02#
-[<diff:genid1> <rdf:type> <ns:Parent>.]
-[<diff:genid1> <ns:hasChild> <ns:John>.]
 Inserted:
ns=http://www.example.org/ISJ02#
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISJ02.owl#genid1> <ns:hasChild> <ns:John>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISJ02.owl#genid1> <rdf:type> <ns:Parent>.]
 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:genid1> <rdf:type> <ns:Parent>.]
-[<ns:genid1> <ns:hasChild> <ns:John>.]
 Removed:
ns=http://www.example.org/ISJ02#
-[<diff:genid1> <rdf:type> <ns:Parent>.]
-[<diff:genid1> <ns:hasChild> <ns:John>.]
E64
(ISJ03)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISJ03#
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISJ03.owl#genid1> <rdf:type> <ns:Person>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISJ03.owl#genid1> <ns:hasName> "Peter^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISJ03#
-[<diff:genid1> <rdf:type> <ns:Person>.]
-[<diff:genid1> <ns:hasName> "Peter^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISJ03#
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISJ03.owl#genid1> <rdf:type> <ns:Person>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISJ03.owl#genid1> <ns:hasName> "Peter^^xsd:string".]
 Removed:
ns=http://www.example.org/ISJ03#
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<ns:genid1> <ns:hasName> "Peter^^xsd:string".]
 Removed:
ns=http://www.example.org/ISJ03#
-[<ns:genid1> <rdf:type> <ns:Person>.]
-[<ns:genid1> <ns:hasName> "Peter^^xsd:string".]
 Removed:
ns=http://www.example.org/ISJ03#
-[<diff:genid1> <rdf:type> <ns:Person>.]
-[<diff:genid1> <ns:hasName> "Peter^^xsd:string".]
E65
(ISK01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E66
(ISK02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E67
(ISK03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E68
(ISL01)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E75
(ISL08)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E76
(ISL09)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = DIFFERENT
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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E79
(ISL12)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E80
(ISL13)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL13#
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISL13.owl#genid1> <rdf:type> <ns:Child>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISL13.owl#genid1> <ns:hasName> "Paul^^xsd:string".]
-[<ns:John> <ns:hasChild> <file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISL13.owl#genid1>.]
 Inserted:
ns=http://www.example.org/ISL13#
-[<diff:genid1> <rdf:type> <ns:Child>.]
-[<diff:genid1> <ns:hasName> "Paul^^xsd:string".]
-[<ns:John> <ns:hasChild> <diff:genid1>.]
 Inserted:
ns=http://www.example.org/ISL13#
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISL13.owl#genid1> <rdf:type> <ns:Child>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISL13.owl#genid1> <ns:hasName> "Paul^^xsd:string".]
-[<ns:John> <ns:hasChild> <file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISL13.owl#genid1>.]
 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>.]
 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>.]
 Removed:
ns=http://www.example.org/ISL13#
-[<diff:genid1> <rdf:type> <ns:Child>.]
-[<diff:genid1> <ns:hasName> "Paul^^xsd:string".]
-[<ns:John> <ns:hasChild> <diff:genid1>.]
E81
(ISL14)		Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISL14#
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISL14.owl#genid1> <rdf:type> <ns:Child>.]
-[<ns:John> <ns:hasChild> <file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISL14.owl#genid1>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISL14.owl#genid1> <ns:hasName> "Paul^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISL14#
-[<diff:genid1> <rdf:type> <ns:Child>.]
-[<ns:John> <ns:hasChild> <diff:genid1>.]
-[<diff:genid1> <ns:hasName> "Paul^^xsd:string".]
 Inserted:
ns=http://www.example.org/ISL14#
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISL14.owl#genid1> <rdf:type> <ns:Child>.]
-[<ns:John> <ns:hasChild> <file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISL14.owl#genid1>.]
-[<file:/D:/Jesus/FI_STORIES/LIA/aplicacion/fin/2007-08-12T12-52-29Experiment/SWIProlog/exchanged/ontology_exchangedISL14.owl#genid1> <ns:hasName> "Paul^^xsd:string".]
 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".]
 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".]
 Removed:
ns=http://www.example.org/ISL14#
-[<diff:genid1> <rdf:type> <ns:Child>.]
-[<ns:John> <ns:hasChild> <diff:genid1>.]
-[<diff:genid1> <ns:hasName> "Paul^^xsd:string".]
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#