pellet-2.3.0

代码说明：

  Pellet是一种基于Tableau算法的描述逻辑推理机，由美国马里兰大学（College Park分校）的MindSwap实验室开发。此为最近的更新(Pellet is an OWL 2 reasoner. Pellet provides standard and cutting-edge reasoning services for OWL ontologies. For applications that need to represent and reason about information using OWL, Pellet is the leading choice for systems where sound-and-complete OWL DL reasoning is essential. Pellet includes support for OWL 2 profiles including OWL 2 EL. It incorporates optimizations for nominals, conjunctive query answering, and incremental reasoning. There’s more detailed information about the architecture of the system and its features in Pellet Help. An OWL DL reasoner like Pellet is a core component of ontology-based data management applications if you need expertise in the use of Pellet for advanced integration or analysis applications, Clark & Parsia LLC can help in a variety of roles: consulting, application development, and OEM licensing.)

文件列表：

pellet-2.3.0
............\agpl-3.0.txt,34520,2011-08-22
............\BUGS.txt,151,2011-08-22
............\CHANGES.txt,25995,2011-08-22
............\doc
............\...\FAQ.txt,78,2011-08-22
............\...\index.html,4061,2011-08-22
............\...\javadoc
............\...\.......\allclasses-frame.html,100641,2011-08-22
............\...\.......\allclasses-noframe.html,88121,2011-08-22
............\...\.......\com
............\...\.......\...\clarkparsia
............\...\.......\...\...........\modularity
............\...\.......\...\...........\..........\AbstractModuleExtractor.html,41549,2011-08-22
............\...\.......\...\...........\..........\AxiomBasedModuleExtractor.html,19377,2011-08-22
............\...\.......\...\...........\..........\ChangeTypeDetector.html,12346,2011-08-22
............\...\.......\...\...........\..........\class-use
............\...\.......\...\...........\..........\.........\AbstractModuleExtractor.html,7915,2011-08-22
............\...\.......\...\...........\..........\.........\AxiomBasedModuleExtractor.html,6083,2011-08-22
............\...\.......\...\...........\..........\.........\ChangeTypeDetector.html,6013,2011-08-22
............\...\.......\...\...........\..........\.........\EntailmentChecker.html,6003,2011-08-22
............\...\.......\...\...........\..........\.........\IncrementalClassifier.DisjointClassComparator.html,6283,2011-08-22
............\...\.......\...\...........\..........\.........\IncrementalClassifier.html,18681,2011-08-22
............\...\.......\...\...........\..........\.........\IncrementalClassifier.PersistedState.html,8924,2011-08-22
............\...\.......\...\...........\..........\.........\ModularityUtils.html,5983,2011-08-22
............\...\.......\...\...........\..........\.........\ModuleExtractor.html,14499,2011-08-22
............\...\.......\...\...........\..........\.........\ModuleExtractorFactory.html,6053,2011-08-22
............\...\.......\...\...........\..........\.........\OntologyDiff.html,10522,2011-08-22
............\...\.......\...\...........\..........\.........\PelletIncremantalReasonerFactory.html,8292,2011-08-22
............\...\.......\...\...........\..........\EntailmentChecker.html,47502,2011-08-22
............\...\.......\...\...........\..........\IncrementalClassifier.DisjointClassComparator.html,13508,2011-08-22
............\...\.......\...\...........\..........\IncrementalClassifier.html,106476,2011-08-22
............\...\.......\...\...........\..........\IncrementalClassifier.PersistedState.html,14906,2011-08-22
............\...\.......\...\...........\..........\io
............\...\.......\...\...........\..........\..\class-use
............\...\.......\...\...........\..........\..\.........\IncrementalClassifierPersistence.html,6240,2011-08-22
............\...\.......\...\...........\..........\..\.........\ModuleExtractorPersistence.html,6180,2011-08-22
............\...\.......\...\...........\..........\..\.........\TaxonomyPersistence.html,6110,2011-08-22
............\...\.......\...\...........\..........\..\.........\UncloseableOutputStream.html,6150,2011-08-22
............\...\.......\...\...........\..........\..\IncrementalClassifierPersistence.html,14569,2011-08-22
............\...\.......\...\...........\..........\..\ModuleExtractorPersistence.html,18257,2011-08-22
............\...\.......\...\...........\..........\..\package-frame.html,1365,2011-08-22
............\...\.......\...\...........\..........\..\package-summary.html,7220,2011-08-22
............\...\.......\...\...........\..........\..\package-tree.html,6953,2011-08-22
............\...\.......\...\...........\..........\..\package-use.html,5625,2011-08-22
............\...\.......\...\...........\..........\..\TaxonomyPersistence.html,14022,2011-08-22
............\...\.......\...\...........\..........\..\UncloseableOutputStream.html,15569,2011-08-22
............\...\.......\...\...........\..........\ModularityUtils.html,14405,2011-08-22
............\...\.......\...\...........\..........\ModuleExtractor.html,27061,2011-08-22
............\...\.......\...\...........\..........\ModuleExtractorFactory.html,10482,2011-08-22
............\...\.......\...\...........\..........\OntologyDiff.html,21007,2011-08-22
............\...\.......\...\...........\..........\package-frame.html,2434,2011-08-22
............\...\.......\...\...........\..........\package-summary.html,9090,2011-08-22
............\...\.......\...\...........\..........\package-tree.html,8977,2011-08-22
............\...\.......\...\...........\..........\package-use.html,9341,2011-08-22
............\...\.......\...\...........\..........\PelletIncremantalReasonerFactory.html,22887,2011-08-22
............\...\.......\...\...........\owlapi
............\...\.......\...\...........\......\class-use
............\...\.......\...\...........\......\.........\OntologyUtils.html,5923,2011-08-22
............\...\.......\...\...........\......\.........\OWL.html,5823,2011-08-22
............\...\.......\...\...........\......\.........\SWRL.html,5833,2011-08-22
............\...\.......\...\...........\......\.........\XSD.html,5823,2011-08-22
............\...\.......\...\...........\......\OntologyUtils.html,35018,2011-08-22
............\...\.......\...\...........\......\OWL.html,133214,2011-08-22
............\...\.......\...\...........\......\package-frame.html,1156,2011-08-22
............\...\.......\...\...........\......\package-summary.html,6823,2011-08-22
............\...\.......\...\...........\......\package-tree.html,6518,2011-08-22
............\...\.......\...\...........\......\package-use.html,5538,2011-08-22
............\...\.......\...\...........\......\SWRL.html,41742,2011-08-22
............\...\.......\...\...........\......\XSD.html,29948,2011-08-22
............\...\.......\...\...........\owlapiv3
............\...\.......\...\...........\........\class-use
............\...\.......\...\...........\........\.........\OntologyUtils.html,5943,2011-08-22
............\...\.......\...\...........\........\.........\OWL.html,5843,2011-08-22
............\...\.......\...\...........\........\.........\SWRL.html,5853,2011-08-22
............\...\.......\...\...........\........\.........\XSD.html,5843,2011-08-22
............\...\.......\...\...........\........\OntologyUtils.html,34748,2011-08-22
............\...\.......\...\...........\........\OWL.html,126094,2011-08-22
............\...\.......\...\...........\........\package-frame.html,1170,2011-08-22
............\...\.......\...\...........\........\package-summary.html,6831,2011-08-22
............\...\.......\...\...........\........\package-tree.html,6534,2011-08-22
............\...\.......\...\...........\........\package-use.html,5550,2011-08-22
............\...\.......\...\...........\........\SWRL.html,41090,2011-08-22
............\...\.......\...\...........\........\XSD.html,30278,2011-08-22
............\...\.......\...\...........\pellet
............\...\.......\...\...........\......\BranchEffectTracker.html,12155,2011-08-22
............\...\.......\...\...........\......\class-use
............\...\.......\...\...........\......\.........\BranchEffectTracker.html,11043,2011-08-22
............\...\.......\...\...........\......\.........\IncrementalChangeTracker.html,11420,2011-08-22
............\...\.......\...\...........\......\datatypes
............\...\.......\...\...........\......\.........\AbstractBaseDatatype.html,15546,2011-08-22
............\...\.......\...\...........\......\.........\class-use
............\...\.......\...\...........\......\.........\.........\AbstractBaseDatatype.html,33186,2011-08-22
............\...\.......\...\...........\......\.........\.........\DataRange.html,22462,2011-08-22
............\...\.......\...\...........\......\.........\.........\Datatype.html,74185,2011-08-22
............\...\.......\...\...........\......\.........\.........\DatatypeReasoner.html,10245,2011-08-22
............\...\.......\...\...........\......\.........\.........\DatatypeReasonerImpl.html,6150,2011-08-22
............\...\.......\...\...........\......\.........\.........\Datatypes.html,6040,2011-08-22
............\...\.......\...\...........\......\.........\.........\DataValueEnumeration.html,6150,2011-08-22
............\...\.......\...\...........\......\.........\.........\DiscreteInterval.html,11602,2011-08-22