ALC+ 相关硕士博士期刊学术论文

本文首先介绍了描述逻辑ALC+,描述逻辑ALC+是在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束......