private Node<OWLClass> toClassNode(Set<ATermAppl> terms) { return NodeFactory.getOWLClassNode(CLASS_MAPPER.map(terms)); }