|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.hp.hpl.jena.reasoner.rulesys.OWLMiniReasonerFactory
public class OWLMiniReasonerFactory
Reasoner factory for the OWL mini configuration. Key limitations over the normal OWL configuration are:
| Field Summary | |
|---|---|
static String |
URI
Static URI for this reasoner type |
| Constructor Summary | |
|---|---|
OWLMiniReasonerFactory()
|
|
| Method Summary | |
|---|---|
Reasoner |
create(Resource configuration)
Constructor method that builds an instance of the associated Reasoner |
Model |
getCapabilities()
Return a description of the capabilities of this reasoner encoded in RDF. |
String |
getURI()
Return the URI labelling this type of reasoner |
static ReasonerFactory |
theInstance()
Return the single global instance of this factory |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final String URI
| Constructor Detail |
|---|
public OWLMiniReasonerFactory()
| Method Detail |
|---|
public static ReasonerFactory theInstance()
public Reasoner create(Resource configuration)
create in interface ReasonerFactoryconfiguration - a set of arbitrary configuration information to be
passed the reasoner encoded within an RDF graphpublic Model getCapabilities()
getCapabilities in interface ReasonerFactorypublic String getURI()
getURI in interface ReasonerFactory
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||