Examples of ExistentialExpansionStrategy

org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy
Strategy objects are responsible for selecting which existentials should be expanded first, as well as how the new nodes are introduced. The latter is usually delegated to tableau.ExistentialExpansionManager, but strategies are free to provide their own node-introduction implementations (but be careful---it's tough to get right!)

Examples of org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

        Node node=m_debugger.getTableau().getNode(nodeID);
        if (node==null) {
            m_debugger.getOutput().println("Node with ID '"+nodeID+"' not found.");
            return;
        }
        ExistentialExpansionStrategy strategy=m_debugger.getTableau().getExistentialsExpansionStrategy();
        if (strategy instanceof IndividualReuseStrategy) {
            IndividualReuseStrategy reuseStrategy=(IndividualReuseStrategy)strategy;
            AtomicConcept conceptForNode=reuseStrategy.getConceptForNode(node);
            m_debugger.getOutput().print("Node '");
            m_debugger.getOutput().print(node.getNodeID());

View Full Code Here

Examples of org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

            break;
        default:
            throw new IllegalArgumentException("Unknown blocking strategy type.");
        }


        ExistentialExpansionStrategy existentialsExpansionStrategy=null;
        switch (config.existentialStrategyType) {
        case OPTIMAL:
//            if (hasNominals)
//                existentialsExpansionStrategy=new IndividualReuseStrategy(blockingStrategy,false);
//            else

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.