O vocabulário de representação utilizado apenas por computador, que reflete o conjunto de objetos de um domínio representado em um formalismo declarativo ou universo de discurso, bem como os relacionamentos entre os objetos informacionais, é denominado: