|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |