Uses of Class
org.semanticweb.HermiT.model.LiteralDataRange

Packages that use LiteralDataRange
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.structural   
org.semanticweb.HermiT.tableau   
 

Uses of LiteralDataRange in org.semanticweb.HermiT.model
 

Subclasses of LiteralDataRange in org.semanticweb.HermiT.model
 class AtomicDataRange
          Represents an atomic data range-- that is, an datatype, a datatype restriction, an internal datatype, or an enumeration of constants (oneOf)
 class AtomicNegationDataRange
          Represents a negation of a data range.
 class ConstantEnumeration
          A data range that consists of a given set of constants.
 class DatatypeRestriction
          A data range consisting of a datatype URI and a number of facet restrictions.
 class InternalDatatype
          Represents an internal datatype.
 

Fields in org.semanticweb.HermiT.model declared as LiteralDataRange
protected  LiteralDataRange AtLeastDataRange.m_toDataRange
           
 

Methods in org.semanticweb.HermiT.model that return LiteralDataRange
abstract  LiteralDataRange LiteralDataRange.getNegation()
           
 LiteralDataRange InternalDatatype.getNegation()
           
 LiteralDataRange DatatypeRestriction.getNegation()
           
 LiteralDataRange ConstantEnumeration.getNegation()
           
 LiteralDataRange AtomicNegationDataRange.getNegation()
           
abstract  LiteralDataRange AtomicDataRange.getNegation()
           
 LiteralDataRange AtLeastDataRange.getToDataRange()
           
 

Methods in org.semanticweb.HermiT.model with parameters of type LiteralDataRange
static AtLeastDataRange AtLeastDataRange.create(int number, Role onRole, LiteralDataRange toDataRange)
           
 

Constructors in org.semanticweb.HermiT.model with parameters of type LiteralDataRange
AtLeastDataRange(int number, Role onRole, LiteralDataRange toConcept)
           
 

Uses of LiteralDataRange in org.semanticweb.HermiT.structural
 

Methods in org.semanticweb.HermiT.structural that return LiteralDataRange
 LiteralDataRange OWLClausification.DataRangeConverter.convertDataRange(org.semanticweb.owlapi.model.OWLDataRange dataRange)
           
 

Uses of LiteralDataRange in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as LiteralDataRange
protected static LiteralDataRange ClashManager.NOT_RDFS_LITERAL