FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.
Primary LanguageC++GNU Lesser General Public License v3.0LGPL-3.0