Pourquoi il y a un moteur d'inférence à chaîne avancée (raisonnement) pour les logiques de description uniquement et non pour d'autres logiques?

Question

Le raisonnement est un moteur d'inférence à chaîne avant (https://en.wikipedia.org/wiki/Semant_reasoner) Comme le solveur SAT de chaînage vers l'arrière Prolog (pour les requêtes). Pourquoi il y a du raisonnement pour les logiques de description et non pour d'autres logiques?