搜索筛选:
搜索耗时6.5116秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[会议论文] 作者：Wen Bin[1],文斌[2],Gan Jian hou[1],甘健侯[2],Xia You ming[1],夏幼明[2],Xu Tian ren[3],徐天任[4],
来源：第四届全国逻辑系统、智能科学与信息科学学术会议 年份：2008
本文首先介绍了描述ALC语法和语义，并指出ALC的不足；然后提出了ALC+，它在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器...
相关搜索：
