com.hp.hpl.jena.reasoner.rulesys
Class RDFSRuleInfGraph
java.lang.Object
com.hp.hpl.jena.graph.impl.GraphBase
com.hp.hpl.jena.reasoner.BaseInfGraph
com.hp.hpl.jena.reasoner.rulesys.BasicForwardRuleInfGraph
com.hp.hpl.jena.reasoner.rulesys.FBRuleInfGraph
com.hp.hpl.jena.reasoner.rulesys.RDFSRuleInfGraph
- All Implemented Interfaces:
- BackwardRuleInfGraphI, Filter, ForwardRuleInfGraphI, Graph, GraphAdd, InfGraph, 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 extenstion is
the validation support.
- Version:
- $Revision: 1.4 $ on $Date: 2003/11/08 17:56:30 $
- Author:
- Dave Reynolds
Fields inherited from interface com.hp.hpl.jena.util.iterator.Filter |
any |
Methods inherited from class com.hp.hpl.jena.reasoner.rulesys.FBRuleInfGraph |
accept, addBRule, addBRules, addDeduction, addPreprocessingHook, addRuleDuringPrepare, cloneWithPremises, close, deleteBRule, find, find, findDataMatches, findDataMatches, findFull, findWithContinuation, getBRules, getNRulesFired, getRules, getTemp, hideNode, performAdd, performDelete, prepare, printLPProfile, processBuiltin, rebind, reset, resetLPProfile, setDerivationLogging, setFunctorFiltering, setTabled, setTraceOn, setUseTGCCache |
Methods inherited from class com.hp.hpl.jena.reasoner.BaseInfGraph |
contains, contains, find, find, getCapabilities, getGlobalProperty, getPrefixMapping, getRawGraph, getReasoner, getReifier, isEmpty, testGlobalProperty |
Methods inherited from class com.hp.hpl.jena.graph.impl.GraphBase |
add, delete, dependsOn, getBulkUpdateHandler, getEventManager, getTransactionHandler, isIsomorphicWith, notifyAdd, notifyDelete, queryHandler, toString, toString |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface com.hp.hpl.jena.graph.Graph |
contains, contains, delete, dependsOn, find, getBulkUpdateHandler, getCapabilities, getEventManager, getPrefixMapping, getReifier, getTransactionHandler, isEmpty, isIsomorphicWith, queryHandler, size |
Methods inherited from interface com.hp.hpl.jena.graph.GraphAdd |
add |
RDFSRuleInfGraph
public RDFSRuleInfGraph(Reasoner reasoner,
java.util.List rules,
Graph schema)
- Constructor.
- Parameters:
reasoner
- the reasoner which created this inf graph instancerules
- the rules to processschema
- the (optional) schema graph to be included
RDFSRuleInfGraph
public RDFSRuleInfGraph(Reasoner reasoner,
java.util.List rules,
Graph schema,
Graph data)
- Constructor.
- Parameters:
reasoner
- the reasoner which created this inf graph instancerules
- the rules to processschema
- the (optional) schema graph to be includeddata
- the data graph to be processed
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
checkLiteral
public ValidityReport.Report checkLiteral(Node prop,
Node value)
- Check a given literal value for a property against the set of
known range constraints for it.
- Parameters:
prop
- the property node whose range is under scrutinyvalue
- the literal node whose value is to be checked
- Returns:
- null if the range is legal, otherwise a ValidityReport.Report
which describes the problem.
Copyright © 2000-2003 Hewlett-Packard. All Rights Reserved.