Web Semántica

El STI International tiene su sede central en Austria y cuenta con una red global de expertos.

El clasificador deductivo verifica la consistencia lógica de las declaraciones en un lenguaje de marcos.