KnowraDescription logicLinked fromLinked fromThe 3 pages that link to Description logic, each with the reason it gives.All 3Related 2Compared with 1Predicate logicCompared with: It offers a restricted alternative to general predicate logic for decidable knowledge representation.Knowledge representationRelated: It balances expressive knowledge modeling with computationally tractable inference.Knowledge (artificial intelligence)Related: It underlies many ontology languages and balances expressive power with decidable inference.