andrewdbate / Sequoia

Sequoia is a consequence-based OWL 2 DL Reasoner supporting multithreaded reasoning
GNU General Public License v3.0
11 stars 2 forks source link