andrewdbate/Sequoia

Sequoia is a consequence-based OWL 2 DL Reasoner supporting multithreaded reasoning

ScalaGPL-3.0

Issues

Help with setup and small test
#3 opened a year ago by k00ni
0
Missing classes/subsumptions in classification result
#2 opened 6 years ago by andreas-steigmiller
2
Ignore SWRL rules
#1 opened 7 years ago by balhoff
3