Class 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 hierarchies
  • 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.
  • Constructor Details

    • OWLMicroReasoner

      public OWLMicroReasoner(ReasonerFactory factory)
  • Method Details

    • loadRules

      public static List<Rule> loadRules()
      Return the rule set, loading it in if necessary
    • getGraphCapabilities

      public Capabilities getGraphCapabilities()
      Return the Jena Graph Capabilities that the inference graphs generated by this reasoner are expected to conform to.
      Specified by:
      getGraphCapabilities in interface Reasoner
      getGraphCapabilities in class FBRuleReasoner
    • 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
      bind in class GenericRuleReasoner
      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).
      an inference graph through which the data+reasoner can be queried.
      ReasonerException - if the data is ill-formed according to the constraints imposed by this reasoner.