如何在Protégé中建模跨多类的传递性属性以实现关联推理

核心问题说明 #

你配置失败的核心原因是传递属性的定义域、值域限制过窄：如果将isLocatedIn的定义域仅设为City、值域仅设为Country，那么Country isLocatedIn Continent的断言本身就不符合属性的类型约束，自然无法形成有效传递链。

具体配置步骤 #

• 第一步：调整属性的定义域与值域。你可以新增一个公共超类地理实体（GeographicEntity），将City、Country、Continent都设置为该类的子类，再把isLocatedIn的定义域和值域均设置为地理实体；如果不想新增类，也可以暂时清空该属性的定义域、值域配置，不会影响传递推理的实现。
• 第二步：标注属性为传递性。在Protégé的属性编辑面板的「特征（Characteristics）」区域，勾选「Transitive（传递性）」选项即可。
• 第三步：启动推理机验证。配置完成后启动Hermit等内置推理机，即可自动得到City isLocatedIn Continent的推理结果。

参考截图 #

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