Search Java Classes and Packages

Search Java Frameworks and Libraries

255581 classes and counting ...
Search Tips Index Status



#Org.apache.jena.reasoner Classes and Interfaces - 174 results found.
NameDescriptionTypePackageFramework
AddOneBind the second argument to 1+ the first argument.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
AssertDisjointPairsClassorg.apache.jena.reasoner.rulesys.builtinsApache Jena
BackwardRuleInfGraphIThis interface collects together those operations that the backchaining engine needs to invoke in the parent InfGraph.Interfaceorg.apache.jena.reasoner.rulesysApache Jena
BaseBuiltinDummy implementation of the Builtin interface that specific implementations can inherit from.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
BaseInfGraphA base level implementation of the InfGraph interface.Classorg.apache.jena.reasonerApache Jena
BaseInfGraph .InfCapabilitiesAn InfCapabilities notes that size may not be accurate, and some triples may be irremovable.Classorg.apache.jena.reasoner.BaseInfGraphApache Jena
BaseInfGraph .InfFindSafeCapabilitiesAn InfCapabilities notes that size may not be accurate, and some triples may be irremovable.Classorg.apache.jena.reasoner.BaseInfGraphApache Jena
BaseInfGraph .InfTransactionHandlerClassorg.apache.jena.reasoner.BaseInfGraphApache Jena
BasicForwardRuleInfGraphAn inference graph interface that runs a set of forward chaining rules to conclusion on each added triple and stores the entireClassorg.apache.jena.reasoner.rulesysApache Jena
BasicForwardRuleReasonerReasoner implementation which augments or transforms an RDF graph according to a set of rules.Classorg.apache.jena.reasoner.rulesysApache Jena
BindingEnvironmentInterface through which the current bound values of variables can be found.Interfaceorg.apache.jena.reasoner.rulesysApache Jena
BoundPredicate used to check if a variable has been bound.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
BuiltinRules employ builtins to do all tests and actions other than simple triple matches and triple creation.Interfaceorg.apache.jena.reasoner.rulesysApache Jena
BuiltinExceptionExceptions thrown by runtime errors in exceuting rule system builtin operations.Classorg.apache.jena.reasoner.rulesysApache Jena
BuiltinRegistryA registry for mapping functor names on java objects (instances of subclasses of Builtin) which implement their behvaiour.Classorg.apache.jena.reasoner.rulesysApache Jena
ClauseEntryCommon interface for all objects that can go into rules.Interfaceorg.apache.jena.reasoner.rulesysApache Jena
CountLiteralValuesCountLiteralValues(X, P, C) sets C to be the number of semantically distinct values for P on resource X.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
DerivationDerivation records are used to determine how an inferred triple was derived from a set of source triples and a reasoner.Interfaceorg.apache.jena.reasonerApache Jena
DifferenceBind the third argument to the arithetic difference between the first and second aguments.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
DropA variant of the remove builtin that will delete matched triples from the graph but will not trigger further rule processing forClassorg.apache.jena.reasoner.rulesys.builtinsApache Jena
EqualCheck that the two args are semantically equal.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
FBRuleInfGraphAn inference graph that uses a mixture of forward and backward chaining rules.Classorg.apache.jena.reasoner.rulesysApache Jena
FBRuleInfGraph .RuleStoreStructure used to wrap up pre-processed/compiled rule sets.Classorg.apache.jena.reasoner.rulesys.FBRuleInfGraphApache Jena
FBRuleReasonerRule-based reasoner interface.Classorg.apache.jena.reasoner.rulesysApache Jena
FGraphClassorg.apache.jena.reasonerApache Jena
FinderMinimal interface for preforming simple pattern find operations.Interfaceorg.apache.jena.reasonerApache Jena
FinderUtilSome simple helper methods used when working with Finders, particularly to compose them into cascade sequences.Classorg.apache.jena.reasonerApache Jena
ForwardRuleInfGraphIThis interface collects together the operations on the InfGraph which are needed to support the forward rule engine.Interfaceorg.apache.jena.reasoner.rulesysApache Jena
FunctorA functor comprises a functor name and a list of arguments.Classorg.apache.jena.reasoner.rulesysApache Jena
Functor .FunctorDatatypeInner class.Classorg.apache.jena.reasoner.rulesys.FunctorApache Jena
GETests if the first argument is greater than or equal to the second.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
GenericRuleReasonerA reasoner interface that is able to invoke any of the useful rule engine combinations.Classorg.apache.jena.reasoner.rulesysApache Jena
GenericRuleReasoner .RuleModeClassorg.apache.jena.reasoner.rulesys.GenericRuleReasonerApache Jena
GenericRuleReasonerFactoryFactory object for creating general rule reasoner instances.Classorg.apache.jena.reasoner.rulesysApache Jena
GreaterThanTests if the first argument is greater than the second.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
HideClassorg.apache.jena.reasoner.rulesys.builtinsApache Jena
IllegalParameterExceptionException used to to signal that a configuration parameter was used (typically in a setParameter call) that was not understood - eitherClassorg.apache.jena.reasonerApache Jena
InfGraph graph.Interfaceorg.apache.jena.reasonerApache Jena
IsBNodeTests the single argument to make sure it is blank node.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
IsDTypeTests whether the first argument is an instance of the datatype defined by the resource in the second argument.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
IsFunctorTests the single argument to make sure it is not a Functor.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
IsLiteralTests the single argument to make sure it is a literal.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
LETests if the first argument is less than or equal to the second.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
LessThanTests if the first argument is less than the second.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ListContainsReturns true if the first argument is a list which contains the second argument.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ListEntrylistEntry(?list, ?index, ?val) will bind ?val to the ?index'th entry in the RDF list ?list.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ListEqualTest if the two argument lists contain the same semantic elements.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ListLengthBind the second arg to the length of the first arg treated as a list.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ListMapAsObjectFor each element in the RDF list (third argument) it asserts triples with that as the object and subject and predicate given by argumentsClassorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ListMapAsSubjectFor each element in the RDF list (first argument) it asserts triples with that as the subject and predicate and object given by argumentsClassorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ListNotContainsReturns false if the first argument is a list which contains the second argument.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ListNotEqualTest if the two argument lists differ.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
LPBackwardRuleInfGraphClassorg.apache.jena.reasoner.rulesysApache Jena
LPBackwardRuleReasonerReasoner implementation which augments or transforms an RDF graph according to a set of rules.Classorg.apache.jena.reasoner.rulesysApache Jena
MakeInstanceCreate or lookup an anonymous instance of a property value.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
MakeSkolemBind a blank node to the first argument.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
MakeTempClassorg.apache.jena.reasoner.rulesys.builtinsApache Jena
MaxBind the third arg to the max of the first two args.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
MinBind the third arg to the min of the first two args.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
Node_RuleVariableA variation on the normal Node_Variable which support for value bindings.Classorg.apache.jena.reasoner.rulesysApache Jena
AddOneBind the second argument to 1+ the first argument.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
AssertDisjointPairsClassorg.apache.jena.reasoner.rulesys.builtinsApache Jena
BackwardRuleInfGraphIThis interface collects together those operations that the backchaining engine needs to invoke in the parent InfGraph.Interfaceorg.apache.jena.reasoner.rulesysApache Jena
BaseBuiltinDummy implementation of the Builtin interface that specific implementations can inherit from.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
BaseInfGraphA base level implementation of the InfGraph interface.Classorg.apache.jena.reasonerApache Jena
BaseInfGraph .InfCapabilitiesAn InfCapabilities notes that size may not be accurate, and some triples may be irremovable.Classorg.apache.jena.reasoner.BaseInfGraphApache Jena
BaseInfGraph .InfFindSafeCapabilitiesAn InfCapabilities notes that size may not be accurate, and some triples may be irremovable.Classorg.apache.jena.reasoner.BaseInfGraphApache Jena
BaseInfGraph .InfTransactionHandlerClassorg.apache.jena.reasoner.BaseInfGraphApache Jena
BasicForwardRuleInfGraphAn inference graph interface that runs a set of forward chaining rules to conclusion on each added triple and stores the entireClassorg.apache.jena.reasoner.rulesysApache Jena
BasicForwardRuleReasonerReasoner implementation which augments or transforms an RDF graph according to a set of rules.Classorg.apache.jena.reasoner.rulesysApache Jena
BindingEnvironmentInterface through which the current bound values of variables can be found.Interfaceorg.apache.jena.reasoner.rulesysApache Jena
BoundPredicate used to check if a variable has been bound.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
BuiltinRules employ builtins to do all tests and actions other than simple triple matches and triple creation.Interfaceorg.apache.jena.reasoner.rulesysApache Jena
BuiltinExceptionExceptions thrown by runtime errors in exceuting rule system builtin operations.Classorg.apache.jena.reasoner.rulesysApache Jena
BuiltinRegistryA registry for mapping functor names on java objects (instances of subclasses of Builtin) which implement their behvaiour.Classorg.apache.jena.reasoner.rulesysApache Jena
ClauseEntryCommon interface for all objects that can go into rules.Interfaceorg.apache.jena.reasoner.rulesysApache Jena
CountLiteralValuesCountLiteralValues(X, P, C) sets C to be the number of semantically distinct values for P on resource X.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
DerivationDerivation records are used to determine how an inferred triple was derived from a set of source triples and a reasoner.Interfaceorg.apache.jena.reasonerApache Jena
DifferenceBind the third argument to the arithetic difference between the first and second aguments.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
DropA variant of the "remove" builtin that will delete matched triples from the graph but will not trigger further rule processing forClassorg.apache.jena.reasoner.rulesys.builtinsApache Jena
EqualCheck that the two args are semantically equal.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
FBRuleInfGraphAn inference graph that uses a mixture of forward and backward chaining rules.Classorg.apache.jena.reasoner.rulesysApache Jena
FBRuleInfGraph .RuleStoreStructure used to wrap up pre-processed/compiled rule sets.Classorg.apache.jena.reasoner.rulesys.FBRuleInfGraphApache Jena
FBRuleReasonerRule-based reasoner interface.Classorg.apache.jena.reasoner.rulesysApache Jena
FGraphClassorg.apache.jena.reasonerApache Jena
FinderMinimal interface for preforming simple pattern find operations.Interfaceorg.apache.jena.reasonerApache Jena
FinderUtilSome simple helper methods used when working with Finders, particularly to compose them into cascade sequences.Classorg.apache.jena.reasonerApache Jena
ForwardRuleInfGraphIThis interface collects together the operations on the InfGraph which are needed to support the forward rule engine.Interfaceorg.apache.jena.reasoner.rulesysApache Jena
FunctorA functor comprises a functor name and a list of arguments.Classorg.apache.jena.reasoner.rulesysApache Jena
Functor .FunctorDatatypeInner class.Classorg.apache.jena.reasoner.rulesys.FunctorApache Jena
GETests if the first argument is greater than or equal to the second.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
GenericRuleReasonerA reasoner interface that is able to invoke any of the useful rule engine combinations.Classorg.apache.jena.reasoner.rulesysApache Jena
GenericRuleReasoner .RuleModeClassorg.apache.jena.reasoner.rulesys.GenericRuleReasonerApache Jena
GenericRuleReasonerFactoryFactory object for creating general rule reasoner instances.Classorg.apache.jena.reasoner.rulesysApache Jena
GreaterThanTests if the first argument is greater than the second.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
HideClassorg.apache.jena.reasoner.rulesys.builtinsApache Jena
IllegalParameterExceptionException used to to signal that a configuration parameter was used (typically in a setParameter call) that was not understood - eitherClassorg.apache.jena.reasonerApache Jena
InfGraph graph.Interfaceorg.apache.jena.reasonerApache Jena
IsBNodeTests the single argument to make sure it is blank node.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
IsDTypeTests whether the first argument is an instance of the datatype defined by the resource in the second argument.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
IsFunctorTests the single argument to make sure it is not a Functor.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
IsLiteralTests the single argument to make sure it is a literal.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
LETests if the first argument is less than or equal to the second.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
LessThanTests if the first argument is less than the second.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ListContainsReturns true if the first argument is a list which contains the second argument.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ListEntrylistEntry(?list, ?index, ?val) will bind ?val to the ?index'th entry in the RDF list ?list.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ListEqualTest if the two argument lists contain the same semantic elements.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ListLengthBind the second arg to the length of the first arg treated as a list.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ListMapAsObjectFor each element in the RDF list (third argument) it asserts triples with that as the object and subject and predicate given by argumentsClassorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ListMapAsSubjectFor each element in the RDF list (first argument) it asserts triples with that as the subject and predicate and object given by argumentsClassorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ListNotContainsReturns false if the first argument is a list which contains the second argument.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ListNotEqualTest if the two argument lists differ.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
LPBackwardRuleInfGraphClassorg.apache.jena.reasoner.rulesysApache Jena
LPBackwardRuleReasonerReasoner implementation which augments or transforms an RDF graph according to a set of rules.Classorg.apache.jena.reasoner.rulesysApache Jena
MakeInstanceCreate or lookup an anonymous instance of a property value.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
MakeSkolemBind a blank node to the first argument.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
MakeTempClassorg.apache.jena.reasoner.rulesys.builtinsApache Jena
MaxBind the third arg to the max of the first two args.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
MinBind the third arg to the min of the first two args.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
Node_RuleVariableA variation on the normal Node_Variable which support for value bindings.Classorg.apache.jena.reasoner.rulesysApache Jena
NotBNodeTests the single argument to make sure it is not a blank node.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
NotDTypeTests wheter the first argument is not an instance of the datatype defined by the resource in the second argument.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
NotEqualCheck that the two args are different.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
NotFunctorTests the single argument to make sure it is not a Functor.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
NotLiteralTests the single argument to make sure it is a literal.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
NoValueCan be used in two arg form (X, P) or three arg form (X, P, V).Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
NowBind the first arg to the current date time in the current locale and timezone.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
OWLFBRuleReasonerA hybrid forward/backward implementation of the OWL closure rules.Classorg.apache.jena.reasoner.rulesysApache Jena
OWLFBRuleReasonerFactoryFactory class for creating blank instances of the OWL Reasoner.Classorg.apache.jena.reasoner.rulesysApache Jena
OWLMicroReasonerReasoner configuration for the OWL micro reasoner.Classorg.apache.jena.reasoner.rulesysApache Jena
OWLMicroReasonerFactoryReasoner factory for the OWL micro configuration.Classorg.apache.jena.reasoner.rulesysApache Jena
OWLMiniReasonerReasoner configuration for the OWL mini reasoner.Classorg.apache.jena.reasoner.rulesysApache Jena
OWLMiniReasonerFactoryReasoner factory for the OWL mini configuration.Classorg.apache.jena.reasoner.rulesysApache Jena
PrintClassorg.apache.jena.reasoner.rulesys.builtinsApache Jena
ProductBind the third arg to the product of the first two args.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
QuotientBind the third arg to the ratio of the first two args.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
RDFSFBRuleReasonerA backward chaining implementation of the RDFS closure rules based upon the basic backward rule interpreter.Classorg.apache.jena.reasoner.rulesysApache Jena
RDFSFBRuleReasonerFactoryFactory class for creating blank instances of the hybrid rule RDFS reasoner.Classorg.apache.jena.reasoner.rulesysApache Jena
RDFSForwardRuleReasonerA pure forward chaining implementation of the RDFS closure rules based upon the basic forward rule interpreter.Classorg.apache.jena.reasoner.rulesysApache Jena
RDFSRuleInfGraphCustomization of the generic rule inference graph for RDFS inference.Classorg.apache.jena.reasoner.rulesysApache Jena
RDFSRuleReasonerA full implemention of RDFS reasoning using a hybrid rule system, together with optimized subclass/subproperty closure using the transitive graph caches.Classorg.apache.jena.reasoner.rulesysApache Jena
RDFSRuleReasonerFactoryClassorg.apache.jena.reasoner.rulesysApache Jena
ReasonerThe minimal interface to which all reasoners (or reasoner adaptors) conform.Interfaceorg.apache.jena.reasonerApache Jena
ReasonerExceptionException signalling some generic problem with the reasoning subsystem.Classorg.apache.jena.reasonerApache Jena
ReasonerFactoryThe interface through which a reasoner (inference engine) can be instantiated.Interfaceorg.apache.jena.reasonerApache Jena
ReasonerRegistryA global registry of known reasoner modules.Classorg.apache.jena.reasonerApache Jena
RegexClassorg.apache.jena.reasoner.rulesys.builtinsApache Jena
RemoveRemove the body clause given by index arguments from the database.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
RETERuleInfGraphRETE implementation of the forward rule infernce graph.Classorg.apache.jena.reasoner.rulesysApache Jena
RuleRepresentation of a generic inference rule.Classorg.apache.jena.reasoner.rulesysApache Jena
Rule .ParserInner class which provides minimalist parsing support based on tokenisation with depth 1 lookahead.Classorg.apache.jena.reasoner.rulesys.RuleApache Jena
Rule .ParserExceptionInner class.Classorg.apache.jena.reasoner.rulesys.RuleApache Jena
RuleContextInterface used to convey context information from a rule engine to the stack of procedural builtins.Interfaceorg.apache.jena.reasoner.rulesysApache Jena
RuleDerivationDerivation records are used to determine how an inferred triple was derived from a set of source triples and a reasoner.Classorg.apache.jena.reasoner.rulesysApache Jena
RulePreprocessHook during intialization of (hybrid) rule systems.Interfaceorg.apache.jena.reasoner.rulesysApache Jena
RuleReasonerRuleReasoner - an interface to capture the idea of a Reasoner that relies on Rules; motivated primarily by the testing for ModelSpecs which specifyInterfaceorg.apache.jena.reasoner.rulesysApache Jena
RuleReasonerFactoryRuleReasonerFactory - a ReasonerFactory interface which allows rules to be set up to be installed into each reasoner this factory produces.Interfaceorg.apache.jena.reasoner.rulesysApache Jena
SilentAddIInterface supported by each of the rule system interpreters that allow triples to added directly to the deductions cache, by-passingInterfaceorg.apache.jena.reasoner.rulesysApache Jena
StandardValidityReportDefault implementation of ValidityReport which simply stores a list of precomputed Report records.Classorg.apache.jena.reasonerApache Jena
StrConcatBuiltin which concatenates a set of strings.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
SumBind the third arg to the sum of the first two args.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
TableArrange that the given predicate is tabled by the backchaining engine.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
TableAllClassorg.apache.jena.reasoner.rulesys.builtinsApache Jena
TransitiveEngineUses two transitive graph caches to store a subclass and a subproperty lattice and use them within a larger inference graph.Classorg.apache.jena.reasoner.transitiveReasonerApache Jena
TransitiveGraphCacheDatastructure used to represent a closed transitive reflexive relation.Classorg.apache.jena.reasoner.transitiveReasonerApache Jena
TransitiveInfGraph This is returned by the TransitiveReasoner when a data graph (together with an optional schema) has been bound.Classorg.apache.jena.reasoner.transitiveReasonerApache Jena
TransitiveReasonerA simple "reasoner" used to help with API development.Classorg.apache.jena.reasoner.transitiveReasonerApache Jena
TransitiveReasonerFactoryFactory class for creating blank instances of the transitive reasoner.Classorg.apache.jena.reasoner.transitiveReasonerApache Jena
TriplePatternDatastructure which defines a triple pattern as used in simple rules and in find interfaces.Classorg.apache.jena.reasonerApache Jena
UnboundPredicate used to check if a variable has not been bound.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
UriConcatBuiltin which concatenates a set of strings to generate a new URI.Classorg.apache.jena.reasoner.rulesys.builtinsApache Jena
UtilA small random collection of utility functions used by the rule systems.Classorg.apache.jena.reasoner.rulesysApache Jena
ValidityReportData structure used to report the results of validation or consistency checking operations.Interfaceorg.apache.jena.reasonerApache Jena
ValidityReport .ReportClassorg.apache.jena.reasoner.ValidityReportApache Jena