猫头鹰：如何表达AllFemaleGame

Question

AllFemaleGame是一个类，对应于每个游戏的玩家和观察者都是女性的类。

类别：

声明（类（NS：游戏））

声明（类（NS：人））

声明（类（NS：女））

声明（类（NS：观察员））

子类：

SubClassOf（ns：女ns：人）

对象属性：

OBJECTPROPERTY（NS：isPlayerOf）

ObjectProperty域（ns：isPlayerOf ns：Person）

ObjectPropertyRange（ns：isPlayerOf ns：Game）

EquivalentClasses(m:AllFemaleGame ObjectIntersectionOf(m:Game ObjectAllValuesFrom(m:isPlayerOf m:Female) ObjectAllValueFrom(m:isObserverOf m:Female)))

我做得对吗？

Answer 1

类表达式ObjectAllValuesFrom(m:isPlayerOf m:Female)描述了x这样的东西，如果x m:isPlayerOf y，则y是m:Female。此外，m:isPlayerOf的领域是m:Person，范围是m:Game，所以如果存在这样的y，则x将是一个人，并且y是游戏。看来你的方向错了。试试这个：

EquivalentClasses(
    m:AllFemaleGame
    ObjectIntersectionOf(
        m:Game
        ObjectAllValuesFrom(ObjectInverseOf(m:isPlayerOf) m:Female)
        ObjectAllValueFrom(ObjectInverseOf(m:isObserverOf) m:Female)
    )
)

请注意，此课程还包含没有播放器或观察者的游戏。