Skip to content

1.0.0
Compare
Choose a tag to compare
@melaasar melaasar released this 11 Apr 16:23
· 65 commits to master since this release
1.0.0
bd78648

Added explanationFormat parameter to owlReason to allow changing the format to any of the RDF formats
Fixed a bug by excluded owl:Nothing from unsatisfiability checks (it's know to be unsatisfiable)

Assets 2
Loading