org.semanticweb.HermiT.model

Class AtomicNegationConcept

java.lang.Object

org.semanticweb.HermiT.model.Concept

org.semanticweb.HermiT.model.LiteralConcept

org.semanticweb.HermiT.model.AtomicNegationConcept

All Implemented Interfaces:

Serializable

public class AtomicNegationConcept
extends LiteralConcept

Represents a negation of an atomic concept.

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
static AtomicNegationConcept	create(AtomicConcept negatedAtomicConcept)
AtomicConcept	getNegatedAtomicConcept()
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

Method Detail

getNegatedAtomicConcept

public AtomicConcept getNegatedAtomicConcept()

Returns:

negated concept

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 class Concept

Parameters:

prefixes - prefixes

Returns:

toString

create

public static AtomicNegationConcept create(AtomicConcept negatedAtomicConcept)

Parameters:

negatedAtomicConcept - negatedAtomicConcept

Returns:

concept