search

knowsys / rulewerk

Java library based on the VLog rule engine
Apache License 2.0
32 stars 13 forks source link

Owlapi keep all unsupported axioms #217

Open irina-dragoste opened 2 years ago

irina-dragoste commented 2 years ago

Previously, the maximum number of stored unsupported axioms was 10. This feature allows one to set a different limit, including null (no limit)