public void visit(OWLDifferentIndividualsAxiom axiom) { if (axiom.containsAnonymousIndividuals()) throw new IllegalArgumentException("The axiom "+axiom+" contains anonymous individuals, which is not allowed in OWL 2. "); addFact(axiom); } public void visit(OWLClassAssertionAxiom axiom) {
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { if (axiom.containsAnonymousIndividuals()) throw new IllegalArgumentException(noAnons(axiom)); addFact(axiom); } @Override