Search

Download elk-reasoner-0.3.1-sources.jar : elk « e « Jar File Download






Download elk-reasoner-0.3.1-sources.jar

elk/elk-reasoner-0.3.1-sources.jar.zip( 195 k)

The download jar file contains the following class files or Java source files.

META-INF/MANIFEST.MF
elk.properties
org.semanticweb.elk.loading.ChangesLoader.java
org.semanticweb.elk.loading.ElkLoadingException.java
org.semanticweb.elk.loading.EmptyChangesLoader.java
org.semanticweb.elk.loading.EmptyLoader.java
org.semanticweb.elk.loading.EmptyOntologyLoader.java
org.semanticweb.elk.loading.Loader.java
org.semanticweb.elk.loading.OntologyLoader.java
org.semanticweb.elk.loading.Owl2ParserLoader.java
org.semanticweb.elk.loading.Owl2StreamLoader.java
org.semanticweb.elk.reasoner.DummyProgressMonitor.java
org.semanticweb.elk.reasoner.ElkFreshEntitiesException.java
org.semanticweb.elk.reasoner.ElkInconsistentOntologyException.java
org.semanticweb.elk.reasoner.ElkUnsupportedReasoningTaskException.java
org.semanticweb.elk.reasoner.ProgressMonitor.java
org.semanticweb.elk.reasoner.Reasoner.java
org.semanticweb.elk.reasoner.ReasonerComputation.java
org.semanticweb.elk.reasoner.ReasonerFactory.java
org.semanticweb.elk.reasoner.ReasonerJob.java
org.semanticweb.elk.reasoner.config.NumberOfWorkers.java
org.semanticweb.elk.reasoner.config.ReasonerConfiguration.java
org.semanticweb.elk.reasoner.config.UnsupportedFeatureTreatment.java
org.semanticweb.elk.reasoner.consistency.ConsistencyChecking.java
org.semanticweb.elk.reasoner.indexing.OntologyIndex.java
org.semanticweb.elk.reasoner.indexing.entries.IndexedBinaryPropertyChainEntry.java
org.semanticweb.elk.reasoner.indexing.entries.IndexedClassEntry.java
org.semanticweb.elk.reasoner.indexing.entries.IndexedClassExpressionEntry.java
org.semanticweb.elk.reasoner.indexing.entries.IndexedDataHasValueEntry.java
org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter.java
org.semanticweb.elk.reasoner.indexing.entries.IndexedIndividualEntry.java
org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectIntersectionOfEntry.java
org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectPropertyEntry.java
org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectSomeValuesFromEntry.java
org.semanticweb.elk.reasoner.indexing.entries.IndexedPropertyChainEntry.java
org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor.java
org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkObjectIndexerVisitor.java
org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexerVisitor.java
org.semanticweb.elk.reasoner.indexing.hierarchy.ElkObjectIndexerVisitor.java
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedBinaryPropertyChain.java
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass.java
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassEntity.java
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression.java
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDataHasValue.java
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.java
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedIndividual.java
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache.java
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectFilter.java
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf.java
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty.java
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom.java
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain.java
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexingException.java
org.semanticweb.elk.reasoner.indexing.hierarchy.OntologyIndexImpl.java
org.semanticweb.elk.reasoner.indexing.visitors.IndexedBinaryPropertyChainVisitor.java
org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassEntityVisitor.java
org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor.java
org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassVisitor.java
org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor.java
org.semanticweb.elk.reasoner.indexing.visitors.IndexedIndividualVisitor.java
org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor.java
org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectPropertyVisitor.java
org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor.java
org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor.java
org.semanticweb.elk.reasoner.reduction.SaturationJobForTransitiveReduction.java
org.semanticweb.elk.reasoner.reduction.SaturationJobRoot.java
org.semanticweb.elk.reasoner.reduction.SaturationJobSuperClass.java
org.semanticweb.elk.reasoner.reduction.SaturationJobVisitor.java
org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory.java
org.semanticweb.elk.reasoner.reduction.TransitiveReductionJob.java
org.semanticweb.elk.reasoner.reduction.TransitiveReductionListener.java
org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutput.java
org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalent.java
org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalentDirect.java
org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputUnsatisfiable.java
org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputVisitor.java
org.semanticweb.elk.reasoner.reduction.TransitiveReductionState.java
org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory.java
org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationListener.java
org.semanticweb.elk.reasoner.saturation.SaturationJob.java
org.semanticweb.elk.reasoner.saturation.classes.BackwardLink.java
org.semanticweb.elk.reasoner.saturation.classes.ContextClassSaturation.java
org.semanticweb.elk.reasoner.saturation.classes.ContextElClassSaturation.java
org.semanticweb.elk.reasoner.saturation.classes.ForwardLink.java
org.semanticweb.elk.reasoner.saturation.classes.InferenceRuleNegSCE.java
org.semanticweb.elk.reasoner.saturation.classes.InferenceRulePosSCE.java
org.semanticweb.elk.reasoner.saturation.classes.InferenceRuleSCE.java
org.semanticweb.elk.reasoner.saturation.classes.InferenceSystemElClassSaturation.java
org.semanticweb.elk.reasoner.saturation.classes.InferenceSystemInvocationManagerSCE.java
org.semanticweb.elk.reasoner.saturation.classes.NegativeSuperClassExpression.java
org.semanticweb.elk.reasoner.saturation.classes.PositiveSuperClassExpression.java
org.semanticweb.elk.reasoner.saturation.classes.RuleBottom.java
org.semanticweb.elk.reasoner.saturation.classes.RuleConjunctionPlus.java
org.semanticweb.elk.reasoner.saturation.classes.RuleDecomposition.java
org.semanticweb.elk.reasoner.saturation.classes.RuleDisjoint.java
org.semanticweb.elk.reasoner.saturation.classes.RuleExistentialPlus.java
org.semanticweb.elk.reasoner.saturation.classes.RuleInitialization.java
org.semanticweb.elk.reasoner.saturation.classes.RuleReflexiveRole.java
org.semanticweb.elk.reasoner.saturation.classes.RuleRoleComposition.java
org.semanticweb.elk.reasoner.saturation.classes.RuleStatistics.java
org.semanticweb.elk.reasoner.saturation.classes.RuleSubsumption.java
org.semanticweb.elk.reasoner.saturation.classes.RuleWithBackwardLink.java
org.semanticweb.elk.reasoner.saturation.classes.RuleWithBackwardLinks.java
org.semanticweb.elk.reasoner.saturation.classes.SuperClassExpression.java
org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyCompositionsPrecomputation.java
org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyCompositionsPrecomputationFactory.java
org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyHierarchyComputation.java
org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyHierarchyComputationFactory.java
org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain.java
org.semanticweb.elk.reasoner.saturation.rulesystem.AbstractContext.java
org.semanticweb.elk.reasoner.saturation.rulesystem.Context.java
org.semanticweb.elk.reasoner.saturation.rulesystem.IllegalInferenceMethodException.java
org.semanticweb.elk.reasoner.saturation.rulesystem.InferenceRule.java
org.semanticweb.elk.reasoner.saturation.rulesystem.InferenceSystem.java
org.semanticweb.elk.reasoner.saturation.rulesystem.InferenceSystemInvocationManager.java
org.semanticweb.elk.reasoner.saturation.rulesystem.Queueable.java
org.semanticweb.elk.reasoner.saturation.rulesystem.RuleApplicationFactory.java
org.semanticweb.elk.reasoner.stages.AbstractReasonerStage.java
org.semanticweb.elk.reasoner.stages.AbstractReasonerState.java
org.semanticweb.elk.reasoner.stages.ChangesLoadingStage.java
org.semanticweb.elk.reasoner.stages.ClassTaxonomyComputationStage.java
org.semanticweb.elk.reasoner.stages.ConsistencyCheckingStage.java
org.semanticweb.elk.reasoner.stages.ContextInitializationStage.java
org.semanticweb.elk.reasoner.stages.ElkInterruptedException.java
org.semanticweb.elk.reasoner.stages.InstanceTaxonomyComputationStage.java
org.semanticweb.elk.reasoner.stages.LoggingStageExecutor.java
org.semanticweb.elk.reasoner.stages.ObjectPropertyCompositionsPrecomputationStage.java
org.semanticweb.elk.reasoner.stages.ObjectPropertyHierarchyComputationStage.java
org.semanticweb.elk.reasoner.stages.OntologyLoadingStage.java
org.semanticweb.elk.reasoner.stages.ReasonerStage.java
org.semanticweb.elk.reasoner.stages.ReasonerStageExecutor.java
org.semanticweb.elk.reasoner.stages.RestartingStageExecutor.java
org.semanticweb.elk.reasoner.stages.SimpleStageExecutor.java
org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputation.java
org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory.java
org.semanticweb.elk.reasoner.taxonomy.ConcurrentTaxonomy.java
org.semanticweb.elk.reasoner.taxonomy.DepthFirstSearch.java
org.semanticweb.elk.reasoner.taxonomy.IndividualClassTaxonomy.java
org.semanticweb.elk.reasoner.taxonomy.IndividualNode.java
org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputation.java
org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory.java
org.semanticweb.elk.reasoner.taxonomy.MockInstanceTaxonomy.java
org.semanticweb.elk.reasoner.taxonomy.NonBottomClassNode.java
org.semanticweb.elk.reasoner.taxonomy.PredefinedTaxonomy.java
org.semanticweb.elk.reasoner.taxonomy.TaxonomyNodeVisitor.java
org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter.java
org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceNodeHasher.java
org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceTaxonomyHasher.java
org.semanticweb.elk.reasoner.taxonomy.hashing.NodeHasher.java
org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyHasher.java
org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyNodeHasher.java
org.semanticweb.elk.reasoner.taxonomy.hashing.TypeNodeHasher.java
org.semanticweb.elk.reasoner.taxonomy.model.FreshInstanceNode.java
org.semanticweb.elk.reasoner.taxonomy.model.FreshNode.java
org.semanticweb.elk.reasoner.taxonomy.model.FreshTaxonomyNode.java
org.semanticweb.elk.reasoner.taxonomy.model.FreshTypeNode.java
org.semanticweb.elk.reasoner.taxonomy.model.InstanceNode.java
org.semanticweb.elk.reasoner.taxonomy.model.InstanceTaxonomy.java
org.semanticweb.elk.reasoner.taxonomy.model.Node.java
org.semanticweb.elk.reasoner.taxonomy.model.Taxonomy.java
org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNode.java
org.semanticweb.elk.reasoner.taxonomy.model.TypeNode.java








Related examples in the same category

1.Download elk-reasoner-0.3.2-sources.jar
2.Download elk-reasoner-0.3.2.jar
3.Download elk-reasoner-0.4.0-sources.jar
4.Download elk-reasoner-0.4.0.jar
5.Download elk-reasoner-0.4.1-sources.jar
6.Download elk-reasoner-0.4.1.jar
7.Download elk-util-io-0.3.1-sources.jar
8.Download elk-util-io-0.3.1.jar
9.Download elk-util-io-0.3.2-sources.jar
10.Download elk-util-io-0.3.2.jar
11.Download elk-util-logging-0.4.0-sources.jar
12.Download elk-util-logging-0.4.0.jar
13.Download elk-util-logging-0.4.1-sources.jar
14.Download elk-util-logging-0.4.1.jar
15.Download elk-reasoner-0.3.1.jar
16.Download elk-util-concurrent-0.4.0-sources.jar
17.Download elk-util-concurrent-0.4.0.jar
18.Download elk-util-concurrent-0.4.1-sources.jar
19.Download elk-util-concurrent-0.4.1.jar
20.Download elk-util-logging-0.3.1-sources.jar
21.Download elk-util-logging-0.3.1.jar
22.Download elk-util-logging-0.3.2-sources.jar
23.Download elk-util-logging-0.3.2.jar
24.Download elk-util-io-0.4.0-sources.jar
25.Download elk-util-io-0.4.0.jar
26.Download elk-util-io-0.4.1-sources.jar
27.Download elk-util-io-0.4.1.jar
28.Download elk-util-concurrent-0.3.1-sources.jar
29.Download elk-util-concurrent-0.3.1.jar
30.Download elk-util-concurrent-0.3.2-sources.jar
31.Download elk-util-concurrent-0.3.2.jar
32.Download elk-api-2.0.a6.1.jar
33.Download elk-owlapi-standalone-0.3.1-bin.jar
34.Download elk-owlapi-standalone-0.3.1-lib.jar
35.Download elk-owlapi-standalone-0.3.1-src.jar
36.Download elk-owlapi-standalone-0.3.2-bin.jar
37.Download elk-owlapi-standalone-0.3.2-lib.jar
38.Download elk-owlapi-standalone-0.3.2-src.jar
39.Download elk-press.jar
40.Download elk-standalone-0.3.1.jar
41.Download elk-standalone-0.3.2.jar
42.Download elk-owl-implementation-0.3.1-sources.jar
43.Download elk-owl-implementation-0.3.1.jar
44.Download elk-owl-implementation-0.3.2-sources.jar
45.Download elk-owl-implementation-0.3.2.jar
46.Download elk-util-common-0.4.0-sources.jar
47.Download elk-util-common-0.4.0.jar
48.Download elk-util-common-0.4.1-sources.jar
49.Download elk-util-common-0.4.1.jar
50.Download elk-standalone-0.4.0.jar
51.Download elk-standalone-0.4.1.jar
52.Download elk-owl-model-0.4.0-sources.jar
53.Download elk-owl-model-0.4.0.jar
54.Download elk-owl-model-0.4.1-sources.jar
55.Download elk-owl-model-0.4.1.jar
56.Download elk-cli-0.4.0-sources.jar
57.Download elk-cli-0.4.0.jar
58.Download elk-cli-0.4.1-sources.jar
59.Download elk-cli-0.4.1.jar
60.Download elk-util-common-0.3.1-sources.jar
61.Download elk-util-common-0.3.1.jar
62.Download elk-util-common-0.3.2-sources.jar
63.Download elk-util-common-0.3.2.jar
64.Download elk-owlapi-0.4.0-sources.jar
65.Download elk-owlapi-0.4.0.jar
66.Download elk-owlapi-0.4.1-sources.jar
67.Download elk-owlapi-0.4.1.jar
68.Download elk-cli-0.3.1-sources.jar
69.Download elk-cli-0.3.1.jar
70.Download elk-cli-0.3.2-sources.jar
71.Download elk-cli-0.3.2.jar
72.Download elk-owlapi-0.3.1-sources.jar
73.Download elk-owlapi-0.3.1.jar
74.Download elk-owlapi-0.3.2-sources.jar
75.Download elk-owlapi-0.3.2.jar
76.Download elk-owl-implementation-0.4.0-sources.jar
77.Download elk-owl-implementation-0.4.0.jar
78.Download elk-owl-implementation-0.4.1-sources.jar
79.Download elk-owl-implementation-0.4.1.jar
80.Download elk-protege-0.3.1-sources.jar
81.Download elk-protege-0.3.1.jar
82.Download elk-protege-0.3.2-sources.jar
83.Download elk-protege-0.3.2.jar
84.Download elk-util-testing-0.4.0-sources.jar
85.Download elk-util-testing-0.4.0.jar
86.Download elk-util-testing-0.4.1-sources.jar
87.Download elk-util-testing-0.4.1.jar
88.Download elk-owl-parsing-javacc-0.4.0-sources.jar
89.Download elk-owl-parsing-javacc-0.4.0.jar
90.Download elk-owl-parsing-javacc-0.4.1-sources.jar
91.Download elk-owl-parsing-javacc-0.4.1.jar
92.Download elk-protege-0.4.0-sources.jar
93.Download elk-protege-0.4.0.jar
94.Download elk-protege-0.4.1-sources.jar
95.Download elk-protege-0.4.1.jar
96.Download elk-util-hashing-0.3.1-sources.jar
97.Download elk-util-hashing-0.3.1.jar
98.Download elk-util-hashing-0.3.2-sources.jar
99.Download elk-util-hashing-0.3.2.jar
100.Download elk-owl-model-0.3.1-sources.jar
101.Download elk-owl-model-0.3.1.jar
102.Download elk-owl-model-0.3.2-sources.jar
103.Download elk-owl-model-0.3.2.jar
104.Download elk-util-collections-0.4.0-sources.jar
105.Download elk-util-collections-0.4.0.jar
106.Download elk-util-collections-0.4.1-sources.jar
107.Download elk-util-collections-0.4.1.jar
108.Download elk-util-testing-0.3.1-sources.jar
109.Download elk-util-testing-0.3.1.jar
110.Download elk-util-testing-0.3.2-sources.jar
111.Download elk-util-testing-0.3.2.jar
112.Download elk-util-hashing-0.4.0-sources.jar
113.Download elk-util-hashing-0.4.0.jar
114.Download elk-util-hashing-0.4.1-sources.jar
115.Download elk-util-hashing-0.4.1.jar
116.Download elk-distribution-0.3.1-sources.jar
117.Download elk-distribution-0.3.1.jar
118.Download elk-distribution-0.3.2-sources.jar
119.Download elk-distribution-0.3.2.jar
120.Download elk-distribution-0.4.0-sources.jar
121.Download elk-distribution-0.4.0.jar
122.Download elk-distribution-0.4.1-sources.jar
123.Download elk-distribution-0.4.1.jar
124.Download elk-owl-parsing-javacc-0.3.1-sources.jar
125.Download elk-owl-parsing-javacc-0.3.1.jar
126.Download elk-owl-parsing-javacc-0.3.2-sources.jar
127.Download elk-owl-parsing-javacc-0.3.2.jar
128.Download elk-util-collections-0.3.1-sources.jar
129.Download elk-util-collections-0.3.1.jar
130.Download elk-util-collections-0.3.2-sources.jar
131.Download elk-util-collections-0.3.2.jar
132.Download elk-owlapi-standalone-0.4.0-bin.jar
133.Download elk-owlapi-standalone-0.4.0-lib.jar
134.Download elk-owlapi-standalone-0.4.0-src.jar
135.Download elk-owlapi-standalone-0.4.1-bin.jar
136.Download elk-owlapi-standalone-0.4.1-lib.jar
137.Download elk-owlapi-standalone-0.4.1-src.jar