• Home
• net.sourceforge.owlapi
• oppl2-oppl2
• 3.0.0
• source code
• AxiomSolvability.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.coode.oppl.search.solvability.AxiomSolvability Maven / Gradle / Ivy

package org.coode.oppl.search.solvability;

import org.coode.oppl.bindingtree.BindingNode;
import org.semanticweb.owlapi.model.OWLAxiom;

/** @author Luigi Iannone */
public interface AxiomSolvability {
    /** @param owlAxiom
     *            owlAxiom
     * @param bindingNode
     *            bindingNode
     * @return solvability search node */
    SolvabilitySearchNode getSolvabilitySearchNode(OWLAxiom owlAxiom,
            BindingNode bindingNode);
}