org.semanticweb.kaon2.api.rules
Interface NonOWLPredicate

All Superinterfaces:

Entity, Predicate

public interface NonOWLPredicate
extends Predicate, Entity

Represents a predicate in a program which does not come from an OWL knowledge base.

Field Summary

static java.lang.String	EQUAL_URI The URI for the equality predicate.
static java.lang.String	EVALUATE_URI The URI for the expression evaluation predicate.
static java.lang.String	HU_URI The URI for the Herbrand universe predicate.
static java.lang.String	IF_TRUE_URI The URI for the predicate that tests an expression.
static java.lang.String	NAMED_OBJECTS_URI The URI for the predicate containing the explicitly named objects.
static java.lang.String	NOT_EQUAL_URI The URI for the negated equality predicate.
static java.lang.String	SUCCESSOR_PREDICATE_URI_PREFIX The URI prefix for the predicates encoding successors.

Method Summary

Methods inherited from interface org.semanticweb.kaon2.api.rules.Predicate

accept, getArity, toString

Methods inherited from interface org.semanticweb.kaon2.api.Entity

accept, getURI, toString

Field Detail

EQUAL_URI

static final java.lang.String EQUAL_URI

The URI for the equality predicate.

See Also:

Constant Field Values

NOT_EQUAL_URI

static final java.lang.String NOT_EQUAL_URI

The URI for the negated equality predicate.

See Also:

Constant Field Values

HU_URI

static final java.lang.String HU_URI

The URI for the Herbrand universe predicate.

See Also:

Constant Field Values

NAMED_OBJECTS_URI

static final java.lang.String NAMED_OBJECTS_URI

The URI for the predicate containing the explicitly named objects.

See Also:

Constant Field Values

EVALUATE_URI

static final java.lang.String EVALUATE_URI

The URI for the expression evaluation predicate.

See Also:

Constant Field Values

IF_TRUE_URI

static final java.lang.String IF_TRUE_URI

The URI for the predicate that tests an expression.

See Also:

Constant Field Values

SUCCESSOR_PREDICATE_URI_PREFIX

static final java.lang.String SUCCESSOR_PREDICATE_URI_PREFIX

The URI prefix for the predicates encoding successors.

See Also:

Constant Field Values