Zaslat SMS: Formal ontology in information systems :