A logic system for writing concepts, links, and rules in a formal way.
Description Logic is a rulebook for a picky school club. It says who is in before anyone prints the T-shirts.
It helps computers model knowledge and catch rules that clash. You meet it in ontologies, knowledge graphs, and smart search.
KR
Description Logic is an important formal method in KR.
Ontology
Many ontology languages build on Description Logic.
Knowledge Graph
Description Logic adds type, link, and constraint rules to a Knowledge Graph.