org.semanticweb.HermiT.model
Class AtomicConcept

java.lang.Object
  extended by org.semanticweb.HermiT.model.Concept
      extended by org.semanticweb.HermiT.model.LiteralConcept
          extended by org.semanticweb.HermiT.model.AtomicConcept
All Implemented Interfaces:
java.io.Serializable, DLPredicate

public class AtomicConcept
extends LiteralConcept
implements DLPredicate

Represents an atomic concept.

See Also:
Serialized Form

Field Summary
static AtomicConcept INTERNAL_NAMED
           
protected  java.lang.String m_iri
           
static AtomicConcept NOTHING
           
protected static InterningManager<AtomicConcept> s_interningManager
           
static AtomicConcept THING
           
 
Constructor Summary
protected AtomicConcept(java.lang.String iri)
           
 
Method Summary
static AtomicConcept create(java.lang.String uri)
           
 int getArity()
           
 java.lang.String getIRI()
           
 LiteralConcept getNegation()
           
 boolean isAlwaysFalse()
           
 boolean isAlwaysTrue()
           
protected  java.lang.Object readResolve()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class org.semanticweb.HermiT.model.Concept
toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_iri

protected final java.lang.String m_iri

s_interningManager

protected static InterningManager<AtomicConcept> s_interningManager

THING

public static final AtomicConcept THING

NOTHING

public static final AtomicConcept NOTHING

INTERNAL_NAMED

public static final AtomicConcept INTERNAL_NAMED
Constructor Detail

AtomicConcept

protected AtomicConcept(java.lang.String iri)
Method Detail

getIRI

public java.lang.String getIRI()

getArity

public int getArity()
Specified by:
getArity in interface DLPredicate

getNegation

public LiteralConcept getNegation()
Specified by:
getNegation in class LiteralConcept

isAlwaysTrue

public boolean isAlwaysTrue()
Specified by:
isAlwaysTrue in class Concept

isAlwaysFalse

public boolean isAlwaysFalse()
Specified by:
isAlwaysFalse in class Concept

toString

public java.lang.String toString(Prefixes prefixes)
Specified by:
toString in interface DLPredicate
Specified by:
toString in class Concept

readResolve

protected java.lang.Object readResolve()

create

public static AtomicConcept create(java.lang.String uri)