Protégé中实例都是以链路形式录入的，构成施工项目、施工活动、前兆信息、风险事件、安全措施联系框架，可以看出，在每个链路的起始点，地铁施工项目与施工活动由“has＿construction”属性相连，施工活动与前兆信息由“cause＿precursor”属性相连，前兆信息与风险事件由“cause＿risk”属性相连，风险事件与安全措施由“has＿solution”属性相连，前兆信息、风险事件、安全措施并未和施工项目以“cause＿precursor”“cause＿risk”及“has＿solution”属性联系起来。
其实，在地铁项目施工过程中，施工项目、施工活动、前兆信息、风险事件、安全措施具有这样的属性推理规则：
Rule 1：如果
x∈Project，y∈Construction，z∈Precursor，a∈Risk，b∈Solution，且x（has＿construction）y，y（cause＿precursor）z，z（cause＿risk）a，a（has＿solution）b，
那么：x（cause＿precursor）z，x（cause＿risk）a，x（has＿solution）b。
Rule 2：如果
x∈Construction，y∈Precursor，z∈Risk，a∈Solution，且x（cause＿precursor）y，y（cause＿risk）z，z（has＿solution）a，
那么：x（cause＿risk）z，x（has＿solution）a。
Rule 3：如果
x∈Precursor，y∈Risk，z∈Solution，且x（cause＿risk）y，y（has＿solution）z，
那么：x（has＿solution）z。
以上三条规则可以用图形象地表示出来，“Rule 1”如图3-3所示，“Rule 2”如图3-4所示，“Rule 3”如图3-5所示，图中实线代表已知关系，虚线代表SWRL规则推理出的隐性关系。
(www.xing528.com)
图3-3 “Rule 1”规则示意
图3-4 “Rule 2”规则示意
图3-5 “Rule 3”规则示意
以上3条规则，用SWRL规则语言表达如下：
Rule 1：Project（？x）∧Construction（？y）∧Precursor（？z）∧Risk（？a）∧Solution（？b）∧has＿construction（？x，？y）∧cause＿precursor（？y，？z）∧cause＿risk（？z，？a）∧has＿solution（？a，？b）→cause＿precursor（？x，？z）∧cause＿risk（？x，？a）∧has＿solution（？x，？b）；
Rule 2：Construction（？x）∧Precursor（？y）∧Risk（？z）∧Solution（？a）∧cause＿precursor（？x，？y）∧cause＿risk（？y，？z）∧has＿solution（？z，？a）→cause＿risk（？x，？z）∧has＿solution（？x，？a）；
Rule 3：Precursor（？x）∧Risk（？y）∧Solution（？z）∧cause＿risk（？x，？y）∧has＿solution（？y，？z）→has＿solution（？x，？z）。
在插件The SWRL Tab中编辑Rule 1、Rule 2、Rule 3，如图3-6所示。
图3-6 属性规则
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
