org.semanticweb.HermiT.model
Class Role

java.lang.Object
  extended by org.semanticweb.HermiT.model.Role
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
AtomicRole, InverseRole

public abstract class Role
extends java.lang.Object
implements java.io.Serializable

Represents a role.

See Also:
Serialized Form

Constructor Summary
Role()
           
 
Method Summary
abstract  Role getInverse()
           
abstract  Atom getRoleAssertion(Term term0, Term term1)
           
 java.lang.String toString()
           
abstract  java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Role

public Role()
Method Detail

getInverse

public abstract Role getInverse()

getRoleAssertion

public abstract Atom getRoleAssertion(Term term0,
                                      Term term1)

toString

public abstract java.lang.String toString(Prefixes prefixes)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object