Description logics (DL) are a family of formal "knowledge representation languages. Many DLs are more expressive than "propositional logic but less expressive than "firstorder predicate logic. In contrast to the latter, the core reasoning problems for DLs are (usually) "decidable, and efficient decision procedures have been designed and implemented for these problems.
DLs are used in "artificial intelligence to describe and reason about the relevant 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 "Web Ontology Language (OWL) and its profile is based on DLs. The most notable application of DLs and OWL is in "biomedical informatics where DL assists in the codification of biomedical knowledge.
A Description Logic (DL) models concepts, roles and individuals, and their relationships.
The fundamental modeling concept of a DL is the axiom—a logical statement relating roles and/or concepts.^{[1]} This is a key difference from the "frames paradigm where a frame specification declares and completely defines a class.^{[1]}
The description logic community uses different terminology than the firstorder predicate logic community for operationally equivalent notions; some examples are given below. The "Web Ontology Language (OWL) uses again a different terminology, also given in the table below.
FOL  OWL  DL 

constant  individual  individual 
unary predicate  class  concept 
binary predicate  property  role 
There are many varieties of Description Logics and there is an informal naming convention, roughly describing the operators allowed. The "expressivity is encoded in the label for a logic starting with one of the following basic logics:
Attributive language. This is the base language which allows:  


Frame based description language,^{[2]} allows:  


Existential language, allows:  

Followed by any of the following extensions:
Functional properties, a special case of "uniqueness quantification.  
Full existential qualification (existential restrictions that have fillers other than ).  
Concept union.  
Complex concept negation.  
Role hierarchy (subproperties  rdfs:subPropertyOf).  
Limited complex role inclusion axioms; reflexivity and irreflexivity; role disjointness.  
Nominals. (Enumerated classes of object value restrictions  owl:oneOf , owl:hasValue ). 

Inverse properties.  
Cardinality restrictions (owl:cardinality , owl:maxCardinality ), a special case of "counting quantification 

Qualified cardinality restrictions (available in OWL 2, cardinality restrictions that have fillers other than ).  
Use of datatype properties, data values or data types. 
Some canonical DLs that do not exactly fit this convention are:
An abbreviation for with transitive roles.  
A sublanguage of , which is obtained by disallowing role restriction. This is equivalent to without atomic negation.  
A sublanguage of , which is obtained by disallowing limited existential quantification.  
Alias for .^{[3]} 
As an example, is a centrally important description logic from which comparisons with other varieties can be made. is simply with complement of any concept allowed, not just atomic concepts. is used instead of the equivalent .
A further example, the description logic is the logic plus extended cardinality restrictions, and transitive and inverse roles. The naming conventions aren't purely systematic so that the logic might be referred to as and abbreviations are made where possible,
The Protégé ontology editor supports . Three major biomedical informatics terminology bases, "SNOMED CT, GALEN, and GO, are expressible in (with additional role properties).
OWL 2 provides the expressiveness of , OWLDL is based on , and for OWLLite it is .
Description logic (DL) was given its current name in the 1980s. Previous to this it was called (chronologically): terminological systems, and concept languages.
"Frames and "semantic networks lack formal (logicbased) semantics.^{[4]} DL was first introduced into "Knowledge Representation (KR) systems to overcome this deficiency.^{[4]}
The first DLbased KR system was "KLONE (by "Ronald J. Brachman and Schmolze, 1985). During the '80s other DLbased systems using structural subsumption algorithms^{[4]} were developed including KRYPTON (1983), "LOOM (1987), BACK (1988), KREP (1991) and CLASSIC (1991). This approach featured DL with limited expressiveness but relatively efficient (polynomial time) reasoning.^{[4]}
In the early '90s, the introduction of a new tableau based algorithm paradigm allowed efficient reasoning on more expressive DL.^{[4]} DLbased systems using these algorithms  such as KRIS (1991)  show acceptable reasoning performance on typical inference problems even though the worst case complexity is no longer polynomial.^{[4]}
From the mid '90s, reasoners were created with good practical performance on very expressive DL with high worst case complexity.^{[4]} Examples from this period include FaCT,^{[5]} RACER (2001), CEL (2005), and "KAON 2 (2005).
DL reasoners, such as FaCT, FaCT++,^{[5]} RACER, DLP and Pellet,^{[6]} implement the "analytic tableau method. KAON2 is implemented by algorithms which reduce a SHIQ(D) knowledge base to a disjunctive "datalog program.
The "DARPA Agent Markup Language (DAML) and "Ontology Inference Layer (OIL) "ontology languages for the "semantic web can be viewed as "syntactic variants of DL.^{[7]} In particular, the formal semantics and reasoning in OIL use the DL.^{[8]} The "DAML+OIL DL was developed as a submission to^{[9]}  and formed the starting point of  the "World Wide Web Consortium (W3C) Web Ontology Working Group.^{[10]} In 2004, the Web Ontology Working Group completed its work by issuing the "OWL^{[11]} recommendation. The design of OWL is based on the family of DL^{[12]} with OWL DL and OWL Lite based on and respectively.^{[12]}
The W3C OWL Working Group began work in 2007 on a refinement of  and extension to  OWL.^{[13]} In 2009, this was completed by the issuance of the "OWL2 recommendation.^{[14]} OWL2 is based on the description logic .^{[15]} Practical experience demonstrated that OWL DL lacked several key features necessary to model complex domains.^{[1]}
In DL, a distinction is drawn between the socalled "TBox (terminological box) and the "ABox (assertional box). In general, the TBox contains sentences describing concept hierarchies (i.e., relations between "concepts) while the ABox contains "ground sentences stating where in the hierarchy individuals belong (i.e., relations between individuals and concepts). For example, the statement:
Every employee is a person 

(1) 
belongs in the TBox, while the statement:
Bob is an employee 

(2) 
belongs in the ABox.
Note that the TBox/ABox distinction is not significant, in the same sense that the two "kinds" of sentences are not treated differently in firstorder logic (which subsumes most DL). When translated into firstorder logic, a subsumption "axiom like (1) is simply a conditional restriction to "unary "predicates (concepts) with only variables appearing in it. Clearly, a sentence of this form is not privileged or special over sentences in which only constants ("grounded" values) appear like (2).
So why was the distinction introduced? The primary reason is that the separation can be useful when describing and formulating decisionprocedures for various DL. For example, a reasoner might process the TBox and ABox separately, in part because certain key inference problems are tied to one but not the other one ('classification' is related to the TBox, 'instance checking' to the ABox). Another example is that the complexity of the TBox can greatly affect the performance of a given decisionprocedure for a certain DL, independently of the ABox. Thus, it is useful to have a way to talk about that specific part of the "knowledge base.
The secondary reason is that the distinction can make sense from the knowledge base modeler's perspective. It is plausible to distinguish between our conception of terms/concepts in the world (class axioms in the TBox) and particular manifestations of those terms/concepts (instance assertions in the ABox). In the above example: when the hierarchy within a company is the same in every branch but the assignment to employees is different in every department (because there are other people working there), it makes sense to reuse the TBox for different branches that do not use the same ABox.
There are two features of Description Logic that are not shared by most other data description formalisms: DL does not make the "Unique name assumption (UNA) or the "Closedworld assumption (CWA). Not having UNA means that two concepts with different names may be allowed by some inference to be shown to be equivalent. Not having CWA, or rather having the "Open world assumption (OWA) means that lack of knowledge of a fact does not immediately imply knowledge of the negation of a fact.
Like "firstorder logic (FOL), a "syntax defines which collections of symbols are legal expressions in a Description Logic (DL), and "semantics determine meaning. Unlike FOL, a DL may have several well known syntactic variants.^{[7]}
The syntax of a member of the description logic family is characterized by its recursive definition, in which the constructors that can be used to form concept terms are stated. Some constructors are related to logical constructors in "firstorder logic (FOL) such as "intersection or "conjunction of concepts, "union or "disjunction of concepts, "negation or "complement of concepts, "universal restriction and "existential restriction. Other constructors have no corresponding construction in FOL including restrictions on roles for example, inverse, "transitivity and functionality.
Let C and D be concepts, a and b be individuals, and R be a role.
If a is Rrelated to b, then b is called an Rsuccessor of a.
Symbol  Description  Example  Read 

⊤ is a special concept with every individual as an instance  top  
"empty concept  bottom  
"intersection or "conjunction of concepts  C and D  
"union or "disjunction of concepts  C or D  
"negation or "complement of concepts  not C  
"universal restriction  all Rsuccessors are in C  
"existential restriction  an Rsuccessor exists in C  
Concept inclusion  all C are D  
Concept equivalence  C is equivalent to D  
Concept definition  C is defined to be equal to D  
Concept assertion  a is a C  
Role assertion  a is Rrelated to b 
The prototypical DL Attributive Concept Language with Complements () was introduced by Manfred SchmidtSchauß and Gert Smolka in 1991, and is the basis of many more expressive DLs.^{[4]} The following definitions follow the treatment in Baader et al.^{[4]}
Let , and be (respectively) "sets of concept names (also known as atomic concepts), role names and individual names (also known as individuals, nominals or objects). Then the ordered triple (, , ) is the signature.
The set of concepts is the smallest set such that:
A general concept inclusion (GCI) has the form where and are concepts. Write when and . A TBox is any finite set of GCIs.
An ABox is a finite set of assertional axioms.
A knowledge base (KB) is an ordered pair for "TBox and "ABox .
The "semantics of description logics are defined by interpreting concepts as sets of individuals and roles as sets of ordered pairs of individuals. Those individuals are typically assumed from a given domain. The semantics of nonatomic concepts and roles is then defined in terms of atomic concepts and roles. This is done by using a recursive definition similar to the syntax.
The following definitions follow the treatment in Baader et al.^{[4]}
A terminological interpretation over a signature consists of
such that
Define (read in I holds) as follows
Let be a knowledge base.
In addition to the ability to describe concepts formally, one also would like to employ the description of a set of concepts to ask questions about the concepts and instances described. The most common decision problems are basic databasequerylike questions like instance checking (is a particular instance (member of an Abox) a member of a given concept) and relation checking (does a relation/role hold between two instances, in other words does a have property b), and the more globaldatabasequestions like subsumption (is a concept a subset of another concept), and concept consistency (is there no contradiction among the definitions or chain of definitions). The more operators one includes in a logic and the more complicated the Tbox (having cycles, allowing nonatomic concepts to include each other), usually the higher the computational complexity is for each of these problems (see Navigator on Description Logic Complexity for examples).
Many Description Logics (DLs) are "decidable "fragments of "firstorder logic (FOL)^{[4]} and are usually fragments of "twovariable logic or "guarded logic. In addition, some DLs have features that are not covered in FOL; this includes concrete domains (such as integer or strings, which can be used as ranges for roles such as hasAge or hasName) or an operator on roles for the transitive closure of that role.^{[4]}
Fuzzy description logics combines "fuzzy logic with DLs. Since many concepts that are needed for "intelligent systems lack well defined boundaries, or precisely defined criteria of membership, fuzzy logic is needed to deal with notions of vagueness and imprecision. This offers a motivation for a generalization of description logic towards dealing with imprecise and vague concepts.
Description Logic is related to—but developed independently of—"modal logic (ML).^{[4]} Many—but not all—DL are syntactic variants of ML.^{[4]}
In general, an object corresponds to a "possible world, a concept corresponds to a modal proposition, and a rolebounded quantifier to a modal operator with that role as its accessibility relation.
Operations on roles (such as composition, inversion, etc.) correspond to the modal operations used in "dynamic logic.^{[16]}^{[16]}
DL  ML 

K^{[4]}  
"PDL^{[16]}  
DPDL (deterministic PDL)^{[16]}  
Converse"PDL^{[16]}  
ConverseDPDL (deterministic PDL)^{[16]} 
Temporal description logic represents—and allows reasoning about—time dependent concepts and many different approaches to this problem exist.^{[17]} For example, a description logic might be combined with a "modal "temporal logic such as "Linear temporal logic.
There are some "reasoners that deal with OWL and Description Logic. These are some of the most popular: