A set of reasoning rules, functions, and Thing'in queries to enable IoT dependencies inference in smart home scenarios - View it on GitHub