Zaslat SMS: Lógica y ontología