Package it.poliba.sisinflab.tinyme

Class UniversalRole

java.lang.Object

it.poliba.sisinflab.tinyme.UniversalRole

public final class UniversalRole
extends Object

Models value restrictions.

See Also:

SemanticDescription

Method Summary

Modifier and Type	Method	Description
SemanticDescription	getFiller()	Returns the filler of this value restriction.
OWLObjectProperty	getProperty()	Returns the property of this value restriction.
String	toString()

Methods inherited from class java.lang.Object

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

Method Details

getProperty

public OWLObjectProperty getProperty()

Returns the property of this value restriction.

Returns:

Property of this value restriction.

getFiller

public SemanticDescription getFiller()

Returns the filler of this value restriction.

Returns:

Filler of this value restriction.

toString

public String toString()

Overrides:

toString in class Object