org.semanticweb.HermiT.model

Class AnnotatedEquality

java.lang.Object

org.semanticweb.HermiT.model.AnnotatedEquality

All Implemented Interfaces:

Serializable, DLPredicate

public class AnnotatedEquality
extends Object
implements DLPredicate, Serializable

Represents an annotated equality.

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
static AnnotatedEquality	create(int cardinality, Role onRole, LiteralConcept toConcept)
int	getArity()
int	getCaridnality()
Role	getOnRole()
LiteralConcept	getToConcept()
String	toString()
String	toString(Prefixes prefixes)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getCaridnality

public int getCaridnality()

Returns:

cardinality

getOnRole

public Role getOnRole()

Returns:

role

getToConcept

public LiteralConcept getToConcept()

Returns:

concept

getArity

public int getArity()

Specified by:

getArity in interface DLPredicate

Returns:

arity

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(Prefixes prefixes)

Specified by:

toString in interface DLPredicate

Parameters:

prefixes - prefixes

Returns:

tostring

create

public static AnnotatedEquality create(int cardinality,
                                       Role onRole,
                                       LiteralConcept toConcept)

Parameters:

cardinality - cardinality

onRole - onRole

toConcept - toConcept

Returns:

annotated equality