Uses of Package
org.semanticweb.HermiT.model

Packages that use org.semanticweb.HermiT.model
org.semanticweb.HermiT   
org.semanticweb.HermiT.blocking   
org.semanticweb.HermiT.datatypes   
org.semanticweb.HermiT.datatypes.anyuri   
org.semanticweb.HermiT.datatypes.binarydata   
org.semanticweb.HermiT.datatypes.bool   
org.semanticweb.HermiT.datatypes.datetime   
org.semanticweb.HermiT.datatypes.doublenum   
org.semanticweb.HermiT.datatypes.floatnum   
org.semanticweb.HermiT.datatypes.owlreal   
org.semanticweb.HermiT.datatypes.rdfplainliteral   
org.semanticweb.HermiT.datatypes.xmlliteral   
org.semanticweb.HermiT.debugger   
org.semanticweb.HermiT.debugger.commands   
org.semanticweb.HermiT.existentials   
org.semanticweb.HermiT.hierarchy   
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.monitor   
org.semanticweb.HermiT.structural   
org.semanticweb.HermiT.tableau   
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT
AtomicConcept
          Represents an atomic concept.
AtomicRole
          Represents an atomic role.
DescriptionGraph
           
DLOntology
          Represents a DL ontology as a set of rules.
Individual
          Represents an individual in a DL clause.
Role
          Represents a role.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.blocking
AtLeastConcept
          Represents at-least concept.
AtomicConcept
          Represents an atomic concept.
AtomicRole
          Represents an atomic role.
Concept
          Represents a (complex) concept.
DataRange
          Represents a data range in a DL clause.
DLClause
          Represents a DL clause.
DLOntology
          Represents a DL ontology as a set of rules.
DLPredicate
          Represents a DL predicate.
Variable
          Represents a variable.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes
DatatypeRestriction
          A data range consisting of a datatype URI and a number of facet restrictions.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.anyuri
DatatypeRestriction
          A data range consisting of a datatype URI and a number of facet restrictions.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.binarydata
DatatypeRestriction
          A data range consisting of a datatype URI and a number of facet restrictions.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.bool
DatatypeRestriction
          A data range consisting of a datatype URI and a number of facet restrictions.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.datetime
DatatypeRestriction
          A data range consisting of a datatype URI and a number of facet restrictions.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.doublenum
DatatypeRestriction
          A data range consisting of a datatype URI and a number of facet restrictions.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.floatnum
DatatypeRestriction
          A data range consisting of a datatype URI and a number of facet restrictions.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.owlreal
DatatypeRestriction
          A data range consisting of a datatype URI and a number of facet restrictions.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.rdfplainliteral
DatatypeRestriction
          A data range consisting of a datatype URI and a number of facet restrictions.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes.xmlliteral
DatatypeRestriction
          A data range consisting of a datatype URI and a number of facet restrictions.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.debugger
AtomicRole
          Represents an atomic role.
Concept
          Represents a (complex) concept.
Constant
          Represents a constants.
ConstantEnumeration
          A data range that consists of a given set of constants.
DataRange
          Represents a data range in a DL clause.
DatatypeRestriction
          A data range consisting of a datatype URI and a number of facet restrictions.
DLClause
          Represents a DL clause.
ExistentialConcept
           
Role
          Represents a role.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.debugger.commands
Concept
          Represents a (complex) concept.
DLPredicate
          Represents a DL predicate.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.existentials
AtLeast
          Represents at-least concepts, either for data ranges or concepts.
AtLeastConcept
          Represents at-least concept.
AtomicConcept
          Represents an atomic concept.
AtomicRole
          Represents an atomic role.
Concept
          Represents a (complex) concept.
DataRange
          Represents a data range in a DL clause.
DLClause
          Represents a DL clause.
DLOntology
          Represents a DL ontology as a set of rules.
ExistentialConcept
           
Variable
          Represents a variable.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.hierarchy
AtomicConcept
          Represents an atomic concept.
AtomicRole
          Represents an atomic role.
DLClause
          Represents a DL clause.
Individual
          Represents an individual in a DL clause.
Role
          Represents a role.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.model
AnnotatedEquality
          Represents an annotated equality.
AtLeast
          Represents at-least concepts, either for data ranges or concepts.
AtLeastConcept
          Represents at-least concept.
AtLeastDataRange
          Represents at-least concept.
Atom
          Represents an atom in a DL clause.
AtomicConcept
          Represents an atomic concept.
AtomicDataRange
          Represents an atomic data range-- that is, an datatype, a datatype restriction, an internal datatype, or an enumeration of constants (oneOf)
AtomicNegationConcept
          Represents a negation of an atomic concept.
AtomicNegationDataRange
          Represents a negation of a data range.
AtomicRole
          Represents an atomic role.
Concept
          Represents a (complex) concept.
Constant
          Represents a constants.
ConstantEnumeration
          A data range that consists of a given set of constants.
DataRange
          Represents a data range in a DL clause.
DatatypeRestriction
          A data range consisting of a datatype URI and a number of facet restrictions.
DescriptionGraph
           
DescriptionGraph.Edge
           
DLClause
          Represents a DL clause.
DLClause.ClauseType
           
DLOntology
          Represents a DL ontology as a set of rules.
DLPredicate
          Represents a DL predicate.
Equality
          Represents the equality predicate.
ExistentialConcept
           
ExistsDescriptionGraph
           
Individual
          Represents an individual in a DL clause.
Inequality
          Represents the inequality predicate.
InternalDatatype
          Represents an internal datatype.
InterningManager
          The manager for the internable objects.
InterningManager.Entry
          The entry for the hash map.
InverseRole
          Represents an inverse role.
LiteralConcept
          Represents a literal concept -- that is, an atomic concept, a negation of an atomic concept, or a data range.
LiteralDataRange
          Represents a literal concept -- that is, an atomic concept, a negation of an atomic concept, or a data range.
NegatedAtomicRole
          Represents a negated atomic role
NodeIDLessEqualThan
          Represents the built-in predicate that is used to enforce ordering on nodes in the translation of at-most concepts.
NodeIDsAscendingOrEqual
          Represents a predicate that whether the IDs of the argument nodes are all strictly ascending or all equal.
Role
          Represents a role.
Term
          Represents a term in a DL clause.
Variable
          Represents a variable.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.monitor
AnnotatedEquality
          Represents an annotated equality.
DataRange
          Represents a data range in a DL clause.
ExistentialConcept
           
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.structural
Atom
          Represents an atom in a DL clause.
AtomicConcept
          Represents an atomic concept.
AtomicRole
          Represents an atomic role.
Constant
          Represents a constants.
DatatypeRestriction
          A data range consisting of a datatype URI and a number of facet restrictions.
DescriptionGraph
           
DLClause
          Represents a DL clause.
DLOntology
          Represents a DL ontology as a set of rules.
Individual
          Represents an individual in a DL clause.
LiteralConcept
          Represents a literal concept -- that is, an atomic concept, a negation of an atomic concept, or a data range.
LiteralDataRange
          Represents a literal concept -- that is, an atomic concept, a negation of an atomic concept, or a data range.
Role
          Represents a role.
Term
          Represents a term in a DL clause.
Variable
          Represents a variable.
 

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.tableau
AnnotatedEquality
          Represents an annotated equality.
AtLeast
          Represents at-least concepts, either for data ranges or concepts.
AtLeastConcept
          Represents at-least concept.
AtLeastDataRange
          Represents at-least concept.
Atom
          Represents an atom in a DL clause.
AtomicConcept
          Represents an atomic concept.
AtomicRole
          Represents an atomic role.
Concept
          Represents a (complex) concept.
ConstantEnumeration
          A data range that consists of a given set of constants.
DataRange
          Represents a data range in a DL clause.
DatatypeRestriction
          A data range consisting of a datatype URI and a number of facet restrictions.
DescriptionGraph
           
DLClause
          Represents a DL clause.
DLOntology
          Represents a DL ontology as a set of rules.
DLPredicate
          Represents a DL predicate.
ExistentialConcept
           
ExistsDescriptionGraph
           
Individual
          Represents an individual in a DL clause.
LiteralDataRange
          Represents a literal concept -- that is, an atomic concept, a negation of an atomic concept, or a data range.
Role
          Represents a role.
Term
          Represents a term in a DL clause.
Variable
          Represents a variable.