|
||||||||||
| 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
public class 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/interfaces inherited from class com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner |
|---|
GenericRuleReasoner.RuleMode |
| Field Summary | |
|---|---|
static String |
DEFAULT_RULES
Constant: used to indicate default RDFS processing level |
static String |
FULL_RULES
Constant: used to indicate full RDFS processing level |
static 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. |
Capabilities |
getGraphCapabilities()
Return the Jena Graph Capabilties that the inference graphs generated by this reasoner are expected to conform to. |
static List<Rule> |
loadRulesLevel(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, addRules, bindSchema, getBoundSchema, getReasonerCapabilities, getRules, isTraceOn, loadRules, 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 String DEFAULT_RULES
public static final String FULL_RULES
public static final 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 null| Method Detail |
|---|
public InfGraph bind(Graph data)
throws ReasonerException
bind in interface Reasonerbind in class GenericRuleReasonerdata - 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 ReasonerbindSchema in class GenericRuleReasonertbox - the ontology axioms or rule set encoded in RDF
ReasonerException - if the reasoner cannot be
bound to a rule set in this way, for example if the underlying engine
can only accept a single rule set in this way and one rule set has
already been bound in of if the ruleset is illformed.public static List<Rule> loadRulesLevel(String level)
level - a string defining the processing level requiredpublic Capabilities getGraphCapabilities()
getGraphCapabilities in interface ReasonergetGraphCapabilities in class FBRuleReasoner
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||