Package org.semanticweb.HermiT.blocking

Examples of org.semanticweb.HermiT.blocking.DirectBlockingChecker

1738
1739
1740
1741
1742
1743
1744
1745
1746
1747
1748
        else if (wellKnownTableauMonitor==null)
            tableauMonitor=config.monitor;
        else
            tableauMonitor=new TableauMonitorFork(wellKnownTableauMonitor,config.monitor);

        DirectBlockingChecker directBlockingChecker=null;
        switch (config.directBlockingType) {
        case OPTIMAL:
            if ((config.blockingStrategyType==BlockingStrategyType.OPTIMAL && hasNominals) || config.blockingStrategyType==BlockingStrategyType.SIMPLE_CORE || config.blockingStrategyType==BlockingStrategyType.COMPLEX_CORE) {
                directBlockingChecker=new ValidatedSingleDirectBlockingChecker(hasInverseRoles);
            } else {
View Full Code Here
TOP

Related Classes of org.semanticweb.HermiT.blocking.DirectBlockingChecker

  • org.semanticweb.HermiT.Reasoner
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.