我目前正在研究本体。 我创建了一堆人（每个人都应按照不同的优化问题进行排序，例如TSP，VRP和VRPTW）。 但是我认为开放世界的假设会带来一些问题。
在个人中，我希望推理者认识到Auftrag 1是TSP，Auftrag 2是VRP，而Auftrag 3是VRPTW。目前有效 但这仅是因为1和2我在类型中使用了“完全”基数。 我之所以这样做，是因为如果不是这样，推理者可能会认为可能有不止一种（在此示例中为仓库或simpleVehicle）。
因此，我在类型上创建了“完全为1”基数，以便推理者只能对它进行正确排序。但是，一旦我是对的，那么封闭公理就可以帮助我避免目前的开放世界假设？
希望您能理解我的观点。
我附上了文件，最诚挚的问候！