Wikipedia Description Logic
A family of formal knowledge representation languages. Models concepts, roles and individuals, and their relationships. More expressive than propositional logic but has more efficient decision problems than first-order predicate logic.
Related Tags:
ExpandDescendants
4 Documents (Long List
Properties