公共文化服务平台

共 5 条记录，以下是 1-5

全选清除导出

排序方式：

建立本体的协作-挖掘方法: 2005年; 提出建立本体的协作-挖掘方法,即领域专家、知识工程师、领域终端用户通过互联网,协作建立本体。利用网络爬虫从语义网搜索并收集RDF文档或片段,自动分析初步建立RDFDB。自动分析领域专家、领域终端用户使用半形式化语言RDFL书写的实例文档和它们使用引导程序输入的记录,完善RDFDB。检验清洗RDFDB数据,并设计本体挖掘算法挖掘产生初始领域本体。挖掘算法使用红黑树建立索引,最坏时间复杂度为O(n3log2n)。验证、评估初始本体产生领域本体,并产生文档说明。建立新本体时,可合并RDFDB集成现有本体。在实验系统中,应用该方法建立计算机硬件信息领域本体。实验结果表明该方法是可行和高效的。; 明仲李师贤蔡树彬徐晶

本体的继承及一致性分析被引量：2: 2005年; 本体的继承理论是目前尚未解决的重要问题.该文通过扩展继承的数学理论,系统研究了本体的继承语义、继承机制等问题.主要工作有(1)继承系统的数学理论是描述继承系统和探讨其一致性、二义性等问题的一个重要基础理论.该理论已被广泛引用.但使用该理论描述允许例外的类/属性继承系统会出现假冲突.本文发现并定义了假冲突,扩展了原理论的单词表,重新定义了结论集、可继承等概念,使继承断言的接地扩展集不因假冲突而产生二义.从而解决了假冲突的问题.(2 )证明原继承系统中的大部分重要定理在扩展后的继承系统中仍然成立,并且提出了新的定理3)将本体(D ,P ,U ,V ,H)转换为三元组(F ,E ,I)的表示形式,证明这种转换不削弱本体的表示能力,并且将本体映射到扩展后的继承系统,利用继承系统的定义、定理分析本体继承的一致性问题,并证明这种映射对本体的包含断言的判定是完备的.4 )设计了上、下扫描算法,通过检测系统变化可能引起的冲突,保持系统的一致性.对本体继承的一致性分析为发展迅速的面向本体工程方法提供了有力支持.; 明仲蔡树彬李师贤徐晶; 关键词：本体一致性

信息流理论及其应用研究被引量：6: 2006年; 信息流(Information Flow)理论,也称为通道理论(Channel Theory),是一种通用的规则理论,能应用到自然界的生物、物理系统和人工世界的计算系统内在的分布式信息的交流中。信息流理论的基本概念之一是信息射(In-fomorphisms),是形成信息通道的重要因素。由于信息流理论能弥补Shannon信息论难以支持语义互操作的不足,因此逐渐受到重视。本文介绍了信息流理论在国际上应用的状况,也介绍了我们在网格信息共享的研究中利用Agent会话机制动态生成信息射的过程。; 李卫华李师贤; 关键词：信息流 AGENT

一种扩展了价格信息的Petri网被引量：1: 2006年; 提出一种扩展了价格信息的Petri网——价格Petri网,讨论了相应的分析方法和应用前景。主要工作是：为Petri网的变迁引入价格参数,并用价格变迁系统给出价格Petri网的语义；对价格Petri网进行了可达性分析并讨论了最小成本可达问题的可判定性；最后用价格Petri网建立一个业务流程的成本模型。结论是：为Petri网扩展价格信息并应用于业务流程管理领域是可行的。; 刘显明李师贤; 关键词：PETRI网业务流程管理

一种价格时间Petri网的状态空间计算被引量：4: 2006年; 价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.; 刘显明李师贤李文军潘理

全选清除导出

共1页<1>

国家教育部博士点基金(20030558004)