Cílem tohoto příspěvku je představit Transparentní intensionální logiku (TIL) jako vhodný specifikační jazyk pro tvorbu ontologií a reprezentaci znalostí. Ontologie jsou charakterizovány jako výsledek konceptualizace dané problémové oblasti.