В настоящее время я готовлюсь к экзамену, и у меня возникают некоторые затруднения с написанием нескольких простых утверждений OWL:
a.Студент является либо BachelorStudent, MasterStudent или PhDStudent.
Это так же просто, как просто сделать бакалавра, магистра и PhD подклассом студента?Я имею в виду, как вы заставляете ученика быть членом одного из этих классов?
Также это:
b.Ни один учащийся не является более чем одним из них: BachelorStudent, MasterStudent и PhDStudent.
Как вы можете установить максимальную мощность множества, когда нет свойства?Или вы делаете 3 непересекающимися?
Вот еще кое-что, если кто-то желает дать сомную информацию о том, как они решаемы:
c.Студент проходит хотя бы один курс.
d.Курс - это или BachelorCourse, MasterCourse или PhDCourse.
e.BachelorStudent принимает только BachelorCourses.
f.MasterThesis - это MasterCourse.
g.MasterStudent проходит как минимум пять курсов