protected Set<OWLAxiom> turnHierarchyIntoAxioms(OWLReasoner r) { long t = System.currentTimeMillis(); // from Ernesto List<InferredAxiomGenerator<? extends OWLAxiom>> gens = new ArrayList<InferredAxiomGenerator<? extends OWLAxiom>>(); gens.add(new InferredSubClassAxiomGenerator()); gens.add(new InferredEquivalentClassAxiomGenerator()); OWLOntology inferredOntology; try { inferredOntology = manager.createOntology(); InferredOntologyGenerator iog = null; iog = new InferredOntologyGenerator(r, gens); iog.fillOntology(manager, inferredOntology); t = System.currentTimeMillis() - t; LogOutput.print(t + "ms for the hierarchy rewriting"); return inferredOntology.getAxioms(); } catch (OWLOntologyCreationException e) { e.printStackTrace(); return null; } }
public void printHierarchy(File outputFile) throws FileNotFoundException, OWLOntologyCreationException, OWLOntologyStorageException { classifyClasses(); // To generate an inferred ontology we use implementations of inferred // axiom generators List<InferredAxiomGenerator<? extends OWLAxiom>> gens = new ArrayList<InferredAxiomGenerator<? extends OWLAxiom>>(); gens.add(new InferredSubClassAxiomGenerator()); gens.add(new InferredEquivalentClassAxiomGenerator()); // Put the inferred axioms into a fresh empty ontology. OWLOntologyManager man = OWLManager.createOWLOntologyManager(); OWLOntology infOnt = man.createOntology(); InferredOntologyGenerator iog = null; iog = new InferredOntologyGenerator(owl2reasoner, gens); iog.fillOntology(man, infOnt); // Save the inferred ontology. OWLOntologyFormat format = new OWLFunctionalSyntaxOntologyFormat(); man.saveOntology(infOnt, format, IRI.create(outputFile.toURI())); }
log.debug("Created output ontology: {}", output); try { inferred.fillOntology(manager, output); } catch (InconsistentOntologyException i) { throw i;
iog.fillOntology(manager.getOWLDataFactory(), inferredAxiomsOntology); if (copy) { manager.addAxioms(inferredAxiomsOntology, ontology.getAxioms());
public void printHierarchy(File outputFile) throws FileNotFoundException, OWLOntologyCreationException, OWLOntologyStorageException { classifyClasses(); // To generate an inferred ontology we use implementations of inferred // axiom generators List<InferredAxiomGenerator<? extends OWLAxiom>> gens = new ArrayList<InferredAxiomGenerator<? extends OWLAxiom>>(); gens.add(new InferredSubClassAxiomGenerator()); gens.add(new InferredEquivalentClassAxiomGenerator()); // Put the inferred axioms into a fresh empty ontology. OWLOntologyManager man = OWLManager.createOWLOntologyManager(); OWLOntology infOnt = man.createOntology(); InferredOntologyGenerator iog = null; switch (classified) { case classifiedWithElk: iog = new InferredOntologyGenerator(lReasoner, gens); break; case classifiedWithOWL2Reasoner: iog = new InferredOntologyGenerator(owl2reasoner, gens); break; default: LogOutput.printAlways("Classification not yet computed"); } iog.fillOntology(man, infOnt); // Save the inferred ontology. OWLOntologyFormat format = new OWLFunctionalSyntaxOntologyFormat(); man.saveOntology(infOnt, format, IRI.create(outputFile.toURI())); }
InferredOntologyGenerator iog = new InferredOntologyGenerator(reasoner, gens); iog.fillOntology(outputOntologyManager.getOWLDataFactory(), infOnt);
InferredOntologyGenerator iog = new InferredOntologyGenerator(reasoner, gens); iog.fillOntology(outputOntologyManager.getOWLDataFactory(), infOnt);
generator.fillOntology(dataFactory, newAxiomOntology);
precompute(); inferredOntologyGenerator.fillOntology(outputManager.getOWLDataFactory(), exportedOntology);
precompute(); inferredOntologyGenerator.fillOntology(outputManager.getOWLDataFactory(), exportedOntology);
iog.fillOntology(this.manager, inferredAxiomsOntology);
precompute(); inferredOntologyGenerator.fillOntology(outputManager, exportedOntology);
precompute(); inferredOntologyGenerator.fillOntology(outputManager, exportedOntology);
ontGen.addGenerator(new InferredSubObjectPropertyAxiomGenerator()); ontGen.addGenerator(new InferredSubDataPropertyAxiomGenerator()); ontGen.fillOntology(man, inferredOnt);
ontGen.addGenerator(new InferredSubObjectPropertyAxiomGenerator()); ontGen.addGenerator(new InferredSubDataPropertyAxiomGenerator()); ontGen.fillOntology(man.getOWLDataFactory(), inferredOnt);
ontGen.addGenerator(new InferredSubObjectPropertyAxiomGenerator()); ontGen.addGenerator(new InferredSubDataPropertyAxiomGenerator()); ontGen.fillOntology(man.getOWLDataFactory(), inferredOnt);
ontGen.addGenerator(new InferredSubObjectPropertyAxiomGenerator()); ontGen.addGenerator(new InferredSubDataPropertyAxiomGenerator()); ontGen.fillOntology(man, inferredOnt);
iog.fillOntology(testManager, inferredAxiomsOntology);