Я сейчас работаю над онтологией.Я создал группу людей (каждый должен быть отсортирован по разным задачам оптимизации, таким как TSP, VRP и VRPTW).Но я думаю, что предположение об открытом мире создает некоторые проблемы.
У отдельных лиц я хочу, чтобы рассудитель осознал, что Auftrag 1 - это TSP, Auftrag 2 - это VRP, а Auftrag 3 - VRPTW.На данный момент это работает, но только потому, что для 1 и 2 я использую «точно» количество элементов в типах.Я должен сделать это, потому что если нет, то он может подумать, что таких может быть несколько (в этом примере склад или simpleVehicle).
Из-за этого я создал «ровно 1» кардинальность для типовтак что мыслитель может только правильно разобраться.Но как только я прав, аксиома закрытия может помочь мне в этом, чтобы предотвратить допущение открытого мира на этом этапе?
Надеюсь, вы понимаете мою точку зрения.
Я приложил файл, с наилучшими пожеланиями!
Файл: https://www2.zippyshare.com/v/loP7YJNP/file.html