Part: FaCT++ to wnioskowanie oparte na logice opisowej (DL). Obsługuje OWL DL, a także nadchodzący standard OWL 1.1.FaCT++ jest zaimplementowany w C++ i wykorzystuje zoptymalizowane algorytmy tablicowe. Narzędzie to jest prawdopodobnie najbardziej znane ze względu na swoją zgodność z narzędziem Protege, które pomaga w formalnej reprezentacji semantyki.