Examples of org.semanticweb.owlapi.util.InferredOntologyGenerator.fillOntology()

Class org.semanticweb.owlapi.util.InferredOntologyGenerator

Examples of org.semanticweb.owlapi.util.InferredOntologyGenerator.fillOntology()

org.semanticweb.owlapi.util.InferredOntologyGenerator.fillOntology()
Adds 'inferred axioms' to an ontology using the generators that have been registered with this {@code InferredAxiomGenerator}. @param df data factory. @param ontology The ontology which the inferred axioms will be added to @throws OWLOntologyChangeException If there was a problem adding the inferred axioms to the specified ontology.

        gens.add(new InferredSubClassAxiomGenerator());
        OWLOntology infOnt = m.createOntology();
        // create the inferred ontology generator
        InferredOntologyGenerator iog = new InferredOntologyGenerator(reasoner,
                gens);
        iog.fillOntology(m.getOWLDataFactory(), infOnt);
    }


    @Test
    public void testMergedOntology() throws OWLException {
        OWLOntologyManager m = create();

View Full Code Here

        // Now get the inferred ontology generator to generate some inferred
        // axioms for us (into our fresh ontology). We specify the reasoner that
        // we want to use and the inferred axiom generators that we want to use.
        InferredOntologyGenerator iog = new InferredOntologyGenerator(reasoner,
                gens);
        iog.fillOntology(man.getOWLDataFactory(), infOnt);
        // Save the inferred ontology. (Replace the URI with one that is
        // appropriate for your setup)
        man.saveOntology(infOnt, new StringDocumentTarget());
    }

View Full Code Here

            Set<OWLAxiom> axioms = new HashSet<OWLAxiom>();
            try {
                OWLOntology output = manager.createOntology();
                log.debug("Created output ontology: {}", output);
                try {
                    inferred.fillOntology(manager, output);
                } catch (InconsistentOntologyException i) {
                    throw i;
                } catch (Throwable t) {
                    log.error("Some problem occurred:\n {}", t.getStackTrace());
                    throw new ReasoningServiceException();

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.