Déduction des relations entre instances à partir des restriction

Des axiomes de restriction sont générés à partir de l'analyse de graphes AMR. Ces axiomes sont reliés aux graphes extraits, mais nous devrions pouvoir également en déduire des relations non-taxonomiques entre des instances.

ex. (axiome de restriction): C1 subClassOf [ . hasRestriction (property some C2)]

Dans le cas où C1 a une instance et/ou C2 a une instance, une relation entre les instances devraient être créées. De plus, s'il y a une relation mais qu'il manque une des deux instances, alors nous devrions créer l'instance manquante.

ex. : Le système solaire contient le soleil. Dans ce cas, nous pourrions avoir les classes System et Sun, et une restriction sur System (hasPart some Sun), et nous devrions déduire qu'il existe une instance de Sun, et la relation .