Uses of Interface
org.semanticweb.kaon2.api.rules.Predicate

Packages that use Predicate

org.semanticweb.kaon2.api
org.semanticweb.kaon2.api.owl.elements
org.semanticweb.kaon2.api.reasoner
org.semanticweb.kaon2.api.rules

Uses of Predicate in org.semanticweb.kaon2.api

Methods in org.semanticweb.kaon2.api with parameters of type Predicate

Literal	KAON2Factory.literal(boolean isPositive, Predicate predicate, java.util.List<Term> terms)
Literal	KAON2Factory.literal(boolean isPositive, Predicate predicate, Term... terms)

Uses of Predicate in org.semanticweb.kaon2.api.owl.elements

Subinterfaces of Predicate in org.semanticweb.kaon2.api.owl.elements

interface	AnnotationProperty Represents an annotation property in an ontology.
interface	DataAll A description specifying that all values of data properties are from a given data range.
interface	DataCardinality A description specifying the cardinality of a data property.
interface	DataHasValue A description specifying the value of some data property.
interface	DataNot A data range which is a complement of a data range.
interface	DataOneOf A data range consisting exactly of specified literal values.
interface	DataProperty Represents a data property in an ontology.
interface	DataRange Represents a data range in the ontology.
interface	DataSome A description specifying that some values of data properties are from a given data range.
interface	Datatype Represents a datatype in an ontology.
interface	Description Represents an description in the ontology.
interface	ObjectAll A description specifying the all values of the object property are from a description.
interface	ObjectAnd A description specifying intersection of descriptions.
interface	ObjectCardinality A description specifying the cardinality of some object property.
interface	ObjectHasValue A description specifying the value of some object property.
interface	ObjectNot A description specifying a complement of a description.
interface	ObjectOneOf An description built by enumerating individuals.
interface	ObjectOr A description specifying union of descriptions.
interface	ObjectProperty Represents an object property in an ontology.
interface	ObjectSome A description specifying the some values of the property are from a description.
interface	OWLClass Represents a class in an ontology.

Uses of Predicate in org.semanticweb.kaon2.api.reasoner

Classes in org.semanticweb.kaon2.api.reasoner that implement Predicate

static class

Query.UntypedPredicate Models a predicate whose type is not known.

Methods in org.semanticweb.kaon2.api.reasoner with parameters of type Predicate

Query

Reasoner.createQuery(Predicate predicate) Creates a conjunctive DL-safe query which returns the complete extension of the supplied predicate.

Uses of Predicate in org.semanticweb.kaon2.api.rules

Subinterfaces of Predicate in org.semanticweb.kaon2.api.rules

interface

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

Methods in org.semanticweb.kaon2.api.rules that return Predicate

Predicate

Literal.getPredicate() Returns the predicate of this literal.