一解释论文

论文摘要描述逻辑（DLs）是一族为人们所熟知的知识表示形式系统．它们形成的基础是概念（一元谓词或类）和角色（二元谓词），且主要由一此构造复杂概念的算子刻划其特征。通过定义与应用...