描述逻辑相关论文
描述逻辑是一种基于对象的知识表示的形式化工具,是一个用于描述及推理概念知识的逻辑公式集合体,是一阶谓词逻辑可判定的子集,能......
针对二维表面形貌规范不合理导致认证方案关键信息不完整或矛盾,使认证无法完成的问题,提出规范与认证过程自动检验语义本体模型.......
UML是目前广泛采用的软件建模语言。用它作为本体的可视化建模，可以为大多数软件工程师所接受。但UML并非是一种形式化语言。无法进......
当前主流的语义web服务发现方法：用本体来描述web服务;用DL推理机来实现语义Web服务的匹配。这种方法存在的问题有：①web服务涉及各......
分析了描述逻辑在数据库中的研究现状和存在的问题，特别是描述逻辑与面向对象数据模型的关系。在A Artale和D Calvanese的基础上提......
文章主要介绍了Ontology的基本知识、本体推理的相关知识和基本应用;阐述了建立有效的本体机制在建立、维护等方面的必要性.......
本文通过对已有语义Web服务匹配机制的分析,并结合语义搜索技术,提出了基于OWL-S和语义检索的Web服务匹配方法.......
针对传统基于关键字的检索不能在语义层面上为用户检索到具有特定含义资源的问题,本文提出一个采用Web Service技术,基于领域Ontol......
命题动态逻辑是模态逻辑最为成功的变种之一，在计算机科学和人工智能的众多领域发挥着重要作用.作为W3C推荐的Web本体语言OWL的逻辑......
为了表示语义Web和本体中不精确和不确定的模糊数据信息，提出了模糊教据类型域的概念，并给出了一种模糊数据类型表示的统一机制.此外......
本文首先介绍了描述ALC语法和语义，并指出ALC的不足；然后提出了ALC+，它在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个......
文章主要讨论了描述逻辑中Tbox的最大与最小不动点语义,证明了当某一基解释J所诱导的映射为单调时,该Tbox存在最大与最小J-模型,并......
本体是概念化的一个显式的规格说明,能够将领域中的各种概念及相互关系显式地、形式化地表达出来.本文首先介绍了本体的基本概念,......
针对用户来自不同角度及不同层次的本体需求,提出建立基于粒度的本体模块描述方法,以便帮助用户从现有的大型本体中抽取出所需模块......
在FPGA设计的三个基本多步骤——输入、实施和验证中,设计实施步骤与目标FPGA器件的体系结构结合得最为紧密.事实上,它或许从来不......
针对当前行政权力表示晦涩,传统的知识表示方法在自然语言转化为机器可识别语言过程中存在效率低、误差高的问题,首先对知识元以及......
[目的/意义]基于情景的方法是实现健康信息服务个性化的有效途径,文章对其关键技术情景建模与推理进行了研究。[方法/过程]文章以......
本文对描述逻辑、语义和本体以及本体的描述和查询语言进行了阐述.在此基础上，分析了当前OWL语义本体推理和存储系统存在的问题。如......
随着网络技术的应用普及，未来的信息系统将不再是一个独立的软件系统，而是一种能融合现有系统，并能实现各子系统之间上下贯通、左右衔......
网络安全应急响应是未来信息安全策略的重心。通过网络安全应急响应可以帮助有效的减少网络安全事件带来的损失,进一步为系统和数......
无论在Web环境下还是组织内部,信息环境越来越复杂,信息表示的方式越来越多样化。在这一背景下,如何利用分布异构的数据资源构建数......
该篇论文以在线商品为例,详细讨论了基本本体的知识引擎的构造方法,从相关理论、研究成果的介绍分析开始,到自己设计、实现原型系......
语义Web中本体层、规则层与逻辑层的研究是目前语义Web研究领域的热点，其中每层都涌现出一些各自独立定义的知识表示方法和语言，并实......
基于策略的方法为复杂IT系统的安全访问、服务质量控制等提供了重要的技术手段。一方面,基于策略的方法能够在不改变实现代码的情......
作为一种新兴的、面向Intemet的分布式计算模式,面向服务的计算为构造松耦合、跨组织的集成应用提供了更好的使能技术.Web服务作为......
互联网正在快速地发展，面对信息的海洋，如何从中发现、选择和查询所需要的数据和服务信息就成为一项重要而迫切的研究课题。为了适应......
该文将演化计算（Evolutionary Computation,简称EC）的思想和方法应用到基于构件的软件开发之中,提出一种"基于演化构件的软件复用方......
描述逻辑(DL)作为一类用于知识表示的形式化工具,具有较强的表达能力和可判定性。近年来,随着语义Web的兴起,描述逻辑成为了知识表......
随着Web信息的与日俱增，使用机器处理这种信息成为一种必然的趋势。语义Web应运而生，成为当前研究的热点之一。它以本体为核心，为不同......
语义Web是当前Web的本质变革，旨在通过本体精确定义Web信息共享词汇的语义，建立数据层面的链接(a Web of data)，更好地支持信息共享与......
信念修正是主体接受一个新的信念并将其加入到已有的信念集合中，且不会引起不协调的一个过程.在哲学、计算机科学，尤其是数据库和人......
描述逻辑是一类刻画领域知识的形式化工具，在信息系统、软件工程、自然语言处理等领域已得到了成功应用。目前描述逻辑已成为语义We......
反绎推理是一种基于逻辑的自动推理技术，并且已经在系统诊断、系统设计、产品规划等领域得到了应用。在人工智能中，反绎推理被作为一......
OWL(Web Ontology Language)本体作为形式化的知识表示模型在语义网(Semantic Web)中扮演着至关重要的角色，为领域应用系统提供共享......
以计量学为基础的新一代几何产品技术规范（New-generation Geometrical Product Specifications，N-GPS）标准体系为几何产品提供了在国......
语义Web(semanticweb)研究的目标是让Web上的信息成为机器可理解的，从而使机器与人能够更好地相互协作，使Web所提供服务的质量得到质......
描述逻辑(Description Logic)作为基于对象的知识表示的形式化工具,广泛地应用在信息系统、数据库、软件工程、自然语言处理和网络......
随着Internet的发展,基于Internet的B2B电子商务也不断发展,产生了巨大的经济价值。然而,目前大多数电子商务的应用和基于Web的商......
目前大多数信息检索都是使用基于关键字匹配的检索方式，该检索方式的核心是关键字符的机械匹配，忽略了文档之间语义层次上的关联，从而......
在现今的几何产品设计中,装配公差类型基本上都是由设计者在图纸上或CAD系统中手工指定,不同的设计者有可能指定不同的装配公差类......
1998年，Tim Berners-Lee提出了语义Web的概念，目标是通过向数据中添加机器可理解的语义和启发式的使用元数据来实现机器自动处理信息......
语义Web是当前Web的扩展，它为Web信息附加计算机可理解的语义，实现Web数据处理的智能化。描述逻辑被视为语义Web的主要逻辑基础，它赋......
事例表示及检索是基于事例推理(Case-Based Reasoning,CBR)研究中的重点、难点。描述逻辑(Description Logic,DL)能准确刻画出不同......
数据库自然语言接口是人工智能研究的重要分支,它的目标是使计算机能够“理解”自然语言,让用户直接使用自然语言访问数据库。经过......
