keebus/TinyReason
A tiny and simple Reasoner for the S Description Logic (that is ALC + Transitive Roles) written in standard and clean C++.
C++BSD-3-Clause
A tiny and simple Reasoner for the S Description Logic (that is ALC + Transitive Roles) written in standard and clean C++.
C++BSD-3-Clause