search

jpfairbanks / SemanticModels.jl

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

Implement RelationalOlog Decoration #218

Closed mehalter closed 4 years ago

mehalter commented 5 years ago

Implement RelationalOlog decoration on a cospan of a finite set of objects and implement necessary category theory definitions to solve pushout, dpo, etc.

Show that the instance of the decoration creates a knowledge graph.

jpfairbanks commented 4 years ago

These relational ologs should be based on https://arxiv.org/abs/1706.00526.