Interoperability from SWIProlog to Gate (Differences)

Return to index Statistics Complete summary Failures summary Differences Ontologies
Id
(Ontology name)		 Interoperability Step1 (SWIProlog) Step2 (Gate)
E01
(ISA01)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E02
(ISA02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E03
(ISA03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E04
(ISA04)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E05
(ISA05)		Interchange = 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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA07#
_:3759 <rdf:type> <owl:Restriction>
_:3759 <owl:onProperty> <ns:hasCar>
_:3759 <owl:someValuesFrom> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:3759
  Inserted:
ns=http://www.example.org/ISA07#
<ns:Driver> <rdfs:subClassOf> _:375d
_:375d <rdf:type> <owl:Restriction>
_:375d <owl:onProperty> <ns:hasCar>
_:375d <owl:someValuesFrom> <ns:Car>
 Removed:
ns=http://www.example.org/ISA07#
_:375a <rdf:type> <owl:Restriction>
_:375a <owl:onProperty> <ns:hasCar>
_:375a <owl:someValuesFrom> <ns:Car>
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:375a
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
 Removed:
ns=http://www.example.org/ISA07#
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
<ns:Driver> <rdfs:subClassOf> _:375e
_:375e <rdf:type> <owl:Restriction>
_:375e <owl:onProperty> <ns:hasCar>
_:375e <owl:someValuesFrom> <ns:Car>
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
E08
(ISA08)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:3751
_:3751 <rdf:type> <owl:Restriction>
_:3751 <owl:allValuesFrom> <ns:Italy>
_:3751 <owl:onProperty> <ns:wasBorn>
  Inserted:
ns=http://www.example.org/ISA08#
<ns:Italian> <rdfs:subClassOf> _:3755
_:3755 <rdf:type> <owl:Restriction>
_:3755 <owl:allValuesFrom> <ns:Italy>
_:3755 <owl:onProperty> <ns:wasBorn>
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:3752
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
_:3752 <rdf:type> <owl:Restriction>
_:3752 <owl:onProperty> <ns:wasBorn>
_:3752 <owl:allValuesFrom> <ns:Italy>
 Removed:
ns=http://www.example.org/ISA08#
<ns:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
<ns:Italian> <rdfs:subClassOf> _:3756
_:3756 <rdf:type> <owl:Restriction>
_:3756 <owl:allValuesFrom> <ns:Italy>
_:3756 <owl:onProperty> <ns:wasBorn>
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
E09
(ISA09)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E13
(ISA13)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
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#
<ns:Driver> <owl:equivalentClass> _:3709
_:3709 <rdf:type> <owl:Restriction>
_:3709 <owl:onProperty> <ns:hasCar>
_:3709 <owl:someValuesFrom> <ns:Car>
  Inserted:
ns=http://www.example.org/ISB02#
<ns:Driver> <owl:equivalentClass> _:370d
_:370d <rdf:type> <owl:Restriction>
_:370d <owl:onProperty> <ns:hasCar>
_:370d <owl:someValuesFrom> <ns:Car>
 Removed:
ns=http://www.example.org/ISB02#
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
<ns:Driver> <owl:equivalentClass> _:370a
_:370a <rdf:type> <owl:Restriction>
_:370a <owl:onProperty> <ns:hasCar>
_:370a <owl:someValuesFrom> <ns:Car>
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
 Removed:
ns=http://www.example.org/ISB02#
<ns:Car> <rdf:type> <owl:Class>
<ns:Car> <owl:disjointWith> <owl:Nothing>
<ns:Car> <rdfs:subClassOf> <ns:Car>
<ns:Car> <rdfs:subClassOf> <owl:Thing>
<ns:Car> <owl:equivalentClass> <ns:Car>
_:370e <rdf:type> <owl:Restriction>
_:370e <owl:onProperty> <ns:hasCar>
_:370e <owl:someValuesFrom> <ns:Car>
<ns:Driver> <owl:equivalentClass> _:370e
<owl:Nothing> <owl:disjointWith> <ns:Car>
<owl:Nothing> <rdfs:subClassOf> <ns:Car>
E20
(ISB03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISB03#
_:3701 <rdf:type> <owl:Restriction>
_:3701 <owl:allValuesFrom> <ns:Italy>
_:3701 <owl:onProperty> <ns:wasBorn>
<ns:Italian> <owl:equivalentClass> _:3701
  Inserted:
ns=http://www.example.org/ISB03#
_:3705 <rdf:type> <owl:Restriction>
_:3705 <owl:allValuesFrom> <ns:Italy>
_:3705 <owl:onProperty> <ns:wasBorn>
<ns:Italian> <owl:equivalentClass> _:3705
 Removed:
ns=http://www.example.org/ISB03#
_:3702 <rdf:type> <owl:Restriction>
_:3702 <owl:onProperty> <ns:wasBorn>
_:3702 <owl:allValuesFrom> <ns:Italy>
<ns:Italian> <owl:equivalentClass> _:3702
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
 Removed:
ns=http://www.example.org/ISB03#
_:3706 <rdf:type> <owl:Restriction>
_:3706 <owl:allValuesFrom> <ns:Italy>
_:3706 <owl:onProperty> <ns:wasBorn>
<ns:Italian> <owl:equivalentClass> _:3706
<owl:Nothing> <owl:disjointWith> <ns:Italy>
<owl:Nothing> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdf:type> <owl:Class>
<ns:Italy> <owl:disjointWith> <owl:Nothing>
<ns:Italy> <rdfs:subClassOf> <ns:Italy>
<ns:Italy> <rdfs:subClassOf> <owl:Thing>
<ns:Italy> <owl:equivalentClass> <ns:Italy>
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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E25
(ISB08)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E33
(ISD02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E34
(ISD03)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISH01#
<ns:Peter> <owl:sameAs> <ns:Peter>
<ns:Peter> <rdf:type> <ns:Person>
<ns:Peter> <rdf:type> <owl:Thing>
 Removed:
ns=http://www.example.org/ISH01#
<ns:Peter> <owl:sameAs> <ns:Peter>
<ns:Peter> <rdf:type> <ns:Person>
<ns:Peter> <rdf:type> <owl:Thing>
E55
(ISH02)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E56
(ISH03)		Interchange = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Removed:
ns=http://www.example.org/ISH03#
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <rdf:type> <ns:Person>
 Removed:
ns=http://www.example.org/ISH03#
<ns:Mary> <owl:sameAs> <ns:Mary>
<ns:Mary> <rdf:type> <owl:Thing>
<ns:Mary> <rdf:type> <ns:Person>
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 = 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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
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 = DIFFERENT
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = DIFFERENT
Execution = OK
 Inserted:
ns=http://www.example.org/ISK03#
_:3665 <rdf:first> <ns:Joan>
_:3665 <rdf:rest> _:3664
_:3664 <rdf:first> <ns:Mary>
_:3664 <rdf:rest> <rdf:nil>
_:3663 <rdf:type> <owl:AllDifferent>
_:3663 <owl:distinctMembers> _:3662
_:3662 <rdf:first> <ns:Ann>
_:3662 <rdf:rest> _:3665
  Inserted:
ns=http://www.example.org/ISK03#
_:3675 <rdf:first> <ns:Joan>
_:3675 <rdf:rest> _:3674
_:3674 <rdf:first> <ns:Mary>
_:3674 <rdf:rest> <rdf:nil>
_:3673 <rdf:type> <owl:AllDifferent>
_:3673 <owl:distinctMembers> _:3672
_:3672 <rdf:first> <ns:Ann>
_:3672 <rdf:rest> _:3675
 Removed:
ns=http://www.example.org/ISK03#
_:3667 <rdf:first> <ns:Joan>
_:3667 <rdf:rest> _:3666
_:3668 <rdf:first> <ns:Ann>
_:3668 <rdf:rest> _:3667
_:3669 <rdf:type> <owl:AllDifferent>
_:3669 <owl:distinctMembers> _:3668
_:3666 <rdf:first> <ns:Mary>
_:3666 <rdf:rest> <rdf:nil>
<ns:Mary> <rdf:type> <ns:Person>
 Removed:
ns=http://www.example.org/ISK03#
_:3677 <rdf:first> <ns:Joan>
_:3677 <rdf:rest> _:3676
_:3678 <rdf:first> <ns:Ann>
_:3678 <rdf:rest> _:3677
_:3679 <rdf:type> <owl:AllDifferent>
_:3679 <owl:distinctMembers> _:3678
_:3676 <rdf:first> <ns:Mary>
_:3676 <rdf:rest> <rdf:nil>
<ns:Mary> <rdf:type> <ns:Person>
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 = 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 = 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 = 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 = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
E81
(ISL14)		Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK		 Interchange = SAME
Execution = OK
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#