org.semanticweb.HermiT.model
Class InternalDatatype

java.lang.Object
  extended by org.semanticweb.HermiT.model.DataRange
      extended by org.semanticweb.HermiT.model.LiteralDataRange
          extended by org.semanticweb.HermiT.model.AtomicDataRange
              extended by org.semanticweb.HermiT.model.InternalDatatype
All Implemented Interfaces:
java.io.Serializable, DLPredicate

public class InternalDatatype
extends AtomicDataRange
implements DLPredicate

Represents an internal datatype. Such objects are used in DL-clauses (e.g., in structural transformation of complex data ranges), but are ignored by the datatype manager.

See Also:
Serialized Form

Field Summary
protected  java.lang.String m_iri
           
static InternalDatatype RDFS_LITERAL
           
protected static InterningManager<InternalDatatype> s_interningManager
           
 
Constructor Summary
protected InternalDatatype(java.lang.String iri)
           
 
Method Summary
static InternalDatatype create(java.lang.String uri)
           
 int getArity()
           
 java.lang.String getIRI()
           
 LiteralDataRange getNegation()
           
 boolean isAlwaysFalse()
           
 boolean isAlwaysTrue()
           
 boolean isInternalDatatype()
           
protected  java.lang.Object readResolve()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class org.semanticweb.HermiT.model.LiteralDataRange
isNegatedInternalDatatype
 
Methods inherited from class org.semanticweb.HermiT.model.DataRange
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<InternalDatatype> s_interningManager

RDFS_LITERAL

public static final InternalDatatype RDFS_LITERAL
Constructor Detail

InternalDatatype

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

getIRI

public java.lang.String getIRI()

getArity

public int getArity()
Specified by:
getArity in interface DLPredicate
Overrides:
getArity in class DataRange

getNegation

public LiteralDataRange getNegation()
Specified by:
getNegation in class AtomicDataRange

isAlwaysTrue

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

isAlwaysFalse

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

isInternalDatatype

public boolean isInternalDatatype()
Overrides:
isInternalDatatype in class LiteralDataRange

toString

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

readResolve

protected java.lang.Object readResolve()

create

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