|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner
com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner
com.hp.hpl.jena.reasoner.rulesys.RDFSRuleReasoner
A full implemention of RDFS reasoning using a hybrid rule system, together with optimized subclass/subproperty closure using the transitive graph caches. Implements the container membership property rules using an optional data scanning hook. Implements datatype range validation.
Nested Class Summary |
Nested classes inherited from class com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner |
GenericRuleReasoner.RuleMode |
Field Summary | |
static java.lang.String |
DEFAULT_RULES
Constant: used to indicate default RDFS processing level |
static java.lang.String |
FULL_RULES
Constant: used to indicate full RDFS processing level |
static java.lang.String |
SIMPLE_RULES
Constant: used to indicate minimal RDFS processing level |
Fields inherited from class com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner |
BACKWARD, filterFunctors, FORWARD, FORWARD_RETE, HYBRID |
Constructor Summary | |
RDFSRuleReasoner(ReasonerFactory parent)
Constructor |
|
RDFSRuleReasoner(ReasonerFactory factory,
Resource configuration)
Constructor |
Method Summary | |
InfGraph |
bind(Graph data)
Attach the reasoner to a set of RDF data to process. |
Reasoner |
bindSchema(Graph tbox)
Precompute the implications of a schema graph. |
static java.util.List |
loadRules(java.lang.String level)
Return the RDFS rule set, loading it in if necessary. |
Methods inherited from class com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner |
addPreprocessingHook, removePreprocessingHook, setFunctorFiltering, setMode, setOWLTranslation, setRules, setTransitiveClosureCaching |
Methods inherited from class com.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner |
addDescription, bindSchema, getCapabilities, getRules, isTraceOn, setDerivationLogging, setParameter, setTraceOn, supportsProperty, tablePredicate |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final java.lang.String DEFAULT_RULES
public static final java.lang.String FULL_RULES
public static final java.lang.String SIMPLE_RULES
Constructor Detail |
public RDFSRuleReasoner(ReasonerFactory parent)
public RDFSRuleReasoner(ReasonerFactory factory, Resource configuration)
factory
- the parent reasoner factory which is consulted to answer capability questionsconfiguration
- RDF information to configure the rule set and mode, can be nullMethod Detail |
public InfGraph bind(Graph data) throws ReasonerException
bind
in interface Reasoner
bind
in class GenericRuleReasoner
data
- the RDF data to be processed, some reasoners may restrict
the range of RDF which is legal here (e.g. syntactic restrictions in OWL).
ReasonerException
- if the data is ill-formed according to the
constraints imposed by this reasoner.public Reasoner bindSchema(Graph tbox) throws ReasonerException
bindSchema
in interface Reasoner
bindSchema
in class GenericRuleReasoner
ReasonerException
public static java.util.List loadRules(java.lang.String level)
level
- a string defining the processing level required
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |