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()); } } } }