| Id (Ontology name) |
Interoperability | Step1 (SWIProlog) | Step2 (Gate) |
| E02 (ISA02) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E04 (ISA04) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E06 (ISA06) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E08 (ISA08) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E10 (ISA10) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E12 (ISA12) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E14 (ISA14) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E16 (ISA16) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E19 (ISB02) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E21 (ISB04) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E23 (ISB06) | 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. |
| E27 (ISB10) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E29 (ISB12) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E31 (ISC02) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E33 (ISD02) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E35 (ISD04) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E37 (ISE02) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E39 (ISE04) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E42 (ISE07) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E49 (ISG01) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E52 (ISG04) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E54 (ISH01) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E56 (ISH03) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E58 (ISI02) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E60 (ISI04) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E62 (ISJ01) | Interchange = N.E. Execution = C.E. |
Interchange = DIFFERENT Execution = OK |
Interchange = N.E. Execution = C.E. |
|   |   | Inserted: Annotations: 0 Others: 2 |
  |
|   |   | Removed: Annotations: 0 Others: 2 |
  |
| E63 (ISJ02) | Interchange = DIFFERENT Execution = OK |
Interchange = DIFFERENT Execution = OK |
Interchange = DIFFERENT Execution = OK |
|   | Inserted Annotations: 0 Others: 2 |
Inserted: Annotations: 0 Others: 2 |
Inserted: Annotations: 0 Others: 2 |
|   | Removed: Annotations: 0 Others: 2 |
Removed: Annotations: 0 Others: 2 |
Removed: Annotations: 0 Others: 2 |
| E64 (ISJ03) | Interchange = N.E. Execution = C.E. |
Interchange = DIFFERENT Execution = OK |
Interchange = N.E. Execution = C.E. |
|   |   | Inserted: Annotations: 0 Others: 2 |
  |
|   |   | Removed: Annotations: 0 Others: 2 |
  |
| E66 (ISK02) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E67 (ISK03) | Interchange = DIFFERENT Execution = OK |
Interchange = SAME Execution = OK |
Interchange = DIFFERENT Execution = OK |
|   | Removed: Annotations: 0 Others: 1 |
  | Removed: Annotations: 0 Others: 1 |
| E68 (ISL01) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E71 (ISL04) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E73 (ISL06) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E75 (ISL08) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E77 (ISL10) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E79 (ISL12) | Interchange = N.E. Execution = C.E. |
Interchange = SAME Execution = OK |
Interchange = N.E. Execution = C.E. |
| E80 (ISL13) | Interchange = DIFFERENT Execution = OK |
Interchange = DIFFERENT Execution = OK |
Interchange = DIFFERENT Execution = OK |
|   | Inserted Annotations: 0 Others: 3 |
Inserted: Annotations: 0 Others: 3 |
Inserted: Annotations: 0 Others: 3 |
|   | Removed: Annotations: 0 Others: 3 |
Removed: Annotations: 0 Others: 3 |
Removed: Annotations: 0 Others: 3 |
| E81 (ISL14) | Interchange = N.E. Execution = C.E. |
Interchange = DIFFERENT Execution = OK |
Interchange = N.E. Execution = C.E. |
|   |   | Inserted: Annotations: 0 Others: 3 |
  |
|   |   | Removed: Annotations: 0 Others: 3 |
  |