org.semanticweb.HermiT.model

Class AtomicConcept

java.lang.Object

org.semanticweb.HermiT.model.Concept

org.semanticweb.HermiT.model.LiteralConcept

org.semanticweb.HermiT.model.AtomicConcept

All Implemented Interfaces:

Serializable, DLPredicate

public class AtomicConcept
extends LiteralConcept
implements DLPredicate

Represents an atomic concept.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static AtomicConcept	INTERNAL_NAMED Internal.
static AtomicConcept	NOTHING Nothing.
static AtomicConcept	THING Thing.

Method Summary

Modifier and Type	Method and Description
static AtomicConcept	create(String uri)
int	getArity()
String	getIRI()
LiteralConcept	getNegation()
boolean	isAlwaysFalse()
boolean	isAlwaysTrue()
String	toString(Prefixes prefixes)

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

toString

Methods inherited from class java.lang.Object

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

Field Detail

THING

public static final AtomicConcept THING

Thing.

NOTHING

public static final AtomicConcept NOTHING

Nothing.

INTERNAL_NAMED

public static final AtomicConcept INTERNAL_NAMED

Internal.

Method Detail

getIRI

public String getIRI()

Returns:

iri

getArity

public int getArity()

Specified by:

getArity in interface DLPredicate

Returns:

arity

getNegation

public LiteralConcept getNegation()

Specified by:

getNegation in class LiteralConcept

Returns:

literal

isAlwaysTrue

public boolean isAlwaysTrue()

Specified by:

isAlwaysTrue in class Concept

Returns:

true if always true

isAlwaysFalse

public boolean isAlwaysFalse()

Specified by:

isAlwaysFalse in class Concept

Returns:

true if always false

toString

public String toString(Prefixes prefixes)

Specified by:

toString in interface DLPredicate

Specified by:

toString in class Concept

Parameters:

prefixes - prefixes

Returns:

toString

create

public static AtomicConcept create(String uri)

Parameters:

uri - iri

Returns:

concept