概念逻辑、（）是情报检索语言的理论基础。