OWL:一种用于语义网的描述逻辑

本体是语义网中的重要内容,它通过提供一个共享的、精确定义的术语源将语法扩展到语义.OWL是专门为Web设计的本体语言,它利用现有的Web标准(XML和RDF),添加了面向对象和基于框架的系统中常见的本体原语,具有强表达性的描述逻辑的严格形式化.OWL的逻辑基础是可以提供推理服务,既支持本体设计,又使得其在描述网络资源方面更接近于自动处理过程.     

模糊空间描述逻辑及应用

提出了基于空间推理和模糊逻辑的模糊空间描述逻辑FSDL,它可以作为支持不确定性推理的空间语义Web和空间本体的理论基础。FSDL在经典描述逻辑上增加了能描述空间关系的复杂关系项和模糊化概念、关系的语法、语义。随后给出了表推理算法,并证明了其正确性和完备性。最后,基于FSDL定义了模糊RCC5关系。     

语义Web中本体推理研究

语义Web作为新一代Web正备受关注,本体作为语义Web的基石,在知识表示与知识推理方面发挥着重要作用。介绍了本体语言、描述逻辑以及二者之间的关系。对描述逻辑的语义推理机制以及推理机进行了分析。并以具体的本体构建为例,对构建过程中的推理判定进行了验证。     

基于本体的物联网设备资源描述模型

针对目前物联网领域缺乏对海量异构设备的统一描述问题,提出基于本体的物联网设备资源描述模型,在分析资源特点的基础上,将设备划分为属性、状态、控制、历史信息和隐私5个方面的类资源进行综合描述.通过智慧办公室应用实例,使该模型得到具体实现和应用.实验结果表明:该模型能够支持丰富的物联网接入设备和业务功能,具备良好的应用价值和前景.     

基于本体的电磁环境描述与仿真概念模型

针对战场电磁环境复杂、多维、时变等特点及电磁环境仿真概念模型表示关系不够清晰、容易产生冗余及可扩展性差等缺点,提出了基于层次关系的复杂电磁环境综合分析方法,并在电磁环境分析描述基础上提出使用本体来表示电磁环境的概念模型,给出了战场电磁环境仿真概念模型本体设计标准及战场复杂电磁环境仿真的主要实体和实体间的交互关系。最后运用基于OWL的战场电磁环境本体描述方法实现了雷达最大探测范围的描述,结果表明,该方法对战场复杂电磁环境的描述与仿真、电磁环境领域知识的获取、重用、共享和组织是有效的,同时对复杂、多维的其它领域描述起到了指导作用。     

面向矛盾问题的动态描述逻辑扩展研究

为了使动态描述逻辑DDL具有处理简单矛盾问题的能力,引入可拓集合和可拓变换对它进行扩展.文章提出了一种动态描述逻辑DDLESET,给出了DDLESET的语法形式和语义解释;对传统描述逻辑、模糊DDL和DDLESET中的ABox形式进行了比较分析;研究了DDLESET的基本推理问题,对传统描述逻辑的一致性检测算法Tableau算法进行了可拓扩展.描述逻辑DDLESET盯具有对关联度值分别为正负域的模糊断言的表示与推理能力,并可以为关联度值为负域的断言即不可满足的概念或不可实现的动作提供求解策略,从而使其变得可满足、可实现.     

基于OBDD的描述逻辑SHOIQ判定算法研究与实现

描述逻辑是语义Web的逻辑基础,已成为当前计算机科学和人工智能研究的热点.鉴于描述逻辑SHOIQ的经典判定算法在处理大规模问题上的不足,以OBDD能很好处理大规模问题为基础,给出了一种基于OBDD的SHOIQ判定算法.该算法利用相关规则和技术将SHOIQ知识库转化为OBDD,在此基础上进行SHOIQ知识库的一致性判定....     

XBRL分类标准的本体构建和集成

可扩展标记语言(XBRL)中没有提供可用于分类标准集成的形式化语义,这给数据的集成分析带来了困难。针对这一问题,提出XBRL分类标准中元数据的形式化方法以及本体的构建与集成方案。将XBRL分类标准的元数据转换成RDF格式的数据模型,利用OWL本体语言构建XBRL分类标准的本体;利用分布式描述逻辑(DDL)和ε-connections语言对不同分类标准的本体进行集成,DDL和ε-connections的互补性特征有助于实现不同分类标准下各类元素的映射集成。     

支持空间推理的模糊描述逻辑Fuzzy-ALCRP(D)

描述逻辑ALCRP(D)在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理.通过以描述逻辑ALCRP(D)的模糊扩展为例,构建出模糊描述逻辑Fuzzy-ALCRP (D),给出Fuzzy-ALCRP (D)的Tableau判定算法,并给出一个Fuzzy-ALCRP (D)在模糊RCC8空间中的推理实例.     

基于 OBDD 的描述逻辑 ALC判定算法

针对描述逻辑 ALC的经典判定算法在处理大规模问题上的不足,而 OBDD 对于处理大规模问题有高效性,给出了一种基于 OBDD 的 ALC判定算法并证明正确性.该算法根据 ALC 的概念的形式,计算所有子概念和每个子概念的否定形式的集合,然后根据该集合里的每个概念的形式构造出其相应的布尔函数,将布尔函数转化为 OBDD 的表示形式来进行概念的可满足性判定.     

基于黄金准则的农业领域本体概念有效性评估方法研究

本体作为表达知识的共享概念模型,已日渐成为人工智能和知识领域中一个重要的研究方向。为了客观地评估已构建好的农业领域本体,进一步地提升利用本体学习方法自动构建本体的效率,以茶树虫害本体为研究对象,提出了一种基于黄金准则的农业领域本体概念评估方法。该方法通过计算本体学习自动构建的本体概念与黄金本体概念的相似度,实现对农业领域本体学习的评估。     

语义Web环境中基于本体推理的协同标注

在已有的Web协同标注系统的基础上,通过对资源文档的标签进行共性分析以及上下文情境感知,以此来扩展标签的概念组,并将其与相关本体进行映射;利用本体推理技术来丰富标签的语义性,挖掘出文档隐含的语义信息,发现文档间所存在的内部关联,同时鉴别不同文档之间是否存在着伪关联,以此提高知识检索与知识推荐的准确性以及主体间的知识共享水平。     

基于本体的农产品供应链知识表示与推理研究

以Protégé4.3为本体编辑工具,运用OWL2语言对农产品供应链本体概念进行定义和形式化表达,探讨农产品供应链本体构建过程。     

基于本体技术的优化系统研究与应用

为满足海量异构数据优化需求,对本体的概念和应用进行论述,分析构建地理本体的方法,设计基于地理本体的推理与查询系统、本体控制优化模型等优化系统子系统。在对过程数据作完整性分析、对异构数据源实现数据集成必要性分析的基础上,设计并实现基于本体的优化系统,既可以消除信息孤岛,又可以共享和重用生态文明政务知识,实现信息增值。应用该优化系统对研究区景观格局进行多目标优化,绘制出该研究区域的景观优化格局图。     

本体在基于电子商务的关联规则挖掘研究中的应用

关联规则挖掘(Association RuIe Mining)是数据挖掘研究的一个重要分支,目前许多关联规则挖掘系统仅在数据内容上生成规则,缺乏领域知识,产生大量无用的结论.为解决以上问题,提出在电子商务的关联规则挖掘中引入本体,对本体在关联规则挖掘中的3个主要问题进行研究.     

大气污染领域本体的半自动构建及语义推理

为了明确大气污染物、污染源、影响因素、评价指标、危害等之间的关系,分析大气污染传播路径,建立了一个较为清晰、完善的大气污染领域本体.首先,基于机器学习和自然语言处理等技术,提出一种基于注意力机制的序列标注联合抽取实体关系的方法,在双向长短时记忆(long short-term memory,LSTM)网络模型中加入注意力机制,并将实体和关系联合标注,从而进行实体关系抽取.其次,结合词频-逆文档频率(term frequency-inverse document frequency,TF-IDF)核心概念挖掘方法进行知识抽取,并将概念、属性、关系和实例组织起来,从而实现大气污染本体模型的半自动构建.最后,在本体和实例的基础上通过Protégé的SPARQL Query模块和HermiT推理机分别进行条件推理和可视化推理.结果表明,基于注意力机制的序列标注实体关系联合抽取方法所构建的大气污染领域本体包含核心实体68个,实例数360个,相较于现有的本领域本体,在全面性、有效性、准确性和可重用性方面都有较好表现,同时推理出了Ca²⁺和K⁺等污染离子的...     

基于信息扩散近似推理的农业干旱预测模型

将信息扩散近似推理技术应用于农业干旱预测中,信息扩散近似推理将样本点转换成模糊集,部分弥补了由于数据的不完备性所造成的信息空白,并可以将样本中的矛盾模式转换成兼容模式.借助信息扩散近似推理模型,利用农业干旱历史灾情序列对未来年份农业产量进行预测,估算减产程度.实例表明,该模型能在小样本条件下,充分挖掘数据信息,较好的预...     

本体论及在机械设计中的应用

文章对本体的概念、作用及方法进行了讨论,对本体的应用现状进行了回顾。在此基础上,讨论了机械设计概念设计的特点,分析了本体论在机械设计中的应用需求,对其应用做了初步的展望。     

成衣制造工艺知识可拓表示与实例推理应用研究

激烈的市场竞争,使企业必须满足客户需求进行多品种、小批量生产,导致企业的工艺设计方案急速增长.现有CAPP系统知识化表示不足,使工艺设计人员难以快速找到相似工艺,降低了工艺设计效率.通过对传统的谓词逻辑、产生式规则、语义网络和框架等知识表达方法进行可拓表示,对成衣制造工艺知识进行建模与实例推理应用研究,建立了定性与定量相结合的成衣制造可拓知识表达模型,提出了可拓信息物元相关性和相似性计算方法.把可拓学与实例推理相结合,构建了可拓激励推理模型,并将可拓学中的可拓距运用于该算法,进行实例搜索,根据距值的不同确定实例点在目标区间的位置.将激励算法与物元的可拓性和可拓距相结合,能提高激励算法的经验性,只要实例库中存在满足求解的相似工艺方案,则通过大量的应用和系统的自学习功能,可以拓展实例库,大大提高工艺设计效率,从而进一步增强CAPP系统的智能性及实用性.