com.hp.hpl.jena.reasoner.rulesys
Class DAMLMicroReasoner
java.lang.Object
com.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner
com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner
com.hp.hpl.jena.reasoner.rulesys.DAMLMicroReasoner
- All Implemented Interfaces:
- Reasoner, RuleReasoner
public class DAMLMicroReasoner
- extends GenericRuleReasoner
We do not support DAML inference. This is a slightly extended version
of the RDFS reasoner to support some interesting subsets of DAML
that correspond roughly to what was there in Jena1. We hope.
- Version:
- $Revision: 1.1 $ on $Date: 2009-06-29 08:55:38 $
- Author:
- Dave Reynolds
Field Summary |
static String |
RULE_FILE
The location of the OWL rule definitions on the class path |
Method Summary |
Capabilities |
getGraphCapabilities()
Return the Jena Graph Capabilties that the inference graphs generated
by this reasoner are expected to conform to. |
static List<Rule> |
loadRules()
Return the RDFS 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 |
RULE_FILE
public static final String RULE_FILE
- The location of the OWL rule definitions on the class path
- See Also:
- Constant Field Values
DAMLMicroReasoner
public DAMLMicroReasoner(ReasonerFactory parent)
- Constructor
loadRules
public static List<Rule> loadRules()
- Return the RDFS rule set, loading it in if necessary
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
Licenced under the Apache License, Version 2.0