Basic framework for Description Logic and implementation of the basic Structural Subsumption algorithm for FL in Python