В протеже, я хочу выразить в OWL следующее предложение:класса против организации в OWL
Каждый человек счастлив, если все его дети успешны.
По этой причине я создал класс Person, который имеет подкласс Child.
Теперь, в той же логике, я бы создал класс Status и создал подкласс Successful. Однако другой студент сказал, что Successful должен быть лицом (концепция, которая является?).
Что должно Successful быть, объект или класса?
Обычно мы рассматриваем объекты как всеохватывающие концепции для классов, отдельных лиц и свойств. Концепция и класс - это просто синонимы. Я предполагаю, что ваш одноклассник хочет сказать «индивидуальный». Я лично избегаю людей при написании концептуальных выражений, но в этом случае не имеет значения, используете ли вы класс или отдельного человека. Вам нужно определить класс, как HappyPerson = Person и hasChild some (Person и hasStatus some Happy) и hasChild only (Person и hasStatus some Happy). Вам вообще не нужен класс Child. Подробное введение о том, как моделировать людей и их взаимоотношения, см .: http://owl.cs.manchester.ac.uk/publications/talks-and-tutorials/fhkbtutorial/
Успешно имеет два состояния: true или false. Таким образом, это не класс. – AMartinNo1
Но что это такое @ AMartinNo1? Может быть, вы можете отправить ответ, пожалуйста. – gsamaras
Если это завтра без ответа, я собираюсь написать ответ - у меня мало времени. На данный момент я бы создал глобальный атрибут и рабочий. Работник решает, что ребенок успешный. – AMartinNo1