Text this: A fuzzy description logic based IoT framework: Formal verification and end user programming.