Uses of Class
org.semanticweb.HermiT.Prefixes

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)