知识表示语言

knowledge representation language