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.

InteGraal est une plateforme open source dédiée à la gestion et au raisonnement sur des bases de connaissances exprimées en logique. Elle permet d'analyser, de manipuler et d'évaluer des règles logiques, des faits et des requêtes pour automatiser des processus de déduction et de vérification. Utilisée dans des contextes académiques et industriels, elle facilite l'intégration de moteurs de raisonnement dans des applications varié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.