Page 254 - 《软件学报》2020年第9期
P. 254
陈德彦 等:专家视图与本体视图的语义映射方法 2875
(?person people:尿酮体 medicine:阴性)→
(?person people:people.person.can_do_exercise “false”∧∧xsd:boolean)]
...
#如果患者大于 35 岁、2 型糖尿病(T2DM)持续 10 年以上、1 型糖尿病(T1DM)持续 15 年以上、存在发生
#冠状动脉疾病的危险、有微血管并发症(增生性视网膜病或肾病,包括微量蛋白尿)、有外周血管疾病和自
#主神经病变的,符合上述任何一条者都需要做运动耐量实验.
#患者大于 35 岁
[r15:(?person people:people.person.has_diseases ?disease),
(?disease medicine:disease.parent_disease medicine:m.0c58k),
(?person people:people.person.has_age ?age),
greaterThan(?age,“35”∧∧xsd:integer)→
(?person people:people.person.need_do_exercise_tolerance_test “true”∧∧xsd:boolean)]
#T2DM 持续 10 年以上
[r16:(?person people:people.person.has_diseases medicine:m.0146bp),
(?person people:people.person.dm_time ?years),
greaterThan(?years,“10”∧∧xsd:integer)→
(?person people:people.person.need_do_exercise_tolerance_test “true”∧∧xsd:boolean)]
#T1DM 持续 15 年以上
[r17:(?person people:people.person.has_diseases medicine:m.0849qj),
(?person people:people.person.dm_time ?years),
greaterThan(?years,“15”∧∧xsd:integer)→
(?person people:people.person.need_do_exercise_tolerance_test “true”∧∧xsd:boolean)]
...
#糖尿病患者,年龄大于 50 岁,适合低强度或轻微强度的运动
[r25:(?person people:people.person.has_diseases ?disease),
(?disease medicine:disease.parent_disease medicine:m.0c58k),
(?person people:people.person.has_age ?age),
greaterThan(?age,“50”∧∧xsd:integer)→
(?person people:people.person.appropriate_exercise_intensity exercise:low_intensity),
(?person people:people.person.appropriate_exercise_intensity exercise:light_intensity)]
...
#因为身体部位有损伤或残疾而不适合的运动项目
[r42:(?personpeople:people.person.has_physical_disabilities ?body_part),
(?person rdf:type people:person),
(?body_part rdf:type medicine:anatomical_structure),
(?exercise_items exercise:exercise.exercise_items.involved_body_parts ?body_part)→
(?person people:people.person.not_appropriate_exercise_items ?exercise_items)]
...
• 规则文件中,“@include 〈RDFS〉”表示导入规则推理所需要的 RDFS 规则集;
• 每条规则中,“:”前为规则名,可选;“→”表示规则的方向,这里为前向规则(forward rule),方向的左边表示
规则体,即推理条件,右边表示规则头,即推理结论;
• 规则体和规则头中的多个项(term)之间使用逗号分隔,每个项可以是一个三元组模式或者 Jena 规则引