org.semanticweb.HermiT.model
Class InverseRole

java.lang.Object
  extended by org.semanticweb.HermiT.model.Role
      extended by org.semanticweb.HermiT.model.InverseRole
All Implemented Interfaces:
java.io.Serializable

public class InverseRole
extends Role

Represents an inverse role.

See Also:
Serialized Form

Field Summary
protected  AtomicRole m_inverseOf
           
protected static InterningManager<InverseRole> s_interningManager
           
 
Constructor Summary
InverseRole(AtomicRole inverseOf)
           
 
Method Summary
static InverseRole create(AtomicRole inverseOf)
           
 Role getInverse()
           
 AtomicRole getInverseOf()
           
 Atom getRoleAssertion(Term term0, Term term1)
           
protected  java.lang.Object readResolve()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class org.semanticweb.HermiT.model.Role
toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_inverseOf

protected final AtomicRole m_inverseOf

s_interningManager

protected static InterningManager<InverseRole> s_interningManager
Constructor Detail

InverseRole

public InverseRole(AtomicRole inverseOf)
Method Detail

getInverseOf

public AtomicRole getInverseOf()

getInverse

public Role getInverse()
Specified by:
getInverse in class Role

getRoleAssertion

public Atom getRoleAssertion(Term term0,
                             Term term1)
Specified by:
getRoleAssertion in class Role

toString

public java.lang.String toString(Prefixes prefixes)
Specified by:
toString in class Role

readResolve

protected java.lang.Object readResolve()

create

public static InverseRole create(AtomicRole inverseOf)