语义网技术是当前互联网技术研究的热点之一。目前大多数页面中所使用的文字信息不便于机器自动处理，只适合人们自己阅读理解，解决可自动处理的数据和信息方面发展较慢的问题，在网络上信息量剧增、人们迫切需要计算机分担知识整理这一压力的今天，成为信息检索的一个难题，本文中对本体层概念的推理就是为了探索计算机理解语义所做的一个尝试。语义网的体系结构向我们说明了语义网中各个层次的功能和特征，语义网的研究是阶段性的，首先解决syntax（语法）层面的问题，也就是xml，然后是解决（数据层）基本资源描述问题，也就是rdf，然后是（本体层）对资源间关系的形式化描述，就是owl，daml_oil，这三步已经基本告罄，当然, 基于rdf或者owl的数据挖掘和ontology管理(如合并，映射，进化)按TIM BERNERS-LEE的构想，这个工作大概到2008左右可以完成，在商业上，很快就会在知识管理，数据挖掘，数据集成方面出现一些企业。目前亟待发展的是Logic Layer（逻辑层），这方面在国内外的期刊著作中还少有提到，接下来的工作就应该是对于owl_based的数据进行推理和查询了，当前的推理方法主要是针对本体而言的，而本体的概念是在某个特定领域范围内的，而且在知识库中推理和查询是紧密的结合在一起的，相辅相成的，查询的同时必然存在着推理，而这里的推理就必须要建立在一定的逻辑模型的基础上，所以推理的方法就是基于逻辑模型的逻辑推理，可采用逻辑推理的方法。本体中推理的重点在于推理结论的正确性、完备性，若是不能保证推理的正确性，则语义网的引入就不但没有给网络资源的查询带来便利，反而阻碍了网络的发展，而且还要保证推理的完备，不遗漏应有的推理结果。本体推理的难点在于推理的高效性、资源利用率，若推理虽能达到正确性，完备性的目的而浪费了大量的时间和资源，则语义网也不能达到预期的效果，所以推理方法的使用及其效果是语义网成功的关键一步，推理的成功和实用可以推动语义网的实现和进一步发展。在本文的定义中本体包含五个基本的建模元语，概念（所要描述的事物的客观抽象），关系（在领域中概念之间的交互作用），函数（一类特殊的关系。该关系的前n－1个元素可以唯一决定第n个元素），公理<WP=47>（代表永真断言），实例（代表元素），通过本体的五个建模元语构建本体，给出本体的形式化的规范定义，本体描述中的四种特殊关系有继承关系（概念之间的父子关系），部分关系（概念之间部分与整体的关系），实例关系（类对象和类之间的关系）和属性关系（某个概念是另一概念的属性），关系的各种属性是进行本体推理的逻辑依据，有传递性属性（关系R的传递性属性是若概念A和概念B有关系R，概念B和概念C有关系R，并且R具有传递性属性，则概念A和概念C就有关系R），关系继承性（概念A与父概念有关系R，则概念A也与其子概念有关系R，关系R就具有关系继承性的属性），反向关系继承性（父概念与概念A有关系R，则其子概念与概念A也有关系R，关系R就具有反向关系继承性的属性），逆属性（当概念A和概念B有关系R的同时，概念B和概念A有关系R－1，则称关系R具有逆属性，或称关系R是可逆关系），对称性属性（称关系具有对称性属性是若概念A和概念B有关系R，则概念B和概念A有关系R），反身性属性（概念A和它本身具有关系R），等价性属性（关系同时具有自反性，对称性，传递性属性的时候被称之为具有等价性属性）等等，依据这些属性的逻辑性，可以推理出概念间的隐含关系，这是我们目前所要做的工作。本文在以上的本体定义基础上建构本体关系图，其中以本体概念为结点，概念的关系为边的图中，我们利用关系属性的逻辑推理能力来对结点间的关系图进行树状的检索查找，我们可以判断出结点之间是否存在一些给定的关系，或者一个结点和哪些结点间存在给定的关系，再或者两个结点间都存在着些什么关系等等。编程实现上是用SQL Server作为数据库，用Delphi语言来编译实现的，数据库中概念和概念之间的关系存储在数据库的表中，通过对数据表的查询来实现概念间关系的推理。在本文的研究系统中距离语义网信息服务智能化、自动化的目标还有一定距离，其次，本文所设计的语义网系统，是一个独立的语义网门户，但语义网最终将以互联网的方式实现，这就面临网络上扩展的控制问题，而本文中所引入的也是一个特定领域范围的本体，网络中本体的互通信也是一个所要面临的问题。