org.semanticweb.HermiT.model

Class AtomicRole

java.lang.Object

org.semanticweb.HermiT.model.Role

org.semanticweb.HermiT.model.AtomicRole

All Implemented Interfaces:

Serializable, DLPredicate

public class AtomicRole
extends Role
implements DLPredicate

Represents an atomic role.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static AtomicRole	BOTTOM_DATA_ROLE Bottom data role.
static AtomicRole	BOTTOM_OBJECT_ROLE Bottom object role.
static AtomicRole	TOP_DATA_ROLE Top data role.
static AtomicRole	TOP_OBJECT_ROLE Top oject role.

Method Summary

Modifier and Type	Method and Description
static AtomicRole	create(String iri)
int	getArity()
Role	getInverse()
String	getIRI()
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

Field Detail

TOP_OBJECT_ROLE

public static final AtomicRole TOP_OBJECT_ROLE

Top oject role.

BOTTOM_OBJECT_ROLE

public static final AtomicRole BOTTOM_OBJECT_ROLE

Bottom object role.

TOP_DATA_ROLE

public static final AtomicRole TOP_DATA_ROLE

Top data role.

BOTTOM_DATA_ROLE

public static final AtomicRole BOTTOM_DATA_ROLE

Bottom data role.

Method Detail

getIRI

public String getIRI()

Returns:

iri

getArity

public int getArity()

Specified by:

getArity in interface DLPredicate

Returns:

arity

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 interface DLPredicate

Specified by:

toString in class Role

Parameters:

prefixes - prefixes

Returns:

toString

create

public static AtomicRole create(String iri)

Parameters:

iri - iri

Returns:

role