Added PyKE-specific rules, added example test ontology