在我的Ontology中,我有三个类,播放器,团队和竞赛.我还有两个对象属性,使用和competesIn.域采用是团队和范围播放器,域competesIn是团队 或 球员和范围的竞争.
我希望Ontology能够推断出如果一个球员被一个球队雇用并且该球队参加了比赛,那么该球员也会参加那场比赛.是否有任何方法可以将此信息添加到Ontology中,而无需为本体中的每个人添加{Player} competesIn {Competition}?
我需要在Protégé中实现一个OWL本体,它包含两个类:s1并且s2都是System类的实例.这两个类由连接类连接s1_s2,其中包含属性omega.该物业必须根据以下法律取值:
omega = 1*s1.complete
我怎样才能在Protégé中实现它,这样我将来可以在SWRL规则中使用它?
