语言和相关的处理工具来扩展万维网的能力。不过语意网概念实际上是基于很多已有技术的，也依赖于后来和text-and-markup与知识表现的综合。 "语义"网是由比现今成熟的网际搜索工具更加行之有效的、更加广泛意义的并且自动聚集和搜集信息的文档组成的。其最基本的元素就是语义链接。 语义网的渊源可以追溯到1960年代早期的Allan...

语义网堆栈（英語：Semantic Web Stack）或称语义网蛋糕Semantic Web Cake、语义网千层饼（Semantic Web Layer Cake）指语义网的体系架构。 语义网堆栈利用图示解释是不同层面的语言所构成的层级结构；其中，每一层面都将利用下游层面的能力。该图说明的是针对...

规则交换格式（Rule Interchange Format，RIF）是一个已经建议的语义网构成要素。W3C目前正在构建RIF，将其作为可能推荐的，适合于语义网之上基于规则的系统之中规则交换的格式。RIF旨在为不同的规则语言和推理引擎创建一种交换格式。...

语义检索 ，是为了生成更相关的结果，使用语义网络中的数据来帮助区分(disambiguation)查询和网页的内容，所进行的在线检索过程。Hildebrand et al. 有一个对语义检索系统的全面回顾报告，并且说明了语义在检索过程中的相关使用情况。 语义网络 Semantic Unification...

语义网络（英語：Semantic Network）常常用作知识表示的一种形式。它其实是一种有向图；其中，顶点代表的是概念，而边则表示的是这些概念之间的语义关系。语义网络是机读型字典（machine-readable dictionary）的一种常见类型。 主要的语义关系包括若干方面。语义...

RuleML研讨会（英語：RuleML），是有关於Web规则研究、应用、语言和标准的国际學術研討會，因其组织方之一RuleML得名。会议全名先后为语义网规则和规则标记语言国际会议（英語：International Conference on Rules and Rule Markup Languages...

操作语义学是计算机科学中的一个概念，它是使得计算机程序在数学上更加严谨的一种手段。其它类似的手段包括提供形式语义学，包括公理语义学和指称语义。 一个计算机语言的操作语义描述一段合理的程序是怎样被理解为一系列计算机步骤的。这些步骤就是这个程序的意义。在函數程式語言...

语义论特性 此家族语言大致分为两个系统： 基于描述逻辑进而丰富表达和精准计算属性的OWL DL、OWL Lite以及資源描述框架（resource description framework，RDF）。 提供兼容叙述的OWL Full。网络本体语言已经被认为是语义网技术的基础语言并吸引了包括学术和商业范围内人士的广泛兴趣。...

在计算机科学和人工智能领域，本体语言（ontology language、又称为本体论语言）是指用于构建本体的形式语言。此类语言允许对有关特定领域的知识加以编码，且常常还包括为处理这些知识提供支持的推理规则。本体语言通常为声明式语言（又称为表述型语言、说明性语言），几乎总是属于框架语言的泛化形式，且一般都基于一阶逻辑或描述逻辑。...

語義學（英語：semantics）也作语意学，是以语言学观点研究语言意义的学科，也是对指称、意义或真理的研究。语义（semanteme）是语言单位本身具有的意义，其强调客观存在意义，意义应唯一，属语言意义。语意（meaning）是语言单位融入个人主观思想后所表达的意思，其强调情感和主观想法，意义并不唯一，属言语意义。 语义学涉及了语言...

Maps)是对知识进行表示和交互的一种标准，它和语义语义网中的知识表示模式相类似，并且结合了传统索引、搜索引擎与人工智能等领域的优点，可以有效的组织知识以利于探索、推理，解决大量无序信息所带来的问题。国际标准化组织(ISO)标准的正式名称为ISO/IEC 13250:2003。 语义网 概念图 心智图 统一建模语言(UML) 本体...