论文部分内容阅读
本文首先介绍了描述ALC语法和语义,并指出ALC的不足;然后提出了ALC~+,它在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器,使其表达能力增强,并给出了ALC~+中的形式化定义;最后给出了ALC~+的一些性质。
基于ALC的扩展描述逻辑ALC~+
【摘 要】
：
本文首先介绍了描述ALC语法和语义,并指出ALC的不足;然后提出了ALC~+,它在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器,使其表达
【机 构】
：
云南师范大学计算机科学与信息技术学院; 云南师范大学旅游与地理科学学院;
【发表日期】
：
2004年期
【基金项目】
：
云南省教育厅基金项目6Y0031D);云南省应用研究计划面上项目(2006F0029Q)
其他文献
英语在是世界范围内通用的语言，在各国的文化交流和经济往来当中发挥着非常重要的作用。英汉翻译中，要充分把握英语和汉语的形式和特征，通过运用语言技巧进行通顺、合理的翻译。
陀螺管芯是微机电(MEMS)陀螺的核心器件,利用多频激励方法可以提高陀螺管芯的动态特性测试效率。该文基于静电激励-电容检测的原理进行线振动MEMS陀螺的动态特性测试,构造了
和合思想是中国传统文化具有鲜明民族特色的一种基本理念与基本的思维倾向,它主张和而不同,即承认差异基础上的和谐统一.它对形成中华民族在内部各族和睦相处的同时与外部其
在天津滨海地区利用田间小区试验研究灌溉咸水后土壤水盐的变化,结果表明,灌溉咸水后表层（0～20cm）土壤水升高,中层土壤（20～40cm）、下层土壤（40～60cm）含水量随灌溉后时间的延长而增加;
全球化的推进加速了世界的多元化、复杂化和流动性,人们面临着更加动态和复杂的群体环境,同时,人们不断接触新的群体并可能获得新的群体身份,如何处理多个群体间规范和价值观