OWL Full表示的顶级本体到OWL DL的转换研究  

Translating of Top Ontology Expression from OWL Full to OWL DL

作　　者：苏晓路[1] 李景[2,3] 孟宪学[1] 胡海燕[1] 钱平[1] 

机构地区：[1]中国农业科学院农业信息研究所,北京100081 [2]中国标准化研究院国家标准馆,北京100088 [3]中国农业科学院农业信息研究所博士后流动站,北京100081

出　　处：《现代图书情报技术》2009年第2期39-45,共7页New Technology of Library and Information Service

基　　金：国家"863"计划"农业科技信息移动智能服务技术研究"(项目编号:2007AA10Z236);"十一五"国家科技支撑项目"农村知识本体构建的共性技术研究"(项目编号:2006BAD10A050104)的研究成果之一

摘　　要：为使领域本体利用顶级本体中的常识知识进行有效的推理,开展将OWL Full表示的顶级本体SUMO和OpenCyc转换为由OWL DL表示的研究,在尽可能保持原逻辑关系的前提下,针对类、属性及实例的定义在转换中出现的各种问题进行了相应的处理,使转换后的顶级本体符合OWL DL语言标准。In order to utilize general knowledge of top Ontology for effective reasoning by domain Ontology, this paper studies translating of top Ontology expression from OWL Full to OWL DL, such as SUMO and OpenCyc. Problems appeared during definition translating of classes, properties and instances are handled to make the translated top Ontology accordant to the OWL DL language.

关 键 词：顶级本体 OWL子语言转换 OWL Full OWL DL 

分 类 号：TP391.1[自动化与计算机技术—计算机应用技术] G350[自动化与计算机技术—计算机科学与技术]