Para llegar a una semántica procesable por la máquina primeramente la misma debe ser modelada formalmente por las personas involucradas en el proceso de creación de la semántica.