Análise semântica é um processo de um compilador (de uma linguagem de programação) na qual são verificados os erros semânticos (por exemplo, divisão de um número inteiro por outro número real (float) no padrão ANSI) no código fonte e coletadas as informações necessárias para a próxima fase da compilação, que é a geração de código objeto. As tarefas básicas desempenhadas durante a análise semântica incluem a verificação de tipos, a verificação do fluxo de controle e a verificação da unicidade da declaração de variáveis.

A teoria dos grafos é um ramo da matemática que estuda as relações entre os objetos de um determinado conjunto. Para tal são empregadas estruturas chamadas

A Semiótica (do grego σημειωτικός - literalmente, "a ótica dos sinais"), é a ciência geral dos signos e da semiose que estuda todos os fenômenos culturais...

Campo semântico é um conjunto de palavras unidas pelo sentido. Ele trabalha com os sentidos que uma única palavra apresenta quando inserida em contextos...

Semântica (do grego σημαντικός, sēmantiká, plural neutro de sēmantikós, derivado de sema, sinal), é o estudo do significado. A semântica linguística estuda o significado usado por seres humanos para se expressar através da linguagem.

O grafo de conhecimento usa padrões semânticos para descrever a estrutura da informação para suportar o raciocínio e inferências.