B-Runner est une bibliothèque open source dédiée à l'évaluation et au benchmarking collaboratif d'outils de raisonnement logique et de systèmes de gestion de connaissances. Elle permet de comparer de manière reproductible et robuste des moteurs de règles, des systèmes de réécriture de requêtes et des explications de faits dans des environnements variés. L'outil facilite la réutilisation de protocoles expérimentaux et la définition de configurations de test déclaratives.

Outil open source dédié à l'évaluation et au benchmarking de moteurs de raisonnement logique et de systèmes de règles. Il permet de comparer les performances de différents systèmes de gestion de connaissances (ontologies, bases de données déductives) en simulant des charges de travail variées. Utilisé principalement par des chercheurs et développeurs en intelligence artificielle pour valider l'efficacité de leurs solutions.

Outil de benchmarking conçu pour évaluer les performances de requêtes sur des bases de données documentaires. Il permet de mesurer l'efficacité des systèmes de raisonnement et d'optimiser les requêtes complexes en s'appuyant sur des méthodes avancées de réécriture d'instances. Idéal pour les chercheurs et développeurs travaillant sur des systèmes de gestion de données.

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.