检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《微电子学与计算机》2012年第11期99-102,共4页Microelectronics & Computer
摘 要:由于缺乏有效的公理获取与验证系统,无法实现自动推理,严重阻碍了语义Web的发展.本文针对政府角色及角色关系,提出一种半自动政府角色关系和公理的获取与验证方法.首先分析了政府角色关系公理的完备性,进而给出了政府角色关系和公理中可能存在的错误,并对错误进行分类;最后设计了一个政府角色关系和公理的知识模型实现系统,实现该知识模型系统的自动验证.实验表明,本文提出的方法能有效的进行政府角色关系公理的获取与正确性验证.In the absence of effective system to access and verify axiom,automated reasoning can't be realized,it also severely hinders the development of the Semantic Web.According to government roles and role relationships,this article proposed a semi-automatic government roles relationships and a method of obtaining and verifying axioms.Firstly it analyzed the completeness of government roles relations axiom,then gives errors that may exist in the government roles relations and axioms,and classification;finally it design a system to realized the knowledge model of the role of a government relations and axioms,realized the automatic verification of the knowledge model system.The experiments show that the proposed method can effectively carry out the access of government roles relations axiom and correctness verification.
分 类 号:TP39[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.15.26.71