基于OWL和Horn子句的β-PSML语言框架  

A Framework of β-PSML by Combining OWL and Horn Clause

作　　者：苏依拉 [1] 郑磊 [2] 刘椿年 [2] 钟宁 [3] LIU Jiming  

机构地区：[1]北京工业大学多媒体与智能软件技术北京市重点实验室,北京100022,内蒙古工业大学信息工程学院,呼和浩特,010062 [2]北京工业大学多媒体与智能软件技术北京市重点实验室,北京100022 [3]日本前桥工业大学 [4]香港浸会大学

出　　处：《计算机工程》2005年第23期65-66,78,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(60173014);北京市自然科学基金资助项目(4022003);内蒙古自治区自然科学基金资助项目(200208020217)

摘　　要：提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结构的领域模型。提出的β-PSML语言是一种语义Web中新的知识表示方法,利用该β-PSML语言的推理功能可以完成语义Web中的查询。This paper proposes to construct β-PSML by combining OWL with Horn clauses. In this way, β-PSML can represent multi-relations, which cannot be represented by OWL. In addition, β-PSML is expressive enough to model domains with a rich hierarchical structure that Horn clauses are not able to do. β-PSML presented in this paper is a new method of knowledge representation for the semantic Web, and it can answer queries for the semantic Web by using its reasoning mechanism.

关 键 词：问题解决标记语言 OWL 语义WEB HORN子句 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]