Package org.semanticweb.owlapi.reasoner.structural

Class StructuralReasonerFactory

java.lang.Object

org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory

All Implemented Interfaces:

OWLReasonerFactory

public class StructuralReasonerFactory
extends Object
implements 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
OWLReasoner	createNonBufferingReasoner(OWLOntology ontology)
OWLReasoner	createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration config)
OWLReasoner	createReasoner(OWLOntology ontology)
OWLReasoner	createReasoner(OWLOntology ontology, OWLReasonerConfiguration config)
String	getReasonerName()

Methods inherited from class java.lang.Object

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

Constructor Details

StructuralReasonerFactory

public StructuralReasonerFactory()

Method Details

getReasonerName

public String getReasonerName()

Specified by:

getReasonerName in interface OWLReasonerFactory

createNonBufferingReasoner

public OWLReasoner createNonBufferingReasoner(OWLOntology ontology)

Specified by:

createNonBufferingReasoner in interface OWLReasonerFactory

createReasoner

public OWLReasoner createReasoner(OWLOntology ontology)

Specified by:

createReasoner in interface OWLReasonerFactory

createNonBufferingReasoner

public OWLReasoner createNonBufferingReasoner(OWLOntology ontology,
 OWLReasonerConfiguration config)

Specified by:

createNonBufferingReasoner in interface OWLReasonerFactory

createReasoner

public OWLReasoner createReasoner(OWLOntology ontology,
 OWLReasonerConfiguration config)

Specified by:

createReasoner in interface OWLReasonerFactory