文件名称:pellet-src
介绍说明--下载内容均来自于网络,请自行研究使用
Pellet是一种基于Tableau算法的描述逻辑推理机,由美国马里兰大学(College Park分校)的MindSwap实验室开发。-ontology reasoning
相关搜索: pellet
(系统自动生成,下载前可以参看下载内容)
下载文件列表
pellet-src\pellet-cli-src\META-INF\MANIFEST.MF
..........\..............\pellet\Pellet.java
..........\..............\......\PelletClassify.java
..........\..............\......\PelletCmdApp.java
..........\..............\......\PelletCmdException.java
..........\..............\......\PelletCmdOption.java
..........\..............\......\PelletCmdOptionArg.java
..........\..............\......\PelletCmdOptions.java
..........\..............\......\PelletConsistency.java
..........\..............\......\PelletDIG.java
..........\..............\......\PelletExceptionFormatter.java
..........\..............\......\PelletExplain.java
..........\..............\......\PelletExtractInferences.java
..........\..............\......\PelletInfo.java
..........\..............\......\PelletModularity.java
..........\..............\......\PelletQuery.java
..........\..............\......\PelletRealize.java
..........\..............\......\PelletTransTree.java
..........\..............\......\PelletUnsatisfiable.java
..........\..............\......\Pellint.java
..........\........ore-src\com\clarkparsia\pellet\BranchEffectTracker.java
..........\...............\...\...........\......\expressivity\DLExpressivityChecker.java
..........\...............\...\...........\......\............\Expressivity.java
..........\...............\...\...........\......\............\ExpressivityChecker.java
..........\...............\...\...........\......\............\ProfileBasedExpressivityChecker.java
..........\...............\...\...........\......\impl\SimpleBranchEffectTracker.java
..........\...............\...\...........\......\....\SimpleIncrementalChangeTracker.java
..........\...............\...\...........\......\IncrementalChangeTracker.java
..........\...............\...\...........\......\utils\CollectionUtils.java
..........\...............\...\...........\......\.....\IdentityHashSet.java
..........\...............\...\...........\......\.....\MultiMapUtils.java
..........\...............\...\...........\......\.....\OntBuilder.java
..........\...............\...\...........\......\.....\PropertiesBuilder.java
..........\...............\...\...........\......\.....\TermFactory.java
..........\...............\...\...........\......\vocabulary\BuiltinNamespace.java
..........\...............\META-INF\MANIFEST.MF
..........\...............\org\mindswap\pellet\ABox.java
..........\...............\...\........\......\Clash.java
..........\...............\...\........\......\DefaultEdge.java
..........\...............\...\........\......\DependencySet.java
..........\...............\...\........\......\Edge.java
..........\...............\...\........\......\EdgeList.java
..........\...............\...\........\......\exceptions\InconsistentOntologyException.java
..........\...............\...\........\......\..........\InternalReasonerException.java
..........\...............\...\........\......\..........\PelletRuntimeException.java
..........\...............\...\........\......\..........\TimeoutException.java
..........\...............\...\........\......\..........\TimerInterruptedException.java
..........\...............\...\........\......\..........\UndefinedEntityException.java
..........\...............\...\........\......\..........\UnsupportedFeatureException.java
..........\...............\...\........\......\..........\UnsupportedQueryException.java
..........\...............\...\........\......\Individual.java
..........\...............\...\........\......\IndividualIterator.java
..........\...............\...\........\......\KBLoader.java
..........\...............\...\........\......\KnowledgeBase.java
..........\...............\...\........\......\KRSSLoader.java
..........\...............\...\........\......\Literal.java
..........\...............\...\........\......\LiteralIterator.java
..........\...............\...\........\......\Node.java
..........\...............\...\........\......\NodeMerge.java
..........\...............\...\........\......\output\ATermAbstractSyntaxRenderer.java
..........\...............\...\
..........\..............\pellet\Pellet.java
..........\..............\......\PelletClassify.java
..........\..............\......\PelletCmdApp.java
..........\..............\......\PelletCmdException.java
..........\..............\......\PelletCmdOption.java
..........\..............\......\PelletCmdOptionArg.java
..........\..............\......\PelletCmdOptions.java
..........\..............\......\PelletConsistency.java
..........\..............\......\PelletDIG.java
..........\..............\......\PelletExceptionFormatter.java
..........\..............\......\PelletExplain.java
..........\..............\......\PelletExtractInferences.java
..........\..............\......\PelletInfo.java
..........\..............\......\PelletModularity.java
..........\..............\......\PelletQuery.java
..........\..............\......\PelletRealize.java
..........\..............\......\PelletTransTree.java
..........\..............\......\PelletUnsatisfiable.java
..........\..............\......\Pellint.java
..........\........ore-src\com\clarkparsia\pellet\BranchEffectTracker.java
..........\...............\...\...........\......\expressivity\DLExpressivityChecker.java
..........\...............\...\...........\......\............\Expressivity.java
..........\...............\...\...........\......\............\ExpressivityChecker.java
..........\...............\...\...........\......\............\ProfileBasedExpressivityChecker.java
..........\...............\...\...........\......\impl\SimpleBranchEffectTracker.java
..........\...............\...\...........\......\....\SimpleIncrementalChangeTracker.java
..........\...............\...\...........\......\IncrementalChangeTracker.java
..........\...............\...\...........\......\utils\CollectionUtils.java
..........\...............\...\...........\......\.....\IdentityHashSet.java
..........\...............\...\...........\......\.....\MultiMapUtils.java
..........\...............\...\...........\......\.....\OntBuilder.java
..........\...............\...\...........\......\.....\PropertiesBuilder.java
..........\...............\...\...........\......\.....\TermFactory.java
..........\...............\...\...........\......\vocabulary\BuiltinNamespace.java
..........\...............\META-INF\MANIFEST.MF
..........\...............\org\mindswap\pellet\ABox.java
..........\...............\...\........\......\Clash.java
..........\...............\...\........\......\DefaultEdge.java
..........\...............\...\........\......\DependencySet.java
..........\...............\...\........\......\Edge.java
..........\...............\...\........\......\EdgeList.java
..........\...............\...\........\......\exceptions\InconsistentOntologyException.java
..........\...............\...\........\......\..........\InternalReasonerException.java
..........\...............\...\........\......\..........\PelletRuntimeException.java
..........\...............\...\........\......\..........\TimeoutException.java
..........\...............\...\........\......\..........\TimerInterruptedException.java
..........\...............\...\........\......\..........\UndefinedEntityException.java
..........\...............\...\........\......\..........\UnsupportedFeatureException.java
..........\...............\...\........\......\..........\UnsupportedQueryException.java
..........\...............\...\........\......\Individual.java
..........\...............\...\........\......\IndividualIterator.java
..........\...............\...\........\......\KBLoader.java
..........\...............\...\........\......\KnowledgeBase.java
..........\...............\...\........\......\KRSSLoader.java
..........\...............\...\........\......\Literal.java
..........\...............\...\........\......\LiteralIterator.java
..........\...............\...\........\......\Node.java
..........\...............\...\........\......\NodeMerge.java
..........\...............\...\........\......\output\ATermAbstractSyntaxRenderer.java
..........\...............\...\