public void check(OWLOntology ontology) {
Set<OWLOntology> importsClosure = manager.getImportsClosure(ontology);
for (OWLOntology o : importsClosure) {
// FIXME find a version of OWL API that supports annotation property domain, range and
// subsumption...
// for (OWLAxiom axiom : o.getLogicalAxioms()) {
// AxiomChecker checker = new AxiomChecker();
// axiom.accept(checker);
//
// if (!checker.isValid())
// unsupported(axiom);
//
// }
for (OWLEntity entity : o.getReferencedEntities()) {
if (o.isPunned(entity.getURI())) {
valid = false;
if (lazyMode) throw new OWLSyntaxException("Punned URI: " + entity.getURI());
}
}
}
}
