Technologien, die sich der formalen Semantik von sprachlichen Einheiten bedienen. In der einfachsten Version handelt es sich um Programme, die Texte analysieren.