org.semanticweb.HermiT.model

Interface DLPredicate

All Known Implementing Classes:

AnnotatedEquality, AtLeast, AtLeastConcept, AtLeastDataRange, AtomicConcept, AtomicDataRange, AtomicNegationDataRange, AtomicRole, ConstantEnumeration, DatatypeRestriction, DescriptionGraph, Equality, ExistsDescriptionGraph, Inequality, InternalDatatype, LiteralDataRange, NodeIDLessEqualThan, NodeIDsAscendingOrEqual

public interface DLPredicate

Represents a DL predicate.

Method Summary

Modifier and Type	Method and Description
int	getArity()
String	toString(Prefixes prefixes)

Method Detail

getArity

int getArity()

Returns:

arity

toString

String toString(Prefixes prefixes)

Parameters:

prefixes - prefixes

Returns:

tostring