如何用OWL构建描述特定时间位于特定地点的人物本体？

你的问题核心是OWL的基础属性均为二元关系，无法直接表达人-时间-地点这种三元关联，因此需要通过引入中间类来实现绑定，以下是两种实用方案：

方案1：使用关联类（Association Class） #

这是OWL处理n元关系的标准方式：

1. 定义一个关联类，比如LocatedAtTime，用于表示“某人在某时间位于某地”这个状态/事件
2. 为该类定义三个对象属性：
   • hasPerson：值域为person，关联状态对应的人
   • hasPlace：值域为place，关联状态对应的地点
   • hasTime：值域为time，关联状态对应的时间
3. 添加OWL基数约束，确保每个LocatedAtTime实例必须同时关联一个人、一个地点和一个时间：
   • LocatedAtTime ⊑ hasPerson exactly 1 person
   • LocatedAtTime ⊑ hasPlace exactly 1 place
   • LocatedAtTime ⊑ hasTime exactly 1 time

描述具体实例时，创建LocatedAtTime的个体（比如Alice_AtPark_20240520），再分别绑定：

• Alice_AtPark_20240520 hasPerson Alice
• Alice_AtPark_20240520 hasPlace CentralPark
• Alice_AtPark_20240520 hasTime 2024-05-20T14:00:00

方案2：嵌套属性结合类约束（简化场景适用） #

若不想新增类，可通过属性链和类约束间接实现，但灵活性较差：
保留你已有的IsLocatedIn和AtTime，给person类添加约束，确保当人通过IsLocatedIn关联地点时，必须同时通过AtTime关联时间。但这种方式无法精准绑定“地点-时间”的配对（比如一个人可能在不同时间处于不同地点，该约束无法区分对应关系），因此更推荐方案1。

补充说明 #

你之前的问题在于两个独立的二元属性没有绑定关系，无法表达“在该时间位于该地点”的对应性，而引入中间类是将三元关联拆分为三个指向同一事件实例的二元属性，从而实现精准绑定。

内容的提问来源于stack exchange，提问作者saha