基于ALC（D）的新一代GPS模型  

作　　者：刘柯威 王雪红[1] 胡元闯[1] 

机构地区：[1]贺州学院计算机科学与信息工程学院,广西贺州542800

出　　处：《科学与财富》2015年第31期43-44,共2页Sciences & Wealth

基　　金：广西高等学校立项科研项目（2013LX139）、贺州学院校级科研项目（2014ZC22）和广西自然科学基金项目（2014ijBA70066）

摘　　要：摘要：基于Welty的本体谱理论、ISO17450及其术语集，建立了以操作算子为核心的GPS（Geometrical Product Specification）语义网络元模型，给出了描述逻辑ALC（D）的形式化知识表达，使术语集具备了推理能力，成为ISO17450的一个有益补充。

关 键 词：GPS 知识表示 描述逻辑 ALC(D) 

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