Search Java Classes and Packages
#Org.apache.jena.reasoner.rulesys Classes and Interfaces - 141 results found.
| Name | Description | Type | Package | Framework |
| AddOne | Bind the second argument to 1+ the first argument. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| AssertDisjointPairs | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena | |
| BackwardRuleInfGraphI | This interface collects together those operations that the backchaining engine needs to invoke in the parent InfGraph. | Interface | org.apache.jena.reasoner.rulesys | Apache Jena |
| BaseBuiltin | Dummy implementation of the Builtin interface that specific implementations can inherit from. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| BasicForwardRuleInfGraph | An inference graph interface that runs a set of forward chaining rules to conclusion on each added triple and stores the entire | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| BasicForwardRuleReasoner | Reasoner implementation which augments or transforms an RDF graph according to a set of rules. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| BindingEnvironment | Interface through which the current bound values of variables can be found. | Interface | org.apache.jena.reasoner.rulesys | Apache Jena |
| Bound | Predicate used to check if a variable has been bound. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Builtin | Rules employ builtins to do all tests and actions other than simple triple matches and triple creation. | Interface | org.apache.jena.reasoner.rulesys | Apache Jena |
| BuiltinException | Exceptions thrown by runtime errors in exceuting rule system builtin operations. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| BuiltinRegistry | A registry for mapping functor names on java objects (instances of subclasses of Builtin) which implement their behvaiour. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| ClauseEntry | Common interface for all objects that can go into rules. | Interface | org.apache.jena.reasoner.rulesys | Apache Jena |
| CountLiteralValues | CountLiteralValues(X, P, C) sets C to be the number of semantically distinct values for P on resource X. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Difference | Bind the third argument to the arithetic difference between the first and second aguments. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Drop | A variant of the remove builtin that will delete matched triples from the graph but will not trigger further rule processing for | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Equal | Check that the two args are semantically equal. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| FBRuleInfGraph | An inference graph that uses a mixture of forward and backward chaining rules. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| FBRuleInfGraph .RuleStore | Structure used to wrap up pre-processed/compiled rule sets. | Class | org.apache.jena.reasoner.rulesys.FBRuleInfGraph | Apache Jena |
| FBRuleReasoner | Rule-based reasoner interface. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| ForwardRuleInfGraphI | This interface collects together the operations on the InfGraph which are needed to support the forward rule engine. | Interface | org.apache.jena.reasoner.rulesys | Apache Jena |
| Functor | A functor comprises a functor name and a list of arguments. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| Functor .FunctorDatatype | Inner class. | Class | org.apache.jena.reasoner.rulesys.Functor | Apache Jena |
| GE | Tests if the first argument is greater than or equal to the second. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| GenericRuleReasoner | A reasoner interface that is able to invoke any of the useful rule engine combinations. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| GenericRuleReasoner .RuleMode | Class | org.apache.jena.reasoner.rulesys.GenericRuleReasoner | Apache Jena | |
| GenericRuleReasonerFactory | Factory object for creating general rule reasoner instances. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| GreaterThan | Tests if the first argument is greater than the second. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Hide | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena | |
| IsBNode | Tests the single argument to make sure it is blank node. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| IsDType | Tests whether the first argument is an instance of the datatype defined by the resource in the second argument. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| IsFunctor | Tests the single argument to make sure it is not a Functor. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| IsLiteral | Tests the single argument to make sure it is a literal. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| LE | Tests if the first argument is less than or equal to the second. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| LessThan | Tests if the first argument is less than the second. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| ListContains | Returns true if the first argument is a list which contains the second argument. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| ListEntry | listEntry(?list, ?index, ?val) will bind ?val to the ?index'th entry in the RDF list ?list. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| ListEqual | Test if the two argument lists contain the same semantic elements. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| ListLength | Bind the second arg to the length of the first arg treated as a list. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| ListMapAsObject | For each element in the RDF list (third argument) it asserts triples with that as the object and subject and predicate given by arguments | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| ListMapAsSubject | For each element in the RDF list (first argument) it asserts triples with that as the subject and predicate and object given by arguments | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| ListNotContains | Returns false if the first argument is a list which contains the second argument. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| ListNotEqual | Test if the two argument lists differ. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| LPBackwardRuleInfGraph | Class | org.apache.jena.reasoner.rulesys | Apache Jena | |
| LPBackwardRuleReasoner | Reasoner implementation which augments or transforms an RDF graph according to a set of rules. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| MakeInstance | Create or lookup an anonymous instance of a property value. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| MakeSkolem | Bind a blank node to the first argument. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| MakeTemp | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena | |
| Max | Bind the third arg to the max of the first two args. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Min | Bind the third arg to the min of the first two args. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Node_RuleVariable | A variation on the normal Node_Variable which support for value bindings. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| AddOne | Bind the second argument to 1+ the first argument. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| AssertDisjointPairs | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena | |
| BackwardRuleInfGraphI | This interface collects together those operations that the backchaining engine needs to invoke in the parent InfGraph. | Interface | org.apache.jena.reasoner.rulesys | Apache Jena |
| BaseBuiltin | Dummy implementation of the Builtin interface that specific implementations can inherit from. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| BasicForwardRuleInfGraph | An inference graph interface that runs a set of forward chaining rules to conclusion on each added triple and stores the entire | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| BasicForwardRuleReasoner | Reasoner implementation which augments or transforms an RDF graph according to a set of rules. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| BindingEnvironment | Interface through which the current bound values of variables can be found. | Interface | org.apache.jena.reasoner.rulesys | Apache Jena |
| Bound | Predicate used to check if a variable has been bound. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Builtin | Rules employ builtins to do all tests and actions other than simple triple matches and triple creation. | Interface | org.apache.jena.reasoner.rulesys | Apache Jena |
| BuiltinException | Exceptions thrown by runtime errors in exceuting rule system builtin operations. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| BuiltinRegistry | A registry for mapping functor names on java objects (instances of subclasses of Builtin) which implement their behvaiour. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| ClauseEntry | Common interface for all objects that can go into rules. | Interface | org.apache.jena.reasoner.rulesys | Apache Jena |
| CountLiteralValues | CountLiteralValues(X, P, C) sets C to be the number of semantically distinct values for P on resource X. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Difference | Bind the third argument to the arithetic difference between the first and second aguments. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Drop | A variant of the "remove" builtin that will delete matched triples from the graph but will not trigger further rule processing for | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Equal | Check that the two args are semantically equal. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| FBRuleInfGraph | An inference graph that uses a mixture of forward and backward chaining rules. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| FBRuleInfGraph .RuleStore | Structure used to wrap up pre-processed/compiled rule sets. | Class | org.apache.jena.reasoner.rulesys.FBRuleInfGraph | Apache Jena |
| FBRuleReasoner | Rule-based reasoner interface. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| ForwardRuleInfGraphI | This interface collects together the operations on the InfGraph which are needed to support the forward rule engine. | Interface | org.apache.jena.reasoner.rulesys | Apache Jena |
| Functor | A functor comprises a functor name and a list of arguments. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| Functor .FunctorDatatype | Inner class. | Class | org.apache.jena.reasoner.rulesys.Functor | Apache Jena |
| GE | Tests if the first argument is greater than or equal to the second. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| GenericRuleReasoner | A reasoner interface that is able to invoke any of the useful rule engine combinations. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| GenericRuleReasoner .RuleMode | Class | org.apache.jena.reasoner.rulesys.GenericRuleReasoner | Apache Jena | |
| GenericRuleReasonerFactory | Factory object for creating general rule reasoner instances. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| GreaterThan | Tests if the first argument is greater than the second. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Hide | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena | |
| IsBNode | Tests the single argument to make sure it is blank node. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| IsDType | Tests whether the first argument is an instance of the datatype defined by the resource in the second argument. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| IsFunctor | Tests the single argument to make sure it is not a Functor. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| IsLiteral | Tests the single argument to make sure it is a literal. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| LE | Tests if the first argument is less than or equal to the second. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| LessThan | Tests if the first argument is less than the second. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| ListContains | Returns true if the first argument is a list which contains the second argument. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| ListEntry | listEntry(?list, ?index, ?val) will bind ?val to the ?index'th entry in the RDF list ?list. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| ListEqual | Test if the two argument lists contain the same semantic elements. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| ListLength | Bind the second arg to the length of the first arg treated as a list. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| ListMapAsObject | For each element in the RDF list (third argument) it asserts triples with that as the object and subject and predicate given by arguments | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| ListMapAsSubject | For each element in the RDF list (first argument) it asserts triples with that as the subject and predicate and object given by arguments | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| ListNotContains | Returns false if the first argument is a list which contains the second argument. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| ListNotEqual | Test if the two argument lists differ. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| LPBackwardRuleInfGraph | Class | org.apache.jena.reasoner.rulesys | Apache Jena | |
| LPBackwardRuleReasoner | Reasoner implementation which augments or transforms an RDF graph according to a set of rules. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| MakeInstance | Create or lookup an anonymous instance of a property value. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| MakeSkolem | Bind a blank node to the first argument. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| MakeTemp | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena | |
| Max | Bind the third arg to the max of the first two args. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Min | Bind the third arg to the min of the first two args. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Node_RuleVariable | A variation on the normal Node_Variable which support for value bindings. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| NotBNode | Tests the single argument to make sure it is not a blank node. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| NotDType | Tests wheter the first argument is not an instance of the datatype defined by the resource in the second argument. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| NotEqual | Check that the two args are different. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| NotFunctor | Tests the single argument to make sure it is not a Functor. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| NotLiteral | Tests the single argument to make sure it is a literal. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| NoValue | Can be used in two arg form (X, P) or three arg form (X, P, V). | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Now | Bind the first arg to the current date time in the current locale and timezone. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| OWLFBRuleReasoner | A hybrid forward/backward implementation of the OWL closure rules. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| OWLFBRuleReasonerFactory | Factory class for creating blank instances of the OWL Reasoner. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| OWLMicroReasoner | Reasoner configuration for the OWL micro reasoner. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| OWLMicroReasonerFactory | Reasoner factory for the OWL micro configuration. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| OWLMiniReasoner | Reasoner configuration for the OWL mini reasoner. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| OWLMiniReasonerFactory | Reasoner factory for the OWL mini configuration. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena | ||
| Product | Bind the third arg to the product of the first two args. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Quotient | Bind the third arg to the ratio of the first two args. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| RDFSFBRuleReasoner | A backward chaining implementation of the RDFS closure rules based upon the basic backward rule interpreter. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| RDFSFBRuleReasonerFactory | Factory class for creating blank instances of the hybrid rule RDFS reasoner. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| RDFSForwardRuleReasoner | A pure forward chaining implementation of the RDFS closure rules based upon the basic forward rule interpreter. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| RDFSRuleInfGraph | Customization of the generic rule inference graph for RDFS inference. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| RDFSRuleReasoner | A full implemention of RDFS reasoning using a hybrid rule system, together with optimized subclass/subproperty closure using the transitive graph caches. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| RDFSRuleReasonerFactory | Class | org.apache.jena.reasoner.rulesys | Apache Jena | |
| Regex | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena | |
| Remove | Remove the body clause given by index arguments from the database. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| RETERuleInfGraph | RETE implementation of the forward rule infernce graph. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| Rule | Representation of a generic inference rule. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| Rule .Parser | Inner class which provides minimalist parsing support based on tokenisation with depth 1 lookahead. | Class | org.apache.jena.reasoner.rulesys.Rule | Apache Jena |
| Rule .ParserException | Inner class. | Class | org.apache.jena.reasoner.rulesys.Rule | Apache Jena |
| RuleContext | Interface used to convey context information from a rule engine to the stack of procedural builtins. | Interface | org.apache.jena.reasoner.rulesys | Apache Jena |
| RuleDerivation | Derivation records are used to determine how an inferred triple was derived from a set of source triples and a reasoner. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |
| RulePreprocessHook | during intialization of (hybrid) rule systems. | Interface | org.apache.jena.reasoner.rulesys | Apache Jena |
| RuleReasoner | RuleReasoner - an interface to capture the idea of a Reasoner that relies on Rules; motivated primarily by the testing for ModelSpecs which specify | Interface | org.apache.jena.reasoner.rulesys | Apache Jena |
| RuleReasonerFactory | RuleReasonerFactory - a ReasonerFactory interface which allows rules to be set up to be installed into each reasoner this factory produces. | Interface | org.apache.jena.reasoner.rulesys | Apache Jena |
| SilentAddI | Interface supported by each of the rule system interpreters that allow triples to added directly to the deductions cache, by-passing | Interface | org.apache.jena.reasoner.rulesys | Apache Jena |
| StrConcat | Builtin which concatenates a set of strings. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Sum | Bind the third arg to the sum of the first two args. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Table | Arrange that the given predicate is tabled by the backchaining engine. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| TableAll | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena | |
| Unbound | Predicate used to check if a variable has not been bound. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| UriConcat | Builtin which concatenates a set of strings to generate a new URI. | Class | org.apache.jena.reasoner.rulesys.builtins | Apache Jena |
| Util | A small random collection of utility functions used by the rule systems. | Class | org.apache.jena.reasoner.rulesys | Apache Jena |