Zaslat SMS: Probabilistic Description Logic Programs