/TinyReason

A tiny and simple Reasoner for the S Description Logic (that is ALC + Transitive Roles) written in standard and clean C++.

Primary LanguageC++BSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Stargazers