Uses of Package
org.semanticweb.HermiT.model

Packages that use org.semanticweb.HermiT.model

Package	Description
org.semanticweb.HermiT
org.semanticweb.HermiT.blocking
org.semanticweb.HermiT.datalog
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.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

Class and Description
DescriptionGraph DescriptionGraph.
DLOntology Represents a DL ontology as a set of rules.

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.blocking

Class and Description
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.
Variable Represents a variable.

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datalog

Class and Description
Atom Represents an atom in a DL clause.
DLOntology Represents a DL ontology as a set of rules.
Term Represents a term in a DL clause.

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.datatypes

Class and Description
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

Class and Description
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

Class and Description
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

Class and Description
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

Class and Description
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

Class and Description
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

Class and Description
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

Class and Description
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

Class and Description
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

Class and Description
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

Class and Description
Concept Represents a (complex) concept.
DataRange Represents a data range in a DL clause.
DLClause Represents a DL clause.
ExistentialConcept ExistentialConcept.

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.existentials

Class and Description
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.
Variable Represents a variable.

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.hierarchy

Class and Description
AtomicConcept Represents an atomic concept.
AtomicRole Represents an atomic role.
Individual Represents an individual in a DL clause.
Role Represents a role.

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.model

Class and Description
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.
DescriptionGraph.Edge Edge.
DLClause Represents a DL clause.
DLOntology Represents a DL ontology as a set of rules.
DLPredicate Represents a DL predicate.
Equality Represents the equality predicate.
ExistentialConcept ExistentialConcept.
ExistsDescriptionGraph ExistsDescriptionGraph.
Individual Represents an individual in a DL clause.
Inequality Represents the inequality predicate.
InternalDatatype Represents an internal datatype.
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

Class and Description
AnnotatedEquality Represents an annotated equality.
DataRange Represents a data range in a DL clause.
ExistentialConcept ExistentialConcept.

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.structural

Class and Description
Atom Represents an atom in a DL clause.
AtomicConcept Represents an atomic concept.
AtomicRole Represents an atomic role.
DescriptionGraph DescriptionGraph.
DLOntology Represents a DL ontology as a set of rules.
Individual Represents an individual in a DL clause.

Classes in org.semanticweb.HermiT.model used by org.semanticweb.HermiT.tableau

Class and Description
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.
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.
DLClause Represents a DL clause.
DLOntology Represents a DL ontology as a set of rules.
DLPredicate Represents a DL predicate.
ExistentialConcept ExistentialConcept.
ExistsDescriptionGraph ExistsDescriptionGraph.
Individual Represents an individual in a DL clause.
Role Represents a role.
Term Represents a term in a DL clause.
Variable Represents a variable.