Fixed tests.

Eliminated stale choice point in sub_class/property_of.

Generalised rdfs clauses using ontology/1 and ontology/3 clauses.