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