Uses of Class
org.semanticweb.HermiT.Prefixes

Packages that use Prefixes

Package	Description
org.semanticweb.HermiT
org.semanticweb.HermiT.debugger
org.semanticweb.HermiT.model
org.semanticweb.HermiT.tableau

Uses of Prefixes in org.semanticweb.HermiT

Subclasses of Prefixes in org.semanticweb.HermiT

Modifier and Type	Class and Description
static class	Prefixes.ImmutablePrefixes

Fields in org.semanticweb.HermiT declared as Prefixes

Modifier and Type	Field and Description
static Prefixes	Prefixes.STANDARD_PREFIXES standard prefixes

Methods in org.semanticweb.HermiT that return Prefixes

Modifier and Type	Method and Description
Prefixes	Reasoner.getPrefixes()

Methods in org.semanticweb.HermiT with parameters of type Prefixes

Modifier and Type	Method and Description
boolean	Prefixes.addPrefixes(Prefixes prefixes) Registers all the prefixes from the supplied object.

Uses of Prefixes in org.semanticweb.HermiT.debugger

Methods in org.semanticweb.HermiT.debugger that return Prefixes

Modifier and Type	Method and Description
Prefixes	Debugger.getPrefixes()

Methods in org.semanticweb.HermiT.debugger with parameters of type Prefixes

Modifier and Type	Method and Description
String	DerivationHistory.Fact.toString(Prefixes prefixes)
String	DerivationHistory.Atom.toString(Prefixes prefixes)
String	DerivationHistory.Disjunction.toString(Prefixes prefixes)
abstract String	DerivationHistory.Derivation.toString(Prefixes prefixes)
String	DerivationHistory.DLClauseApplication.toString(Prefixes prefixes)
String	DerivationHistory.DisjunctApplication.toString(Prefixes prefixes)
String	DerivationHistory.Merging.toString(Prefixes prefixes)
String	DerivationHistory.GraphChecking.toString(Prefixes prefixes)
String	DerivationHistory.ExistentialExpansion.toString(Prefixes prefixes)
String	DerivationHistory.ClashDetection.toString(Prefixes prefixes)
String	DerivationHistory.DatatypeChecking.toString(Prefixes prefixes)
String	DerivationHistory.UnknownDatatypeRestrictionDetection.toString(Prefixes prefixes)
String	DerivationHistory.BaseFact.toString(Prefixes prefixes)

Constructors in org.semanticweb.HermiT.debugger with parameters of type Prefixes

Constructor and Description
Debugger(Prefixes prefixes, boolean historyOn)
DerivationViewer(Prefixes prefixes, DerivationHistory.Fact root)

Uses of Prefixes in org.semanticweb.HermiT.model

Methods in org.semanticweb.HermiT.model with parameters of type Prefixes

Modifier and Type	Method and Description
String	Equality.toOrderedString(Prefixes prefixes)
abstract String	Concept.toString(Prefixes prefixes)
String	DLClause.toString(Prefixes prefixes)
String	Inequality.toString(Prefixes prefixes)
abstract String	Term.toString(Prefixes prefixes)
String	AtLeastConcept.toString(Prefixes prefixes)
abstract String	Role.toString(Prefixes prefixes)
String	NodeIDsAscendingOrEqual.toString(Prefixes prefixes)
abstract String	DataRange.toString(Prefixes prefixes)
String	AtomicNegationDataRange.toString(Prefixes prefixes)
String	DatatypeRestriction.toString(Prefixes prefixes)
String	ConstantEnumeration.toString(Prefixes prefixes)
String	DescriptionGraph.toString(Prefixes ns)
String	DLOntology.toString(Prefixes prefixes)
String	ExistsDescriptionGraph.toString(Prefixes prefixes)
String	DLPredicate.toString(Prefixes prefixes)
String	Variable.toString(Prefixes prefixes)
String	AtLeastDataRange.toString(Prefixes prefixes)
String	Equality.toString(Prefixes prefixes)
String	AtomicRole.toString(Prefixes prefixes)
String	Individual.toString(Prefixes prefixes)
String	Constant.toString(Prefixes prefixes)
String	InternalDatatype.toString(Prefixes prefixes)
String	InverseRole.toString(Prefixes prefixes)
String	AtomicNegationConcept.toString(Prefixes prefixes)
String	AtomicConcept.toString(Prefixes prefixes)
String	AnnotatedEquality.toString(Prefixes prefixes)
String	NegatedAtomicRole.toString(Prefixes prefixes)
String	Atom.toString(Prefixes prefixes)
String	NodeIDLessEqualThan.toString(Prefixes prefixes)

Uses of Prefixes in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau with parameters of type Prefixes

Modifier and Type	Method and Description
String	ReasoningTaskDescription.getTaskDescription(Prefixes prefixes)
String	GroundDisjunction.toString(Prefixes prefixes)
String	GroundDisjunctionHeader.toString(Prefixes prefixes)
String	DatatypeManager.DConjunction.toString(Prefixes prefixes)
String	DatatypeManager.DVariable.toString(Prefixes prefixes)