Examples of org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

Package org.semanticweb.HermiT.existentials

Examples of org.semanticweb.HermiT.existentials.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!)

        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

            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

Related Classes of org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

org.semanticweb.HermiT.debugger.commands.ReuseNodeForCommand

org.semanticweb.HermiT.Reasoner

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.