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

    • OWLMiniReasoner

      public OWLMiniReasoner(ReasonerFactory factory)
  • Method Details

    • loadRules

      public static 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
      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.
    • 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
      getGraphCapabilities in class FBRuleReasoner