description logic

family of formal knowledge representation languages

Categories: