Examples of org.semanticweb.owlapi.util.InferredDisjointClassesAxiomGenerator

org.semanticweb.owlapi.util.InferredDisjointClassesAxiomGenerator
Generates inferred disjoint axioms - note that this currently uses a very simple inefficient algorithm. @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.1.0

    protected List<InferredAxiomGenerator<? extends OWLAxiom>> getClassifyAxiomGenerators() {
        List<InferredAxiomGenerator<? extends OWLAxiom>> gens = new ArrayList<InferredAxiomGenerator<? extends OWLAxiom>>();
        gens.add(new InferredClassAssertionAxiomGenerator());
        gens.add(new InferredSubClassAxiomGenerator());
        gens.add(new InferredEquivalentClassAxiomGenerator());
        gens.add(new InferredDisjointClassesAxiomGenerator());
        return gens;
    }

View Full Code Here

        List<InferredAxiomGenerator<? extends OWLAxiom>> gens = new ArrayList<InferredAxiomGenerator<? extends OWLAxiom>>();
        // Classes
        gens.add(new InferredClassAssertionAxiomGenerator());
        gens.add(new InferredSubClassAxiomGenerator());
        gens.add(new InferredEquivalentClassAxiomGenerator());
        gens.add(new InferredDisjointClassesAxiomGenerator());
        // data properties
        gens.add(new InferredDataPropertyCharacteristicAxiomGenerator());
        gens.add(new InferredEquivalentDataPropertiesAxiomGenerator());
        gens.add(new InferredSubDataPropertyAxiomGenerator());
        // object properties

View Full Code Here

TOP

Related Classes of org.semanticweb.owlapi.util.InferredDisjointClassesAxiomGenerator

org.apache.stanbol.reasoners.owlapi.AbstractOWLApiReasoningService

org.semanticweb.owlapi.model.OWLObjectIntersectionOf

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.