Я не совсем понимаю вопрос. Вы можете просто подтвердить тот факт, что коллекция является подклассом правил и целей прямо из пользовательского интерфейса Protege.
- Убедитесь, что все ваши классы присутствуют в вашей иерархии isA
- Выберите класс сбора
- В Protege 4 нажмите маленький значок «+» рядом с разделом «Суперклассы» в окне описания класса
- Утверждение "правил" как суперкласса
- Повторите и отстаивайте «цели» как суперкласс.
Теперь «собирать» - это подкласс как «правил», так и «целей».
Кроме того, обычно не считается хорошей практикой иметь множественное утвержденное наследование в онтологиях. Для больших онтологий это может стать кошмаром обслуживания. Если все, что вам нужно, это небольшое практическое решение проблемы, тогда хорошо.
Визуализация вашей онтологии также может быть выполнена Protege - сначала необходимо установить Graphviz и указать Protege на местоположение исполняемого файла graphviz в вашей системе.
Надеюсь, это поможет!