首页 期刊 桂林电子科技大学学报 事物特性表的描述逻辑表示 【正文】

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

作者:刘晗; 钟艳如; 申松坡 桂林电子科技大学计算机与信息安全学院; 广西桂林541004
事物特性表   描述逻辑   表示模型   变型设计  

摘要:针对传统的基于事物特性表的变型设计方法不能快速有效地对产品数据进行推理的问题,将描述逻辑引入到变型设计过程中,建立事物特性表的语义表示模型。用描述逻辑刻画事物特性表,构建事物特性表的描述逻辑表示模型,在此基础上构建了事物特性表的知识库系统,分析并得出了公理集TBox和断言集ABox。以联轴器为例,利用描述逻辑刻画了联轴器事物特性表,验证了该方法的正确性和有效性。

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

学术咨询 免费咨询 杂志订阅