public void renderOntology(OWLOntology ontology, Writer writer) throws RendererException {
try {
this.pw = new PrintWriter(writer);
this.allURIs = OntologyHelper.allURIs(ontology);
this.allOntologies = OntologyHelper.importClosure(ontology);
this.visitor = new RenderingVisitor(this);
this.definedURIs = new HashSet();
generateShortNames();
writeShortNames();
sdf = new SimpleDateFormat("yyyy-MM-dd-HH-mm-ss");
gmt = java.util.TimeZone.getTimeZone("GMT");
sdf.setTimeZone(gmt);
doneThing = false;
random = new Random();
anonymousIndividuals = new HashMap();
for (Iterator ontoIt = allOntologies.iterator(); ontoIt.hasNext(); ) {
OWLOntology onto = (OWLOntology) ontoIt.next();
pw.println(" ;; Ontology: " + onto.getURI());
pw.println();
pw.println(" ;; Classes ");
pw.println();
for (Iterator it = orderedEntities(onto.getClasses()).iterator(); it.hasNext(); ) {
renderClass(onto, (OWLClass) it.next());
}
pw.println(" ;; Object Properties ");
for (Iterator it = orderedEntities(onto.getObjectProperties()).iterator(); it.hasNext(); ) {
renderObjectProperty(onto, (OWLObjectProperty) it.next());
}
pw.println(" ;; Data Properties ");
for (Iterator it = orderedEntities(onto.getDataProperties()).iterator(); it.hasNext(); ) {
renderDataProperty(onto, (OWLDataProperty) it.next());
}
pw.println(" ;; Individuals ");
for (Iterator it = orderedEntities(onto.getIndividuals()).iterator(); it.hasNext(); ) {
renderIndividual(onto, (OWLIndividual) it.next());
}
pw.println(" ;; Class Axioms ");
for (Iterator it = orderedEntities(onto.getDatatypes()).iterator(); it.hasNext(); ) {
renderDataType(onto, (OWLDataType) it.next());
}
pw.println(" ;;_Datatypes ");
for (Iterator it = orderedEntities(onto.getClassAxioms()).iterator(); it.hasNext(); ) {
renderClassAxiom((OWLClassAxiom) it.next());
}
pw.println(" ;; Property Axioms ");
for (Iterator it = orderedEntities(onto.getPropertyAxioms()).iterator(); it.hasNext(); ) {
renderPropertyAxiom((OWLPropertyAxiom) it.next());
}
pw.println(" ;; Individual Axioms ");
for (Iterator it = orderedEntities(onto.getIndividualAxioms()).iterator(); it.hasNext(); ) {
renderIndividualAxiom((OWLIndividualAxiom) it.next());
}
}
} catch (OWLException ex) {
throw new RendererException(ex.getMessage());
}
}
