Page 243 - 《软件学报》2020年第9期

2864 Journal of Software 软件学报 Vol.31, No.9, September 2020

或类.采用 OWL DL 语义组件描述的本体能够确保语义推理计算的完全性(computational completeness)和可判
定性(decidability).OWL Full 具有最强的表达能力和完全自由的 RDF 语法,例如,在 OWL Full 中,一个类本身可
以作为一个个体,并允许一个本体增加预定义的(RDF,OWL)词汇的含义.但由此带来的问题是,没有推理系统能
够支持对 OWL Full 所有成分的完全推理.
rdf:type rdf:type
rdfs:label rdf:type
med:medicine.di “营养失调性疾
“疾病”@zh sease 病”@zh
rdfs:label
疾病 rdf:type rdf:type
med:m.0275pjz rdf:type med:m.02hjxl
med:medicine.disease. med:medicine.disease.
营养失调性疾 rdfs:label
内分泌疾病 parent_disease parent_disease
病 “内分泌疾 rdfs:label
病”@zh med:m.0c58k “糖尿病”@zh
med:medicine.disease.incl med:medicine.disease.incl
糖尿病 糖尿病 udes_diseases udes_diseases
med:m.0849qj med:m.0146bp med:m.033pgk
rdfs:label rdfs:label rdfs:label
1型糖尿病 2型糖尿病 妊娠糖尿病
“1型糖尿 “2型糖尿 “妊娠糖尿
病”@zh 病”@zh 病”@zh
(a) (b)
(a) 专家视图 (b) 本体视图
Fig.4 The same resource is both a class and an instance
图 4 同一资源既是类型又是实例

为了平衡表达能力和推理能力,这里选择 OWL DL 作为本体视图的描述语言.同时,为了支撑这里的领域知
识描述需求,即某个资源自身既表示实例又可以作为分类代表更多实例对象的集合,这里提出了约定 5 的领域
知识建模方法.
约定 5. 在专家视图中,对于自身既表示实例又可以作为分类代表更多实例对象的集合的资源对象,在对应
的本体视图中,将其所在分支的父类、子类及实例对象都建模为最近公共父类的实例,并通过对象属性表达实
例间的分类关系.
基于约定 5,对于图 4(a)所示的专家视图,可以建立如图 4(b)所示的本体视图.本体视图将专家视图中疾病的
所有子类及实例都建模为疾病类的实例,并通过对象属性 med:medicine.disease.parent_disease 表达实例的父类
(实例),通过对象属性 med:medicine.disease.includes_diseases 表达实例作为类型包含的实例集合.这里,对象属性
med:medicine.disease.parent_disease 和 med:medicine.disease.includes_diseases 都是传递(transitive)属性,具有类
[3]
型 owl:TransitiveProperty .如果属性 p 为传递属性,那么如果存在陈述(A p B)和(B p C),则意味着存在陈述(A p
C).
除了这里的情况以外,在本体视图中,将一个资源表示为一个概念(即类)还是一个实例,或者将资源建模为
实例还是某个数据类型属性的值,这依赖于具体的领域范围和该本体潜在的应用需求.
如果具有超类(superclass)没有的附加属性,或者具有不同于超类的约束,或者参与了与超类不同的语义关
联,这时可以建模新的子类而不是超类的实例 [17] ;如果资源具有很多属性特征,或者与其他资源存在语义关联,
那么应该将资源建模为实例而不是作为某个数据类型属性的值.

2.4 多元关系的语义映射
在任何领域的知识描述中,都会涉及到对资源的某些量化指标的描述,例如人的身高、体重、体温、心跳
次数等.在不同的国家和地区,对相同指标的默认指称单位并不完全一样,例如在中国,衡量人的身高、体重一般