表达推理能力相关硕士博士期刊学术论文

本文首先介绍了描述ALC语法和语义，并指出ALC的不足；然后提出了ALC+，它在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个......