Description Logic

A family of formal knowledge representation languages used as the mathematical foundation for ontology languages like OWL. Description logics describe a domain in terms of individuals (specific entities), concepts or classes (sets of individuals with shared characteristics), and roles or properties (relationships between individuals). They provide precise, unambiguous semantics that enable automated reasoning — allowing computers to infer new knowledge from stated facts, detect inconsistencies, and answer complex queries about a domain. In accessibility, description logics underpin ontology-based approaches to modeling user capabilities, assistive technology features, content properties, and adaptation rules, enabling intelligent systems that can automatically match content presentations to individual user needs.