org.semanticweb.HermiT.model

Class InverseRole

java.lang.Object

org.semanticweb.HermiT.model.Role

org.semanticweb.HermiT.model.InverseRole

All Implemented Interfaces:

Serializable

public class InverseRole
extends Role

Represents an inverse role.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
InverseRole(AtomicRole inverseOf)

Method Summary

Modifier and Type	Method and Description
static InverseRole	create(AtomicRole inverseOf)
Role	getInverse()
AtomicRole	getInverseOf()
Atom	getRoleAssertion(Term term0, Term term1)
String	toString(Prefixes prefixes)

Methods inherited from class org.semanticweb.HermiT.model.Role

toString

Methods inherited from class java.lang.Object

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

Constructor Detail

InverseRole

public InverseRole(AtomicRole inverseOf)

Parameters:

inverseOf - inverseOf

Method Detail

getInverseOf

public AtomicRole getInverseOf()

Returns:

role

getInverse

public Role getInverse()

Specified by:

getInverse in class Role

Returns:

inverse role

getRoleAssertion

public Atom getRoleAssertion(Term term0,
                             Term term1)

Specified by:

getRoleAssertion in class Role

Parameters:

term0 - term0

term1 - term1

Returns:

atom

toString

public String toString(Prefixes prefixes)

Specified by:

toString in class Role

Parameters:

prefixes - prefixes

Returns:

toString

create

public static InverseRole create(AtomicRole inverseOf)

Parameters:

inverseOf - inverseOf

Returns:

inverse role