org.semanticweb.HermiT.model
Class InverseRole
java.lang.Object
org.semanticweb.HermiT.model.Role
org.semanticweb.HermiT.model.InverseRole
- All Implemented Interfaces:
- java.io.Serializable
public class InverseRole
- extends Role
Represents an inverse role.
- See Also:
- Serialized Form
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 |
m_inverseOf
protected final AtomicRole m_inverseOf
s_interningManager
protected static InterningManager<InverseRole> s_interningManager
InverseRole
public InverseRole(AtomicRole inverseOf)
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)