事物特性表的描述逻辑表示  

Description logic of tabular layouts of article characteristics

在线阅读下载全文

作  者:刘晗 钟艳如 申松坡 LIU Han, ZHONG Yanru, SHEN Songpo(School of Computer and Information Security, Guilin University of Electronic Technology,Guilin 54 1004,China)

机构地区:[1]桂林电子科技大学计算机与信息安全学院,广西桂林541004

出  处:《桂林电子科技大学学报》2018年第1期55-60,共6页Journal of Guilin University of Electronic Technology

基  金:国家自然科学基金(61562016);广西自然科学基金(2014GXNSFDA118039);广西研究生教育创新计划(YJCXS201540)

摘  要:针对传统的基于事物特性表的变型设计方法不能快速有效地对产品数据进行推理的问题,将描述逻辑引入到变型设计过程中,建立事物特性表的语义表示模型。用描述逻辑刻画事物特性表,构建事物特性表的描述逻辑表示模型,在此基础上构建了事物特性表的知识库系统,分析并得出了公理集TBox和断言集ABox。以联轴器为例,利用描述逻辑刻画了联轴器事物特性表,验证了该方法的正确性和有效性。The traditional design method based on the layouts of article characteristics can not quickly and effectively inference the produce data,the description logic is introduced into the variant design process.The semantic representation model of the layouts of article characteristics is built.The description logic is used to express the layouts of article characteristics,a description logic representation model is constructed.On this basis,the knowledge base system of layouts of article characteristics is constructed.TBox and ABox are analyzed and derived.Finally,taking the coupling as an example,the description logic is used to represent the layouts of article characteristics of the coupling,and the correctness and validity of the theory is validated.

关 键 词:事物特性表 描述逻辑 表示模型 变型设计 

分 类 号:TP301[自动化与计算机技术—计算机系统结构]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象