我是Protege和ontology的新手。
我有一个定义的班级UniqueScreening
equivalent to -> FilmScreening and (hasTrack min 2 Track)
然后我创建了一些跟踪成员tr001和tr002
然后我创建了一个FilmScreening的成员fs001，其成员类型为
Film Screening
hasTrack some {tr001}
hasTrack some {tr002}
且hasTrack对象属性具有域Track
我的问题是，为什么fs001成员没有被推断为UniqueScreening班？
我的班级定义错了吗？