search

knowsys / rulewerk

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

support OWLDisjunctClassesAxiom (#121) #210

Closed irina-dragoste closed 3 years ago