Serialized Form (JFact 5.0.3 API)

Package jfact.plugin.protege
- Class jfact.plugin.protege.JFactRenderingViewComponent extends org.protege.editor.owl.ui.view.ontology.AbstractOntologyRenderingViewComponent implements Serializable
Package uk.ac.manchester.cs.jfact
- Class uk.ac.manchester.cs.jfact.AxiomTranslator extends Object implements Serializable
  - Serialized Fields
    - v
```
DeclarationVisitorEx v
```
    - o
```
Ontology o
```
    - tr
```
TranslationMachinery tr
```
- Class uk.ac.manchester.cs.jfact.ClassExpressionTranslator extends uk.ac.manchester.cs.jfact.OWLEntityTranslator<org.semanticweb.owlapi.model.OWLClass,ConceptExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.ComplexObjectPropertyTranslator extends uk.ac.manchester.cs.jfact.OWLEntityTranslator<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,ObjectRoleComplexExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.DataPropertyTranslator extends uk.ac.manchester.cs.jfact.OWLEntityTranslator<org.semanticweb.owlapi.model.OWLDataProperty,DataRoleExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.DataRangeTranslator extends uk.ac.manchester.cs.jfact.OWLEntityTranslator<org.semanticweb.owlapi.model.OWLDatatype,DataExpression> implements Serializable
  - Serialized Fields
    - f
```
DatatypeFactory f
```
- Class uk.ac.manchester.cs.jfact.DeclarationVisitorEx extends Object implements Serializable
  - Serialized Fields
    - o
```
Ontology o
```
    - df
```
org.semanticweb.owlapi.model.OWLDataFactory df
```
    - tr
```
TranslationMachinery tr
```
- Class uk.ac.manchester.cs.jfact.EntailmentChecker extends Object implements Serializable
  - Serialized Fields
    - kernel
```
ReasoningKernel kernel
```
    - tr
```
TranslationMachinery tr
```
    - df
```
org.semanticweb.owlapi.model.OWLDataFactory df
```
- Class uk.ac.manchester.cs.jfact.IndividualTranslator extends uk.ac.manchester.cs.jfact.OWLEntityTranslator<org.semanticweb.owlapi.model.OWLNamedIndividual,IndividualName> implements Serializable
- Class uk.ac.manchester.cs.jfact.JFactFactory extends Object implements Serializable
- Class uk.ac.manchester.cs.jfact.JFactReasoner extends Object implements Serializable
  - Serialization Methods
    - readObject
```
private void readObject(ObjectInputStream stream)
                 throws IOException,
                        ClassNotFoundException
```
      Throws:
      
      IOException
      
      ClassNotFoundException
  - Serialized Fields
    - interrupted
```
AtomicBoolean interrupted
```
    - kernel
```
ReasoningKernel kernel
```
    - em
```
ExpressionCache em
```
    - root
```
org.semanticweb.owlapi.model.OWLOntology root
```
    - bufferingMode
```
org.semanticweb.owlapi.reasoner.BufferingMode bufferingMode
```
    - rawChanges
```
List<E> rawChanges
```
    - axioms
```
List<E> axioms
```
    - configuration
```
JFactReasonerConfiguration configuration
```
    - df
```
org.semanticweb.owlapi.model.OWLDataFactory df
```
    - tr
```
TranslationMachinery tr
```
    - consistencyVerified
```
Boolean consistencyVerified
```
    - knownEntities
```
Set<E> knownEntities
```
    - datatypeFactory
```
DatatypeFactory datatypeFactory
```
- Class uk.ac.manchester.cs.jfact.KnowledgeExplorer extends Object implements Serializable
  - Serialized Fields
    - cs
```
com.google.common.collect.Multimap<K,V> cs
```
      map concept into set of its synonyms
    - is
```
com.google.common.collect.Multimap<K,V> is
```
      map individual into set of its synonyms
    - ors
```
com.google.common.collect.Multimap<K,V> ors
```
      map object role to the set of its super-roles (self included)
    - drs
```
com.google.common.collect.Multimap<K,V> drs
```
      map data role to the set of its super-roles (self included)
    - d2i
```
TDag2Interface d2i
```
      dag-2-interface translator used in knowledge exploration
    - nodes
```
List<E> nodes
```
      node vector to return
    - concepts
```
List<E> concepts
```
      concept vector to return
- Class uk.ac.manchester.cs.jfact.ObjectPropertyTranslator extends uk.ac.manchester.cs.jfact.OWLEntityTranslator<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,ObjectRoleExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.TranslationMachinery extends Object implements Serializable
  - Serialized Fields
    - axiomTranslator
```
AxiomTranslator axiomTranslator
```
    - classExpressionTranslator
```
ClassExpressionTranslator classExpressionTranslator
```
    - dataRangeTranslator
```
DataRangeTranslator dataRangeTranslator
```
    - objectPropertyTranslator
```
ObjectPropertyTranslator objectPropertyTranslator
```
    - dataPropertyTranslator
```
DataPropertyTranslator dataPropertyTranslator
```
    - individualTranslator
```
IndividualTranslator individualTranslator
```
    - entailmentChecker
```
EntailmentChecker entailmentChecker
```
    - axiom2PtrMap
```
Map<K,V> axiom2PtrMap
```
    - kernel
```
ReasoningKernel kernel
```
    - em
```
ExpressionCache em
```
    - df
```
org.semanticweb.owlapi.model.OWLDataFactory df
```
    - datatypefactory
```
DatatypeFactory datatypefactory
```
    - entityVisitor
```
uk.ac.manchester.cs.jfact.EntityVisitorEx entityVisitor
```
Package uk.ac.manchester.cs.jfact.datatypes
- Class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype extends Object implements Serializable
  - Serialized Fields
    - facets
```
Set<E> facets
```
    - ancestors
```
Set<E> ancestors
```
    - knownNumericFacetValues
```
Map<K,V> knownNumericFacetValues
```
    - knownNonNumericFacetValues
```
Map<K,V> knownNonNumericFacetValues
```
    - uri
```
org.semanticweb.owlapi.model.IRI uri
```
- Class uk.ac.manchester.cs.jfact.datatypes.DatatypeEntry extends NamedEntry implements Serializable
  - Serialized Fields
    - type
```
Datatype<R extends Comparable<R>> type
```
      corresponding type (Type has null in the field)
    - pName
```
int pName
```
      DAG index of the entry
- Class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration extends Object implements Serializable
  - Serialized Fields
    - uri
```
org.semanticweb.owlapi.model.IRI uri
```
    - host
```
Datatype<R extends Comparable<R>> host
```
    - literals
```
List<E> literals
```
- Class uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory extends Object implements Serializable
  - Serialized Fields
    - knownDatatypes
```
Map<K,V> knownDatatypes
```
- Class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation extends Object implements Serializable
  - Serialized Fields
    - host
```
Datatype<R extends Comparable<R>> host
```
    - uri
```
org.semanticweb.owlapi.model.IRI uri
```
- Class uk.ac.manchester.cs.jfact.datatypes.DatatypeNumericEnumeration extends DatatypeEnumeration<R extends Comparable<R>> implements Serializable
- Class uk.ac.manchester.cs.jfact.datatypes.DataTypeReasoner extends Object implements Serializable
  - Serialized Fields
    - map
```
Map<K,V> map
```
      map Type.pName.Type appearance
    - clashDep
```
Optional<T> clashDep
```
      dep-set for the clash for *all* the types
    - options
```
JFactReasonerConfiguration options
```
- Class uk.ac.manchester.cs.jfact.datatypes.DataTypeSituation extends Object implements Serializable
  - Serialized Fields
    - pType
```
DepSet pType
```
      positive type appearance
    - nType
```
DepSet nType
```
      negative type appearance
    - constraints
```
Set<E> constraints
```
      interval of possible values
    - accDep
```
DepSet accDep
```
      accumulated dep-set
    - reasoner
```
DataTypeReasoner reasoner
```
      dep-set for the clash
    - type
```
Datatype<R extends Comparable<R>> type
```
    - literals
```
List<E> literals
```
- Class uk.ac.manchester.cs.jfact.datatypes.Facets extends Object implements Serializable
- Class uk.ac.manchester.cs.jfact.datatypes.LiteralEntry extends NamedEntry implements Serializable
  - Serialized Fields
    - literal
```
Literal<T extends Comparable<T>> literal
```
    - pName
```
int pName
```
      DAG index of the entry
- Class uk.ac.manchester.cs.jfact.datatypes.NumericLiteralImpl extends uk.ac.manchester.cs.jfact.datatypes.LiteralImpl<R extends Comparable<R>> implements Serializable
- Class uk.ac.manchester.cs.jfact.datatypes.Utils extends Object implements Serializable
Package uk.ac.manchester.cs.jfact.dep
- Class uk.ac.manchester.cs.jfact.dep.DepSet extends Object implements Serializable
  - Serialized Fields
    - delegate
```
org.roaringbitmap.RoaringBitmap delegate
```
Package uk.ac.manchester.cs.jfact.helpers
- Class uk.ac.manchester.cs.jfact.helpers.ArrayIntMap extends Object implements Serializable
  - Serialized Fields
    - values
```
int[][] values
```
    - size
```
int size
```
- Class uk.ac.manchester.cs.jfact.helpers.DLTree extends Object implements Serializable
  - Serialized Fields
    - elem
```
Lexeme elem
```
      element in the tree node
    - children
```
List<E> children
```
      children collection
    - ancestor
```
DLTree ancestor
```
- Class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory extends Object implements Serializable
- Class uk.ac.manchester.cs.jfact.helpers.DLVertex extends uk.ac.manchester.cs.jfact.helpers.DLVertexTagDFS implements Serializable
  - Serialized Fields
    - child
```
uk.ac.manchester.cs.jfact.helpers.DLVertex.ChildSet child
```
    - concept
```
NamedEntry concept
```
      pointer to concept-like entry (for PConcept, etc)
    - role
```
Role role
```
      pointer to role (for E\A, NR)
    - projRole
```
Role projRole
```
      projection role (used for projection op only)
    - conceptIndex
```
int conceptIndex
```
      C if available
    - n
```
int n
```
      n if available
    - sort
```
MergableLabel sort
```
      maximal depth, size and frequency of reference of the expression
    - heap
```
DLDag heap
```
    - stat
```
int[] stat
```
      maximal depth, size and frequency of reference of the expression
    - posUsage
```
long posUsage
```
      usage statistic for pos- and neg occurences of a vertex
    - negUsage
```
long negUsage
```
- Class uk.ac.manchester.cs.jfact.helpers.Helper extends Object implements Serializable
- Class uk.ac.manchester.cs.jfact.helpers.Pair extends Object implements Serializable
  - Serialized Fields
    - first
```
Individual first
```
      The first.
    - second
```
boolean second
```
      The second.
- Class uk.ac.manchester.cs.jfact.helpers.Reference extends Object implements Serializable
  - Serialized Fields
    - e
```
Object e
```
- Class uk.ac.manchester.cs.jfact.helpers.SaveStack extends Object implements Serializable
  - Serialized Fields
    - list
```
LinkedList<E> list
```
- Class uk.ac.manchester.cs.jfact.helpers.Stats extends Object implements Serializable
  - Serialized Fields
    - root
```
List<E> root
```
      all AccumulatedStatistic members are linked together.
    - nTacticCalls
```
Stats.AccumulatedStatistic nTacticCalls
```
      The n tactic calls.
    - nUseless
```
Stats.AccumulatedStatistic nUseless
```
      The n useless.
    - nIdCalls
```
Stats.AccumulatedStatistic nIdCalls
```
      The n id calls.
    - nSingletonCalls
```
Stats.AccumulatedStatistic nSingletonCalls
```
      The n singleton calls.
    - nOrCalls
```
Stats.AccumulatedStatistic nOrCalls
```
      The n or calls.
    - nOrBrCalls
```
Stats.AccumulatedStatistic nOrBrCalls
```
      The n or br calls.
    - nAndCalls
```
Stats.AccumulatedStatistic nAndCalls
```
      The n and calls.
    - nSomeCalls
```
Stats.AccumulatedStatistic nSomeCalls
```
      The n some calls.
    - nAllCalls
```
Stats.AccumulatedStatistic nAllCalls
```
      The n all calls.
    - nFuncCalls
```
Stats.AccumulatedStatistic nFuncCalls
```
      The n func calls.
    - nLeCalls
```
Stats.AccumulatedStatistic nLeCalls
```
      The n le calls.
    - nGeCalls
```
Stats.AccumulatedStatistic nGeCalls
```
      The n ge calls.
    - nNNCalls
```
Stats.AccumulatedStatistic nNNCalls
```
      The n nn calls.
    - nMergeCalls
```
Stats.AccumulatedStatistic nMergeCalls
```
      The n merge calls.
    - nAutoEmptyLookups
```
Stats.AccumulatedStatistic nAutoEmptyLookups
```
      The n auto empty lookups.
    - nAutoTransLookups
```
Stats.AccumulatedStatistic nAutoTransLookups
```
      The n auto trans lookups.
    - nSRuleAdd
```
Stats.AccumulatedStatistic nSRuleAdd
```
      The n s rule add.
    - nSRuleFire
```
Stats.AccumulatedStatistic nSRuleFire
```
      The n s rule fire.
    - nStateSaves
```
Stats.AccumulatedStatistic nStateSaves
```
      The n state saves.
    - nStateRestores
```
Stats.AccumulatedStatistic nStateRestores
```
      The n state restores.
    - nNodeSaves
```
Stats.AccumulatedStatistic nNodeSaves
```
      The n node saves.
    - nNodeRestores
```
Stats.AccumulatedStatistic nNodeRestores
```
      The n node restores.
    - nLookups
```
Stats.AccumulatedStatistic nLookups
```
      The n lookups.
    - nFairnessViolations
```
Stats.AccumulatedStatistic nFairnessViolations
```
      The n fairness violations.
    - nCacheTry
```
Stats.AccumulatedStatistic nCacheTry
```
      The n cache try.
    - nCacheFailedNoCache
```
Stats.AccumulatedStatistic nCacheFailedNoCache
```
      The n cache failed no cache.
    - nCacheFailedShallow
```
Stats.AccumulatedStatistic nCacheFailedShallow
```
      The n cache failed shallow.
    - nCacheFailed
```
Stats.AccumulatedStatistic nCacheFailed
```
      The n cache failed.
    - nCachedSat
```
Stats.AccumulatedStatistic nCachedSat
```
      The n cached sat.
    - nCachedUnsat
```
Stats.AccumulatedStatistic nCachedUnsat
```
      The n cached unsat.
- Class uk.ac.manchester.cs.jfact.helpers.Stats.AccumulatedStatistic extends Object implements Serializable
  - Serialized Fields
    - total
```
int total
```
      accumulated statistic.
    - local
```
int local
```
      current session statistic.
- Class uk.ac.manchester.cs.jfact.helpers.Timer extends Object implements Serializable
  - Serialized Fields
    - startTime
```
long startTime
```
      save the starting time of the timer
    - resultTime
```
long resultTime
```
      calculated time between Start() and Stop() calls
    - started
```
boolean started
```
      flag to show timer is started
- Class uk.ac.manchester.cs.jfact.helpers.UnreachableSituationException extends org.semanticweb.owlapi.reasoner.ReasonerInternalException implements Serializable
Package uk.ac.manchester.cs.jfact.kernel
- Class uk.ac.manchester.cs.jfact.kernel.Axiom extends Object implements Serializable
  - Serialized Fields
    - origin
```
Axiom origin
```
    - disjuncts
```
Set<E> disjuncts
```
      GCI is presented in the form (or Disjuncts);
    - atom
```
org.semanticweb.owlapitools.decomposition.OntologyAtom atom
```
- Class uk.ac.manchester.cs.jfact.kernel.AxiomSet extends Object implements Serializable
  - Serialized Fields
    - tboxHost
```
TBox tboxHost
```
      host TBox that holds all concepts/etc
    - accumulator
```
List<E> accumulator
```
      set of axioms that accumilates incoming (and newly created) axioms
    - absorptionLog
```
LogAdapter absorptionLog
```
    - actions
```
List<E> actions
```
      set of absorption action, in order
    - curAxiom
```
int curAxiom
```
- Class uk.ac.manchester.cs.jfact.kernel.CGLabel extends Object implements Serializable
  - Serialized Fields
    - scLabel
```
CWDArray scLabel
```
      all simple concepts, labelled a node
    - ccLabel
```
CWDArray ccLabel
```
      all complex concepts (ie, FORALL, GE), labelled a node
    - id
```
int id
```
    - lesserIndex
```
gnu.trove.set.TIntSet lesserIndex
```
    - lesserEqualsList
```
List<E> lesserEqualsList
```
- Class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry extends NamedEntry implements Serializable
  - Serialized Fields
    - taxVertex
```
TaxonomyVertex taxVertex
```
      link to taxonomy entry for current entry
    - toldSubsumers
```
List<E> toldSubsumers
```
      links to 'told subsumers' (entries that are direct super-entries for current)
    - pSynonym
```
ClassifiableEntry pSynonym
```
      pointer to synonym (entry which contains whole information the same as current)
    - index
```
int index
```
      index as a vertex in the SubsumptionMap
    - completelyDefined
```
boolean completelyDefined
```
    - nonClassifiable
```
boolean nonClassifiable
```
- Class uk.ac.manchester.cs.jfact.kernel.Concept extends ClassifiableEntry implements Serializable
  - Serialized Fields
    - rel
```
long rel
```
      label to use in relevant-only checks
    - classTag
```
Concept.CTTag classTag
```
      classification type of concept: completely defined (true- or like-), no TS, other
    - tsDepth
```
int tsDepth
```
      depth of the concept wrt told subsumers
    - pName
```
int pName
```
      pointer to the entry in DAG with concept name
    - pBody
```
int pBody
```
      pointer to the entry in DAG with concept definition
    - posFeatures
```
LogicFeatures posFeatures
```
      features for C
    - negFeatures
```
LogicFeatures negFeatures
```
      features for ~C
    - extraRules
```
uk.ac.manchester.cs.chainsaw.FastSet extraRules
```
      all extra rules for a given concept
    - description
```
DLTree description
```
    - primitive
```
boolean primitive
```
    - hasSP
```
boolean hasSP
```
    - nominal
```
boolean nominal
```
    - singleton
```
boolean singleton
```
- Class uk.ac.manchester.cs.jfact.kernel.ConceptWDep extends Object implements Serializable
  - Serialized Fields
    - concept
```
int concept
```
      "pointer" to a concept in DAG
    - depSet
```
DepSet depSet
```
      dep-set for a concept
- Class uk.ac.manchester.cs.jfact.kernel.CWDArray extends Object implements Serializable
  - Serialized Fields
    - base
```
List<E> base
```
      array of concepts together with dep-sets
    - cache
```
org.roaringbitmap.RoaringBitmap cache
```
    - indexes
```
ArrayIntMap indexes
```
    - size
```
int size
```
    - options
```
JFactReasonerConfiguration options
```
- Class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph extends Object implements Serializable
  - Serialized Fields
    - ctEdgeHeap
```
List<E> ctEdgeHeap
```
      allocator for edges
    - nodeBase
```
List<E> nodeBase
```
      heap itself
    - savedNodes
```
List<E> savedNodes
```
      nodes, saved on current branching level
    - pReasoner
```
DlSatTester pReasoner
```
      host reasoner
    - nodeId
```
int nodeId
```
      remember the last generated ID for the node
    - endUsed
```
int endUsed
```
      index of the next unallocated entry
    - branchingLevel
```
int branchingLevel
```
      current branching level (synchronised with resoner's one)
    - irLevel
```
int irLevel
```
      current IR level (should be valid BP)
    - rareStack
```
SaveStackRare rareStack
```
      stack for rarely changed information
    - stack
```
SaveStack<T> stack
```
      stack for usual saving/restoring
    - cgpFlag
```
uk.ac.manchester.cs.chainsaw.FastSet cgpFlag
```
      bitmap to remember which node was printed
    - cgpIndent
```
int cgpIndent
```
      indent to print CGraph nodes
    - nNodeSaves
```
int nNodeSaves
```
      number of node' saves
    - nNodeRestores
```
int nNodeRestores
```
      number of node' saves
    - maxGraphSize
```
int maxGraphSize
```
      maximal size of the graph
    - nSkipBeforeBlock
```
int nSkipBeforeBlock
```
      how many nodes skip before block; work only with FAIRNESS
    - useLazyBlocking
```
boolean useLazyBlocking
```
      use or not lazy blocking (ie test blocking only expanding exists)
    - useAnywhereBlocking
```
boolean useAnywhereBlocking
```
      whether to use Anywhere blocking as opposed to an ancestor one
    - sessionHasInverseRoles
```
boolean sessionHasInverseRoles
```
      check if session has inverse roles
    - sessionHasNumberRestrictions
```
boolean sessionHasNumberRestrictions
```
      check if session has number restrictions
- Class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree extends Object implements Serializable
  - Serialized Fields
    - label
```
CGLabel label
```
      label of a node
    - inequalityRelation
```
List<E> inequalityRelation
```
      inequality relation information respecting current node
    - inequalityRelationHelper
```
gnu.trove.map.hash.TIntObjectHashMap<V> inequalityRelationHelper
```
    - neighbour
```
List<E> neighbour
```
      Neighbours information
    - saves
```
SaveList saves
```
      pointer to last saved node
    - id
```
int id
```
      ID of node (used in print)
    - init
```
int init
```
      concept that init the newly created node
    - blocker
```
DlCompletionTree blocker
```
      blocker of a node
    - pDep
```
DepSet pDep
```
      dep-set for Purge op
    - curLevel
```
int curLevel
```
    - flagDataNode
```
boolean flagDataNode
```
      is given node a data node
    - cached
```
boolean cached
```
      flag if node is Cached
    - pBlocked
```
boolean pBlocked
```
      flag whether node is permanently/temporarily blocked
    - dBlocked
```
boolean dBlocked
```
      flag whether node is directly/indirectly blocked
    - affected
```
boolean affected
```
      Whether node is affected by change of some potential blocker. This flag may be viewed as a cache for a 'blocked' status
    - nominalLevel
```
int nominalLevel
```
      level of a nominal node; 0 means blockable one
    - options
```
JFactReasonerConfiguration options
```
- Class uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc extends Object implements Serializable
  - Serialized Fields
    - node
```
DlCompletionTree node
```
      pointer to "to" node
    - role
```
Role role
```
      role, labelling given arc
    - depSet
```
DepSet depSet
```
      dep-set of the arc
    - reverse
```
DlCompletionTreeArc reverse
```
      pointer to reverse arc
    - succEdge
```
boolean succEdge
```
      true if the edge going from a predecessor to a successor
- Class uk.ac.manchester.cs.jfact.kernel.DLConceptTaxonomy extends TaxonomyCreator implements Serializable
  - Serialized Fields
    - tBox
```
TBox tBox
```
      host tBox
    - common
```
List<E> common
```
      common descendants of all parents of currently classified concept
    - nConcepts
```
long nConcepts
```
    - nTries
```
long nTries
```
    - nPositives
```
long nPositives
```
    - nNegatives
```
long nNegatives
```
    - nSearchCalls
```
long nSearchCalls
```
    - nSubCalls
```
long nSubCalls
```
    - nNonTrivialSubCalls
```
long nNonTrivialSubCalls
```
    - nCachedPositive
```
long nCachedPositive
```
      number of positive cached subsumptions
    - nCachedNegative
```
long nCachedNegative
```
      number of negative cached subsumptions
    - nSortedNegative
```
long nSortedNegative
```
      number of non-subsumptions detected by a sorted reasoning
    - nModuleNegative
```
long nModuleNegative
```
      number of non-subsumptions because of module reasons
    - flagNeedBottomUp
```
boolean flagNeedBottomUp
```
      flag to use Bottom-Up search
    - nCommon
```
int nCommon
```
      number of processed common parents
    - candidates
```
Set<E> candidates
```
      set of possible parents
    - useCandidates
```
boolean useCandidates
```
      whether look into it
    - mPlus
```
Set<E> mPlus
```
    - mMinus
```
Set<E> mMinus
```
- Class uk.ac.manchester.cs.jfact.kernel.DLDag extends Object implements Serializable
  - Serialized Fields
    - heap
```
List<E> heap
```
      body of DAG
    - cache
```
Set<E> cache
```
    - listAnds
```
uk.ac.manchester.cs.chainsaw.FastSet listAnds
```
      all the AND nodes (needs to recompute)
    - indexes
```
EnumMap<K extends Enum<K>,V> indexes
```
    - nCacheHits
```
int nCacheHits
```
      cache efficiency -- statistic purposes
    - sortArraySize
```
int sortArraySize
```
      size of sort array
    - iSort
```
int iSort
```
      sort index (if necessary). Possible values are Size, Depth, Freq
    - sortAscend
```
boolean sortAscend
```
      whether or not sorting order is ascending
    - preferNonGen
```
boolean preferNonGen
```
      prefer non-generating rules in OR orderings
    - useDLVCache
```
boolean useDLVCache
```
      flag whether cache should be used
    - finalDagSize
```
int finalDagSize
```
    - options
```
JFactReasonerConfiguration options
```
- Class uk.ac.manchester.cs.jfact.kernel.DlSatTester extends Object implements Serializable
  - Serialized Fields
    - sessionGCIs
```
gnu.trove.list.array.TIntArrayList sessionGCIs
```
      GCIs local to session
    - activeSplits
```
uk.ac.manchester.cs.chainsaw.FastSet activeSplits
```
      set of active splits
    - sessionSignature
```
Set<E> sessionSignature
```
      concept signature of current CGraph
    - sessionSigDepSet
```
Map<K,V> sessionSigDepSet
```
      signature to dep-set map for current session
    - nodesToMerge
```
List<E> nodesToMerge
```
      nodes to merge in the TopRole-LE rules
    - edgesToMerge
```
List<E> edgesToMerge
```
    - tBox
```
TBox tBox
```
      host TBox
    - dlHeap
```
DLDag dlHeap
```
      link to dag from TBox
    - reflexiveRoles
```
List<E> reflexiveRoles
```
      all the reflexive roles
    - cGraph
```
DlCompletionGraph cGraph
```
      Completion Graph of tested concept(s)
    - todo
```
ToDoList todo
```
      Todo list
    - used
```
uk.ac.manchester.cs.chainsaw.FastSet used
```
    - gcis
```
KBFlags gcis
```
      GCI-related KB flags
    - inProcess
```
uk.ac.manchester.cs.chainsaw.FastSet inProcess
```
      record nodes that were processed during Cascaded Cache construction
    - satTimer
```
Timer satTimer
```
      timer for the SAT tests (ie, cache creation)
    - subTimer
```
Timer subTimer
```
      timer for the SUB tests (ie, general subsumption)
    - testTimer
```
Timer testTimer
```
      timer for a single test; use it as a timeout checker
    - stack
```
uk.ac.manchester.cs.jfact.kernel.DlSatTester.BCStack stack
```
      stack for the local reasoner's state
    - bContext
```
uk.ac.manchester.cs.jfact.kernel.DlSatTester.BranchingContext bContext
```
      context from the restored branching rule
    - tryLevel
```
int tryLevel
```
      index of last non-det situation
    - nonDetShift
```
int nonDetShift
```
      shift in order to determine the 1st non-det application
    - curNode
```
DlCompletionTree curNode
```
      currently processed CTree node
    - curConceptDepSet
```
DepSet curConceptDepSet
```
      currently processed Concept
    - curConceptConcept
```
int curConceptConcept
```
    - dagSize
```
int dagSize
```
      size of the DAG with some extra space
    - orConceptsToTest
```
List<E> orConceptsToTest
```
      temporary array used in OR operation
    - clashSet
```
DepSet clashSet
```
      contains clash set if clash is encountered in a node label
    - options
```
JFactReasonerConfiguration options
```
    - encounterNominal
```
boolean encounterNominal
```
      true if nominal-related expansion rule was fired during reasoning
    - checkDataNode
```
boolean checkDataNode
```
      flag to show if it is necessary to produce DT reasoning immediately
    - newNodeCache
```
ModelCacheIan newNodeCache
```
      cache for testing whether it's possible to non-expand newly created node
    - newNodeEdges
```
ModelCacheIan newNodeEdges
```
      auxilliary cache that is built from the edges of newly created node
    - stats
```
Stats stats
```
- Class uk.ac.manchester.cs.jfact.kernel.ExpressionCache extends Object implements Serializable
  - Serialized Fields
    - conceptNameset
```
NameSet<T,K> conceptNameset
```
      nameset for concepts
    - individualNameset
```
NameSet<T,K> individualNameset
```
      nameset for individuals
    - objectRoleNameset
```
NameSet<T,K> objectRoleNameset
```
      nameset for object roles
    - dataRoleNameset
```
NameSet<T,K> dataRoleNameset
```
      nameset for data roles
    - inverseRoleCache
```
uk.ac.manchester.cs.jfact.kernel.ExpressionCache.InverseRoleCache inverseRoleCache
```
      cache for the role inverses
    - oneOfCache
```
Map<K,V> oneOfCache
```
      cache for the one-of singletons
- Class uk.ac.manchester.cs.jfact.kernel.ExpressionCache.InverseRoleCache extends Object implements Serializable
  - Serialized Fields
    - map
```
Map<K,V> map
```
      map tail into an object head(tail)
- Class uk.ac.manchester.cs.jfact.kernel.ExpressionManager extends Object implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator extends Object implements Serializable
  - Serialized Fields
    - tbox
```
TBox tbox
```
      TBox to get access to the named entities
    - sig
```
org.semanticweb.owlapitools.decomposition.Signature sig
```
      signature of non-trivial entities; used in semantic locality checkers only
- Class uk.ac.manchester.cs.jfact.kernel.InAx extends Object implements Serializable
  - Serialized Fields
    - created
```
Map<K,V> created
```
- Class uk.ac.manchester.cs.jfact.kernel.Individual extends Concept implements Serializable
  - Serialized Fields
    - node
```
DlCompletionTree node
```
      pointer to nominal node (works for singletons only)
    - relatedIndex
```
List<E> relatedIndex
```
      index for axioms (this,C):R
    - pRelatedMap
```
Map<K,V> pRelatedMap
```
      map for the related individuals: Map[R]={i:R(this,i)}
- Class uk.ac.manchester.cs.jfact.kernel.KBFlags extends Object implements Serializable
  - Serialized Fields
    - gci
```
boolean gci
```
    - rnD
```
boolean rnD
```
    - reflexive
```
boolean reflexive
```
- Class uk.ac.manchester.cs.jfact.kernel.Lexeme extends Object implements Serializable
  - Serialized Fields
    - token
```
Token token
```
      Lexeme's Token
    - pName
```
NamedEntry pName
```
      pointer to information (for names)
    - data
```
int data
```
- Class uk.ac.manchester.cs.jfact.kernel.LogicFeatures extends Object implements Serializable
  - Serialized Fields
    - flags
```
BitSet flags
```
      all flags in one long
- Class uk.ac.manchester.cs.jfact.kernel.MergableLabel extends Object implements Serializable
  - Serialized Fields
    - pSample
```
MergableLabel pSample
```
      sample for all equivalent labels
- Class uk.ac.manchester.cs.jfact.kernel.NamedEntry extends Object implements Serializable
  - Serialized Fields
    - extName
```
org.semanticweb.owlapi.model.IRI extName
```
      name of the entry
    - extId
```
int extId
```
      entry identifier
    - entity
```
NamedEntity entity
```
    - system
```
boolean system
```
    - top
```
boolean top
```
    - bottom
```
boolean bottom
```
- Class uk.ac.manchester.cs.jfact.kernel.NamedEntryCollection extends Object implements Serializable
  - Serialized Fields
    - nameset
```
NameSet<T,K> nameset
```
      nameset to hold the elements
    - typeName
```
String typeName
```
      name of the type
    - locked
```
boolean locked
```
      flag to lock the nameset (ie, prohibit to add new names there)
    - options
```
JFactReasonerConfiguration options
```
- Class uk.ac.manchester.cs.jfact.kernel.NameSet extends LinkedHashMap<K,T> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.NominalReasoner extends DlSatTester implements Serializable
  - Serialized Fields
    - nominals
```
List<E> nominals
```
      all nominals defined in TBox
- Class uk.ac.manchester.cs.jfact.kernel.Ontology extends Object implements Serializable
  - Serialized Fields
    - axioms
```
List<E> axioms
```
      all the axioms
    - retracted
```
List<E> retracted
```
      all the axioms
    - expressionCache
```
ExpressionCache expressionCache
```
      expression manager that builds all the expressions for the axioms
    - axiomId
```
int axiomId
```
      id to be given to the next axiom
    - changed
```
boolean changed
```
      true iff ontology was changed
- Class uk.ac.manchester.cs.jfact.kernel.OntologyLoader extends Object implements Serializable
  - Serialized Fields
    - tbox
```
TBox tbox
```
      KB to load the ontology
    - expressionTranslator
```
ExpressionTranslator expressionTranslator
```
      Transforms TDLExpression hierarchy to the DLTree
- Class uk.ac.manchester.cs.jfact.kernel.RAStateTransitions extends Object implements Serializable
  - Serialized Fields
    - base
```
List<E> base
```
      all transitions
    - emptyTransition
```
boolean emptyTransition
```
      check whether there is an empty transition going from this state
    - applicableRoles
```
BitSet applicableRoles
```
    - from
```
int from
```
      state from which all the transition starts
    - dataRole
```
boolean dataRole
```
      flag whether the role is data or not (valid only for simple automata)
    - size
```
int size
```
    - topTransition
```
boolean topTransition
```
      true iff there is a top transition going from this state
- Class uk.ac.manchester.cs.jfact.kernel.RATransition extends Object implements Serializable
  - Serialized Fields
    - label
```
Set<E> label
```
      set of roles that may affect the transition
    - cache
```
BitSet cache
```
    - state
```
int state
```
      state of the transition
- Class uk.ac.manchester.cs.jfact.kernel.ReasonerFreshEntityException extends org.semanticweb.owlapi.reasoner.OWLReasonerRuntimeException implements Serializable
  - Serialized Fields
    - iri
```
org.semanticweb.owlapi.model.IRI iri
```
      The iri.
- Class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel extends Object implements Serializable
  - Serialized Fields
    - kernelOptions
```
JFactReasonerConfiguration kernelOptions
```
      options for the kernel and all related substructures
    - pTBox
```
TBox pTBox
```
      local TBox (to be created)
    - ontology
```
Ontology ontology
```
      set of axioms
    - pET
```
ExpressionTranslator pET
```
      expression translator to work with queries
    - name2Sig
```
Map<K,V> name2Sig
```
    - ontoSig
```
Collection<E> ontoSig
```
      ontology signature (used in incremental)
    - interrupted
```
AtomicBoolean interrupted
```
    - cacheLevel
```
uk.ac.manchester.cs.jfact.kernel.CacheStatus cacheLevel
```
      cache level
    - cachedQueryTree
```
DLTree cachedQueryTree
```
      cached query concept description
    - cachedConcept
```
Concept cachedConcept
```
      cached concept (either defConcept or existing one)
    - cachedVertex
```
TaxonomyVertex cachedVertex
```
      cached query result (taxonomy position)
    - reasoningFailed
```
boolean reasoningFailed
```
      set if TBox throws an exception during preprocessing/classification
    - traceVec
```
List<E> traceVec
```
      trace vector for the last operation (set from the TBox trace-sets)
    - needTracing
```
boolean needTracing
```
      flag to gather trace information for the next reasoner's call
    - datatypeFactory
```
DatatypeFactory datatypeFactory
```
    - ke
```
KnowledgeExplorer ke
```
      knowledge exploration support
    - ad
```
uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition ad
```
      atomic decomposer
    - modSyn
```
org.semanticweb.owlapitools.decomposition.Decomposer modSyn
```
      syntactic locality based module extractor
    - modSem
```
org.semanticweb.owlapitools.decomposition.Decomposer modSem
```
      semantic locality based module extractor
    - result
```
Set<E> result
```
      set to return by the locality checking procedure
    - cachedQuery
```
ConceptExpression cachedQuery
```
      cached query input description
    - ignoreExprCache
```
boolean ignoreExprCache
```
      ignore cache for the TExpr* (useful for semantic AD)
    - moduleTimer
```
Timer moduleTimer
```
    - df
```
org.semanticweb.owlapi.model.OWLDataFactory df
```
- Class uk.ac.manchester.cs.jfact.kernel.Related extends Object implements Serializable
  - Serialized Fields
    - a
```
Individual a
```
    - b
```
Individual b
```
    - r
```
Role r
```
- Class uk.ac.manchester.cs.jfact.kernel.Restorer extends Object implements Serializable
  - Serialized Fields
    - raresavestackLevel
```
int raresavestackLevel
```
- Class uk.ac.manchester.cs.jfact.kernel.Role extends ClassifiableEntry implements Serializable
  - Serialized Fields
    - inverse
```
Role inverse
```
      role that are inverse of given one
    - pDomain
```
DLTree pDomain
```
      Domain of role as a concept description; default null
    - pSpecialDomain
```
DLTree pSpecialDomain
```
      Domain of role as a concept description; default NULL
    - bpSpecialDomain
```
int bpSpecialDomain
```
      domain in the form AR.Range for the complex roles
    - bpDomain
```
int bpDomain
```
      Domain of role as a pointer to DAG entry
    - functional
```
int functional
```
      pointer to role's functional definition DAG entry (or just TOP)
    - rel
```
long rel
```
      is role relevant to current query
    - domLabel
```
MergableLabel domLabel
```
      label of a domain (inverse role is used for a range label)
    - ancestorRoles
```
List<E> ancestorRoles
```
    - descendantRoles
```
List<E> descendantRoles
```
    - topFunctionalRoles
```
List<E> topFunctionalRoles
```
      set of the most functional super-roles
    - disjointRoles
```
Set<E> disjointRoles
```
      set of the roles that are disjoint with a given one
    - subCompositions
```
LinkedHashSet<E> subCompositions
```
      all compositions in the form R1*R2*\ldots*Rn [= R
    - ancestorMap
```
uk.ac.manchester.cs.chainsaw.FastSet ancestorMap
```
      bit-vector of all parents
    - disjointRolesIndex
```
uk.ac.manchester.cs.chainsaw.FastSet disjointRolesIndex
```
      bit-vector of all roles disjoint with current
    - automaton
```
RoleAutomaton automaton
```
      automaton for role
    - functionality
```
uk.ac.manchester.cs.jfact.kernel.Role.KnownValue functionality
```
      value for functionality
    - symmetry
```
uk.ac.manchester.cs.jfact.kernel.Role.KnownValue symmetry
```
      value for symmetry
    - asymmetry
```
uk.ac.manchester.cs.jfact.kernel.Role.KnownValue asymmetry
```
      value for asymmetricity
    - transitivity
```
uk.ac.manchester.cs.jfact.kernel.Role.KnownValue transitivity
```
      value for transitivity
    - reflexivity
```
uk.ac.manchester.cs.jfact.kernel.Role.KnownValue reflexivity
```
      value for reflexivity
    - irreflexivity
```
uk.ac.manchester.cs.jfact.kernel.Role.KnownValue irreflexivity
```
      value for reflexivity
    - specialDomain
```
boolean specialDomain
```
      flag to show that this role needs special R and D processing
    - dataRole
```
boolean dataRole
```
- Class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton extends Object implements Serializable
  - Serialized Fields
    - base
```
List<E> base
```
      all transitions of the automaton, groupped by a starting state
    - map
```
int[] map
```
      maps original automata state into the new ones (used in copyRA)
    - initialRA
```
int initialRA
```
      initial state of the next automaton in chain
    - inputSafe
```
boolean inputSafe
```
      flag whether automaton is input safe
    - outputSafe
```
boolean outputSafe
```
      flag whether automaton is output safe
    - complete
```
boolean complete
```
- Class uk.ac.manchester.cs.jfact.kernel.RoleMaster extends Object implements Serializable
  - Serialized Fields
    - newRoleId
```
int newRoleId
```
      number of the last registered role
    - roles
```
List<E> roles
```
      all registered roles
    - emptyRole
```
Role emptyRole
```
      internal empty role (bottom in the taxonomy)
    - universalRole
```
Role universalRole
```
      internal universal role (top in the taxonomy)
    - roleNS
```
NameSet<T,K> roleNS
```
      roles nameset
    - pTax
```
Taxonomy pTax
```
      Taxonomy of roles
    - disjointRolesA
```
List<E> disjointRolesA
```
      two halves of disjoint roles axioms
    - disjointRolesB
```
List<E> disjointRolesB
```
    - dataRoles
```
boolean dataRoles
```
      flag whether to create data roles or not
    - useUndefinedNames
```
boolean useUndefinedNames
```
      flag if it is possible to introduce new names
- Class uk.ac.manchester.cs.jfact.kernel.SaveStackRare extends Object implements Serializable
  - Serialized Fields
    - base
```
LinkedList<E> base
```
      heap of saved objects
    - curLevel
```
int curLevel
```
      current level
- Class uk.ac.manchester.cs.jfact.kernel.Taxonomy extends Object implements Serializable
  - Serialized Fields
    - graph
```
List<E> graph
```
      array of taxonomy verteces
    - current
```
TaxonomyVertex current
```
      aux. vertex to be included to taxonomy
    - willInsertIntoTaxonomy
```
boolean willInsertIntoTaxonomy
```
      behaviour flag: if true, insert temporary vertex into taxonomy
    - freshNode
```
TaxonomyVertex freshNode
```
      vertex with parent Top and child Bot, represents the fresh entity
    - visitedLabel
```
long visitedLabel
```
      labeller for marking nodes as checked
    - options
```
JFactReasonerConfiguration options
```
- Class uk.ac.manchester.cs.jfact.kernel.TaxonomyCreator extends Object implements Serializable
  - Serialized Fields
    - pTax
```
Taxonomy pTax
```
    - syns
```
List<E> syns
```
    - valueLabel
```
long valueLabel
```
      labeller for marking nodes with a label wrt classification
    - curEntry
```
ClassifiableEntry curEntry
```
      pointer to currently classified entry
    - nEntries
```
int nEntries
```
      number of tested entryes
    - nCDEntries
```
long nCDEntries
```
      number of completely-defined entries
    - useCompletelyDefined
```
boolean useCompletelyDefined
```
      optimisation flag: if entry is completely defined by it's told subsumers, no other classification required
    - upDirection
```
boolean upDirection
```
      session flag: shows the direction of the search
    - waitStack
```
LinkedList<E> waitStack
```
      stack for Taxonomy creation
    - ksStack
```
LinkedList<E> ksStack
```
      told subsumers corresponding to a given entry
    - sigStack
```
LinkedList<E> sigStack
```
      signature of a \bot-module corresponding to a given entry
- Class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex extends Object implements Serializable
  - Serialized Fields
    - linksParent
```
LinkedHashSet<E> linksParent
```
      immediate parents and children
    - linksChild
```
LinkedHashSet<E> linksChild
```
    - sample
```
ClassifiableEntry sample
```
      entry corresponding to current tax vertex
    - synonyms
```
Set<E> synonyms
```
      synonyms of the sample entry
    - checked
```
long checked
```
      flag if given vertex was checked; connected with checkLab
    - isValued
```
long isValued
```
      flag if given vertex has value; connected with valuedLab
    - common
```
int common
```
      number of common parents of a node
    - checkValue
```
boolean checkValue
```
      satisfiability value of a valued vertex
    - inUse
```
boolean inUse
```
      flag to check whether the vertex is in use
- Class uk.ac.manchester.cs.jfact.kernel.TBox extends Object implements Serializable
  - Serialized Fields
    - relevance
```
long relevance
```
    - dlHeap
```
DLDag dlHeap
```
    - stdReasoner
```
DlSatTester stdReasoner
```
      reasoner for TBox-related queries w/o nominals
    - nomReasoner
```
NominalReasoner nomReasoner
```
      reasoner for TBox-related queries with nominals
    - pTax
```
Taxonomy pTax
```
      taxonomy structure of a TBox
    - pTaxCreator
```
DLConceptTaxonomy pTaxCreator
```
      classifier
    - pName2Sig
```
Map<K,V> pName2Sig
```
      name-signature map
    - config
```
JFactReasonerConfiguration config
```
      set of reasoning options
    - kbStatus
```
KBStatus kbStatus
```
      status of the KB
    - kbFeatures
```
LogicFeatures kbFeatures
```
      global KB features
    - gciFeatures
```
LogicFeatures gciFeatures
```
      GCI features
    - nominalCloudFeatures
```
LogicFeatures nominalCloudFeatures
```
      nominal cloud features
    - auxFeatures
```
LogicFeatures auxFeatures
```
      aux features
    - curFeature
```
LogicFeatures curFeature
```
      pointer to current feature (in case of local ones)
    - pTemp
```
Concept pTemp
```
      concept representing temporary one that can not be used anywhere in the ontology
    - pQuery
```
Concept pQuery
```
      temporary concept that represents query
    - concepts
```
NamedEntryCollection<T extends NamedEntry> concepts
```
      all named concepts
    - individuals
```
NamedEntryCollection<T extends NamedEntry> individuals
```
      all named individuals/nominals
    - objectRoleMaster
```
RoleMaster objectRoleMaster
```
      "normal" (object) roles
    - dataRoleMaster
```
RoleMaster dataRoleMaster
```
      data roles
    - axioms
```
AxiomSet axioms
```
      set of GCIs
    - relatedIndividuals
```
List<E> relatedIndividuals
```
      given individual-individual relations
    - differentIndividuals
```
List<E> differentIndividuals
```
      known disjoint sets of individuals
    - simpleRules
```
List<E> simpleRules
```
      all simple rules in KB
    - internalisedGeneralAxiom
```
int internalisedGeneralAxiom
```
      internalisation of a general axioms
    - gcis
```
KBFlags gcis
```
      KB flags about GCIs
    - forallRCCache
```
Map<K,V> forallRCCache
```
      cache for the \forall R.C replacements during absorption
    - auxConceptID
```
int auxConceptID
```
      current aux concept's ID
    - nNominalReferences
```
int nNominalReferences
```
      how many times nominals were found during translation to DAG; local to BuildDAG
    - conceptInProcess
```
Set<E> conceptInProcess
```
      searchable stack for the told subsumers
    - fairness
```
List<E> fairness
```
      fairness constraints
    - duringClassification
```
boolean duringClassification
```
      let reasoner know that we are in the classificaton (for splits)
    - isLikeGALEN
```
boolean isLikeGALEN
```
      flag whether TBox is GALEN-like
    - isLikeWINE
```
boolean isLikeWINE
```
      flag whether TBox is WINE-like
    - consistent
```
boolean consistent
```
      whether KB is consistent
    - preprocTime
```
long preprocTime
```
      time spend for preprocessing
    - consistTime
```
long consistTime
```
      time spend for consistency checking
    - nC
```
int nC
```
      number of concepts and individuals; used to set index for modelCache
    - nR
```
AtomicInteger nR
```
      number of all distinct roles; used to set index for modelCache
    - conceptMap
```
List<E> conceptMap
```
      maps from concept index to concept itself
    - sameIndividuals
```
Map<K,V> sameIndividuals
```
      map to show the possible equivalence between individuals
    - toldSynonyms
```
Set<E> toldSynonyms
```
      all the synonyms in the told subsumers' cycle
    - status
```
KBStatus status
```
      status of the KB
    - extraConceptDefs
```
Map<K,V> extraConceptDefs
```
    - statistics
```
InAx statistics
```
    - arrayCD
```
List<E> arrayCD
```
    - arrayNoCD
```
List<E> arrayNoCD
```
    - arrayNP
```
List<E> arrayNP
```
    - nItems
```
int nItems
```
    - interrupted
```
AtomicBoolean interrupted
```
    - datatypeFactory
```
DatatypeFactory datatypeFactory
```
    - top
```
Concept top
```
    - bottom
```
Concept bottom
```
    - nRelevantCCalls
```
long nRelevantCCalls
```
    - nRelevantBCalls
```
long nRelevantBCalls
```
    - iv
```
uk.ac.manchester.cs.jfact.kernel.TBox.IterableVec<E> iv
```
    - conceptsForQueryAnswering
```
gnu.trove.list.array.TIntArrayList conceptsForQueryAnswering
```
    - df
```
org.semanticweb.owlapi.model.OWLDataFactory df
```
- Class uk.ac.manchester.cs.jfact.kernel.TDag2Interface extends Object implements Serializable
  - Serialized Fields
    - dag
```
DLDag dag
```
      DAG to be translated
    - cache
```
ExpressionCache cache
```
      expression manager
    - transConcept
```
List<E> transConcept
```
      vector of cached expressions
    - transData
```
List<E> transData
```
- Class uk.ac.manchester.cs.jfact.kernel.ToldSubsumers extends Object implements Serializable
  - Serialized Fields
    - beg
```
List<E> beg
```
      two iterators for the TS of a concept
Package uk.ac.manchester.cs.jfact.kernel.actors
- Class uk.ac.manchester.cs.jfact.kernel.actors.ClassPolicy extends Object implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.actors.DataPropertyPolicy extends Object implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.actors.IndividualPolicy extends Object implements Serializable
  - Serialized Fields
    - plain
```
boolean plain
```
- Class uk.ac.manchester.cs.jfact.kernel.actors.ObjectPropertyPolicy extends Object implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.actors.SupConceptActor extends Object implements Serializable
  - Serialized Fields
    - pe
```
ClassifiableEntry pe
```
Package uk.ac.manchester.cs.jfact.kernel.dl
- Class uk.ac.manchester.cs.jfact.kernel.dl.AbstractConceptDataCardinality extends Object implements Serializable
  - Serialized Fields
    - cardinality
```
int cardinality
```
    - dataRoleExpression
```
DataRoleExpression dataRoleExpression
```
      data role argument
    - expression
```
DataExpression expression
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptAnd extends NAryExpressionImpl<ConceptExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptBottom extends Object implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExactCardinality extends AbstractConceptDataCardinality implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExists extends Object implements Serializable
  - Serialized Fields
    - dataRoleExpression
```
DataRoleExpression dataRoleExpression
```
      data role argument
    - delegate
```
DataExpression delegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataForall extends Object implements Serializable
  - Serialized Fields
    - dataRoleExpression
```
DataRoleExpression dataRoleExpression
```
      data role argument
    - delegate
```
DataExpression delegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataMaxCardinality extends AbstractConceptDataCardinality implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataMinCardinality extends AbstractConceptDataCardinality implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataValue extends Object implements Serializable
  - Serialized Fields
    - dataValue
```
Literal<T extends Comparable<T>> dataValue
```
      data expression argument
    - delegate
```
DataRoleExpression delegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptName extends NamedEntityImpl implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptNot extends Object implements Serializable
  - Serialized Fields
    - conceptExpression
```
ConceptExpression conceptExpression
```
      concept argument
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExactCardinality extends Object implements Serializable
  - Serialized Fields
    - delegate
```
ConceptExpression delegate
```
    - n
```
int n
```
    - roleDelegate
```
ObjectRoleExpression roleDelegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExists extends Object implements Serializable
  - Serialized Fields
    - conceptExpression
```
ConceptExpression conceptExpression
```
      concept argument
    - delegate
```
ObjectRoleExpression delegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectForall extends Object implements Serializable
  - Serialized Fields
    - conceptExpression
```
ConceptExpression conceptExpression
```
      concept argument
    - delegate
```
ObjectRoleExpression delegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMaxCardinality extends Object implements Serializable
  - Serialized Fields
    - delegate
```
ConceptExpression delegate
```
    - n
```
int n
```
    - roleDelegate
```
ObjectRoleExpression roleDelegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMinCardinality extends Object implements Serializable
  - Serialized Fields
    - delegate
```
ConceptExpression delegate
```
    - n
```
int n
```
    - roleDelegate
```
ObjectRoleExpression roleDelegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectSelf extends Object implements Serializable
  - Serialized Fields
    - objectRoleExpression
```
ObjectRoleExpression objectRoleExpression
```
      object role argument
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectValue extends Object implements Serializable
  - Serialized Fields
    - delegate
```
ObjectRoleExpression delegate
```
    - individualExpression
```
IndividualExpression individualExpression
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptOneOf extends NAryExpressionImpl<I extends IndividualExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptOr extends NAryExpressionImpl<ConceptExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptTop extends Object implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataAnd extends NAryExpressionImpl<DataExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataBottom extends Object implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataNot extends Object implements Serializable
  - Serialized Fields
    - expr
```
DataExpression expr
```
      data expression argument
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataOneOf extends NAryExpressionImpl<Literal<?>> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataOr extends NAryExpressionImpl<DataExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataRoleBottom extends Object implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataRoleName extends NamedEntityImpl implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataRoleTop extends Object implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataTop extends Object implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.IndividualName extends NamedEntityImpl implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.NamedEntityImpl extends Object implements Serializable
  - Serialized Fields
    - entity
```
org.semanticweb.owlapi.model.OWLEntity entity
```
      name of the entity
    - entry
```
NamedEntry entry
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.NAryExpressionImpl extends Object implements Serializable
  - Serialized Fields
    - base
```
List<E> base
```
      set of equivalent concept descriptions
- Class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleBottom extends Object implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleChain extends NAryExpressionImpl<ObjectRoleExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleInverse extends Object implements Serializable
  - Serialized Fields
    - objectRoleExpression
```
ObjectRoleExpression objectRoleExpression
```
      object role argument
- Class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleName extends NamedEntityImpl implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionFrom extends Object implements Serializable
  - Serialized Fields
    - delegate
```
ConceptExpression delegate
```
    - roleDelegate
```
ObjectRoleExpression roleDelegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionInto extends Object implements Serializable
  - Serialized Fields
    - delegate
```
ConceptExpression delegate
```
    - roleDelegate
```
ObjectRoleExpression roleDelegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleTop extends Object implements Serializable
Package uk.ac.manchester.cs.jfact.kernel.dl.axioms
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AbstractNaryAxiom extends AxiomImpl implements Serializable
  - Serialized Fields
    - delegate
```
NAryExpressionImpl<A extends Expression> delegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomConceptInclusion extends AxiomImpl implements Serializable
  - Serialized Fields
    - subConcept
```
ConceptExpression subConcept
```
    - superConcept
```
ConceptExpression superConcept
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDeclaration extends AxiomImpl implements Serializable
  - Serialized Fields
    - expression
```
Expression expression
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDifferentIndividuals extends AbstractNaryAxiom<IndividualExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointConcepts extends AbstractNaryAxiom<ConceptExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointDRoles extends AbstractNaryAxiom<DataRoleExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointORoles extends AbstractNaryAxiom<ObjectRoleExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointUnion extends AbstractNaryAxiom<ConceptExpression> implements Serializable
  - Serialized Fields
    - conceptExpression
```
ConceptExpression conceptExpression
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleDomain extends AxiomSingleDRole implements Serializable
  - Serialized Fields
    - domain
```
ConceptExpression domain
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleFunctional extends AxiomSingleDRole implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleRange extends AxiomSingleDRole implements Serializable
  - Serialized Fields
    - range
```
DataExpression range
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleSubsumption extends AxiomSingleDRole implements Serializable
  - Serialized Fields
    - subRole
```
DataRoleExpression subRole
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentConcepts extends AbstractNaryAxiom<ConceptExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentDRoles extends AbstractNaryAxiom<DataRoleExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentORoles extends AbstractNaryAxiom<ObjectRoleExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomFairnessConstraint extends AbstractNaryAxiom<ConceptExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomImpl extends org.semanticweb.owlapitools.decomposition.AxiomWrapper implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomInstanceOf extends uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomIndividual implements Serializable
  - Serialized Fields
    - conceptExpression
```
ConceptExpression conceptExpression
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleDomain extends AxiomSingleORole implements Serializable
  - Serialized Fields
    - domain
```
ConceptExpression domain
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleFunctional extends AxiomSingleORole implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleRange extends AxiomSingleORole implements Serializable
  - Serialized Fields
    - range
```
ConceptExpression range
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleSubsumption extends AxiomSingleORole implements Serializable
  - Serialized Fields
    - subRole
```
ObjectRoleComplexExpression subRole
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedTo extends uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomIndividual implements Serializable
  - Serialized Fields
    - relatedIndividualExpression
```
IndividualExpression relatedIndividualExpression
```
    - objectRoleExpression
```
ObjectRoleExpression objectRoleExpression
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedToNot extends uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomIndividual implements Serializable
  - Serialized Fields
    - relatedIndividualExpression
```
IndividualExpression relatedIndividualExpression
```
    - objectRoleExpression
```
ObjectRoleExpression objectRoleExpression
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleAsymmetric extends AxiomSingleORole implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverse extends AxiomSingleORole implements Serializable
  - Serialized Fields
    - inverseRole
```
ObjectRoleExpression inverseRole
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverseFunctional extends AxiomSingleORole implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleIrreflexive extends AxiomSingleORole implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleReflexive extends AxiomSingleORole implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleSymmetric extends AxiomSingleORole implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleTransitive extends AxiomSingleORole implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSameIndividuals extends AbstractNaryAxiom<IndividualExpression> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleDRole extends AxiomImpl implements Serializable
  - Serialized Fields
    - role
```
DataRoleExpression role
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleORole extends AxiomImpl implements Serializable
  - Serialized Fields
    - role
```
ObjectRoleExpression role
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOf extends uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomIndividual implements Serializable
  - Serialized Fields
    - dataRoleExpression
```
DataRoleExpression dataRoleExpression
```
    - value
```
Literal<T extends Comparable<T>> value
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOfNot extends uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomIndividual implements Serializable
  - Serialized Fields
    - dataRoleExpression
```
DataRoleExpression dataRoleExpression
```
    - value
```
Literal<T extends Comparable<T>> value
```
Package uk.ac.manchester.cs.jfact.kernel.dl.interfaces
Package uk.ac.manchester.cs.jfact.kernel.modelcaches
- Class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheConst extends ModelCacheInterface implements Serializable
  - Serialized Fields
    - isTop
```
boolean isTop
```
      the itself
- Class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheIan extends ModelCacheInterface implements Serializable
  - Serialized Fields
    - posDConcepts
```
org.roaringbitmap.RoaringBitmap posDConcepts
```
      named concepts that appears positively det-lly in a root node of a cache
    - posNConcepts
```
org.roaringbitmap.RoaringBitmap posNConcepts
```
      named concepts that appears positively non-det in a root node of a cache
    - negDConcepts
```
org.roaringbitmap.RoaringBitmap negDConcepts
```
      named concepts that appears negatively det-lly in a root node of a cache
    - negNConcepts
```
org.roaringbitmap.RoaringBitmap negNConcepts
```
      named concepts that appears negatively non-det in a root node of a cache
    - extraDConcepts
```
uk.ac.manchester.cs.chainsaw.FastSet extraDConcepts
```
      extra det-lly concepts that are (partial) Simple Rule applications
    - extraNConcepts
```
uk.ac.manchester.cs.chainsaw.FastSet extraNConcepts
```
      extra non-det concepts that are (partial) Simple Rule applications
    - existsRoles
```
uk.ac.manchester.cs.chainsaw.FastSet existsRoles
```
      role names that are labels of the outgoing edges from the root node
    - forallRoles
```
uk.ac.manchester.cs.chainsaw.FastSet forallRoles
```
      role names that appears in the \A restrictions in the root node
    - funcRoles
```
uk.ac.manchester.cs.chainsaw.FastSet funcRoles
```
      role names that appears in the atmost restrictions in the root node
    - curState
```
ModelCacheState curState
```
      current state of cache model; recalculates on every change
    - nC
```
int nC
```
    - nR
```
int nR
```
    - simpleRules
```
JFactReasonerConfiguration simpleRules
```
- Class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheInterface extends Object implements Serializable
  - Serialized Fields
    - hasNominalNode
```
boolean hasNominalNode
```
      flag to show that model contains nominals
- Class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheSingleton extends ModelCacheInterface implements Serializable
  - Serialized Fields
    - singleton
```
int singleton
```
      the singleton itself
Package uk.ac.manchester.cs.jfact.kernel.options
- Class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration extends Object implements Serializable
  - Serialized Fields
    - dumpQuery
```
boolean dumpQuery
```
      Option 'dumpQuery' dumps sub-TBox relevant to given satisfiability/subsumption query.
    - alwaysPreferEquals
```
boolean alwaysPreferEquals
```
      Option 'alwaysPreferEquals' allows user to enforce usage of C=D definition instead of C[=D during absorption, even if implication appeares earlier in stream of axioms.
    - useSemanticBranching
```
boolean useSemanticBranching
```
      Option 'useSemanticBranching' switch semantic branching on and off. The usage of semantic branching usually leads to faster reasoning, but sometime could give small overhead.
    - useBackjumping
```
boolean useBackjumping
```
      Option 'useBackjumping' switch backjumping on and off. The usage of backjumping usually leads to much faster reasoning.
    - verboseOutput
```
boolean verboseOutput
```
      tell reasoner to use verbose output.
    - useLazyBlocking
```
boolean useLazyBlocking
```
      Option 'useLazyBlocking' makes checking of blocking status as small as possible. This greatly increase speed of reasoning.
    - useAnywhereBlocking
```
boolean useAnywhereBlocking
```
      Option 'useAnywhereBlocking' allow user to choose between Anywhere and Ancestor blocking.
    - useCompletelyDefined
```
boolean useCompletelyDefined
```
      Option 'useCompletelyDefined' leads to simpler Taxonomy creation if TBox contains no non-primitive concepts. Unfortunately, it is quite rare case.
    - useSpecialDomains
```
boolean useSpecialDomains
```
      Option 'useSpecialDomains' (development) controls the special processing of R and D for non-simple roles. Should always be set to true.
    - useIncrementalReasoning
```
boolean useIncrementalReasoning
```
      Option 'useIncrementalReasoning' (development) allows one to reason efficiently about small changes in the ontology.
    - useAxiomSplitting
```
boolean useAxiomSplitting
```
      The use axiom splitting.
    - useNodeCache
```
boolean useNodeCache
```
      flag to use caching during completion tree construction
    - useSortedReasoning
```
boolean useSortedReasoning
```
      whether we use sorted reasoning; depends on some simplifications.
    - allowUndefinedNames
```
boolean allowUndefinedNames
```
      Option 'allowUndefinedNames' describes the policy of undefined names.
    - needLogging
```
boolean needLogging
```
    - queryAnswering
```
boolean queryAnswering
```
      Option 'queryAnswering', if true, switches the reasoner to a query answering mode.
    - logAdapterStream
```
uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration.LogAdapterStream logAdapterStream
```
      The log adapter stream.
    - base
```
Map<K,V> base
```
      set of all avaliable (given) options.
    - progressMonitor
```
org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor progressMonitor
```
      The progress monitor.
    - freshEntityPolicy
```
org.semanticweb.owlapi.reasoner.FreshEntityPolicy freshEntityPolicy
```
      The fresh entity policy.
    - individualNodeSetPolicy
```
org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy individualNodeSetPolicy
```
      The individual node set policy.
    - timeOut
```
long timeOut
```
      The time out.
    - logAbsorptionAdapterStream
```
uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration.LogAdapterStream logAbsorptionAdapterStream
```
      The log absorption adapter stream.
    - useADInModuleExtraction
```
boolean useADInModuleExtraction
```
      The use ad in module extraction.
    - useLogging
```
boolean useLogging
```
      The use logging.
    - debugAbsorption
```
boolean debugAbsorption
```
      The rkg debug absorption.
    - improveSaveRestoreDepset
```
boolean improveSaveRestoreDepset
```
      The rkg improve save restore depset.
    - printDagUsage
```
boolean printDagUsage
```
      The rkg print dag usage.
    - useSimpleRules
```
boolean useSimpleRules
```
      The rkg use simple rules.
    - useReasoningStatistics
```
boolean useReasoningStatistics
```
      The use reasoning statistics.
    - updaterndFromSuperRoles
```
boolean updaterndFromSuperRoles
```
      The rkg update rnd from superroles.
    - useBlockingStatistics
```
boolean useBlockingStatistics
```
      The use blocking statistics.
    - useDynamicBackjumping
```
boolean useDynamicBackjumping
```
      The rkg use dynamic backjumping.
    - printTaxonomyInfo
```
boolean printTaxonomyInfo
```
      The tmp print taxonomy info.
    - debugSaveRestore
```
boolean debugSaveRestore
```
      The debug save restore.
    - useFairness
```
boolean useFairness
```
      The rkg use fairness.
    - debugSplitModules
```
boolean debugSplitModules
```
      The fpp debug split modules.
    - splits
```
boolean splits
```
      The splits.
    - useELReasoner
```
boolean useELReasoner
```
      whether EL polynomial reasoner should be used.
    - useUndefinedNames
```
boolean useUndefinedNames
```
      allow reasoner to use undefined names in queries.
    - nSkipBeforeBlock
```
int nSkipBeforeBlock
```
      how many nodes skip before block; work only with FAIRNESS
Package uk.ac.manchester.cs.jfact.kernel.state
- Class uk.ac.manchester.cs.jfact.kernel.state.DLCompletionGraphSaveState extends Object implements Serializable
  - Serialized Fields
    - nNodes
```
int nNodes
```
      number of valid nodes
    - sNodes
```
int sNodes
```
      end pointer of saved nodes
    - nEdges
```
int nEdges
```
      number of used edges
- Class uk.ac.manchester.cs.jfact.kernel.state.DLCompletionTreeSaveState extends Object implements Serializable
  - Serialized Fields
    - lab
```
SaveState lab
```
      saving status of the label
    - curLevel
```
int curLevel
```
      curLevel of the Node structure
    - nNeighbours
```
int nNeighbours
```
      amount of neighbours
- Class uk.ac.manchester.cs.jfact.kernel.state.SaveList extends LinkedList<DLCompletionTreeSaveState> implements Serializable
- Class uk.ac.manchester.cs.jfact.kernel.state.SaveState extends Object implements Serializable
  - Serialized Fields
    - sc
```
int sc
```
      states for simple-, complex- and extra labels
    - cc
```
int cc
```
Package uk.ac.manchester.cs.jfact.kernel.todolist
- Class uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue extends Object implements Serializable
  - Serialized Fields
    - wait
```
List<E> wait
```
      waiting ops queue
    - sPointer
```
int sPointer
```
      start pointer; points to the 1st element in the queue
- Class uk.ac.manchester.cs.jfact.kernel.todolist.QueueQueue extends ArrayQueue implements Serializable
  - Serialized Fields
    - stack
```
SaveStackRare stack
```
    - size
```
int size
```
      start pointer; points to the 1st element in the queue
- Class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoEntry extends Object implements Serializable
  - Serialized Fields
    - node
```
DlCompletionTree node
```
      node to include concept
    - concept
```
int concept
```
    - delegate
```
org.roaringbitmap.RoaringBitmap delegate
```
- Class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoList extends Object implements Serializable
  - Serialized Fields
    - queueID
```
ArrayQueue queueID
```
      waiting ops queue for IDs
    - queueNN
```
QueueQueue queueNN
```
      waiting ops queue for lesser than or equal ops in nominal nodes
    - waitQueue
```
List<E> waitQueue
```
      waiting ops queues
    - saveStack
```
SaveStack<T> saveStack
```
      stack of saved states
    - matrix
```
ToDoPriorMatrix matrix
```
      priority matrix
    - noe
```
int noe
```
      number of un-processed entries
- Class uk.ac.manchester.cs.jfact.kernel.todolist.TODOListSaveState extends Object implements Serializable
  - Serialized Fields
    - backup0key
```
int backup0key
```
      key queue 0
    - backup0value
```
int backup0value
```
      key queue 0
    - backup1key
```
int backup1key
```
      key queue 1
    - backup1value
```
int backup1value
```
      key queue 1
    - backup2key
```
int backup2key
```
      key queue 2
    - backup2value
```
int backup2value
```
      key queue 2
    - backup3key
```
int backup3key
```
      key queue 3
    - backup3value
```
int backup3value
```
      key queue 3
    - backup4key
```
int backup4key
```
      key queue 4
    - backup4value
```
int backup4value
```
      key queue 4
    - backup5key
```
int backup5key
```
      key queue 5
    - backup5value
```
int backup5value
```
      key queue 5
    - backup6key
```
int backup6key
```
      key queue 6
    - backup6value
```
int backup6value
```
      value queue 6
    - noe
```
int noe
```
      save number-of-entries to do
    - backupIDsp
```
int backupIDsp
```
    - backupIDep
```
int backupIDep
```
    - waitingQueue
```
List<E> waitingQueue
```
      save whole array
    - sp
```
int sp
```
      save start point of queue of entries
    - ep
```
int ep
```
      save end point of queue of entries
    - queueBroken
```
boolean queueBroken
```
      save flag of queue's consistency
- Class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoPriorMatrix extends Object implements Serializable
  - Serialized Fields
    - indexAnd
```
int indexAnd
```
    - indexOr
```
int indexOr
```
    - indexExists
```
int indexExists
```
    - indexForall
```
int indexForall
```
    - indexLE
```
int indexLE
```
    - indexGE
```
int indexGE
```
Package uk.ac.manchester.cs.jfact.visitors
- Class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter extends Object implements Serializable
- Class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter extends Object implements Serializable
  - Serialized Fields
    - defaultValue
```
Object defaultValue
```

Serialized Form

Package jfact.plugin.protege

Class jfact.plugin.protege.JFactRenderingViewComponent extends org.protege.editor.owl.ui.view.ontology.AbstractOntologyRenderingViewComponent implements Serializable

Package uk.ac.manchester.cs.jfact

Class uk.ac.manchester.cs.jfact.AxiomTranslator extends Object implements Serializable

Serialized Fields

v

o

tr

Class uk.ac.manchester.cs.jfact.ClassExpressionTranslator extends uk.ac.manchester.cs.jfact.OWLEntityTranslator<org.semanticweb.owlapi.model.OWLClass,ConceptExpression> implements Serializable

Class uk.ac.manchester.cs.jfact.ComplexObjectPropertyTranslator extends uk.ac.manchester.cs.jfact.OWLEntityTranslator<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,ObjectRoleComplexExpression> implements Serializable

Class uk.ac.manchester.cs.jfact.DataPropertyTranslator extends uk.ac.manchester.cs.jfact.OWLEntityTranslator<org.semanticweb.owlapi.model.OWLDataProperty,DataRoleExpression> implements Serializable

Class uk.ac.manchester.cs.jfact.DataRangeTranslator extends uk.ac.manchester.cs.jfact.OWLEntityTranslator<org.semanticweb.owlapi.model.OWLDatatype,DataExpression> implements Serializable

Serialized Fields

f

Class uk.ac.manchester.cs.jfact.DeclarationVisitorEx extends Object implements Serializable

Serialized Fields

o

df

tr

Class uk.ac.manchester.cs.jfact.EntailmentChecker extends Object implements Serializable

Serialized Fields

kernel

tr

df

Class uk.ac.manchester.cs.jfact.IndividualTranslator extends uk.ac.manchester.cs.jfact.OWLEntityTranslator<org.semanticweb.owlapi.model.OWLNamedIndividual,IndividualName> implements Serializable

Class uk.ac.manchester.cs.jfact.JFactFactory extends Object implements Serializable

Class uk.ac.manchester.cs.jfact.JFactReasoner extends Object implements Serializable

Serialization Methods

readObject

Serialized Fields

interrupted

kernel

em

root

bufferingMode

rawChanges

axioms

configuration

df

tr

consistencyVerified

knownEntities

datatypeFactory

Class uk.ac.manchester.cs.jfact.KnowledgeExplorer extends Object implements Serializable

Serialized Fields

cs

is

ors

drs

d2i

nodes

concepts

Class uk.ac.manchester.cs.jfact.ObjectPropertyTranslator extends uk.ac.manchester.cs.jfact.OWLEntityTranslator<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,ObjectRoleExpression> implements Serializable

Class uk.ac.manchester.cs.jfact.TranslationMachinery extends Object implements Serializable

Serialized Fields

axiomTranslator

classExpressionTranslator

dataRangeTranslator

objectPropertyTranslator

dataPropertyTranslator

individualTranslator

entailmentChecker

axiom2PtrMap

kernel

em

df

datatypefactory

entityVisitor

Package uk.ac.manchester.cs.jfact.datatypes

Class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype extends Object implements Serializable

Serialized Fields

facets

ancestors

knownNumericFacetValues

knownNonNumericFacetValues

uri

Class uk.ac.manchester.cs.jfact.datatypes.DatatypeEntry extends NamedEntry implements Serializable

Serialized Fields

type