Описание тега description-logic

Description logics (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic. Additionally, it has more efficient decision problems than first-order predicate logic.