检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]扬州大学广陵学院,江苏扬州225009 [2]南京航空航天大学信息科学与技术学院,南京210016
出 处:《计算机应用研究》2010年第12期4548-4550,4554,共4页Application Research of Computers
基 金:江苏省自然科学基金资助项目(BK2009699)
摘 要:首先分析了本体创建的一般过程,定义了一组时间关系的表示函数及通用的时间限制性公理;在此基础上设计一个面向带时间特征的概念属性逻辑关系一致性分析算法;最后,直接针对本体概念的时间属性,设计了一个时间属性值描述的一致性分析算法。实际应用表明,提出的两个算法,既能有效地实现带时间侧面的本体属性的一致性检查,又能针对时间属性本身消除其不一致性。上述算法可应用于带时间上下文的本体创建中分析并检查其一致性。This paper firstly analyzed the general process of ontology creation,and then defined a set of representing functions for time relation and common time restriction axioms. It designed an analysis algorithm to check the logic consistency between concept properties with the time features. Finally,orienting to the time property of the ontology concept,designed an analysis algorithm to check and revise the consistency the description of time property values. The application shows that the proposed two algorithms not only effective achieve the consistency checks with the ontology properties of the time slot,but also for the time property itself to eliminate the inconsistency. The algorithm can be used to analyze and check the consistency of time context during the process of the ontology creation.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.90