描述逻辑SHIQ与网络资源自动分类

摘要

自动判定一个网络资源的类别是网络内容监控的一个重要工作.本文提出一种新的网络资源自动分类方法,该方法基于最新的知识表达技术--描述逻辑(description logics),在构建网络资源知识库的基础上,利用描述逻辑完备和正确的推理算法,对网络资源进行分类.本文重点介绍了描述逻辑系统SHIQ,并对网络资源的知识描述、分类公理的形式以及它的实现,作了简要介绍.