Explore relationships

Description logic

Description logics (DL) are a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order logic.

Use + to expand a branch. Click a topic name to open its summary.