DL-based System

See: Description Logic, Computing System, Description Logic-based System.

---

---

References

2010

• http://en.wikipedia.org/wiki/Description_logic#Tools
• http://en.wikipedia.org/wiki/Description_logic#History
  • The first DL-based system was KL-ONE (by Brachman and Schmolze, 1985). Some other DL systems came later. They are LOOM (1987), BACK (1988), KRIS (1991), CLASSIC (1991), FaCT (1998) and lately RACER (2001), CEL (2005), and KAON 2 (2005).

---