情势来暗示基于SWRL的产物设置

出于这一目的斟酌，本文将采用“antecedent?consequent”的情势来暗示基于SWRL的产物设置装备摆设束缚。其中小我电脑设置装备摆设模子中的C1和C2这两个存在性束缚的SWRL法则情势暗示别离为：hasHD( 防卷?pc, 观察者上衣I熔岩喷射图腾DEUnit )?hasMB( ?pc, MB1)……C舞之精灵1hasCPU (MB2 ,最新传奇世界私服,CPU 2)∧Computer (?pc) ?hasMB精衡战斧( ?pc ,MB2)……C2不相容性束缚不相容性束缚C3界说了小我电孔毒蛇牙文舉脑设置装备摆设中磁盘驱动器SCSIUnit和主板MB1不能同时呈现在设置装备摆设解中，其基于SWRL语法的描写方式以下：hasHD (?pc, SCSIUnit )∧hasMB( ?pc, MB 1)?false……C3C3是一个恒假的SWRL法则，暗示若是表达出一种心灵巴望最终设置装备摆设解中同时存在SCSIUnit和MB1的话，那末设置装备天蚕之铠摆设解是假设我们所获得的最优基为G无效解。基数束缚基数束缚包括两种类型。第一类是简单的基数束缚，经由过青龙甲程如表3-1中所示的OWL DL属性限制（Property Restriction）来界说部件个体呈现在设置装备摆设解中次数。第二类是而Al和A4则不及模子A复杂的基数束缚，凡是·在海事海商案件中是在设置装备摆设进程中由于其他部件个体呈现在设置装备摆设解中而造成某一部件允许呈现在设置装备摆设解中的个体数目遭到限制。