public class AGReasoner extends Object implements com.hp.hpl.jena.reasoner.Reasoner
Modifier and Type | Field and Description |
---|---|
static AGReasoner |
RDFS_PLUS_PLUS
The default reasoner for AllegroGraph
|
static AGReasoner |
RESTRICTION
A reasoner that includes hasValue, someValuesFrom, and allValuesFrom
reasoning in addition to RDFS++ reasoning.
|
Constructor and Description |
---|
AGReasoner()
Creates a new reasoner, using RDFS++ entailment.
|
AGReasoner(String entailmentRegime)
Creates a new reasoner, using the specified entailmentRegime.
|
Modifier and Type | Method and Description |
---|---|
void |
addDescription(com.hp.hpl.jena.rdf.model.Model configSpec,
com.hp.hpl.jena.rdf.model.Resource base) |
AGInfGraph |
bind(com.hp.hpl.jena.graph.Graph data) |
com.hp.hpl.jena.reasoner.Reasoner |
bindSchema(com.hp.hpl.jena.graph.Graph tbox) |
com.hp.hpl.jena.reasoner.Reasoner |
bindSchema(com.hp.hpl.jena.rdf.model.Model tbox) |
String |
getEntailmentRegime()
Gets the name of the entailmentRegime for this reasoner.
|
com.hp.hpl.jena.graph.Capabilities |
getGraphCapabilities() |
com.hp.hpl.jena.rdf.model.Model |
getReasonerCapabilities() |
void |
setDerivationLogging(boolean logOn) |
void |
setParameter(com.hp.hpl.jena.rdf.model.Property parameterUri,
Object value) |
boolean |
supportsProperty(com.hp.hpl.jena.rdf.model.Property property) |
public static final AGReasoner RDFS_PLUS_PLUS
public static final AGReasoner RESTRICTION
public AGReasoner()
RDFS_PLUS_PLUS
public AGReasoner(String entailmentRegime)
RDFS_PLUS_PLUS
,
RESTRICTION
public String getEntailmentRegime()
public void addDescription(com.hp.hpl.jena.rdf.model.Model configSpec, com.hp.hpl.jena.rdf.model.Resource base)
addDescription
in interface com.hp.hpl.jena.reasoner.Reasoner
public AGInfGraph bind(com.hp.hpl.jena.graph.Graph data) throws com.hp.hpl.jena.reasoner.ReasonerException
bind
in interface com.hp.hpl.jena.reasoner.Reasoner
com.hp.hpl.jena.reasoner.ReasonerException
public com.hp.hpl.jena.reasoner.Reasoner bindSchema(com.hp.hpl.jena.graph.Graph tbox) throws com.hp.hpl.jena.reasoner.ReasonerException
bindSchema
in interface com.hp.hpl.jena.reasoner.Reasoner
com.hp.hpl.jena.reasoner.ReasonerException
public com.hp.hpl.jena.reasoner.Reasoner bindSchema(com.hp.hpl.jena.rdf.model.Model tbox) throws com.hp.hpl.jena.reasoner.ReasonerException
bindSchema
in interface com.hp.hpl.jena.reasoner.Reasoner
com.hp.hpl.jena.reasoner.ReasonerException
public com.hp.hpl.jena.graph.Capabilities getGraphCapabilities()
getGraphCapabilities
in interface com.hp.hpl.jena.reasoner.Reasoner
public com.hp.hpl.jena.rdf.model.Model getReasonerCapabilities()
getReasonerCapabilities
in interface com.hp.hpl.jena.reasoner.Reasoner
public void setDerivationLogging(boolean logOn)
setDerivationLogging
in interface com.hp.hpl.jena.reasoner.Reasoner
public void setParameter(com.hp.hpl.jena.rdf.model.Property parameterUri, Object value)
setParameter
in interface com.hp.hpl.jena.reasoner.Reasoner
public boolean supportsProperty(com.hp.hpl.jena.rdf.model.Property property)
supportsProperty
in interface com.hp.hpl.jena.reasoner.Reasoner