貓頭鷹：如何表達AllFemaleGame

Question

AllFemaleGame是一個類，與每個游戲者的玩家和觀察者都是女性的游戲的類對應。

類別：

聲明（類（NS：游戲））

聲明（類（NS：人））

聲明（類（NS：女））

聲明（類（NS：觀察員））

子類：

SubClassOf（ns：女ns：人）

對象屬性：

OBJECTPROPERTY（NS：isPlayerOf）

ObjectPropertyDomain（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)
    )
)

請注意，該類還包含沒有玩家或觀察者的游戲。