com.hp.hpl.jena.reasoner.rulesys
Class OWLMiniReasoner
java.lang.Object
com.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner
com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner
com.hp.hpl.jena.reasoner.rulesys.OWLMiniReasoner
- All Implemented Interfaces:
- Reasoner, RuleReasoner
public class OWLMiniReasoner
- extends GenericRuleReasoner
- implements Reasoner
Reasoner configuration for the OWL mini reasoner.
Key limitations over the normal OWL configuration are:
- omits the someValuesFrom => bNode entailments
- avoids any guard clauses which would break the find() contract
- omits inheritance of range implications for XSD datatype ranges
- Version:
- $Revision: 1.1 $ on $Date: 2009/06/29 08:55:38 $
- Author:
- Dave Reynolds
Method Summary |
InfGraph |
bind(Graph data)
Attach the reasoner to a set of RDF data to process. |
Capabilities |
getGraphCapabilities()
Return the Jena Graph Capabilties that the inference graphs generated
by this reasoner are expected to conform to. |
static java.util.List<Rule> |
loadRules()
Return the rule set, loading it in if necessary |
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 |
OWLMiniReasoner
public OWLMiniReasoner(ReasonerFactory factory)
- Constructor
loadRules
public static java.util.List<Rule> loadRules()
- Return the rule set, loading it in if necessary
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.
getGraphCapabilities
public Capabilities getGraphCapabilities()
- Return the Jena Graph Capabilties that the inference graphs generated
by this reasoner are expected to conform to.
- Specified by:
getGraphCapabilities
in interface Reasoner
- Overrides:
getGraphCapabilities
in class FBRuleReasoner
Copyright © 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 Hewlett-Packard Development Company, LP