En ambos campos hay trabajo considerable sobre los problemas relativos a la ontología (e.g., Quine y Kripke en Filosofía, Sowa y Guarino en Informática), y debates correspondientes a que si la ontología normativa es viable (Ej., debates sobre fundamentalismo en filosofía, y sobre el proyecto Cyc en inteligencia artificial).