Description logic (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first-order predicate logic.
DL is used in artificial intelligence for formal reasoning on the concepts of an application domain (known as terminological knowledge). It is of particular importance in providing a logical formalism for ontologies and the Semantic Web. The most notable application outside information science is in bioinformatics where DL assists in the codification of medical knowledge.
Read more about Description Logic: Introduction, History, Modeling, Formal Description
Famous quotes containing the words description and/or logic:
“God damnit, why must all those journalists be such sticklers for detail? Why, they’d hold you to an accurate description of the first time you ever made love, expecting you to remember the color of the room and the shape of the windows.”
—Lyndon Baines Johnson (1908–1973)
“Logic is not a body of doctrine, but a mirror-image of the world. Logic is transcendental.”
—Ludwig Wittgenstein (1889–1951)