Nicola Guarino (nacido en 1954, en Messina) es un científico informático italiano e investigador en el área de Ontología Formal para Sistemas de Información, y jefe del Laboratorio de Ontología Aplicada (LOA), parte del Consejo Nacional de Investigación Italiano (CNR) en Trento . [1]
Los intereses de investigación de Guarino están en el área de la Inteligencia Artificial , predominantemente en la Representación del Conocimiento . Es posible que sea más conocido en la comunidad informática por desarrollar OntoClean , la primera metodología para el análisis ontológico formal, con su colega Chris Welty .
Podría decirse que es uno de los fundadores del campo de la ontología en la informática, pero sin duda uno de sus defensores más abiertos. Si bien la mayoría de los investigadores de AI y KR se centraron en los algoritmos de razonamiento y la semántica de los lenguajes de representación, y consideraron que el conocimiento real expresado en estos lenguajes y razonado por estos algoritmos no era importante (solo ejemplos), Guarino encabezó un movimiento contrario para estudiar cómo debe expresarse el conocimiento. El grito de guerra de este movimiento sin duda provino del conocido artículo "Manifiesto de la física ingenua" de Patrick J. Hayes .
El trabajo de Guarino a principios de la década de 1990 comenzó a tomar forma a medida que aplicaba su experiencia en ingeniería para comprender cómo se construían los sistemas basados en el conocimiento y, lo que es más importante, cómo se adquiría el conocimiento. Era un rostro familiar en los primeros Talleres de Adquisición de Conocimiento, donde era mejor conocido por señalarse a sí mismo y decir: "¡No soy una clase!" Esta observación se refería a lo que Guarino cree que es una distinción importante y fundamental entre universales y particulares. Si bien algunos sistemas de representación permiten que las clases sean instancias de otras clases, y en ciertos contextos eso tiene sentido, hay algunas instancias que nunca pueden ser clases (estos son particulares).
Su énfasis en el rigor formal al especificar el tipo de conocimiento que los informáticos eventualmente llamarían "ontologías", lo llevó al campo de la ontología formal en filosofía, donde comenzó a estudiar la literatura metafísica, centrándose en el trabajo de tales notables como Quine , Strawson , y especialmente Simons .
Guarino fundó la conferencia Formal Ontology in Information Systems en 1998, una conferencia académica recurrente centrada en las ontologías en sí, no en los lenguajes en los que están representadas. Ha trabajado incansablemente para promover la investigación en ontología y mantener un nivel de rigor científico.