-- 发布时间：4/30/2006 6:17:00 PM
-- 有构建过配置领域本体的大人吗？请出来帮帮忙
我的毕设是《基于本体的配置器设计》，打算构建一个电脑配置器，部件、部件间的构成关系、部件的属性已搞定，但部件间的连接关系和配置约束还在困惑中。
I'm stunk in this.如果这个问题解决不了，我估计五一七天都很郁闷阿！
我把我自己的idear贴出来，请大人们给点意见。我以“CPU接口类型和CPU插槽类型必须一致”为例。
Idea1：用protege中的PAL constraints插件来描述。但不知道这个能不能和Jena结合。
（forall ?cpu(forall ?cpuslot
( = (PortType ?cpu）(CPUSlotType ?cpuslot))))
Idea2：把CPUSlot作一个类，它和CPU之间用isConnectedto关系联接，然后在indivudule中指出某个插槽可以与哪些CPU个体连接。但觉得以后增加CPU个体的话，还要在CPUSLot中增加，不利于本体的进化。
Idea3：把CPU按接口类型分类，然后定义该类CPU。如Socket775CPU定义为：is connectedto ( CPUSlot & CPUSlotType Socket775)。我对推理不太懂，仍然不知道如何与Jena结合。
而且这仅仅只是一个约束，写起来都很麻烦阿！
请大家给点意见我！谢谢！
