Un raisonneur sémantique (ou moteur de raisonnement, moteur de règles ou simplement un raisonneur), est un logiciel capable de déduire les conséquences logiques d'un ensemble de faits affirmés ou axiomes.