FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2. - View it on GitHub