A reasoning service allowing for IoT dependencies topology identification from a set of smart home scenarios, including a performance evaluation for reasoning tasks and comparative study between SHACL and SWRL for dependencies topology identification