El trmino ontologa en informtica hace referencia a la formulacin de un exhaustivo y riguroso esquema conceptual dentro de uno o varios dominios dados; con la finalidad de facilitar la comunicacin y el intercambio de informacin entre diferentes sistemas y entidades. Aunque toma su nombre por analoga, sta es la diferencia con el punto de vista filosfico de la palabra ontologa.

Un uso comn tecnolgico actual del concepto de ontologa, en este sentido semntico, lo encontramos en la inteligencia artificial y la representacin del conocimiento. En algunas aplicaciones, se combinan varios esquemas en una estructura de facto completa de datos, que contiene todas las entidades relevantes y sus relaciones dentro del dominio.

Los programas informticos pueden utilizar as este punto de vista de la ontologa para una variedad de propsitos, incluyendo el razonamiento inductivo, laclasificacin, y una variedad de tcnicas de resolucin de problemas.

Tpicamente, las ontologas en los ordenadores se relacionan estrechamente con vocabularios fijos una ontologa fundacional con cuyos trminos debe ser descrito todo lo dems. Debido a que esto puede ocasionar representaciones pobres para ciertos dominios de problemas, se deben crear esquemas ms especializados para convertir en tiles los datos a la hora de tomar decisiones en el mundo real.

Dichas ontologas son valorables comercialmente, crendose competencia para definirlas. Peter Murray-Rust se ha quejado de que esto conduce a "una guerra semntica y ontolgica debido a la competencia entre estndares"[cita requerida]. Por consiguiente, cualquier estndar de ontologa fundacional es posible que sea contestado por los agentes polticos o comerciales, cada uno con su propia idea de 'lo que existe' (en el sentido filosfico de ontologa).

Una variacin ha sido propuesta recientemente, vase el sitio de MathWorld, cuyo autor propugna que el universo se modela mejor en los trminos de los programas informticos (computacionales) que con los trminos matemticos convencionales.