com.hp.hpl.jena.reasoner.rulesys
Class OWLMicroReasoner
java.lang.Object
com.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner
com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner
com.hp.hpl.jena.reasoner.rulesys.OWLMicroReasoner
- All Implemented Interfaces:
- Reasoner, RuleReasoner
public class OWLMicroReasoner
- extends GenericRuleReasoner
- implements Reasoner
Reasoner configuration for the OWL micro reasoner.
This only supports:
- RDFS entailments
- basic OWL axioms like ObjectProperty subClassOf Property
- intersectionOf, equivalentClass and forward implication of unionOf sufficient for traversal
of explicit class hierachies<.li>
- Property axioms (inversOf, SymmetricProperty, TransitiveProperty, equivalentProperty)
There is some experimental support for the cheaper class restriction handlingly which
should not be relied on at this point.
- Version:
- $Revision: 1.4 $ on $Date: 2004/12/14 09:46:11 $
- Author:
- Dave Reynolds
Method Summary |
Capabilities |
getGraphCapabilities()
Return the Jena Graph Capabilties that the inference graphs generated
by this reasoner are expected to conform to. |
static List |
loadRules()
Return the rule set, loading it in if necessary |
Methods inherited from class com.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner |
addDescription, addRules, bindSchema, getReasonerCapabilities, getRules, isTraceOn, loadRules, setDerivationLogging, setParameter, setTraceOn, supportsProperty, tablePredicate |
OWLMicroReasoner
public OWLMicroReasoner(ReasonerFactory factory)
- Constructor
loadRules
public static List loadRules()
- Return the 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
Copyright © 2000, 2001, 2002, 2003, 2004 Hewlett-Packard Development Company, LP