Discussion

• formalism-specific information preservation

  • needed e.g. for diff of two ontologies in the same formalism
  • representation of diff

• need for speed optimisation, simple gates for fast load/save

• rule handling

• evaluation in GOF

• further mathematical research(?)

• border between structural and procedural restrictions

Notes: