237238239240241242243244
violations.add(new UseOfIllegalAxiom(getCurrentOntology(), rule)); } @Override public void visit(OWLDataIntersectionOf node) { violations.add(new UseOfIllegalDataRange(getCurrentOntology(), getCurrentAxiom(), node)); }
243244245246247248249250
getCurrentAxiom(), node)); } @Override public void visit(OWLDataOneOf node) { violations.add(new UseOfIllegalDataRange(getCurrentOntology(), getCurrentAxiom(), node)); }
249250251252253254255256
getCurrentAxiom(), node)); } @Override public void visit(OWLDataComplementOf node) { violations.add(new UseOfIllegalDataRange(getCurrentOntology(), getCurrentAxiom(), node)); }
256257258259260261262263264
} @Override public void visit(OWLDatatype node) { if (!ALLOWED_DATATYPES.contains(node.getIRI())) { violations.add(new UseOfIllegalDataRange(getCurrentOntology(), getCurrentAxiom(), node)); } }
263264265266267268269270
} } @Override public void visit(OWLDatatypeRestriction node) { violations.add(new UseOfIllegalDataRange(getCurrentOntology(), getCurrentAxiom(), node)); }
269270271272273274275276
getCurrentAxiom(), node)); } @Override public void visit(OWLDataUnionOf node) { violations.add(new UseOfIllegalDataRange(getCurrentOntology(), getCurrentAxiom(), node)); }
143144145146147148149150151
} @Override public void visit(OWLDatatype node) { if (!ALLOWED_DATATYPES.contains(node.getIRI())) { profileViolations.add(new UseOfIllegalDataRange( getCurrentOntology(), getCurrentAxiom(), node)); } }
231232233234235236237238
getCurrentOntology(), getCurrentAxiom(), ce)); } @Override public void visit(OWLDataComplementOf node) { profileViolations.add(new UseOfIllegalDataRange( getCurrentOntology(), getCurrentAxiom(), node)); }
245246247248249250251252
} } @Override public void visit(OWLDatatypeRestriction node) { profileViolations.add(new UseOfIllegalDataRange( getCurrentOntology(), getCurrentAxiom(), node)); }
251252253254255256257258
getCurrentOntology(), getCurrentAxiom(), node)); } @Override public void visit(OWLDataUnionOf node) { profileViolations.add(new UseOfIllegalDataRange( getCurrentOntology(), getCurrentAxiom(), node)); }