search

gyorilab / mira

MIRA modeling framework
BSD 2-Clause "Simplified" License
9 stars 7 forks source link

Refinement and isomorphisms #9

Closed cthoyt closed 1 year ago

cthoyt commented 2 years ago

Implement refinement finding

  1. compare concepts (exact vs. refinement) need access to isa/partof relations in ontologies
  2. determine relationship of tempates (exact same versusrefinement)
  3. create a graph of relationships to models (bipartite graph between templates and models) plus refinements
  4. be able to determine deltas
cthoyt commented 1 year ago

done by @kkaris