A C++ Description Logic Reasoner with C interface
Features:
- Static library with C ABI
- Platform independent C++11 standard library usage
- Multithreaded
- Description Logic Expressivity: EL, ELH, ELR
- Polynomial time ontology classification
To Do: Add support for Nominals, increasing total DL support to EL, ELH, ELR, ELO, ELRO