Resumen
Computadores necessitam de modelos para manipular representações das coisas do mundo, ou seja, coisas com as quais as pessoas lidam diariamente, como árvores, bactérias, carros, instituições, livros, loterias, governos, outras pessoas, para citar alguns poucos. Esses modelos, chamados ?ontologias?, fornecem esquemas que permitem aos computadores suportar inferências lógicas, isto é, raciocínio automático