AGOSUV-bench est un benchmark dédié à l'évaluation de requêtes sur des ontologies en logique de description. Il propose six ontologies distinctes (Adolena, StockExchange, University, Vicodi, Galen, OBOprotein) accompagnées de requêtes manuellement conçues pour tester les performances des systèmes de raisonnement. Cet outil permet de comparer objectivement les capacités de différents moteurs de règles et d'identifier les forces et faiblesses de chaque approche.