Examples of org.semanticweb.owlapi.reasoner.NullReasonerProgressMonitor

org.semanticweb.owlapi.reasoner.NullReasonerProgressMonitor
An implementation of a progress monitor that does nothing when it receives notification of progress events. @author Matthew Horridge, The University of Manchester, InformationManagement Group @since 3.0.0


    public StructuralReasoner(OWLOntology rootOntology, OWLReasonerConfiguration configuration, BufferingMode bufferingMode) {
        super(rootOntology, configuration, bufferingMode);
        pm = configuration.getProgressMonitor();
        if (pm == null) {
            pm = new NullReasonerProgressMonitor();
        }
        prepareReasoner();
    }

View Full Code Here


  private final EntityMapper<OWLClass>        CLASS_MAPPER  = new ClassMapper();


  
  public PelletReasoner(OWLOntology ontology, BufferingMode bufferingMode) {
    this( ontology, new SimpleConfiguration( new NullReasonerProgressMonitor(),
        org.mindswap.pellet.PelletOptions.SILENT_UNDEFINED_ENTITY_HANDLING
          ? FreshEntityPolicy.ALLOW
          : FreshEntityPolicy.DISALLOW, 0, IndividualNodeSetPolicy.BY_SAME_AS ), bufferingMode );
  }

View Full Code Here

        this.owlFactory = manager.getOWLDataFactory();
        manager.addOntologyChangeListener(ontologyChangeListener);
        this.config = config;
        this.monitor = (config != null) ? 
                new ProgressMonitorWrapper(config.getProgressMonitor()) : 
                new ProgressMonitorWrapper(new NullReasonerProgressMonitor());
        this.buffering = buffering;
        
        // Transform, normalise and index axioms
        reasoner.loadAxioms(getAxioms(ont));
    }

View Full Code Here

        OWL.differentFrom( b, c ),
        OWL.differentFrom( a, c )
    };
    
    OWLOntology ont = OWL.Ontology( axioms );
    OWLReasonerConfiguration config = new SimpleConfiguration( new NullReasonerProgressMonitor(), FreshEntityPolicy.ALLOW, Long.MAX_VALUE, p );
    PelletReasoner pellet = PelletReasonerFactory.getInstance().createReasoner( ont, config );
    
    return pellet;
  }

View Full Code Here

TOP

Related Classes of org.semanticweb.owlapi.reasoner.NullReasonerProgressMonitor

au.csiro.snorocket.owlapi.SnorocketOWLReasoner

com.clarkparsia.pellet.owlapiv3.PelletReasoner

com.clarkparsia.pellet.test.owlapi.OWLAPIv3Tests

org.semanticweb.owlapi.reasoner.structural.StructuralReasoner

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.