Package org.apache.jena.reasoner.rulesys

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 Detail

      • OWLMiniReasoner

        public OWLMiniReasoner​(ReasonerFactory factory)
        Constructor

    • Method Detail

      • 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.