事物特性表的描述逻辑表示 刘晗;钟艳如;申松坡 【期刊名称】《桂林电子科技大学学报》 【年(卷),期】2018(038)001 【摘 要】针对传统的基于事物特性表的变型设计方法不能快速有效地对产品数据进行推理的问题,将描述逻辑引入到变型设计过程中,建立事物特性表的语义表示模型.用描述逻辑刻画事物特性表,构建事物特性表的描述逻辑表示模型,在此基础上构建了事物特性表的知识库系统,分析并得出了公理集TBox和断言集ABox.以联轴器为例,利用描述逻辑刻画了联轴器事物特性表,验证了该方法的正确性和有效性. 【总页数】6页(P55-60) 【作 者】刘晗;钟艳如;申松坡 【作者单位】桂林电子科技大学 计算机与信息安全学院,广西 桂林 541004;桂林电子科技大学 计算机与信息安全学院,广西 桂林 541004;桂林电子科技大学 计算机与信息安全学院,广西 桂林 541004 【正文语种】中 文 【中图分类】TP301 【相关文献】 1.一种采用动态描述逻辑表示的RBAC管理模型 [J], 任志宇;陈性元;马军强 2.基于扩展描述逻辑和逻辑程序的事件动作形式化表示与推理 [J], 刘炜;徐文杰;唐英英;付剑锋;张旭洁;刘宗田 3.领域模型中关联语义的描述逻辑表示与应用 [J], 张力生;年欢;宋辉;雷大江 4.UML类图元模型基于描述逻辑的表示及验证 [J], 李晶晶;江涛;郭雨婷;李迪;王米利 5.面向不确定性知识表示的描述逻辑S ROIQ(D)不确定性扩展 [J], 陈晖;马亚平 因版权原因，仅展示原文概要，查看原文内容请购买 本文来源：https://www.wddqw.com/doc/d3765953a75177232f60ddccda38376baf1fe0c9.html