单项选择题

主要是基于谓词逻辑,可以作为描述专家系统、数据库、多智能体的知识表示工具的语言,称为()

A.知识查询操纵语言KQML
B.统一建模语言UML
C.知识交换格式语言KIF
D.结构化查询语言SQL