FaCT

From GICL Wiki
Revision as of 14:20, 14 September 2006 by I Howley (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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