|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Prefixes | |
---|---|
org.semanticweb.HermiT | |
org.semanticweb.HermiT.debugger | |
org.semanticweb.HermiT.hierarchy | |
org.semanticweb.HermiT.model | |
org.semanticweb.HermiT.tableau |
Uses of Prefixes in org.semanticweb.HermiT |
---|
Subclasses of Prefixes in org.semanticweb.HermiT | |
---|---|
static class |
Prefixes.ImmutablePrefixes
|
Fields in org.semanticweb.HermiT declared as Prefixes | |
---|---|
protected Prefixes |
Reasoner.m_prefixes
|
static Prefixes |
Prefixes.STANDARD_PREFIXES
|
Methods in org.semanticweb.HermiT that return Prefixes | |
---|---|
Prefixes |
Reasoner.getPrefixes()
|
Methods in org.semanticweb.HermiT with parameters of type Prefixes | |
---|---|
boolean |
Prefixes.addPrefixes(Prefixes prefixes)
Registers all the prefixes from the supplied object. |
protected static Tableau |
Reasoner.createTableau(InterruptFlag interruptFlag,
Configuration config,
DLOntology permanentDLOntology,
DLOntology additionalDLOntology,
Prefixes prefixes)
|
Uses of Prefixes in org.semanticweb.HermiT.debugger |
---|
Fields in org.semanticweb.HermiT.debugger declared as Prefixes | |
---|---|
protected Prefixes |
DerivationViewer.m_prefixes
|
protected Prefixes |
Debugger.m_prefixes
|
Methods in org.semanticweb.HermiT.debugger that return Prefixes | |
---|---|
Prefixes |
Debugger.getPrefixes()
|
Methods in org.semanticweb.HermiT.debugger with parameters of type Prefixes | |
---|---|
java.lang.String |
DerivationHistory.Fact.toString(Prefixes prefixes)
|
java.lang.String |
DerivationHistory.Atom.toString(Prefixes prefixes)
|
java.lang.String |
DerivationHistory.Disjunction.toString(Prefixes prefixes)
|
abstract java.lang.String |
DerivationHistory.Derivation.toString(Prefixes prefixes)
|
java.lang.String |
DerivationHistory.DLClauseApplication.toString(Prefixes prefixes)
|
java.lang.String |
DerivationHistory.DisjunctApplication.toString(Prefixes prefixes)
|
java.lang.String |
DerivationHistory.Merging.toString(Prefixes prefixes)
|
java.lang.String |
DerivationHistory.GraphChecking.toString(Prefixes prefixes)
|
java.lang.String |
DerivationHistory.ExistentialExpansion.toString(Prefixes prefixes)
|
java.lang.String |
DerivationHistory.ClashDetection.toString(Prefixes prefixes)
|
java.lang.String |
DerivationHistory.DatatypeChecking.toString(Prefixes prefixes)
|
java.lang.String |
DerivationHistory.UnknownDatatypeRestrictionDetection.toString(Prefixes prefixes)
|
java.lang.String |
DerivationHistory.BaseFact.toString(Prefixes prefixes)
|
Constructors in org.semanticweb.HermiT.debugger with parameters of type Prefixes | |
---|---|
Debugger(Prefixes prefixes,
boolean historyOn)
|
|
DerivationViewer(Prefixes prefixes,
DerivationHistory.Fact root)
|
Uses of Prefixes in org.semanticweb.HermiT.hierarchy |
---|
Fields in org.semanticweb.HermiT.hierarchy declared as Prefixes | |
---|---|
protected Prefixes |
HierarchyPrinterFSS.m_prefixes
|
Uses of Prefixes in org.semanticweb.HermiT.model |
---|
Methods in org.semanticweb.HermiT.model with parameters of type Prefixes | |
---|---|
java.lang.String |
Equality.toOrderedString(Prefixes prefixes)
|
java.lang.String |
DLClause.toOrderedString(Prefixes prefixes)
|
java.lang.String |
Variable.toString(Prefixes prefixes)
|
abstract java.lang.String |
Term.toString(Prefixes prefixes)
|
abstract java.lang.String |
Role.toString(Prefixes prefixes)
|
java.lang.String |
NodeIDsAscendingOrEqual.toString(Prefixes prefixes)
|
java.lang.String |
NodeIDLessEqualThan.toString(Prefixes prefixes)
|
java.lang.String |
NegatedAtomicRole.toString(Prefixes prefixes)
|
java.lang.String |
InverseRole.toString(Prefixes prefixes)
|
java.lang.String |
InternalDatatype.toString(Prefixes prefixes)
|
java.lang.String |
Inequality.toString(Prefixes prefixes)
|
java.lang.String |
Individual.toString(Prefixes prefixes)
|
java.lang.String |
ExistsDescriptionGraph.toString(Prefixes prefixes)
|
java.lang.String |
Equality.toString(Prefixes prefixes)
|
java.lang.String |
DLPredicate.toString(Prefixes prefixes)
|
java.lang.String |
DLOntology.toString(Prefixes prefixes)
|
java.lang.String |
DLClause.toString(Prefixes prefixes)
|
java.lang.String |
DescriptionGraph.toString(Prefixes ns)
|
java.lang.String |
DatatypeRestriction.toString(Prefixes prefixes)
|
abstract java.lang.String |
DataRange.toString(Prefixes prefixes)
|
java.lang.String |
ConstantEnumeration.toString(Prefixes prefixes)
|
java.lang.String |
Constant.toString(Prefixes prefixes)
|
abstract java.lang.String |
Concept.toString(Prefixes prefixes)
|
java.lang.String |
AtomicRole.toString(Prefixes prefixes)
|
java.lang.String |
AtomicNegationDataRange.toString(Prefixes prefixes)
|
java.lang.String |
AtomicNegationConcept.toString(Prefixes prefixes)
|
java.lang.String |
AtomicConcept.toString(Prefixes prefixes)
|
java.lang.String |
Atom.toString(Prefixes prefixes)
|
java.lang.String |
AtLeastDataRange.toString(Prefixes prefixes)
|
java.lang.String |
AtLeastConcept.toString(Prefixes prefixes)
|
java.lang.String |
AnnotatedEquality.toString(Prefixes prefixes)
|
Uses of Prefixes in org.semanticweb.HermiT.tableau |
---|
Methods in org.semanticweb.HermiT.tableau with parameters of type Prefixes | |
---|---|
java.lang.String |
ReasoningTaskDescription.getTaskDescription(Prefixes prefixes)
|
java.lang.String |
GroundDisjunctionHeader.toString(Prefixes prefixes)
|
java.lang.String |
GroundDisjunction.toString(Prefixes prefixes)
|
java.lang.String |
DatatypeManager.DConjunction.toString(Prefixes prefixes)
|
java.lang.String |
DatatypeManager.DVariable.toString(Prefixes prefixes)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |