论文部分内容阅读
描述逻辑是一族知识表示的语言,以形式化、结构化的方式表示相应的应用领域。描述逻辑VL非循环术语集的包含推理,通过将描述逻辑VL非循环术语集包含推理问题转化为描述树之间的同态问题,证明VL非循环术语集的包含推理问题是多项式时间复杂的。
基于描述树方法描述逻辑VL的包含推理
【摘 要】
：
描述逻辑是一族知识表示的语言,以形式化、结构化的方式表示相应的应用领域。描述逻辑VL非循环术语集的包含推理,通过将描述逻辑VL非循环术语集包含推理问题转化为描述树之间
【机 构】
：
江西师范高等专科学校数学学院,贵州工程应用技术学院理学院
【出 处】
：
贵州工程应用技术学院学报
【发表日期】
：
2019年3期
【基金项目】
：
江西省教育厅科学技术研究项目“循环术语集本体的保守扩充及其推理机制研究”,项目编号:GJJ151348,2017年贵州省教育厅普通高校学校青年科技人才成长项目“轻量级描述逻辑循环术语集的保守扩充研究”,项目编号:黔教合KY字[2017]293
其他文献
学者们对“教育家”问题的研究已经取得了一些成果，达成了一些共识，但是由于大多数学者在标准问题上坚持教育家必须同时在教育理论和教育实践两方面都作出突出贡献，加上其他一些
浅议历史教师的群体素质梁励完成历史教育任务，提高历史教学质量，不仅依赖于历史教师个体素质的优劣，也取决于历史教师群体素质的好坏。苏联著名教育家马卡连柯曾指出：“如果教师
一、入选CSSCI来源期刊、全国中文核心期刊。二、2（-108年3月20日，召开发展咨询会。会议由校党委书记郝翔教授主持，校长张锦高教授出席并作了重要指示。李正元主编向与会专家介
教育在社会主义市场经济的大潮之下，正进行大规模的改革。我们的教育操作，特别是思想品德教育的操作，如何为培养跨世纪的人才，有诸多问题值得深入研究。１９９６年１０月，《中共中央关于加强社
应重视课堂听、说训练周似玉培养学生的听说能力是中学语文教学的任务之一，虽然它在目前的升学考试中显示不出什么优势，可在现实生活中却是不可缺少的。改革开放政策给社会带来
“文化与传播研究”自2009年第1期正式推出以来，受到了海内外学术单位的热情关注。著名学者童兵、罗以澄、马敏、（法）皮埃尔·索尔兰等，以及张殿元、胡翼青等70后青年才俊踊
随着我国经济的快速发展,能源短缺的问题成为限制我国经济发展的关键因素之一,要想使其得到最大的改善,就需要高效利用生物发电技术,本文主要以国能惠民生物发电有限公司为例
在生活中常常会出现“有理说不清”,针对别人的诡辩好像无从下手。不妨利用归谬法进行反驳,以其人之道还治其人之身,这是非常有效的一种驳斥方式。归谬可以从论题、论据、论
目的：探讨损伤控制外科理念下腹腔镜胆囊开窗次全切除术＋大网膜填塞治疗Calot三角冰冻萎缩性胆囊炎的手术要点及应用价值。方法：回顾分析2010年10月至2015年10月收治的26例Calot