|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
AxiomLoader that minimizes the
effort to implement the interface.ElkClassExpressions,
ElkSubObjectPropertyExpressions, and ElkIndividuals to
corresponding IndexedObjects that simply throws an
ElkIndexingException on all arguments.IndexedObject to this OntologyIndex
IndexedClassExpression
BackwardLink to this Context.
ElkClass to the signature of this
OntologyIndex
OntologyIndex.
IndexedDisjointnessAxiom to this
Context.
IndexedBinaryPropertyChain to the list of
IndexedBinaryPropertyChain that contains this
IndexedPropertyChain in the left-hand-side
ElkNamedIndividual to the signature of this
OntologyIndex
IndexedObjectProperty
IndexedBinaryPropertyChain to the list of
IndexedBinaryPropertyChain that contains this
IndexedPropertyChain in the right-hand-side
IndexedClassExpression to the subsumers of the
root IndexedClassExpression of this Context.
Conclusion to be processed within this
Context.
Node created for an anonymous ElkObject that should not be
listed among its membersBasicSaturationStateWriter
ReasonerStage during which the input ontology is loaded into the
reasoner.Conclusion representing derived existential restrictions from a
source Context to this target Context.ElkAxiomIndexingVisitor to
ElkAxiomProcessor specifically for classes which index axioms.ReasonerComputation that continues saturation based on what's
currently initialized in the RuleApplicationFactoryReasonerComputation that computes saturation for the input
collection of IndexedClassExpressionsClassExpressionSaturationFactory.ReasonerStage which computes saturation for every class of the
ontologyTaxonomy.SaturatedPropertyChain
DifferentialIndex; these
rules should be already applied in the main index during their
registration
DifferentialIndex.
AxiomLoader that consists of two given AxiomLoaders.ConclusionVisitor that marks the source context of the conclusion
as not saturatedReasonerComputation for checking consistency of the ontology.IndexedClassExpression is a subsumer of
the root IndexedClassExpression of this Context.
IndexedClassExpression, stored as a root of the
Context.RuleDeapplicationFactory that its own saturation state riter that does not produce conclusions if
their source is marked as saturated.Context for the given root
IndexedClassExpression.
Reasoner with the configuration loaded from
elk.properties (if exists in the classpath) or the default configuration
Reasoner with the provided configuration
SaturationStateImpl
DecompositionRuleApplicationVisitor.DecompositionRuleApplicationVisitor wrapper for a given
DecompositionRuleApplicationVisitor that additionally records the
number of invocations of the methods using the given
DecompositionRuleApplicationCounter.DecompositionRuleApplicationVisitor that executes
the corresponding methods of the given
DecompositionRuleApplicationVisitor and counts the number of
invocations of the corresponding methods using the given
DecompositionRuleApplicationCounter.
DecompositionRuleApplicationVisitor that executes
the corresponding methods of the given
DecompositionRuleApplicationVisitor and measures the time spent
within the corresponding methods using the given
DecompositionRuleApplicationTimer.
IndexedClassExpressions.AxiomLoader
ClassExpressionSaturationListener that does nothing with finished
jobsTaxonomy to the specified Writer.
Taxonomy to a file at the given
location.
SaturatedPropertyChain
InstanceTaxonomy to the specified
Writer.
InstanceTaxonomy to a file at
the given location.
ElkObject cannot
be represented within the index datastructure, that is, it is not supported
by the reasoner.AxiomLoader that loads nothingAxiomLoaders.
Conclusion representing derived existential restrictions from this
source Context to a target Context.ModifiableLinkRule created for
ForwardLinks and stored in the Context where it is
produced.InstanceNodes that are (possibly
indirect) instances of this TypeNode.
TypeNodes of which the members of this
InstanceNode are (possibly indirect) instances.
ConclusionVisitor that performs processing
of Conclusions within a Context.
TaxonomyNode for the given ElkClassExpression.
ConclusionVisitor that is used by this
RuleApplicationFactory.DefaultEngine for processing Conclusions within
Contexts
InstanceNodes that are direct
instances of this TypeNode.
IndexedClassExpressions that occur exactly once in this
IndexedDisjointnessAxiom
Node containing equivalent classes of the given
ElkClassExpression.
ExtendedSaturationStateWriter for modifying this
SaturationState associated with the given
ContextCreationListener.
Taxonomy.
owl:Nothing
owl:Thing
InstanceNode from the taxonomy.
TypeNode object for a given ElkClass, or
null if none assigned.
ElkClassExpression as specified by the parameter.
TaxonomyNode containing the given ElkObject
as a member or null if the input does not occur in the taxonomy.
null if the job has not been
processed yet.
ElkClassExpression as specified by the parameter.
ElkClassExpression as specified by the parameter.
TaxonomyNode from the taxonomy.
TypeNode from the taxonomy.
TypeNode object for a given ElkClass, or
null if none assigned.
ElkNamedIndividual.
ConclusionVisitor that applies inference rules to
Conclusions by wrapping, if necessary, with the code
producing statistics
IndexedAxioms to be used in KeyEntryHashSet.ElkSubObjectPropertyExpressions.IndexedBinaryPropertyChainIndexedBinaryPropertyChain
.ElkClass in an ontology.owl:Thing to the context.ElkClass or ElkIndividual in
an ontology.IndexedClassEntity.IndexedClassElkClassExpression in an ontology.IndexedClassExpressions to be used in KeyEntryHashSet.IndexedClassExpression.IndexedClass.ElkObjectHasValue in an ontology.IndexedDataHasValueIndexedDataHasValue.IndexedDisjointnessAxiom.ThisCompositionRule derives the disjointness axioms as a new kind
of element.Contradiction for inconsistent members of
this IndexedDisjointnessAxiom.IndexedDisjointnessAxiomIndexedClassExpressions and
IndexedPropertyChains that wraps the visited objects in the
corresponding Entry wrapper to redefine equality.ElkIndividual in an ontology.IndexedIndividualIndexedIndividual.IndexedObjects in the ontology backed by a
KeyEntryHashSet.ElkObjectComplementOf in an
ontology.IndexedObjectComplementOfIndexedObjectComplementOf.IndexedObjects to be used in KeyEntryHashSet.ElkObjectIntersectionOf in an
ontology.IndexedObjectIntersectionOfIndexedObjectIntersectionOf.IndexedObjectPropertyIndexedObjectProperty.ElkObjectSomeValuesFrom in an
ontology.IndexedObjectSomeValuesFromIndexedObjectSomeValuesFrom.ElkObjectUnionOf in an ontology.IndexedObjectUnionOfIndexedObjectUnionOf.ElkSubObjectPropertyExpression in an
ontology.IndexedPropertyChains to be used in KeyEntryHashSet.IndexedPropertyChain.IndexedSubClassOfAxiomElkClassExpressions,
ElkSubObjectPropertyExpressions, and ElkIndividuals to
corresponding IndexedObjects with filtering through the provided
IndexedClassExpressionFilter and IndexedPropertyChainFilter.IndexObjectConverter
IndexObjectConverter which is also used for
converting IndexedObjects of the complementary polarity
IndexObjectConverter
Taxonomy that also provides instances for each of its
members.InstanceTaxonomy.true if owl:Nothing is stored in ContextImpl.subsumers_
IndexedPropertyChain can be produced in
BackwardLinks or ForwardLinks.
ElkClassExpression is satisfiable, that is, if
it can possibly have instances.
true if all derived Subsumer of ContextImpl.root_ have been
computed.
axiomInserter for
inserting axioms and axiomDeleter for deleting axioms; if called
twice, the already loaded axioms will not be processed again
SaturationStatistics created for every worker
ReasonerStageExecutor which prints log messages about the executed
stages.OntologyIndex.Subsumer, for which the structure of the enclosed
IndexedClassExpression should not be taken into account when applying
the rules within Context.NonIncrementalChangeCheckingVisitor that some axiom represents a
change which cannot be processed incrementally by the reasonerOrphanNode with one member type nodeTaxonomyNode that does not have any super nodes or sub nodes.OrphanNode with instancesAxiomLoader that loads an ontology using a provided
Owl2Parser.Owl2ParserLoader, which loads axioms generated using
Owl2Parser.
Owl2ParserLoader, which loads axioms generated using
Owl2Parser.
AxiomLoader which loads ontology from streams (e.g., backed by
files or strings) using a given Owl2ParserFactorySubsumer, for which the structure of the enclosed
IndexedClassExpression should be taken into account.ReasonerStage.execute() to perform any necessary clean-up.
ReasonerStage.execute() to perform any necessary
initialization
ElkClass, where the relevant
related classes are given in two ordered collections of equivalent
classes and subclasses, respectively.
ReasonerComputation that computes relevant sub-properties and composition mapsConcurrentComputation used for executing of reasoner stagesReasonerReasonerStages used by the reasoner and dependencies
between them.ReasonerComputation that computes reflexive
IndexedPropertyChainsIndexedObject from this OntologyIndex
IndexedClassExpression
ElkClass from the signature of this
OntologyIndex
OntologyIndex
IndexedDisjointnessAxiom from
this Context.
IndexedBinaryPropertyChain from the list of
IndexedBinaryPropertyChain that contain this
IndexedPropertyChain in the left-hand-side
Context from the chain of contexts
ElkNamedIndividual from the signature of this
OntologyIndex
IndexedObjectProperty
IndexedBinaryPropertyChain from the list of
IndexedBinaryPropertyChain that contain this
IndexedPropertyChain in the right-hand-side
IndexedClassExpression from the subsumers of
the root IndexedClassExpression of this Context.
IndexedObjectProperty ones from the list of
super-roles of this IndexedPropertyChain
SaturatedObjecProperty to null.
ReasonerStageExecutor which refuses to interrupt: it will restart
any interrupted stage.BasicSaturationStateWriter.RuleApplicationVisitor.RuleApplicationVisitor wrapper for a given
RuleApplicationVisitor that additionally records the number of
invocations of the methods using the given RuleApplicationCounter.DecompositionRuleApplicationVisitor that executes
the corresponding methods of the given
DecompositionRuleApplicationVisitor and counts the number of
invocations of the corresponding methods using the given
RuleApplicationCounter.
ExtendedSaturationStateWriter (either directly when a new
IndexedClassExpression is submitted or during decompositionRuleApplicationVisitor.RuleApplicationVisitor wrapper for a given
RuleApplicationVisitor that additionally records the time spend
within methods in the given RuleApplicationTimer.DecompositionRuleApplicationVisitor that executes
the corresponding methods of the given
DecompositionRuleApplicationVisitor and measures the time spent
within the corresponding methods using the given
RuleApplicationTimer.
IndexedClassExpressions.Context to the given value.
DifferentialIndex.
SaturatedObjecProperty of this
IndexedPropertyChain if none was yet assigned.
Context as saturated.
ReasonerStageExecutor.InstanceTaxonomy consisting of a single TypeNode = top
node = bottom node, which has a single InstanceNode.Taxonomy consisting of a single node = top node = bottom node.SingletoneTaxonomy containing the given
OrphanNode
Conclusion representing a subsumer IndexedClassExpression
of the root of the Context for which it is produced.IndexedObjectCache from this
IndexedObjectCache
Conclusions of this
context.
IndexedSubClassOfAxiom.ThisCompositionRule
TransitiveReductionFactory.IndexedClassExpression; it contains information about its equivalent
classes and direct subsumers.IndexedClassExpressions.
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||