com.hp.hpl.jena.reasoner.rulesys.builtins |
Package documentation for com.hp.hpl.jena.reasoner.rulesys.impl
Implementations of the Builtin class which provides primitive operations to the rule
engines. The current set is small - just enought to implement OWL and demonstrate the
principle of Builtin's - not comprehensive.
|
Java Source File Name | Type | Comment |
AddOne.java | Class | Bind the second argument to 1+ the first argument. |
AssertDisjointPairs.java | Class | |
BaseBuiltin.java | Class | Dummy implementation of the Builtin interface that specific
implementations can inherit from. |
Bound.java | Class | Predicate used to check if a variable has been bound. |
CountLiteralValues.java | Class | CountLiteralValues(X, P, C) sets C to be the number of semantically
distinct values for P on resource X. |
Difference.java | Class | Bind the third argument to the arithetic difference between the
first and second aguments. |
Drop.java | Class | A variant of the "remove" builtin that will delete matched triples
from the graph but will not trigger further rule processing for
the removed triples. |
Equal.java | Class | Check that the two args are semantically equal. |
GE.java | Class | Tests if the first argument is greater than or equal to the second. |
GreaterThan.java | Class | Tests if the first argument is greater than the second. |
Hide.java | Class | Register a node as to be hidden from query
result iterators. |
IsBNode.java | Class | Tests the single argument to make sure it is blank node. |
IsDType.java | Class | Tests whether the first argument is an instance of the datatype defined
by the resource in the second argument. |
IsFunctor.java | Class | Tests the single argument to make sure it is not a Functor. |
IsLiteral.java | Class | Tests the single argument to make sure it is a literal. |
LE.java | Class | Tests if the first argument is less than or equal to the second. |
LessThan.java | Class | Tests if the first argument is less than the second. |
ListContains.java | Class | Returns true if the first argument is a list which contains the second argument. |
ListEntry.java | Class | listEntry(?list, ?index, ?val) will bind ?val to the ?index'th entry
in the RDF list ?list. |
ListEqual.java | Class | Test if the two argument lists contain the same semantic elements. |
ListLength.java | Class | Bind the second arg to the length of the first arg treated as a list. |
ListMapAsObject.java | Class | For each element in the RDF list (third argument) it asserts
triples with that as the object and subject and predicate given by arguments
one and two. |
ListMapAsSubject.java | Class | For each element in the RDF list (first argument) it asserts
triples with that as the subject and predicate and object given by arguments
two and three. |
ListNotContains.java | Class | Returns false if the first argument is a list which contains the second argument. |
ListNotEqual.java | Class | Test if the two argument lists differ. |
MakeInstance.java | Class | Create or lookup an anonymous instance of a property value. |
MakeTemp.java | Class | |
Max.java | Class | Bind the third arg to the max of the first two args. |
Min.java | Class | Bind the third arg to the min of the first two args. |
NotBNode.java | Class | Tests the single argument to make sure it is not a blank node. |
NotDType.java | Class | Tests wheter the first argument is not an instance of the datatype defined
by the resource in the second argument. |
NotEqual.java | Class | Check that the two args are different. |
NotFunctor.java | Class | Tests the single argument to make sure it is not a Functor. |
NotLiteral.java | Class | Tests the single argument to make sure it is a literal. |
NoValue.java | Class | Can be used in two arg form (X, P) or three arg form (X, P, V). |
Now.java | Class | Bind the first arg to the current date time in the current locale and timezone. |
Print.java | Class | |
Product.java | Class | Bind the third arg to the product of the first two args. |
Quotient.java | Class | Bind the third arg to the ratio of the first two args. |
Regex.java | Class | |
Remove.java | Class | Remove the body clause given by index arguments from the database. |
StrConcat.java | Class | Builtin which concatenates a set of strings. |
Sum.java | Class | Bind the third arg to the sum of the first two args. |
Table.java | Class | Arrange that the given predicate is tabled by the backchaining engine. |
TableAll.java | Class | Arrange that all backchaining goals should be tabled (aka memoized)
by the LP engine. |
Unbound.java | Class | Predicate used to check if a variable has not been bound. |
UriConcat.java | Class | Builtin which concatenates a set of strings to generate a new URI. |