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
m_cardinality
protected final int m_cardinality
m_onRole
protected final Role m_onRole
m_toConcept
protected final LiteralConcept m_toConcept
s_interningManager
protected static InterningManager<AnnotatedEquality> s_interningManager
AnnotatedEquality
protected AnnotatedEquality(int cardinality,
Role onRole,
LiteralConcept toConcept)
getCaridnality
public int getCaridnality()
getOnRole
public Role getOnRole()
getToConcept
public LiteralConcept getToConcept()
getArity
public int getArity()
- Specified by:
getArity
in interface DLPredicate
readResolve
protected Object readResolve()
toString
public String toString()
- Overrides:
toString
in class Object
toString
public String toString(Prefixes prefixes)
- Specified by:
toString
in interface DLPredicate
create
public static AnnotatedEquality create(int cardinality,
Role onRole,
LiteralConcept toConcept)
Copyright © 2012. All Rights Reserved.