* Updated Petri and Catlab APIs * Added compat entries and version bump for final release * Removed v1.0 test * Added a couple more badges
|9 months ago|
|ExprModels||1 year ago|
|covid||1 year ago|
|decorations||1 year ago|
|epicookbook||1 year ago|
|malaria||1 year ago|
|petri||1 year ago|
|wiring||1 year ago|
|README.md||2 years ago|
This folder contains examples of how to use SemanticModels.jl
The top level folder contains several examples of different modeling tasks that can be performed with Semanticmodels.jl. Of particular interest are the following:
The examples require the some dependencies, they are pre-installed in the docker container, and you can install them with
using Pkg Pkg.add(["LsqFit", "Polynomials", "DifferentialEquations", "Plots", "LightGraphs", "MetaGraphs"])`
You will also need the graphviz program
dot in order to draw graphs as SVG
images. To install the graphviz program you should use your system package
manager, such as
apt install graphviz or
The examples are best viewed in the following order.
These examples illustrate model augmentation with ModelTools
Algebraic Model Transformation
These examples illustrate how model transformations can be algebraic structures and how to exploit that to develop new models
The workflow example combines
build a modeling pipeline. This is the most important example for understanding
the power of SemanticModels for model augmentation and synthesis.
Programming the type system
These examples show how the Julia type systems is a strong ally in bringing order to the chaos that is scientific modeling code.
Knowledge Representation with Knowledge Graphs
The examples are run as part of the test suite in
Additional subfolders exist for storing collections of programs from the wild include epicookbook and stats.
Each subfolder contains a README.md and should have the same layout in terms of