Répondre

0

Le Web Ontology Language est assez proche de ce que vous voulez. Vous pouvez exprimer tout cela, y compris les situations et les propositions, même si celles-ci sont quelque peu maladroites parce que vous devrez utiliser des graphes nommés.