Updated conv_to_pyke, almost completed OWL-RL standard rules, added rule for minCardinality