L’ingénierie philosophique de Rudolf Carnap: De l’IA au Web sémantique