描述逻辑综述.pdf 描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。作为一种知识表示的有效机制,描述逻辑被广泛地应用到计算机科学的许多领域中。本文对目前描述逻辑的研究与应用现状进行了综述性的介绍,并且从描述逻辑的定义、描述逻辑的基本语法及语义、体系结构以及描述逻辑在语义Web中的地位等方面做了系统阐述。
上海交大计算机网络课件 这是有史以来最全的计算机网络课件,包括以下3位名师的课件:谢希仁(第4版、第5版)、吴功宜、上海交大的翁惠玉。分别对应了3种不同的教材。其中翁惠玉使的是Andrew S. Tenenbaum的《计算机网络》第4版。 本资源还包括了Andrew S. Tenenbaum《计算机网络》第4版全部习题的答
jsp文件上传下载组件绝对简单易用带详细说明 目前网上有很多类似资源,但在修改之前都很难使用。 这个组件是我在“潇湘文件上传组件”的基础上修改而成的。 绝对可用,配置简单,带有详细的说明。 虽然分多了点,但绝对可解你燃眉之急。