@Override public OWLClassExpression visit(OWLObjectAllValuesFrom ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectAllValuesFrom(ce.getProperty(), name); } return ce; }
@Override public OWLClassExpression visit(OWLObjectExactCardinality ce) { if (signature.containsAll(asList(ce.getFiller().signature()))) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectExactCardinality(ce.getCardinality(), ce.getProperty(), name); } return ce; }