Zaslat SMS: Formal Ontology/