Package org.semanticweb.owlapi.reasoner.structural

Class StructuralReasonerFactory

java.lang.Object

org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory

All Implemented Interfaces:

org.semanticweb.owlapi.reasoner.OWLReasonerFactory

public class StructuralReasonerFactory
extends Object
implements org.semanticweb.owlapi.reasoner.OWLReasonerFactory

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Constructor Summary

Constructors

Constructor	Description
StructuralReasonerFactory()

Method Summary

Modifier and Type	Method	Description
org.semanticweb.owlapi.reasoner.OWLReasoner	createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
org.semanticweb.owlapi.reasoner.OWLReasoner	createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
org.semanticweb.owlapi.reasoner.OWLReasoner	createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
org.semanticweb.owlapi.reasoner.OWLReasoner	createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
String	getReasonerName()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StructuralReasonerFactory

public StructuralReasonerFactory()

Method Detail

getReasonerName

@Nonnull
public String getReasonerName()

Specified by:

getReasonerName in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

createNonBufferingReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner(@Nonnull
                                                                              org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

createNonBufferingReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

createReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(@Nonnull
                                                                  org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

createReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

createNonBufferingReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner(@Nonnull
                                                                              org.semanticweb.owlapi.model.OWLOntology ontology,
                                                                              @Nonnull
                                                                              org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)

Specified by:

createNonBufferingReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

createReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(@Nonnull
                                                                  org.semanticweb.owlapi.model.OWLOntology ontology,
                                                                  @Nonnull
                                                                  org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)

Specified by:

createReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory