public class SatisfiabilityEntailmentCheckerFactory extends Object implements EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom>
| Constructor and Description |
|---|
SatisfiabilityEntailmentCheckerFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory) |
SatisfiabilityEntailmentCheckerFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
boolean useModularisation) |
SatisfiabilityEntailmentCheckerFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
boolean useModularisation,
long entailmentCheckTimeOutMS) |
SatisfiabilityEntailmentCheckerFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
long entailmentCheckTimeOutMS) |
| Modifier and Type | Method and Description |
|---|---|
EntailmentChecker<org.semanticweb.owlapi.model.OWLAxiom> |
createEntailementChecker(org.semanticweb.owlapi.model.OWLAxiom entailment) |
public SatisfiabilityEntailmentCheckerFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)
public SatisfiabilityEntailmentCheckerFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
long entailmentCheckTimeOutMS)
public SatisfiabilityEntailmentCheckerFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
boolean useModularisation)
public SatisfiabilityEntailmentCheckerFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
boolean useModularisation,
long entailmentCheckTimeOutMS)
public EntailmentChecker<org.semanticweb.owlapi.model.OWLAxiom> createEntailementChecker(org.semanticweb.owlapi.model.OWLAxiom entailment)
createEntailementChecker in interface EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom>Copyright © 2014. All rights reserved.