A Python-based, bi-directional logical reasoning system for the semantic web