Apresentação Giancarlo na PUC-Rio https://www.youtube.com/watch?v=UehUTBN2Nyo KG foram criados em Twente em 1982. Eu comento com quatro observações, que acho que não são nada controversas. A primeira é a seguinte: todo sistema de software representa uma porção da realidade e embute uma determinada teoria sobre o mundo. Todo sistema de software é inevitável. Qualquer estrutura de informação faz isso. Qualquer coisa que não tenha só semântica formal — semântica formal é um jogo, né, que vai mapear um pedaço de matemática para outro pedaço de matemática — precisa fazer um compromisso ontológico. Eu estou usando "semântica" aqui no sentido que todo mundo fora da computação e da lógica usa, de mapeamento de uma conceituação compartilhada. Qualquer coisa que tenha isso é chamada tradicionalmente de real world semantics (semântica do mundo real). Por exemplo, se você pega um mapa de metrô de Amsterdã, para essa coisa fazer sentido, o significado por trás dela tem uma ...
