如何编写OWL表达式限制候选人同一选举仅加入一个候选名单？

核心逻辑明确 #

需求本质是：候选人可加入多个候选名单，但任意两个不同的候选名单若归属同一选举，则不能同时包含该候选人。即不存在“两个不同候选名单+同一选举+同一候选人”的关联组合。

正确的曼彻斯特语法表达式（用于Protege的Candidate类Equivalent To） #

not (exists cl1:CandidatesList, cl2:CandidatesList, e:Election (onList cl1 and onList cl2 and runsIn(cl1, e) and runsIn(cl2, e) and cl1 differentFrom cl2))

表达式细节解释 #

• exists cl1:CandidatesList, cl2:CandidatesList, e:Election：声明三个变量，分别指代候选名单1、候选名单2、某一场选举
• onList cl1 and onList cl2：候选人同时关联这两个候选名单
• runsIn(cl1, e) and runsIn(cl2, e)：这两个候选名单都归属同一场选举
• cl1 differentFrom cl2：明确两个候选名单是不同的个体
• 最外层的not：否定上述组合情况的存在，确保这类违规关联不会出现

原表达式的问题修正 #

1. 原表达式用onList exactly 1 CandidatesList会强制候选人只能加入一个候选名单，完全违背“可加入不同选举的多个名单”的需求
2. 存在拼写错误：CandidateList应为CandidatesList
3. 逻辑结构混乱，未准确捕捉“同一选举下不能有两个名单包含同一候选人”的核心约束

内容的提问来源于stack exchange，提问作者A. Gh.