Skip to content

Major bugfix in Catriple

Compare
Choose a tag to compare
@nheist nheist released this 16 Sep 12:54
· 6 commits to master since this release

Resolved a bug in the computation of axioms and assertions of Catriple which resulted in a reduced amount of extracted axioms/assertions.