FaCT

From GICL Wiki
Jump to: navigation, search

Fast Classification of Terminologies (FaCT) is an open-source Description Logic (DL) classifier that can also be used for modal logic satisfiability testing and includes a DIG Servlet.

See Also