com.hp.hpl.jena.reasoner.rulesys
Class RDFSRuleReasoner

java.lang.Object
  com.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner
      com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner
          com.hp.hpl.jena.reasoner.rulesys.RDFSRuleReasoner

All Implemented Interfaces:

Reasoner

public class RDFSRuleReasoner

extends GenericRuleReasoner

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.

Version:

$Revision: 1.12 $ on $Date: 2003/08/27 14:17:32 $

Author:

Dave Reynolds

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

DEFAULT_RULES

public static final java.lang.String DEFAULT_RULES

Constant: used to indicate default RDFS processing level

See Also:

Constant Field Values

FULL_RULES

public static final java.lang.String FULL_RULES

Constant: used to indicate full RDFS processing level

See Also:

Constant Field Values

SIMPLE_RULES

public static final java.lang.String SIMPLE_RULES

Constant: used to indicate minimal RDFS processing level

See Also:

Constant Field Values

Constructor Detail

RDFSRuleReasoner

public RDFSRuleReasoner(ReasonerFactory parent)

Constructor

RDFSRuleReasoner

public RDFSRuleReasoner(ReasonerFactory factory,
                        Resource configuration)

Constructor

Parameters:

factory - the parent reasoner factory which is consulted to answer capability questions

configuration - RDF information to configure the rule set and mode, can be null

Method Detail

bind

public InfGraph bind(Graph data)
              throws ReasonerException

Attach the reasoner to a set of RDF data to process. The reasoner may already have been bound to specific rules or ontology axioms (encoded in RDF) through earlier bindRuleset calls.

Specified by:

bind in interface Reasoner

Overrides:

bind in class GenericRuleReasoner

Parameters:

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).

Returns:

an inference graph through which the data+reasoner can be queried.

Throws:

ReasonerException - if the data is ill-formed according to the constraints imposed by this reasoner.

bindSchema

public Reasoner bindSchema(Graph tbox)
                    throws ReasonerException

Precompute the implications of a schema graph. The statements in the graph will be combined with the data when the final InfGraph is created.

Specified by:

bindSchema in interface Reasoner

Overrides:

bindSchema in class GenericRuleReasoner

Throws:

ReasonerException

loadRules

public static java.util.List loadRules(java.lang.String level)

Return the RDFS rule set, loading it in if necessary.

Parameters:

level - a string defining the processing level required