Serialized Form (JFact 4.0.1 API)

Package jfact.plugin.protege
- Class jfact.plugin.protege.JFactRenderingViewComponent extends org.protege.editor.owl.ui.view.ontology.AbstractOntologyRenderingViewComponent implements Serializable
  
  serialVersionUID:
  
  40000L
Package uk.ac.manchester.cs.jfact
- Class uk.ac.manchester.cs.jfact.AxiomTranslator extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.ComplexObjectPropertyTranslator extends uk.ac.manchester.cs.jfact.OWLEntityTranslator<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,ObjectRoleComplexExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.DataPropertyTranslator extends uk.ac.manchester.cs.jfact.OWLEntityTranslator<org.semanticweb.owlapi.model.OWLDataProperty,DataRoleExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.DataRangeTranslator extends uk.ac.manchester.cs.jfact.OWLEntityTranslator<org.semanticweb.owlapi.model.OWLDatatype,DataExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - f
```
DatatypeFactory f
```
- Class uk.ac.manchester.cs.jfact.DeclarationVisitorEx extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.JFactFactory extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.JFactReasoner extends Object implements Serializable
  
  serialVersionUID:
  
  10000L
  - 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
```
    - reasonerAxioms
```
Set<E> reasonerAxioms
```
    - 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.ObjectPropertyTranslator extends uk.ac.manchester.cs.jfact.OWLEntityTranslator<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,ObjectRoleExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.TranslationMachinery extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
```
    - ptr2AxiomMap
```
Map<K,V> ptr2AxiomMap
```
    - kernel
```
ReasoningKernel kernel
```
    - em
```
ExpressionCache em
```
    - df
```
org.semanticweb.owlapi.model.OWLDataFactory df
```
    - datatypefactory
```
DatatypeFactory datatypefactory
```
Package uk.ac.manchester.cs.jfact.datatypes
- Class uk.ac.manchester.cs.jfact.datatypes.ABSTRACT_DATATYPE extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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.DatatypeFactory extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - knownDatatypes
```
Map<K,V> knownDatatypes
```
- Class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - host
```
Datatype<R extends Comparable<R>> host
```
    - uri
```
org.semanticweb.owlapi.model.IRI uri
```
- Class uk.ac.manchester.cs.jfact.datatypes.DataTypeReasoner extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - map
```
Map<K,V> map
```
      map Type.pName.Type appearance
    - clashDep
```
Reference<E> 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.datatypes.LiteralEntry extends NamedEntry implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.datatypes.Utils extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
Package uk.ac.manchester.cs.jfact.dep
- Class uk.ac.manchester.cs.jfact.dep.DepSet extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - delegate
```
org.roaringbitmap.RoaringBitmap delegate
```
    - cardinality
```
int cardinality
```
Package uk.ac.manchester.cs.jfact.helpers
- Class uk.ac.manchester.cs.jfact.helpers.ArrayIntMap extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - values
```
int[][] values
```
    - size
```
int size
```
- Class uk.ac.manchester.cs.jfact.helpers.DLTree extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.helpers.DLVertex extends uk.ac.manchester.cs.jfact.helpers.DLVertexTagDFS implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - child
```
uk.ac.manchester.cs.jfact.helpers.DLVertex.ChildSet child
```
      set of arguments (CEs, numbers for NR)
    - 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
    - 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.FastSetFactory extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.helpers.FastSetSimple extends uk.ac.manchester.cs.jfact.helpers.AbstractFastSet implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - values
```
int[] values
```
    - size
```
int size
```
- Class uk.ac.manchester.cs.jfact.helpers.Helper extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.helpers.Pair extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - first
```
Individual first
```
      The first.
    - second
```
boolean second
```
      The second.
- Class uk.ac.manchester.cs.jfact.helpers.Reference extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - e
```
Object e
```
- Class uk.ac.manchester.cs.jfact.helpers.SaveStack extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - list
```
LinkedList<E> list
```
- Class uk.ac.manchester.cs.jfact.helpers.Stats extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
Package uk.ac.manchester.cs.jfact.kernel
- Class uk.ac.manchester.cs.jfact.kernel.Axiom extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - origin
```
Axiom origin
```
    - disjuncts
```
Set<E> disjuncts
```
      GCI is presented in the form (or Disjuncts);
    - atom
```
TOntologyAtom atom
```
- Class uk.ac.manchester.cs.jfact.kernel.AxiomSet extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
```
    - lesserEquals
```
Set<E> lesserEquals
```
- Class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry extends NamedEntry implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - taxVertex
```
TaxonomyVertex taxVertex
```
      link to taxonomy entry for current entry
    - toldSubsumers
```
Set<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
  
  serialVersionUID:
  
  11000L
  - 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
```
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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
```
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
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - label
```
CGLabel label
```
      label of a node
    - inequalityRelation
```
List<E> inequalityRelation
```
      inequality relation information respecting current node
    - inequalityRelation_helper
```
Map<K,V> inequalityRelation_helper
```
    - neighbour
```
List<E> neighbour
```
      Neighbours information
    - neighbourSize
```
int neighbourSize
```
    - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - heap
```
List<E> heap
```
      body of DAG
    - listAnds
```
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
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - SessionGCIs
```
List<E> SessionGCIs
```
      GCIs local to session
    - ActiveSplits
```
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
```
FastSet used
```
    - gcis
```
KBFlags gcis
```
      GCI-related KB flags
    - inProcess
```
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.ConceptNameCreator extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.ExpressionCache.DataroleNameCreator extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.ExpressionCache.IndividualNameCreator extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.ExpressionCache.InverseRoleCache extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - map
```
Map<K,V> map
```
      map tail into an object head(tail)
- Class uk.ac.manchester.cs.jfact.kernel.ExpressionCache.ObjectroleNameCreator extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.ExpressionManager extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - tbox
```
TBox tbox
```
      TBox to get access to the named entities
    - sig
```
TSignature sig
```
      signature of non-trivial entities; used in semantic locality checkers only
- Class uk.ac.manchester.cs.jfact.kernel.InAx extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.Individual extends Concept implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - GCI
```
boolean GCI
```
    - RnD
```
boolean RnD
```
    - Reflexive
```
boolean Reflexive
```
- Class uk.ac.manchester.cs.jfact.kernel.KnownSubsumers extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.Lexeme extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - flags
```
BitSet flags
```
      all flags in one long
- Class uk.ac.manchester.cs.jfact.kernel.MergableLabel extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - pSample
```
MergableLabel pSample
```
      sample for all equivalent labels
- Class uk.ac.manchester.cs.jfact.kernel.NamedEntry extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - creator
```
NameCreator<T,K> creator
```
      creator of new name
- Class uk.ac.manchester.cs.jfact.kernel.NominalReasoner extends DlSatTester implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - nominals
```
List<E> nominals
```
      all nominals defined in TBox
- Class uk.ac.manchester.cs.jfact.kernel.Ontology extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - iri
```
org.semanticweb.owlapi.model.IRI iri
```
      The iri.
- Class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
```
TSignature 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
```
AtomicDecomposer AD
```
      atomic decomposer
    - ModSyn
```
OntologyBasedModularizer ModSyn
```
      syntactic locality based module extractor
    - ModSem
```
OntologyBasedModularizer 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
```
- Class uk.ac.manchester.cs.jfact.kernel.Related extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - a
```
Individual a
```
    - b
```
Individual b
```
    - R
```
Role R
```
- Class uk.ac.manchester.cs.jfact.kernel.Restorer extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - raresavestackLevel
```
int raresavestackLevel
```
- Class uk.ac.manchester.cs.jfact.kernel.Role extends ClassifiableEntry implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
```
FastSet ancestorMap
```
      bit-vector of all parents
    - disjointRolesIndex
```
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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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.RoleMaster.RoleCreator extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.SaveStackRare extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
    - forall_R_C_Cache
```
Map<K,V> forall_R_C_Cache
```
      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)
    - nSkipBeforeBlock
```
int nSkipBeforeBlock
```
      how many nodes skip before block; work only with FAIRNESS
    - 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
```
int 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
```
    - 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<Elem> IV
```
    - conceptsForQueryAnswering
```
List<E> conceptsForQueryAnswering
```
- Class uk.ac.manchester.cs.jfact.kernel.TDag2Interface extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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 KnownSubsumers implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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.ActorImpl extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - found
```
List<E> found
```
      vertices that satisfy the condition
    - isRole
```
boolean isRole
```
      flag to look at concept-like or role-like entities
    - isStandard
```
boolean isStandard
```
      flag to look at concepts or object roles
    - interrupt
```
boolean interrupt
```
      flag to throw exception at the 1st found
- Class uk.ac.manchester.cs.jfact.kernel.actors.AddRoleActor extends ActorImpl implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - rset
```
List<E> rset
```
- Class uk.ac.manchester.cs.jfact.kernel.actors.ClassPolicy extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.actors.DataPropertyPolicy extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.actors.IndividualPolicy extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - plain
```
boolean plain
```
- Class uk.ac.manchester.cs.jfact.kernel.actors.ObjectPropertyPolicy extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.actors.RIActor extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - acc
```
List<E> acc
```
- Class uk.ac.manchester.cs.jfact.kernel.actors.SupConceptActor extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - pe
```
ClassifiableEntry pe
```
- Class uk.ac.manchester.cs.jfact.kernel.actors.TaxonomyActor extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - policy
```
Policy policy
```
    - cache
```
ExpressionCache cache
```
    - acc
```
List<E> acc
```
      2D array to return
    - plain
```
List<E> plain
```
      1D array to return
    - syn
```
List<E> syn
```
      temporary vector to keep synonyms
Package uk.ac.manchester.cs.jfact.kernel.dl
- Class uk.ac.manchester.cs.jfact.kernel.dl.AbstractConceptDataCardinality extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptBottom extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExactCardinality extends AbstractConceptDataCardinality implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExists extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - dataRoleExpression
```
DataRoleExpression dataRoleExpression
```
      data role argument
    - delegate
```
DataExpression delegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataForall extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - dataRoleExpression
```
DataRoleExpression dataRoleExpression
```
      data role argument
    - delegate
```
DataExpression delegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataMaxCardinality extends AbstractConceptDataCardinality implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataMinCardinality extends AbstractConceptDataCardinality implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataValue extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptNot extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - conceptExpression
```
ConceptExpression conceptExpression
```
      concept argument
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExactCardinality extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - delegate
```
ConceptExpression delegate
```
    - N
```
int N
```
    - roleDelegate
```
ObjectRoleExpression roleDelegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExists extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - conceptExpression
```
ConceptExpression conceptExpression
```
      concept argument
    - delegate
```
ObjectRoleExpression delegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectForall extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - conceptExpression
```
ConceptExpression conceptExpression
```
      concept argument
    - delegate
```
ObjectRoleExpression delegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMaxCardinality extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - delegate
```
ConceptExpression delegate
```
    - N
```
int N
```
    - roleDelegate
```
ObjectRoleExpression roleDelegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMinCardinality extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - delegate
```
ConceptExpression delegate
```
    - N
```
int N
```
    - roleDelegate
```
ObjectRoleExpression roleDelegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectSelf extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - objectRoleExpression
```
ObjectRoleExpression objectRoleExpression
```
      object role argument
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectValue extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - delegate
```
ObjectRoleExpression delegate
```
    - individualExpression
```
IndividualExpression individualExpression
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptOneOf extends NAryExpressionImpl<I extends IndividualExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptOr extends NAryExpressionImpl<ConceptExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.ConceptTop extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataAnd extends NAryExpressionImpl<DataExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataBottom extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataNot extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - Expr
```
DataExpression Expr
```
      data expression argument
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataOneOf extends NAryExpressionImpl<Literal<?>> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataOr extends NAryExpressionImpl<DataExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataRoleBottom extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataRoleName extends NamedEntityImpl implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataRoleTop extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.DataTop extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.IndividualName extends NamedEntityImpl implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.NamedEntityImpl extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - name
```
org.semanticweb.owlapi.model.IRI name
```
      name of the entity
    - entry
```
NamedEntry entry
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.NAryExpressionImpl extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - Base
```
List<E> Base
```
      set of equivalent concept descriptions
- Class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleBottom extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleChain extends NAryExpressionImpl<ObjectRoleExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleInverse extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - objectRoleExpression
```
ObjectRoleExpression objectRoleExpression
```
      object role argument
- Class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleName extends NamedEntityImpl implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionFrom extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - delegate
```
ConceptExpression delegate
```
    - roleDelegate
```
ObjectRoleExpression roleDelegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionInto extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - delegate
```
ConceptExpression delegate
```
    - roleDelegate
```
ObjectRoleExpression roleDelegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleTop extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
Package uk.ac.manchester.cs.jfact.kernel.dl.axioms
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AbstractNaryAxiom extends uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomImpl implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - delegate
```
NAryExpressionImpl<A extends Expression> delegate
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomConceptInclusion extends uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomImpl implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - subConcept
```
ConceptExpression subConcept
```
    - superConcept
```
ConceptExpression superConcept
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDeclaration extends uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomImpl implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - expression
```
Expression expression
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDifferentIndividuals extends AbstractNaryAxiom<IndividualExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointConcepts extends AbstractNaryAxiom<ConceptExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointDRoles extends AbstractNaryAxiom<DataRoleExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointORoles extends AbstractNaryAxiom<ObjectRoleExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointUnion extends AbstractNaryAxiom<ConceptExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - conceptExpression
```
ConceptExpression conceptExpression
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleDomain extends AxiomSingleDRole implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - domain
```
ConceptExpression domain
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleFunctional extends AxiomSingleDRole implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleRange extends AxiomSingleDRole implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - range
```
DataExpression range
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleSubsumption extends AxiomSingleDRole implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - subRole
```
DataRoleExpression subRole
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentConcepts extends AbstractNaryAxiom<ConceptExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentDRoles extends AbstractNaryAxiom<DataRoleExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentORoles extends AbstractNaryAxiom<ObjectRoleExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomFairnessConstraint extends AbstractNaryAxiom<ConceptExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomInstanceOf extends uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomIndividual implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - conceptExpression
```
ConceptExpression conceptExpression
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleDomain extends AxiomSingleORole implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - domain
```
ConceptExpression domain
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleFunctional extends AxiomSingleORole implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleRange extends AxiomSingleORole implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - range
```
ConceptExpression range
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleSubsumption extends AxiomSingleORole implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - individualExpression
```
IndividualExpression individualExpression
```
    - 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
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - individualExpression
```
IndividualExpression individualExpression
```
    - objectRoleExpression
```
ObjectRoleExpression objectRoleExpression
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleAsymmetric extends AxiomSingleORole implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverse extends AxiomSingleORole implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - inverseRole
```
ObjectRoleExpression inverseRole
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverseFunctional extends AxiomSingleORole implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleIrreflexive extends AxiomSingleORole implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleReflexive extends AxiomSingleORole implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleSymmetric extends AxiomSingleORole implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleTransitive extends AxiomSingleORole implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSameIndividuals extends AbstractNaryAxiom<IndividualExpression> implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleDRole extends uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomImpl implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - role
```
DataRoleExpression role
```
- Class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleORole extends uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomImpl implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - dataRoleExpression
```
DataRoleExpression dataRoleExpression
```
    - value
```
Literal<T extends Comparable<T>> value
```
Package uk.ac.manchester.cs.jfact.kernel.modelcaches
- Class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheConst extends ModelCacheInterface implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - isTop
```
boolean isTop
```
      the itself
- Class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheIan extends ModelCacheInterface implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - posDConcepts
```
BitSet posDConcepts
```
      named concepts that appears positively det-lly in a root node of a cache
    - posNConcepts
```
BitSet posNConcepts
```
      named concepts that appears positively non-det in a root node of a cache
    - negDConcepts
```
BitSet negDConcepts
```
      named concepts that appears negatively det-lly in a root node of a cache
    - negNConcepts
```
BitSet negNConcepts
```
      named concepts that appears negatively non-det in a root node of a cache
    - extraDConcepts
```
FastSet extraDConcepts
```
      extra det-lly concepts that are (partial) Simple Rule applications
    - extraNConcepts
```
FastSet extraNConcepts
```
      extra non-det concepts that are (partial) Simple Rule applications
    - existsRoles
```
FastSet existsRoles
```
      role names that are labels of the outgoing edges from the root node
    - forallRoles
```
FastSet forallRoles
```
      role names that appears in the \A restrictions in the root node
    - funcRoles
```
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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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.
    - 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.
    - USE_LOGGING
```
boolean USE_LOGGING
```
      The use logging.
    - RKG_DEBUG_ABSORPTION
```
boolean RKG_DEBUG_ABSORPTION
```
      The rkg debug absorption.
    - RKG_IMPROVE_SAVE_RESTORE_DEPSET
```
boolean RKG_IMPROVE_SAVE_RESTORE_DEPSET
```
      The rkg improve save restore depset.
    - RKG_PRINT_DAG_USAGE
```
boolean RKG_PRINT_DAG_USAGE
```
      The rkg print dag usage.
    - RKG_USE_SIMPLE_RULES
```
boolean RKG_USE_SIMPLE_RULES
```
      The rkg use simple rules.
    - RKG_USE_SORTED_REASONING
```
boolean RKG_USE_SORTED_REASONING
```
      The rkg use sorted reasoning.
    - USE_REASONING_STATISTICS
```
boolean USE_REASONING_STATISTICS
```
      The use reasoning statistics.
    - RKG_UPDATE_RND_FROM_SUPERROLES
```
boolean RKG_UPDATE_RND_FROM_SUPERROLES
```
      The rkg update rnd from superroles.
    - USE_BLOCKING_STATISTICS
```
boolean USE_BLOCKING_STATISTICS
```
      The use blocking statistics.
    - RKG_USE_DYNAMIC_BACKJUMPING
```
boolean RKG_USE_DYNAMIC_BACKJUMPING
```
      The rkg use dynamic backjumping.
    - TMP_PRINT_TAXONOMY_INFO
```
boolean TMP_PRINT_TAXONOMY_INFO
```
      The tmp print taxonomy info.
    - DEBUG_SAVE_RESTORE
```
boolean DEBUG_SAVE_RESTORE
```
      The debug save restore.
    - RKG_USE_FAIRNESS
```
boolean RKG_USE_FAIRNESS
```
      The rkg use fairness.
    - FPP_DEBUG_SPLIT_MODULES
```
boolean FPP_DEBUG_SPLIT_MODULES
```
      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.
    - empty
```
LogAdapter empty
```
      The empty.
    - logAdapterStream
```
uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration.LogAdapterStream logAdapterStream
```
      The log adapter stream.
    - 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.
Package uk.ac.manchester.cs.jfact.kernel.state
- Class uk.ac.manchester.cs.jfact.kernel.state.DLCompletionGraphSaveState extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.kernel.state.SaveState extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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 Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - _Wait
```
List<E> _Wait
```
      waiting ops queue
    - stack
```
SaveStackRare stack
```
    - sPointer
```
int sPointer
```
      start pointer; points to the 1st element in the queue
    - size
```
int size
```
- Class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoEntry extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
  
  serialVersionUID:
  
  11000L
  - 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
    - backupID_sp
```
int backupID_sp
```
    - backupID_ep
```
int backupID_ep
```
    - 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
  
  serialVersionUID:
  
  11000L
  - 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.kernel.voc
- Class uk.ac.manchester.cs.jfact.kernel.voc.Vocabulary extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
Package uk.ac.manchester.cs.jfact.split
- Class uk.ac.manchester.cs.jfact.split.AOStructure extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - Atoms
```
List<E> Atoms
```
      all the atoms
- Class uk.ac.manchester.cs.jfact.split.AtomicDecomposer extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - AOS
```
AOStructure AOS
```
      atomic structure to build
    - Modularizer
```
TModularizer Modularizer
```
      modularizer to build modules
    - Tautologies
```
List<E> Tautologies
```
      tautologies of the ontology
    - PI
```
uk.ac.manchester.cs.jfact.split.ProgressIndicatorInterface PI
```
      progress indicator
    - rootAtom
```
TOntologyAtom rootAtom
```
      fake atom that represents the whole ontology
    - type
```
ModuleType type
```
      module type for current AOS creation
- Class uk.ac.manchester.cs.jfact.split.BotEquivalenceEvaluator extends SigAccessor implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - TopEval
```
TopEquivalenceEvaluator TopEval
```
      corresponding top evaluator
    - isBotEq
```
boolean isBotEq
```
      keep the value here
- Class uk.ac.manchester.cs.jfact.split.ExpressionFromAxiomBuilder extends DLAxiomVisitorExAdapter<ConceptExpression> implements Serializable
  
  serialVersionUID:
  
  10201L
- Class uk.ac.manchester.cs.jfact.split.ExtendedSyntacticLocalityChecker extends GeneralSyntacticLocalityChecker implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - UBD
```
uk.ac.manchester.cs.jfact.split.UpperBoundDirectEvaluator UBD
```
    - LBD
```
uk.ac.manchester.cs.jfact.split.LowerBoundDirectEvaluator LBD
```
    - UBC
```
uk.ac.manchester.cs.jfact.split.UpperBoundComplementEvaluator UBC
```
    - LBC
```
uk.ac.manchester.cs.jfact.split.LowerBoundComplementEvaluator LBC
```
- Class uk.ac.manchester.cs.jfact.split.GeneralSyntacticLocalityChecker extends SigAccessor implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - TopEval
```
TopEquivalenceEvaluator TopEval
```
      top evaluator
    - BotEval
```
BotEquivalenceEvaluator BotEval
```
      bottom evaluator
    - isLocal
```
boolean isLocal
```
      remember the axiom locality value here
- Class uk.ac.manchester.cs.jfact.split.KnowledgeExplorer extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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.split.OntologyBasedModularizer extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - ontology
```
Ontology ontology
```
    - Modularizer
```
TModularizer Modularizer
```
- Class uk.ac.manchester.cs.jfact.split.SemanticLocalityChecker extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - Kernel
```
ReasoningKernel Kernel
```
      Reasoner to detect the tautology
    - pEM
```
ExpressionCache pEM
```
      Expression manager of a kernel
    - ExprMap
```
Map<K,V> ExprMap
```
      map between axioms and concept expressions
    - sig
```
TSignature sig
```
      signature to keep
    - isLocal
```
boolean isLocal
```
      remember the axiom locality value here
- Class uk.ac.manchester.cs.jfact.split.SigAccessor extends DLExpressionVisitorAdapter implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - sig
```
TSignature sig
```
      signature of a module
- Class uk.ac.manchester.cs.jfact.split.SigIndex extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - Base
```
com.google.common.collect.Multimap<K,V> Base
```
      map between entities and axioms that contains them in their signature
    - Checker
```
LocalityChecker Checker
```
      locality checker
    - NonLocalTrue
```
Set<E> NonLocalTrue
```
      sets of axioms non-local wrt the empty signature
    - NonLocalFalse
```
Set<E> NonLocalFalse
```
    - emptySig
```
TSignature emptySig
```
      empty signature to test the non-locality
    - nRegistered
```
int nRegistered
```
      number of registered axioms
    - nUnregistered
```
int nUnregistered
```
      number of registered axioms
- Class uk.ac.manchester.cs.jfact.split.SplitVarEntry extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - name
```
ConceptName name
```
      entry name
    - concept
```
Concept concept
```
      internal name
    - sig
```
TSignature sig
```
      signature
    - Module
```
Set<E> Module
```
      module
- Class uk.ac.manchester.cs.jfact.split.SyntacticLocalityChecker extends GeneralSyntacticLocalityChecker implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.split.TModularizer extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - sig
```
TSignature sig
```
      shared signature signature
    - Checker
```
LocalityChecker Checker
```
      internal syntactic locality checker
    - Module
```
List<E> Module
```
      module as a list of axioms
    - sigIndex
```
SigIndex sigIndex
```
      pointer to a sig index; if not NULL then use optimized algo
    - noAtomsProcessing
```
boolean noAtomsProcessing
```
      true if no atoms are processed ATM
    - WorkQueue
```
List<E> WorkQueue
```
      queue of unprocessed entities
    - nChecks
```
long nChecks
```
      number of locality check calls
    - nNonLocal
```
long nNonLocal
```
      number of non-local axioms
    - config
```
JFactReasonerConfiguration config
```
- Class uk.ac.manchester.cs.jfact.split.TOntologyAtom extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - AtomAxioms
```
Set<E> AtomAxioms
```
      set of axioms in the atom
    - ModuleAxioms
```
Set<E> ModuleAxioms
```
      set of axioms in the module (Atom's ideal)
    - DepAtoms
```
Set<E> DepAtoms
```
      set of atoms current one depends on
    - AllDepAtoms
```
Set<E> AllDepAtoms
```
      set of all atoms current one depends on
    - Id
```
int Id
```
      unique atom's identifier
- Class uk.ac.manchester.cs.jfact.split.TopEquivalenceEvaluator extends SigAccessor implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - BotEval
```
BotEquivalenceEvaluator BotEval
```
      corresponding bottom evaluator
    - isTopEq
```
boolean isTopEq
```
      keep the value here
- Class uk.ac.manchester.cs.jfact.split.TSignature extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - set
```
Set<E> set
```
      set to keep all the elements in signature
    - topCLocality
```
boolean topCLocality
```
      true if concept TOP-locality; false if concept BOTTOM-locality
    - topRLocality
```
boolean topRLocality
```
      true if role TOP-locality; false if role BOTTOM-locality
- Class uk.ac.manchester.cs.jfact.split.TSignatureUpdater extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - Updater
```
uk.ac.manchester.cs.jfact.split.TExpressionSignatureUpdater Updater
```
      helper with expressions
Package uk.ac.manchester.cs.jfact.visitors
- Class uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorAdapter extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorExAdapter extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - Serialized Fields
    - defaultValue
```
Object defaultValue
```
- Class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
- Class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter extends Object implements Serializable
  
  serialVersionUID:
  
  11000L
  - 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

Serialized Fields

interrupted

kernel

em

root

bufferingMode

rawChanges

reasonerAxioms

configuration

df

tr

consistencyVerified

knownEntities

datatypeFactory

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

ptr2AxiomMap

kernel

em

df

datatypefactory

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

Class uk.ac.manchester.cs.jfact.datatypes.ABSTRACT_DATATYPE 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

pName

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

Serialized Fields

knownDatatypes

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

Serialized Fields

host

uri

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

Serialized Fields

map