对OWL及其逻辑基础的研究

OWL是WebOntology的表示语言,是实现语义Web的语言工具。对OWL三个子语言 的语法进行了比较分析,重点对OWL的逻辑基础(即描述逻辑)进行了讨论,就描述逻辑如何用于表 示本体进行了研究,提出了一种基于描述逻辑的本体模型,并对描述逻辑的推理机制进行了阐述。