else if (opts.nextEq("--make-subset-by-properties")) {
            opts.info("PROPERTY-LIST","make an ontology subset that excludes axioms that use properties not in the specified set. The property list should be terminated by //");
            Set<OWLObjectProperty> props = this.resolveObjectPropertyList(opts);
            Mooncat m = new Mooncat(g);
            m.retainAxiomsInPropertySubset(g.getSourceOntology(),props,reasoner);
            m.removeDanglingAxioms();
        }