org.apache.jena.reasoner.rulesys

Class RDFSRuleInfGraph

java.lang.Object

org.apache.jena.graph.impl.GraphBase

org.apache.jena.reasoner.BaseInfGraph

org.apache.jena.reasoner.rulesys.BasicForwardRuleInfGraph

org.apache.jena.reasoner.rulesys.FBRuleInfGraph

org.apache.jena.reasoner.rulesys.RDFSRuleInfGraph

All Implemented Interfaces:

Graph, GraphWithPerform, InfGraph, BackwardRuleInfGraphI, ForwardRuleInfGraphI, SilentAddI

public class RDFSRuleInfGraph
extends FBRuleInfGraph

Customization of the generic rule inference graph for RDFS inference. In fact all the rule processing is unchanged, the only extension is the validation support.

Nested Class Summary

Nested classes/interfaces inherited from class org.apache.jena.reasoner.rulesys.FBRuleInfGraph

FBRuleInfGraph.RuleStore

Nested classes/interfaces inherited from class org.apache.jena.reasoner.BaseInfGraph

BaseInfGraph.InfCapabilities, BaseInfGraph.InfFindSafeCapabilities, BaseInfGraph.InfTransactionHandler

Field Summary

Fields inherited from class org.apache.jena.reasoner.rulesys.FBRuleInfGraph

useRETE

Fields inherited from class org.apache.jena.reasoner.rulesys.BasicForwardRuleInfGraph

filterFunctors

Fields inherited from class org.apache.jena.graph.impl.GraphBase

TOSTRING_TRIPLE_BASE, TOSTRING_TRIPLE_LIMIT

Fields inherited from interface org.apache.jena.graph.Graph

emptyGraph

Constructor Summary

Constructors

Constructor and Description
RDFSRuleInfGraph(Reasoner reasoner, List<Rule> rules, Graph schema) Constructor.
RDFSRuleInfGraph(Reasoner reasoner, List<Rule> rules, Graph schema, Graph data) Constructor.

Method Summary

Modifier and Type	Method and Description
ValidityReport	validate() Test the consistency of the bound data.

Methods inherited from class org.apache.jena.reasoner.rulesys.FBRuleInfGraph

accept, addBRule, addBRules, addDeduction, addPreprocessingHook, addRuleDuringPrepare, checkLiteral, close, deleteBRule, find, findDataMatches, findDataMatches, findFull, findWithContinuation, getBRules, getNRulesFired, getRules, getTemp, graphBaseFind, hideNode, performAdd, performDelete, prepare, printLPProfile, processBuiltin, rebind, rebindAll, reset, resetLPProfile, setDatatypeRangeValidation, setDerivationLogging, setTabled, setTraceOn, setUseTGCCache

Methods inherited from class org.apache.jena.reasoner.rulesys.BasicForwardRuleInfGraph

getCurrentDeductionsGraph, getDeductionsGraph, getDerivation, getSchemaGraph, graphBaseSize, logDerivation, rebind, setFunctorFiltering, setRuleStore, shouldLogDerivations, shouldTrace, silentAdd

Methods inherited from class org.apache.jena.reasoner.BaseInfGraph

clear, cloneWithPremises, find, getCapabilities, getGlobalProperty, getPrefixMapping, getRawGraph, getReasoner, getTransactionHandler, getVersion, isEmpty, isPrepared, remove, testGlobalProperty

Methods inherited from class org.apache.jena.graph.impl.GraphBase

add, contains, contains, delete, dependsOn, find, find, forTestingOnly_graphBaseFind, getEventManager, getStatisticsHandler, isClosed, isIsomorphicWith, notifyAdd, notifyDelete, size, toString, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.apache.jena.reasoner.rulesys.BackwardRuleInfGraphI

getVersion, logDerivation

Methods inherited from interface org.apache.jena.reasoner.rulesys.SilentAddI

silentAdd

Methods inherited from interface org.apache.jena.reasoner.InfGraph

find, getDeductionsGraph, getDerivation, getGlobalProperty, getRawGraph, getReasoner, rebind, testGlobalProperty

Methods inherited from interface org.apache.jena.graph.Graph

add, clear, contains, contains, delete, dependsOn, find, find, find, getCapabilities, getEventManager, getPrefixMapping, getStatisticsHandler, getTransactionHandler, isClosed, isEmpty, isIsomorphicWith, remove, size

Constructor Detail

RDFSRuleInfGraph

public RDFSRuleInfGraph(Reasoner reasoner,
                        List<Rule> rules,
                        Graph schema)

Constructor.

Parameters:

reasoner - the reasoner which created this inf graph instance

rules - the rules to process

schema - the (optional) schema graph to be included

RDFSRuleInfGraph

public RDFSRuleInfGraph(Reasoner reasoner,
                        List<Rule> rules,
                        Graph schema,
                        Graph data)

Constructor.

Parameters:

reasoner - the reasoner which created this inf graph instance

rules - the rules to process

schema - the (optional) schema graph to be included

data - the data graph to be processed

Method Detail

validate

public ValidityReport validate()

Test the consistency of the bound data. For RDFS this checks that all instances of datatype-ranged properties have correct data values.

Specified by:

validate in interface InfGraph

Overrides:

validate in class FBRuleInfGraph

Returns:

a ValidityReport structure