search

jpfairbanks / SemanticModels.jl

A julia package for representing and manipulating model semantics
MIT License
77 stars 17 forks source link

Make system architecture diagram linking formal representation -> KG -> use cases #85

Closed crherlihy closed 5 years ago

jpfairbanks commented 5 years ago

Yes this is a good diagram to have. What do you have in mind?

  1. Category theory for representing models at types/ologs/schemas
  2. Knowledge Representation with Graphs
  3. Model usecases

How do you want to visualize the usecases? Like a drawing of pairs of models?

crherlihy commented 5 years ago

We also need to visualize this virtuous cycle:

Our work is grounded in the belief that a framework which augments scientific workflows by alternately inferring, injecting, and rewarding the inclusion of semantic information in code via the type system can help to mitigate these challenges in a way that is computationally efficient, verifiable, reproducible, and open to improvement through iterative feedback and expansion with respect to domains.

jpfairbanks commented 5 years ago

@crherlihy do you still want to make this diagram? I can share the template I used for the examples/agentbased.jl models so we can match style with that. Otherwise graphviz is a good choice.

crherlihy commented 5 years ago

aske_use_cases_v0.pptx also posting in box. I can commit this if we think it's helpful, but the diffs won't be super meaningful.

jpfairbanks commented 5 years ago

This is great, I edited the box version and included it in the final report.