ocaml reasoner for DLs
First try to implement in the ocaml language some DL reasoners. Basic reasoner tasks as :
- TBOX consistency
- concept satisfiability
- TBOX classification
- concept subsumption are being implemented. Preferred DLs to use are ALC and DL-Lite.