public static OWLReasonerConfiguration getDefaultOwlReasonerConfiguration( ReasonerProgressMonitor monitor) { return new SimpleConfiguration(monitor, FreshEntityPolicy.ALLOW, 0, IndividualNodeSetPolicy.BY_NAME); }
public OWLReasonerConfiguration getConfiguration(ReasonerProgressMonitor monitor) { return new SimpleConfiguration(monitor); } }
public static OWLReasonerConfiguration getDefaultOwlReasonerConfiguration( ReasonerProgressMonitor monitor) { return new SimpleConfiguration(monitor, FreshEntityPolicy.ALLOW, 0, IndividualNodeSetPolicy.BY_NAME); }
public static OWLReasonerConfiguration getDefaultOwlReasonerConfiguration( ReasonerProgressMonitor monitor) { return new SimpleConfiguration(monitor, FreshEntityPolicy.ALLOW, 0, IndividualNodeSetPolicy.BY_NAME); }
public OWLReasonerConfiguration getConfiguration(ReasonerProgressMonitor monitor) { return new SimpleConfiguration(monitor); } }
public OWLReasonerConfiguration getConfiguration(ReasonerProgressMonitor monitor) { return new SimpleConfiguration(monitor); } }
public OWLReasonerConfiguration getConfiguration(ReasonerProgressMonitor monitor) { return new SimpleConfiguration(monitor); } }
public OWLReasonerConfiguration getConfiguration(ReasonerProgressMonitor monitor) { return new SimpleConfiguration(monitor); }
public OWLReasonerConfiguration getConfiguration(ReasonerProgressMonitor monitor) { return new SimpleConfiguration(monitor); }
@Nonnull public OWLReasonerConfiguration getConfiguration(ReasonerProgressMonitor monitor) { return new SimpleConfiguration(monitor); }
@Nonnull public OWLReasonerConfiguration getConfiguration(ReasonerProgressMonitor monitor) { return new SimpleConfiguration(monitor); }
public OWLReasoner createReasoner(OWLOntology ontology, OWLReasonerConfiguration config) throws IllegalConfigurationException { return new StructuralReasoner(ontology, new SimpleConfiguration(), BufferingMode.BUFFERING); } }
public OWLReasoner createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration config) throws IllegalConfigurationException { return new StructuralReasoner(ontology, new SimpleConfiguration(), BufferingMode.NON_BUFFERING); }
@Override public OWLReasoner createNonBufferingReasoner(OWLOntology ontology) { JFactReasoner toReturn = new JFactReasoner(ontology, new SimpleConfiguration(), BufferingMode.NON_BUFFERING); return verify(toReturn); }
@Override public OWLReasoner createReasoner(OWLOntology ontology) { JFactReasoner toReturn = new JFactReasoner(ontology, new SimpleConfiguration(), BufferingMode.BUFFERING); return verify(toReturn); }
@Override public OWLReasoner createNonBufferingReasoner(OWLOntology ontology) { return createNonBufferingReasoner(ontology, new SimpleConfiguration()); }
@Override public OWLReasoner createReasoner(OWLOntology ontology) { return createReasoner(ontology, new SimpleConfiguration()); }
private OWLReasoner createReasoner(OWLOntology ont) { OWLReasonerConfiguration config = new SimpleConfiguration(50000); OWLReasoner reasoner = this.reasonerFactory.createReasoner(ont, config); return reasoner; }
@Override public OWLReasoner createNonBufferingReasoner(OWLOntology ontology) { return createNonBufferingReasoner(ontology, new SimpleConfiguration()); }
@Override public OWLReasoner createReasoner(OWLOntology ontology) { return createReasoner(ontology, new SimpleConfiguration()); }