OWL中基于具体化的多元关系表示研究.docVIP

OWL中基于具体化的多元关系表示研究 倪子建 ，荣莉莉 大连理工大学系统工程研究所，大连市　116023 摘要： 在语义网中 OWL 是一种重要本体语言。随着应用的不断深入，OWL 不能直接形式化 的描述多元关系的不足被逐步认识。具体化方法是 OWL 中用二元关系表示多元关系的一种通 用的方法，从理论方法上，以往的研究缺少对这种方法的探讨。本文的目的就是要系统的研究 具体化的相关理论，本文从三元关系的具体化方法出发，进而把相关理论方法扩展到多元关系 上。具体内容如下：1）在总结相关研究的基础上，本文提出了三元关系具体化的概念，并且 结合这些概念讨论了两种具体化方法：一种方法需要定义具体化概念，而另一种不需要；2） 为了进一步揭示了那些三元关系在具体化的过程中不需要定义具体化概念，本文提出了三元关 系的关系三角形模型和顶点概念等相关理论；3）本文所提出的相关理论方法不仅仅适用于三 元关系，同时也适用于多元关系，在文章的最后，我们概要的讨论了如何把本文的相关理论方 法扩展到任意元关系中去。 关键词：本体; 多元关系; OWL; 具体化; 关系三角形 中图分类号： C94 Study on Rei?cation in OWL for De?ning N-ary Relations NI Zi-Jian , RONG Li-Li Institute of Systems Engineering, Dalian University of Technology, Dalian 116023, China Abstract: In semantic web, OWL is an important formal knowledge representing language. A well-known limitation of OWL is the n-ary relation, which appears in many applications. Rei?cation is a general method which can use binary relations to represent n-ary relations. Previous studies have proposed some kinds of rei?cation methods, but lacked of formal de?nitions and models. In this paper, we systematically investigate the method of reifying the n-ary relations in OWL. The main contents of the paper are shown as follows: 1) We propose the de?nition of reifying form of the ternary relations. By this theory, we discuss two type rei?cation methods. One needs construct new concept for reifying, the other needs not. 2) In order to ?nd the relationship between the ternary relations and their reifying methods, we propose the model of relation triangle and Apical Concept. 3) At last, we extend our theory to n-ary relations. Key words: ontology; n-ary relations; OWL; rei?cation; relation triangle 基金项目： 高等学校博士学科点专项科研基金资助课题(20090041110010) 作者简介： 倪子建，1981年生，研究方向：本体论，应急管理等。通信作者：荣莉莉，1964年生，研究方向：突发事件管理， 系统工程等。 E-mail：llrong@ -1-  0  引言  在语义网中，本体语言被用来对知识进行形式化的表示。OWL (Ontology Web Language) 及其最新版本 OWL2 是被广泛使用的本体语言[1]，它们的理论基础都是描述逻辑（Description Logics）中 SH 族子语言[2, 3]。OWL 继承了描述逻辑的优点，即在具有一定表达能力的基础上 又保证了可计算可推理的特性。但是随着应用的不断深入，OWL 在表达能力上的一