* Began the great cleanup of 2020 * Removed pretty much everything else * Forgot a couple * Began restructuring * Moved documentation to it's own project environment * Added back some old expression based model functionality * Began working on cleaning up examples * Continued cleaning up examples * Added ignoring of virtual environment folders * More work cleaning up examples * Stil working on cleaning up examples * removed last manifest * Removed unnecessary travis lines * Updating travis * travis automatically tests * Fixed travis documentation typo * Updated jupyter notebook examples * Updated dockerfile * Removed last of the unnecessary files * Updated README * Removed all documentation errors * Added github actions * Fixed missing light graphs dependency
|2 years ago|
|ExprModels||2 years ago|
|covid||2 years ago|
|decorations||2 years ago|
|epicookbook||2 years ago|
|malaria||2 years ago|
|petri||2 years ago|
|wiring||2 years ago|
|README.md||3 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