Encyclopedia > Description Logic

Article Content

Description logic

Redirected from Description Logic

Description Logic (DL) was designed as an extension to frames and semantic networks.

Description Logic has not been given its current name until the 1980s. Before the name "Description Logic" is used, it was ever called chronologically: terminological systems, concept languages, Description Logic. Today Description Logic has become a footstone of the Semantic Web for its use in the design of Ontology.

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 latestly OIL which inspires the evolution of the Semantic Web.