Hermit_1.3.8_android
需积分: 5 61 浏览量
2021-06-22
15:00:35
上传
评论
收藏 3.27MB ZIP 举报
Hermit_1.3.8_android （186个子文件） 
.classpath 843B .gitignore 290B
owlapi-distribution-3.4.10.jar 2.37MB hermit__axiom-1.2.8.jar 577KB hermit__automaton-1.11-8-android.jar 174KB hermit__jautomata-core-2.0-android.jar 105KB Reasoner.java 127KB InstanceManager.java 79KB OWLNormalization.java 78KB OWLClausification.java 60KB ObjectPropertyInclusionManager.java 57KB BlockingValidator.java 51KB EntailmentChecker.java 49KB DLClauseEvaluator.java 46KB DatatypeManager.java 46KB Tableau.java 42KB ExpressionManager.java 28KB AnywhereValidatedBlocking.java 27KB HyperresolutionManager.java 24KB DLOntology.java 22KB RDFPlainLiteralDatatypeHandler.java 22KB QuasiOrderClassification.java 21KB ExtensionManager.java 19KB DescriptionGraphManager.java 19KB ExtensionTable.java 19KB ValidatedPairwiseDirectBlockingChecker.java 18KB OWLRealDatatypeHandler.java 18KB ValidatedSingleDirectBlockingChecker.java 17KB PairWiseDirectBlockingChecker.java 17KB TupleIndex.java 17KB AbstractExpansionStrategy.java 16KB ExistentialExpansionManager.java 15KB DependencySetFactory.java 15KB Configuration.java 14KB CountingMonitor.java 14KB HierarchyPrinterFSS.java 14KB DateTimeDatatypeHandler.java 14KB Numbers.java 13KB AnywhereBlocking.java 13KB Prefixes.java 13KB BuiltInPropertyManager.java 13KB TableauMonitorFork.java 12KB DLClause.java 12KB NominalIntroductionManager.java 12KB TableauMonitorForwarder.java 12KB ReducedABoxOnlyClausification.java 12KB MergingManager.java 11KB IndividualReuseStrategy.java 11KB ExtensionTableWithTupleIndexes.java 11KB DoubleDatatypeHandler.java 11KB NumberInterval.java 11KB FloatDatatypeHandler.java 11KB DateTime.java 11KB BinaryDataDatatypeHandler.java 11KB DoubleInterval.java 11KB Hierarchy.java 10KB DateTimeInterval.java 10KB FloatInterval.java 10KB RDFPlainLiteralPatternValueSpaceSubset.java 10KB DatatypeRegistry.java 10KB DeterministicClassification.java 10KB HierarchyDumperFSS.java 9KB SetFactory.java 9KB Node.java 9KB AnyURIDatatypeHandler.java 9KB SingleDirectBlockingChecker.java 9KB ExtensionTableWithFullIndex.java 9KB TupleTableFullIndex.java 8KB ClashManager.java 8KB HierarchySearch.java 8KB GroundDisjunction.java 8KB ConjunctiveQuery.java 8KB GroundDisjunctionHeader.java 8KB RoleElementManager.java 7KB OWLAxiomsExpressivity.java 7KB ReasoningTaskDescription.java 7KB AncestorBlocking.java 7KB OWLAxioms.java 6KB DatalogEngine.java 6KB TableauMonitorAdapter.java 6KB Atom.java 6KB RDFPlainLiteralLengthInterval.java 6KB TupleTable.java 6KB DescriptionGraph.java 5KB QuasiOrderClassificationForRoles.java 5KB Graph.java 5KB BinaryData.java 5KB Timer.java 5KB Base64.java 5KB InterningManager.java 5KB TableauMonitor.java 5KB BinaryDataLengthInterval.java 5KB InterruptFlag.java 5KB BooleanDatatypeHandler.java 5KB XMLLiteralDatatypeHandler.java 5KB DatatypeRestriction.java 4KB HierarchyNode.java 4KB BlockingSignatureCache.java 4KB AnyURIValueSpaceSubset.java 4KB DisjunctionBranchingPoint.java 3KB共 186 条
- 1
- 2
资源评论
