问题描述
如果我提供的信息不足，请告知，我很乐意提供更多信息。
我目前正在 Protege 中开发一个本体来模拟足球转会和比赛。
定义类：
- 玩家：一名玩家
- 球队：例如manchesterUnited，一支竞技运动队
- teamInstance：EG ManchesterUnited2017，特定赛季的特定球队
目前的 3 个声明
- 玩家 memberOf teamInstance
- 玩家为团队
- 团队 hasTeamInstance teamInstance
这足以表达我想要的东西，但我想知道是否有更精细的方法可以允许
- player playsFor Team
从其他2个陈述中推导出来。 我试图通过将 playfor 表示为：
- memberOf o hasTeamInsatance SubPropertyOf:playsFor
没有成功。任何人都可以帮助解释如何实现这一点/解决方案需要什么？
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）