Skip to content

v2.5.0

Choose a tag to compare

View all tags
@aljoshakoecher aljoshakoecher released this 25 Aug 14:32
v2.5.0
b021a1d

Adds OpenMath to model mathematical equations as capability constraints.
Please note that the OpenMath ontologies are not available for a proper owl import. They are therefore merged into CaSk.

Assets 3
Loading