pellet-2.3.0最新版本体推理引擎

【实例简介】
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 inclu
【实例截图】
【核心代码】
b644930c-418d-475f-b0ed-d03a41ea215c
└── pellet-2.3.0
├── agpl-3.0.txt
├── BUGS.txt
├── CHANGES.txt
├── doc
│   ├── FAQ.txt
│   ├── index.html
│   ├── javadoc
│   │   ├── allclasses-frame.html
│   │   ├── allclasses-noframe.html
│   │   ├── com
│   │   │   └── clarkparsia
│   │   │   ├── modularity
│   │   │   │   ├── AbstractModuleExtractor.html
│   │   │   │   ├── AxiomBasedModuleExtractor.html
│   │   │   │   ├── ChangeTypeDetector.html
│   │   │   │   ├── class-use
│   │   │   │   │   ├── AbstractModuleExtractor.html
│   │   │   │   │   ├── AxiomBasedModuleExtractor.html
│   │   │   │   │   ├── ChangeTypeDetector.html
│   │   │   │   │   ├── EntailmentChecker.html
│   │   │   │   │   ├── IncrementalClassifier.DisjointClassComparator.html
│   │   │   │   │   ├── IncrementalClassifier.html
│   │   │   │   │   ├── IncrementalClassifier.PersistedState.html
│   │   │   │   │   ├── ModularityUtils.html
│   │   │   │   │   ├── ModuleExtractorFactory.html
│   │   │   │   │   ├── ModuleExtractor.html
│   │   │   │   │   ├── OntologyDiff.html
│   │   │   │   │   └── PelletIncremantalReasonerFactory.html
│   │   │   │   ├── EntailmentChecker.html
│   │   │   │   ├── IncrementalClassifier.DisjointClassComparator.html
│   │   │   │   ├── IncrementalClassifier.html
│   │   │   │   ├── IncrementalClassifier.PersistedState.html
│   │   │   │   ├── io
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── IncrementalClassifierPersistence.html
│   │   │   │   │   │   ├── ModuleExtractorPersistence.html
│   │   │   │   │   │   ├── TaxonomyPersistence.html
│   │   │   │   │   │   └── UncloseableOutputStream.html
│   │   │   │   │   ├── IncrementalClassifierPersistence.html
│   │   │   │   │   ├── ModuleExtractorPersistence.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   ├── TaxonomyPersistence.html
│   │   │   │   │   └── UncloseableOutputStream.html
│   │   │   │   ├── ModularityUtils.html
│   │   │   │   ├── ModuleExtractorFactory.html
│   │   │   │   ├── ModuleExtractor.html
│   │   │   │   ├── OntologyDiff.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   └── PelletIncremantalReasonerFactory.html
│   │   │   ├── owlapi
│   │   │   │   ├── class-use
│   │   │   │   │   ├── OntologyUtils.html
│   │   │   │   │   ├── OWL.html
│   │   │   │   │   ├── SWRL.html
│   │   │   │   │   └── XSD.html
│   │   │   │   ├── OntologyUtils.html
│   │   │   │   ├── OWL.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   ├── SWRL.html
│   │   │   │   └── XSD.html
│   │   │   ├── owlapiv3
│   │   │   │   ├── class-use
│   │   │   │   │   ├── OntologyUtils.html
│   │   │   │   │   ├── OWL.html
│   │   │   │   │   ├── SWRL.html
│   │   │   │   │   └── XSD.html
│   │   │   │   ├── OntologyUtils.html
│   │   │   │   ├── OWL.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   ├── SWRL.html
│   │   │   │   └── XSD.html
│   │   │   ├── pellet
│   │   │   │   ├── BranchEffectTracker.html
│   │   │   │   ├── class-use
│   │   │   │   │   ├── BranchEffectTracker.html
│   │   │   │   │   └── IncrementalChangeTracker.html
│   │   │   │   ├── datatypes
│   │   │   │   │   ├── AbstractBaseDatatype.html
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── AbstractBaseDatatype.html
│   │   │   │   │   │   ├── DataRange.html
│   │   │   │   │   │   ├── Datatype.html
│   │   │   │   │   │   ├── DatatypeReasoner.html
│   │   │   │   │   │   ├── DatatypeReasonerImpl.html
│   │   │   │   │   │   ├── Datatypes.html
│   │   │   │   │   │   ├── DataValueEnumeration.html
│   │   │   │   │   │   ├── DiscreteInterval.html
│   │   │   │   │   │   ├── DiscreteInterval.ValueIterator.html
│   │   │   │   │   │   ├── DNF.html
│   │   │   │   │   │   ├── EmptyDataRange.html
│   │   │   │   │   │   ├── EmptyIterator.html
│   │   │   │   │   │   ├── EmptyRestrictedDatatype.html
│   │   │   │   │   │   ├── Facet.html
│   │   │   │   │   │   ├── Facet.Registry.html
│   │   │   │   │   │   ├── Facet.XSD.html
│   │   │   │   │   │   ├── FloatingPointInterval.html
│   │   │   │   │   │   ├── FloatingPointInterval.ValueIterator.html
│   │   │   │   │   │   ├── FloatingPointType.html
│   │   │   │   │   │   ├── FloatingPointUtils.html
│   │   │   │   │   │   ├── IEEEDoubleType.html
│   │   │   │   │   │   ├── IEEEFloatType.html
│   │   │   │   │   │   ├── InfiniteNamedDatatype.html
│   │   │   │   │   │   ├── IntervalRelations.html
│   │   │   │   │   │   ├── NamedDataRangeExpander.html
│   │   │   │   │   │   ├── NegatedDataRange.html
│   │   │   │   │   │   ├── OWLRealInterval.html
│   │   │   │   │   │   ├── OWLRealInterval.IntegerIterator.html
│   │   │   │   │   │   ├── OWLRealInterval.LineType.html
│   │   │   │   │   │   ├── OWLRealUtils.html
│   │   │   │   │   │   ├── RestrictedDatatype.html
│   │   │   │   │   │   ├── RestrictedFloatingPointDatatype.html
│   │   │   │   │   │   ├── RestrictedRealDatatype.html
│   │   │   │   │   │   ├── UnionDataRange.html
│   │   │   │   │   │   ├── XSDDecimal.html
│   │   │   │   │   │   ├── XSDDouble.html
│   │   │   │   │   │   ├── XSDFloat.html
│   │   │   │   │   │   ├── XSDInteger.html
│   │   │   │   │   │   └── XSDLong.html
│   │   │   │   │   ├── DataRange.html
│   │   │   │   │   ├── Datatype.html
│   │   │   │   │   ├── DatatypeReasoner.html
│   │   │   │   │   ├── DatatypeReasonerImpl.html
│   │   │   │   │   ├── Datatypes.html
│   │   │   │   │   ├── DataValueEnumeration.html
│   │   │   │   │   ├── DiscreteInterval.html
│   │   │   │   │   ├── DiscreteInterval.ValueIterator.html
│   │   │   │   │   ├── DNF.html
│   │   │   │   │   ├── EmptyDataRange.html
│   │   │   │   │   ├── EmptyIterator.html
│   │   │   │   │   ├── EmptyRestrictedDatatype.html
│   │   │   │   │   ├── exceptions
│   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   ├── DatatypeReasonerException.html
│   │   │   │   │   │   │   ├── InvalidConstrainingFacetException.html
│   │   │   │   │   │   │   ├── InvalidDatatypeRestrictionException.html
│   │   │   │   │   │   │   ├── InvalidLiteralException.html
│   │   │   │   │   │   │   └── UnrecognizedDatatypeException.html
│   │   │   │   │   │   ├── DatatypeReasonerException.html
│   │   │   │   │   │   ├── InvalidConstrainingFacetException.html
│   │   │   │   │   │   ├── InvalidDatatypeRestrictionException.html
│   │   │   │   │   │   ├── InvalidLiteralException.html
│   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   └── UnrecognizedDatatypeException.html
│   │   │   │   │   ├── Facet.html
│   │   │   │   │   ├── Facet.Registry.html
│   │   │   │   │   ├── Facet.XSD.html
│   │   │   │   │   ├── FloatingPointInterval.html
│   │   │   │   │   ├── FloatingPointInterval.ValueIterator.html
│   │   │   │   │   ├── FloatingPointType.html
│   │   │   │   │   ├── FloatingPointUtils.html
│   │   │   │   │   ├── IEEEDoubleType.html
│   │   │   │   │   ├── IEEEFloatType.html
│   │   │   │   │   ├── InfiniteNamedDatatype.html
│   │   │   │   │   ├── IntervalRelations.html
│   │   │   │   │   ├── NamedDataRangeExpander.html
│   │   │   │   │   ├── NegatedDataRange.html
│   │   │   │   │   ├── OWLRealInterval.html
│   │   │   │   │   ├── OWLRealInterval.IntegerIterator.html
│   │   │   │   │   ├── OWLRealInterval.LineType.html
│   │   │   │   │   ├── OWLRealUtils.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   ├── RestrictedDatatype.html
│   │   │   │   │   ├── RestrictedFloatingPointDatatype.html
│   │   │   │   │   ├── RestrictedRealDatatype.html
│   │   │   │   │   ├── types
│   │   │   │   │   │   ├── bool
│   │   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   │   ├── RestrictedBooleanDatatype.html
│   │   │   │   │   │   │   │   └── XSDBoolean.html
│   │   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   │   ├── RestrictedBooleanDatatype.html
│   │   │   │   │   │   │   └── XSDBoolean.html
│   │   │   │   │   │   ├── datetime
│   │   │   │   │   │   │   ├── AbstractTimelineDatatype.html
│   │   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   │   ├── AbstractTimelineDatatype.html
│   │   │   │   │   │   │   │   ├── RestrictedTimelineDatatype.html
│   │   │   │   │   │   │   │   ├── XSDDate.html
│   │   │   │   │   │   │   │   ├── XSDDateTime.html
│   │   │   │   │   │   │   │   ├── XSDDateTimeStamp.html
│   │   │   │   │   │   │   │   ├── XSDGDay.html
│   │   │   │   │   │   │   │   ├── XSDGMonthDay.html
│   │   │   │   │   │   │   │   ├── XSDGMonth.html
│   │   │   │   │   │   │   │   ├── XSDGYear.html
│   │   │   │   │   │   │   │   ├── XSDGYearMonth.html
│   │   │   │   │   │   │   │   └── XSDTime.html
│   │   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   │   ├── RestrictedTimelineDatatype.html
│   │   │   │   │   │   │   ├── XSDDate.html
│   │   │   │   │   │   │   ├── XSDDateTime.html
│   │   │   │   │   │   │   ├── XSDDateTimeStamp.html
│   │   │   │   │   │   │   ├── XSDGDay.html
│   │   │   │   │   │   │   ├── XSDGMonthDay.html
│   │   │   │   │   │   │   ├── XSDGMonth.html
│   │   │   │   │   │   │   ├── XSDGYear.html
│   │   │   │   │   │   │   ├── XSDGYearMonth.html
│   │   │   │   │   │   │   └── XSDTime.html
│   │   │   │   │   │   ├── duration
│   │   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   │   ├── RestrictedDurationDatatype.html
│   │   │   │   │   │   │   │   └── XSDDuration.html
│   │   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   │   ├── RestrictedDurationDatatype.html
│   │   │   │   │   │   │   └── XSDDuration.html
│   │   │   │   │   │   ├── floating
│   │   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   │   ├── FloatingPointInterval.html
│   │   │   │   │   │   │   │   ├── FloatingPointType.html
│   │   │   │   │   │   │   │   ├── FloatingPointUtils.html
│   │   │   │   │   │   │   │   ├── IEEEDoubleType.html
│   │   │   │   │   │   │   │   ├── IEEEFloatType.html
│   │   │   │   │   │   │   │   ├── RestrictedFloatingPointDatatype.html
│   │   │   │   │   │   │   │   ├── XSDDouble.html
│   │   │   │   │   │   │   │   └── XSDFloat.html
│   │   │   │   │   │   │   ├── FloatingPointInterval.html
│   │   │   │   │   │   │   ├── FloatingPointType.html
│   │   │   │   │   │   │   ├── FloatingPointUtils.html
│   │   │   │   │   │   │   ├── IEEEDoubleType.html
│   │   │   │   │   │   │   ├── IEEEFloatType.html
│   │   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   │   ├── RestrictedFloatingPointDatatype.html
│   │   │   │   │   │   │   ├── XSDDouble.html
│   │   │   │   │   │   │   └── XSDFloat.html
│   │   │   │   │   │   ├── real
│   │   │   │   │   │   │   ├── AbstractDerivedIntegerType.html
│   │   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   │   ├── AbstractDerivedIntegerType.html
│   │   │   │   │   │   │   │   ├── ContinuousRealInterval.html
│   │   │   │   │   │   │   │   ├── IntegerInterval.html
│   │   │   │   │   │   │   │   ├── OWLRational.html
│   │   │   │   │   │   │   │   ├── OWLReal.html
│   │   │   │   │   │   │   │   ├── Rational.html
│   │   │   │   │   │   │   │   ├── RestrictedRealDatatype.html
│   │   │   │   │   │   │   │   ├── XSDByte.html
│   │   │   │   │   │   │   │   ├── XSDDecimal.html
│   │   │   │   │   │   │   │   ├── XSDInteger.html
│   │   │   │   │   │   │   │   ├── XSDInt.html
│   │   │   │   │   │   │   │   ├── XSDLong.html
│   │   │   │   │   │   │   │   ├── XSDNegativeInteger.html
│   │   │   │   │   │   │   │   ├── XSDNonNegativeInteger.html
│   │   │   │   │   │   │   │   ├── XSDNonPositiveInteger.html
│   │   │   │   │   │   │   │   ├── XSDPositiveInteger.html
│   │   │   │   │   │   │   │   ├── XSDShort.html
│   │   │   │   │   │   │   │   ├── XSDUnsignedByte.html
│   │   │   │   │   │   │   │   ├── XSDUnsignedInt.html
│   │   │   │   │   │   │   │   ├── XSDUnsignedLong.html
│   │   │   │   │   │   │   │   └── XSDUnsignedShort.html
│   │   │   │   │   │   │   ├── ContinuousRealInterval.html
│   │   │   │   │   │   │   ├── IntegerInterval.html
│   │   │   │   │   │   │   ├── OWLRational.html
│   │   │   │   │   │   │   ├── OWLReal.html
│   │   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   │   ├── Rational.html
│   │   │   │   │   │   │   ├── RestrictedRealDatatype.html
│   │   │   │   │   │   │   ├── XSDByte.html
│   │   │   │   │   │   │   ├── XSDDecimal.html
│   │   │   │   │   │   │   ├── XSDInteger.html
│   │   │   │   │   │   │   ├── XSDInt.html
│   │   │   │   │   │   │   ├── XSDLong.html
│   │   │   │   │   │   │   ├── XSDNegativeInteger.html
│   │   │   │   │   │   │   ├── XSDNonNegativeInteger.html
│   │   │   │   │   │   │   ├── XSDNonPositiveInteger.html
│   │   │   │   │   │   │   ├── XSDPositiveInteger.html
│   │   │   │   │   │   │   ├── XSDShort.html
│   │   │   │   │   │   │   ├── XSDUnsignedByte.html
│   │   │   │   │   │   │   ├── XSDUnsignedInt.html
│   │   │   │   │   │   │   ├── XSDUnsignedLong.html
│   │   │   │   │   │   │   └── XSDUnsignedShort.html
│   │   │   │   │   │   ├── text
│   │   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   │   ├── RDFPlainLiteral.html
│   │   │   │   │   │   │   │   ├── RestrictedTextDatatype.html
│   │   │   │   │   │   │   │   ├── XSDLanguage.html
│   │   │   │   │   │   │   │   ├── XSDName.html
│   │   │   │   │   │   │   │   ├── XSDNCName.html
│   │   │   │   │   │   │   │   ├── XSDNMToken.html
│   │   │   │   │   │   │   │   ├── XSDNormalizedString.html
│   │   │   │   │   │   │   │   ├── XSDString.html
│   │   │   │   │   │   │   │   └── XSDToken.html
│   │   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   │   ├── RDFPlainLiteral.html
│   │   │   │   │   │   │   ├── RestrictedTextDatatype.html
│   │   │   │   │   │   │   ├── XSDLanguage.html
│   │   │   │   │   │   │   ├── XSDName.html
│   │   │   │   │   │   │   ├── XSDNCName.html
│   │   │   │   │   │   │   ├── XSDNMToken.html
│   │   │   │   │   │   │   ├── XSDNormalizedString.html
│   │   │   │   │   │   │   ├── XSDString.html
│   │   │   │   │   │   │   └── XSDToken.html
│   │   │   │   │   │   └── uri
│   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   ├── RestrictedURIDatatype.html
│   │   │   │   │   │   │   └── XSDAnyURI.html
│   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   ├── RestrictedURIDatatype.html
│   │   │   │   │   │   └── XSDAnyURI.html
│   │   │   │   │   ├── UnionDataRange.html
│   │   │   │   │   ├── XSDDecimal.html
│   │   │   │   │   ├── XSDDouble.html
│   │   │   │   │   ├── XSDFloat.html
│   │   │   │   │   ├── XSDInteger.html
│   │   │   │   │   └── XSDLong.html
│   │   │   │   ├── el
│   │   │   │   │   ├── CachedSubsumptionComparator.html
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── CachedSubsumptionComparator.html
│   │   │   │   │   │   ├── ELClassifier.html
│   │   │   │   │   │   ├── ELExpressivityChecker.html
│   │   │   │   │   │   ├── ELSyntaxUtils.html
│   │   │   │   │   │   ├── GenericTaxonomyBuilder.html
│   │   │   │   │   │   ├── JenaBasedELClassifier.html
│   │   │   │   │   │   ├── ReteBasedELClassifier.html
│   │   │   │   │   │   ├── RoleChainCache.html
│   │   │   │   │   │   ├── RoleRestrictionCache.html
│   │   │   │   │   │   ├── RuleBasedELClassifier.html
│   │   │   │   │   │   ├── SimplifiedELClassifier.html
│   │   │   │   │   │   └── Trigger.html
│   │   │   │   │   ├── ELClassifier.html
│   │   │   │   │   ├── ELExpressivityChecker.html
│   │   │   │   │   ├── ELSyntaxUtils.html
│   │   │   │   │   ├── GenericTaxonomyBuilder.html
│   │   │   │   │   ├── JenaBasedELClassifier.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   ├── ReteBasedELClassifier.html
│   │   │   │   │   ├── RoleChainCache.html
│   │   │   │   │   ├── RoleRestrictionCache.html
│   │   │   │   │   ├── RuleBasedELClassifier.html
│   │   │   │   │   ├── SimplifiedELClassifier.html
│   │   │   │   │   └── Trigger.html
│   │   │   │   ├── expressivity
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── DLExpressivityChecker.html
│   │   │   │   │   │   ├── ExpressivityChecker.html
│   │   │   │   │   │   ├── Expressivity.html
│   │   │   │   │   │   └── ProfileBasedExpressivityChecker.html
│   │   │   │   │   ├── DLExpressivityChecker.html
│   │   │   │   │   ├── ExpressivityChecker.html
│   │   │   │   │   ├── Expressivity.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   └── ProfileBasedExpressivityChecker.html
│   │   │   │   ├── impl
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── SimpleBranchEffectTracker.html
│   │   │   │   │   │   └── SimpleIncrementalChangeTracker.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   ├── SimpleBranchEffectTracker.html
│   │   │   │   │   └── SimpleIncrementalChangeTracker.html
│   │   │   │   ├── IncrementalChangeTracker.html
│   │   │   │   ├── owlapiv3
│   │   │   │   │   ├── AxiomConverter.html
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── AxiomConverter.html
│   │   │   │   │   │   ├── ConceptConverter.html
│   │   │   │   │   │   ├── EntailmentChecker.html
│   │   │   │   │   │   ├── EntailmentQueryVisitor.html
│   │   │   │   │   │   ├── LimitedMapIRIMapper.html
│   │   │   │   │   │   ├── OWLAPILoader.html
│   │   │   │   │   │   ├── OWLClassTreePrinter.html
│   │   │   │   │   │   ├── PelletLoader.html
│   │   │   │   │   │   ├── PelletReasonerFactory.html
│   │   │   │   │   │   ├── PelletReasoner.html
│   │   │   │   │   │   ├── PelletVisitor.html
│   │   │   │   │   │   ├── ProgressAdapter.html
│   │   │   │   │   │   └── Reasoner.html
│   │   │   │   │   ├── ConceptConverter.html
│   │   │   │   │   ├── EntailmentChecker.html
│   │   │   │   │   ├── EntailmentQueryVisitor.html
│   │   │   │   │   ├── LimitedMapIRIMapper.html
│   │   │   │   │   ├── OWLAPILoader.html
│   │   │   │   │   ├── OWLClassTreePrinter.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   ├── PelletLoader.html
│   │   │   │   │   ├── PelletReasonerFactory.html
│   │   │   │   │   ├── PelletReasoner.html
│   │   │   │   │   ├── PelletVisitor.html
│   │   │   │   │   ├── ProgressAdapter.html
│   │   │   │   │   └── Reasoner.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   ├── rules
│   │   │   │   │   ├── AllNamedIndividualsIterator.html
│   │   │   │   │   ├── BindingGenerator.html
│   │   │   │   │   ├── BindingGeneratorImpl.html
│   │   │   │   │   ├── BindingGeneratorStrategy.html
│   │   │   │   │   ├── BindingGeneratorStrategyImpl.html
│   │   │   │   │   ├── BindingHelper.html
│   │   │   │   │   ├── builtins
│   │   │   │   │   │   ├── BinaryTester.html
│   │   │   │   │   │   ├── BooleanOperators.html
│   │   │   │   │   │   ├── BuiltIn.html
│   │   │   │   │   │   ├── BuiltInRegistry.html
│   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   ├── BinaryTester.html
│   │   │   │   │   │   │   ├── BooleanOperators.html
│   │   │   │   │   │   │   ├── BuiltIn.html
│   │   │   │   │   │   │   ├── BuiltInRegistry.html
│   │   │   │   │   │   │   ├── ComparisonTesters.html
│   │   │   │   │   │   │   ├── DateTimeOperators.html
│   │   │   │   │   │   │   ├── FunctionApplicationVisitor.html
│   │   │   │   │   │   │   ├── FunctionBuiltIn.html
│   │   │   │   │   │   │   ├── Function.html
│   │   │   │   │   │   │   ├── GeneralFunctionBuiltIn.html
│   │   │   │   │   │   │   ├── GeneralFunction.html
│   │   │   │   │   │   │   ├── NoSuchBuiltIn.html
│   │   │   │   │   │   │   ├── NumberToLiteralVisitor.html
│   │   │   │   │   │   │   ├── NumericAdapter.html
│   │   │   │   │   │   │   ├── NumericComparisonVisitor.html
│   │   │   │   │   │   │   ├── NumericFunction.html
│   │   │   │   │   │   │   ├── NumericOperators.html
│   │   │   │   │   │   │   ├── NumericPromotion.html
│   │   │   │   │   │   │   ├── NumericVisitor.html
│   │   │   │   │   │   │   ├── StringFunctionAdapter.html
│   │   │   │   │   │   │   ├── StringOperators.html
│   │   │   │   │   │   │   ├── StringToStringFunction.html
│   │   │   │   │   │   │   ├── TesterBuiltIn.html
│   │   │   │   │   │   │   ├── Tester.html
│   │   │   │   │   │   │   └── URIOperators.html
│   │   │   │   │   │   ├── ComparisonTesters.html
│   │   │   │   │   │   ├── DateTimeOperators.html
│   │   │   │   │   │   ├── FunctionApplicationVisitor.html
│   │   │   │   │   │   ├── FunctionBuiltIn.html
│   │   │   │   │   │   ├── Function.html
│   │   │   │   │   │   ├── GeneralFunctionBuiltIn.html
│   │   │   │   │   │   ├── GeneralFunction.html
│   │   │   │   │   │   ├── NoSuchBuiltIn.html
│   │   │   │   │   │   ├── NumberToLiteralVisitor.html
│   │   │   │   │   │   ├── NumericAdapter.html
│   │   │   │   │   │   ├── NumericComparisonVisitor.html
│   │   │   │   │   │   ├── NumericFunction.html
│   │   │   │   │   │   ├── NumericOperators.html
│   │   │   │   │   │   ├── NumericPromotion.html
│   │   │   │   │   │   ├── NumericVisitor.html
│   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   ├── StringFunctionAdapter.html
│   │   │   │   │   │   ├── StringOperators.html
│   │   │   │   │   │   ├── StringToStringFunction.html
│   │   │   │   │   │   ├── TesterBuiltIn.html
│   │   │   │   │   │   ├── Tester.html
│   │   │   │   │   │   └── URIOperators.html
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── AllNamedIndividualsIterator.html
│   │   │   │   │   │   ├── BindingGenerator.html
│   │   │   │   │   │   ├── BindingGeneratorImpl.html
│   │   │   │   │   │   ├── BindingGeneratorStrategy.html
│   │   │   │   │   │   ├── BindingGeneratorStrategyImpl.html
│   │   │   │   │   │   ├── BindingHelper.html
│   │   │   │   │   │   ├── ContinuousReteTransformer.html
│   │   │   │   │   │   ├── ContinuousRulesStrategy.html
│   │   │   │   │   │   ├── DataRangeBindingHelper.html
│   │   │   │   │   │   ├── DatavaluePropertyBindingHelper.html
│   │   │   │   │   │   ├── LiteralFilter.html
│   │   │   │   │   │   ├── ObjectVariableBindingHelper.html
│   │   │   │   │   │   ├── RuleAtomAsserter.html
│   │   │   │   │   │   ├── RulesToATermTranslator.html
│   │   │   │   │   │   ├── RulesToReteTranslator.html
│   │   │   │   │   │   ├── RuleStrategy.html
│   │   │   │   │   │   ├── TrivialSatisfactionHelpers.html
│   │   │   │   │   │   ├── UsableRuleFilter.html
│   │   │   │   │   │   ├── VariableBinding.html
│   │   │   │   │   │   └── VariableUtils.html
│   │   │   │   │   ├── ContinuousReteTransformer.html
│   │   │   │   │   ├── ContinuousRulesStrategy.html
│   │   │   │   │   ├── DataRangeBindingHelper.html
│   │   │   │   │   ├── DatavaluePropertyBindingHelper.html
│   │   │   │   │   ├── LiteralFilter.html
│   │   │   │   │   ├── model
│   │   │   │   │   │   ├── AtomConstant.html
│   │   │   │   │   │   ├── AtomDConstant.html
│   │   │   │   │   │   ├── AtomDObject.html
│   │   │   │   │   │   ├── AtomDVariable.html
│   │   │   │   │   │   ├── AtomIConstant.html
│   │   │   │   │   │   ├── AtomIObject.html
│   │   │   │   │   │   ├── AtomIVariable.html
│   │   │   │   │   │   ├── AtomObject.html
│   │   │   │   │   │   ├── AtomObjectVisitor.html
│   │   │   │   │   │   ├── AtomVariable.html
│   │   │   │   │   │   ├── BinaryAtom.html
│   │   │   │   │   │   ├── BuiltInAtom.html
│   │   │   │   │   │   ├── ClassAtom.html
│   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   ├── AtomConstant.html
│   │   │   │   │   │   │   ├── AtomDConstant.html
│   │   │   │   │   │   │   ├── AtomDObject.html
│   │   │   │   │   │   │   ├── AtomDVariable.html
│   │   │   │   │   │   │   ├── AtomIConstant.html
│   │   │   │   │   │   │   ├── AtomIObject.html
│   │   │   │   │   │   │   ├── AtomIVariable.html
│   │   │   │   │   │   │   ├── AtomObject.html
│   │   │   │   │   │   │   ├── AtomObjectVisitor.html
│   │   │   │   │   │   │   ├── AtomVariable.html
│   │   │   │   │   │   │   ├── BinaryAtom.html
│   │   │   │   │   │   │   ├── BuiltInAtom.html
│   │   │   │   │   │   │   ├── ClassAtom.html
│   │   │   │   │   │   │   ├── DataRangeAtom.html
│   │   │   │   │   │   │   ├── DatavaluedPropertyAtom.html
│   │   │   │   │   │   │   ├── DefaultAtomObjectVisitor.html
│   │   │   │   │   │   │   ├── DefaultRuleAtomVisitor.html
│   │   │   │   │   │   │   ├── DifferentIndividualsAtom.html
│   │   │   │   │   │   │   ├── IndividualPropertyAtom.html
│   │   │   │   │   │   │   ├── RuleAtom.html
│   │   │   │   │   │   │   ├── RuleAtomImpl.html
│   │   │   │   │   │   │   ├── RuleAtomVisitor.html
│   │   │   │   │   │   │   ├── Rule.html
│   │   │   │   │   │   │   ├── SameIndividualAtom.html
│   │   │   │   │   │   │   └── UnaryAtom.html
│   │   │   │   │   │   ├── DataRangeAtom.html
│   │   │   │   │   │   ├── DatavaluedPropertyAtom.html
│   │   │   │   │   │   ├── DefaultAtomObjectVisitor.html
│   │   │   │   │   │   ├── DefaultRuleAtomVisitor.html
│   │   │   │   │   │   ├── DifferentIndividualsAtom.html
│   │   │   │   │   │   ├── IndividualPropertyAtom.html
│   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   ├── RuleAtom.html
│   │   │   │   │   │   ├── RuleAtomImpl.html
│   │   │   │   │   │   ├── RuleAtomVisitor.html
│   │   │   │   │   │   ├── Rule.html
│   │   │   │   │   │   ├── SameIndividualAtom.html
│   │   │   │   │   │   └── UnaryAtom.html
│   │   │   │   │   ├── ObjectVariableBindingHelper.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   ├── rete
│   │   │   │   │   │   ├── AlphaIndex.html
│   │   │   │   │   │   ├── AlphaNode.html
│   │   │   │   │   │   ├── AlphaStore.html
│   │   │   │   │   │   ├── BetaNode.html
│   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   ├── AlphaIndex.html
│   │   │   │   │   │   │   ├── AlphaNode.html
│   │   │   │   │   │   │   ├── AlphaStore.html
│   │   │   │   │   │   │   ├── BetaNode.html
│   │   │   │   │   │   │   ├── Compiler.html
│   │   │   │   │   │   │   ├── Fact.html
│   │   │   │   │   │   │   ├── Index.html
│   │   │   │   │   │   │   ├── Interpreter.html
│   │   │   │   │   │   │   ├── Node.html
│   │   │   │   │   │   │   ├── Rule.html
│   │   │   │   │   │   │   ├── RuleNode.html
│   │   │   │   │   │   │   ├── TermTuple.html
│   │   │   │   │   │   │   ├── Tuple.html
│   │   │   │   │   │   │   └── Utils.html
│   │   │   │   │   │   ├── Compiler.html
│   │   │   │   │   │   ├── Fact.html
│   │   │   │   │   │   ├── Index.html
│   │   │   │   │   │   ├── Interpreter.html
│   │   │   │   │   │   ├── Node.html
│   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   ├── Rule.html
│   │   │   │   │   │   ├── RuleNode.html
│   │   │   │   │   │   ├── TermTuple.html
│   │   │   │   │   │   ├── Tuple.html
│   │   │   │   │   │   └── Utils.html
│   │   │   │   │   ├── RuleAtomAsserter.html
│   │   │   │   │   ├── RulesToATermTranslator.html
│   │   │   │   │   ├── RulesToReteTranslator.html
│   │   │   │   │   ├── RuleStrategy.html
│   │   │   │   │   ├── TrivialSatisfactionHelpers.html
│   │   │   │   │   ├── UsableRuleFilter.html
│   │   │   │   │   ├── VariableBinding.html
│   │   │   │   │   └── VariableUtils.html
│   │   │   │   ├── sparqldl
│   │   │   │   │   ├── engine
│   │   │   │   │   │   ├── AbstractABoxEngineWrapper.html
│   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   ├── AbstractABoxEngineWrapper.html
│   │   │   │   │   │   │   ├── CombinedQueryEngine.html
│   │   │   │   │   │   │   ├── CoreStrategy.html
│   │   │   │   │   │   │   ├── CostBasedQueryPlanNew.html
│   │   │   │   │   │   │   ├── IncrementalQueryPlan.html
│   │   │   │   │   │   │   ├── NoReorderingQueryPlan.html
│   │   │   │   │   │   │   ├── OptimizedQueryEngine2.html
│   │   │   │   │   │   │   ├── OptimizedQueryEngine3.html
│   │   │   │   │   │   │   ├── QueryCost.html
│   │   │   │   │   │   │   ├── QueryEngine.html
│   │   │   │   │   │   │   ├── QueryExec.html
│   │   │   │   │   │   │   ├── QueryOptimizer.html
│   │   │   │   │   │   │   ├── QueryPlan.html
│   │   │   │   │   │   │   ├── QuerySizeEstimator.html
│   │   │   │   │   │   │   ├── QuerySubsumption.html
│   │   │   │   │   │   │   └── SimpleQueryEngine.html
│   │   │   │   │   │   ├── CombinedQueryEngine.html
│   │   │   │   │   │   ├── CoreStrategy.html
│   │   │   │   │   │   ├── CostBasedQueryPlanNew.html
│   │   │   │   │   │   ├── IncrementalQueryPlan.html
│   │   │   │   │   │   ├── NoReorderingQueryPlan.html
│   │   │   │   │   │   ├── OptimizedQueryEngine2.html
│   │   │   │   │   │   ├── OptimizedQueryEngine3.html
│   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   ├── QueryCost.html
│   │   │   │   │   │   ├── QueryEngine.html
│   │   │   │   │   │   ├── QueryExec.html
│   │   │   │   │   │   ├── QueryOptimizer.html
│   │   │   │   │   │   ├── QueryPlan.html
│   │   │   │   │   │   ├── QuerySizeEstimator.html
│   │   │   │   │   │   ├── QuerySubsumption.html
│   │   │   │   │   │   └── SimpleQueryEngine.html
│   │   │   │   │   ├── jena
│   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   ├── JenaIOUtils.html
│   │   │   │   │   │   │   ├── JenaIOUtils.RDFFormatType.html
│   │   │   │   │   │   │   ├── SlicedResultSet.html
│   │   │   │   │   │   │   ├── SortedResultSet.html
│   │   │   │   │   │   │   ├── SparqlDLExecutionFactory.html
│   │   │   │   │   │   │   ├── SparqlDLExecutionFactory.QueryEngineType.html
│   │   │   │   │   │   │   └── SparqlDLResultSet.html
│   │   │   │   │   │   ├── JenaIOUtils.html
│   │   │   │   │   │   ├── JenaIOUtils.RDFFormatType.html
│   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   ├── SlicedResultSet.html
│   │   │   │   │   │   ├── SortedResultSet.html
│   │   │   │   │   │   ├── SparqlDLExecutionFactory.html
│   │   │   │   │   │   ├── SparqlDLExecutionFactory.QueryEngineType.html
│   │   │   │   │   │   └── SparqlDLResultSet.html
│   │   │   │   │   ├── model
│   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   ├── Core.html
│   │   │   │   │   │   │   ├── CoreImpl.html
│   │   │   │   │   │   │   ├── CoreNewImpl.html
│   │   │   │   │   │   │   ├── Filter.html
│   │   │   │   │   │   │   ├── MultiFilterWrapper.html
│   │   │   │   │   │   │   ├── MultiQueryResults.html
│   │   │   │   │   │   │   ├── NotKnownQueryAtom.html
│   │   │   │   │   │   │   ├── QueryAtomFactory.html
│   │   │   │   │   │   │   ├── QueryAtom.html
│   │   │   │   │   │   │   ├── QueryAtomImpl.html
│   │   │   │   │   │   │   ├── Query.html
│   │   │   │   │   │   │   ├── QueryImpl.html
│   │   │   │   │   │   │   ├── QueryParameters.html
│   │   │   │   │   │   │   ├── QueryPredicate.html
│   │   │   │   │   │   │   ├── QueryResult.html
│   │   │   │   │   │   │   ├── QueryResultImpl.html
│   │   │   │   │   │   │   ├── Query.VarType.html
│   │   │   │   │   │   │   ├── ResultBinding.html
│   │   │   │   │   │   │   ├── ResultBindingImpl.html
│   │   │   │   │   │   │   └── UnionQueryAtom.html
│   │   │   │   │   │   ├── Core.html
│   │   │   │   │   │   ├── CoreImpl.html
│   │   │   │   │   │   ├── CoreNewImpl.html
│   │   │   │   │   │   ├── Filter.html
│   │   │   │   │   │   ├── MultiFilterWrapper.html
│   │   │   │   │   │   ├── MultiQueryResults.html
│   │   │   │   │   │   ├── NotKnownQueryAtom.html
│   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   ├── QueryAtomFactory.html
│   │   │   │   │   │   ├── QueryAtom.html
│   │   │   │   │   │   ├── QueryAtomImpl.html
│   │   │   │   │   │   ├── Query.html
│   │   │   │   │   │   ├── QueryImpl.html
│   │   │   │   │   │   ├── QueryParameters.html
│   │   │   │   │   │   ├── QueryPredicate.html
│   │   │   │   │   │   ├── QueryResult.html
│   │   │   │   │   │   ├── QueryResultImpl.html
│   │   │   │   │   │   ├── Query.VarType.html
│   │   │   │   │   │   ├── ResultBinding.html
│   │   │   │   │   │   ├── ResultBindingImpl.html
│   │   │   │   │   │   └── UnionQueryAtom.html
│   │   │   │   │   └── parser
│   │   │   │   │   ├── ARQParser.html
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── ARQParser.html
│   │   │   │   │   │   ├── QueryParser.html
│   │   │   │   │   │   └── SparqldlExtensionsVocabulary.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   ├── QueryParser.html
│   │   │   │   │   └── SparqldlExtensionsVocabulary.html
│   │   │   │   ├── utils
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── CollectionUtils.html
│   │   │   │   │   │   ├── IdentityHashSet.html
│   │   │   │   │   │   ├── MultiMapUtils.html
│   │   │   │   │   │   ├── OntBuilder.html
│   │   │   │   │   │   ├── PropertiesBuilder.html
│   │   │   │   │   │   └── TermFactory.html
│   │   │   │   │   ├── CollectionUtils.html
│   │   │   │   │   ├── IdentityHashSet.html
│   │   │   │   │   ├── MultiMapUtils.html
│   │   │   │   │   ├── OntBuilder.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   ├── PropertiesBuilder.html
│   │   │   │   │   └── TermFactory.html
│   │   │   │   └── vocabulary
│   │   │   │   ├── BuiltinNamespace.html
│   │   │   │   ├── class-use
│   │   │   │   │   └── BuiltinNamespace.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   └── package-use.html
│   │   │   ├── pellint
│   │   │   │   ├── format
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── CompactClassLintFormat.html
│   │   │   │   │   │   ├── LintFormat.html
│   │   │   │   │   │   └── SimpleLintFormat.html
│   │   │   │   │   ├── CompactClassLintFormat.html
│   │   │   │   │   ├── LintFormat.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   └── SimpleLintFormat.html
│   │   │   │   ├── lintpattern
│   │   │   │   │   ├── axiom
│   │   │   │   │   │   ├── AxiomLintPattern.html
│   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   ├── AxiomLintPattern.html
│   │   │   │   │   │   │   ├── EquivalentToAllValuePattern.html
│   │   │   │   │   │   │   ├── EquivalentToComplementPattern.html
│   │   │   │   │   │   │   ├── EquivalentToMaxCardinalityPattern.html
│   │   │   │   │   │   │   ├── EquivalentToTopPattern.html
│   │   │   │   │   │   │   ├── GCIPattern.html
│   │   │   │   │   │   │   ├── LargeCardinalityPattern.html
│   │   │   │   │   │   │   └── LargeDisjunctionPattern.html
│   │   │   │   │   │   ├── EquivalentToAllValuePattern.html
│   │   │   │   │   │   ├── EquivalentToComplementPattern.html
│   │   │   │   │   │   ├── EquivalentToMaxCardinalityPattern.html
│   │   │   │   │   │   ├── EquivalentToTopPattern.html
│   │   │   │   │   │   ├── GCIPattern.html
│   │   │   │   │   │   ├── LargeCardinalityPattern.html
│   │   │   │   │   │   ├── LargeDisjunctionPattern.html
│   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   └── package-use.html
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── LintPattern.html
│   │   │   │   │   │   └── LintPatternLoader.html
│   │   │   │   │   ├── LintPattern.html
│   │   │   │   │   ├── LintPatternLoader.html
│   │   │   │   │   ├── ontology
│   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   ├── EquivalentAndSubclassAxiomPattern.html
│   │   │   │   │   │   │   ├── ExistentialExplosionPattern.html
│   │   │   │   │   │   │   ├── OntologyLintPattern.html
│   │   │   │   │   │   │   └── TooManyDifferentIndividualsPattern.html
│   │   │   │   │   │   ├── EquivalentAndSubclassAxiomPattern.html
│   │   │   │   │   │   ├── ExistentialExplosionPattern.html
│   │   │   │   │   │   ├── OntologyLintPattern.html
│   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   └── TooManyDifferentIndividualsPattern.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   └── package-use.html
│   │   │   │   ├── model
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── LintFactory.html
│   │   │   │   │   │   ├── LintFixer.html
│   │   │   │   │   │   ├── Lint.html
│   │   │   │   │   │   ├── OntologyLints.html
│   │   │   │   │   │   └── Severity.html
│   │   │   │   │   ├── LintFactory.html
│   │   │   │   │   ├── LintFixer.html
│   │   │   │   │   ├── Lint.html
│   │   │   │   │   ├── OntologyLints.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   └── Severity.html
│   │   │   │   ├── rdfxml
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── DoubtfulSet.html
│   │   │   │   │   │   ├── OWLEntityDatabase.html
│   │   │   │   │   │   ├── OWLSyntaxChecker.html
│   │   │   │   │   │   ├── RDFLints.html
│   │   │   │   │   │   ├── RDFModel.html
│   │   │   │   │   │   ├── RDFModelReader.html
│   │   │   │   │   │   └── RDFModelWriter.html
│   │   │   │   │   ├── DoubtfulSet.html
│   │   │   │   │   ├── OWLEntityDatabase.html
│   │   │   │   │   ├── OWLSyntaxChecker.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   ├── RDFLints.html
│   │   │   │   │   ├── RDFModel.html
│   │   │   │   │   ├── RDFModelReader.html
│   │   │   │   │   └── RDFModelWriter.html
│   │   │   │   └── util
│   │   │   │   ├── class-use
│   │   │   │   │   ├── CollectionUtil.html
│   │   │   │   │   ├── IllegalPellintArgumentException.html
│   │   │   │   │   ├── OptimizedDirectedMultigraph.html
│   │   │   │   │   ├── OWLDeepEntityVisitorAdapter.html
│   │   │   │   │   └── OWLUtil.html
│   │   │   │   ├── CollectionUtil.html
│   │   │   │   ├── IllegalPellintArgumentException.html
│   │   │   │   ├── OptimizedDirectedMultigraph.html
│   │   │   │   ├── OWLDeepEntityVisitorAdapter.html
│   │   │   │   ├── OWLUtil.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   └── package-use.html
│   │   │   └── sparqlowl
│   │   │   └── parser
│   │   │   ├── arq
│   │   │   │   ├── ARQParserUtilities.html
│   │   │   │   ├── ARQTerpParser.html
│   │   │   │   ├── class-use
│   │   │   │   │   ├── ARQParserUtilities.html
│   │   │   │   │   ├── ARQTerpParser.html
│   │   │   │   │   └── TerpSyntax.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   └── TerpSyntax.html
│   │   │   ├── class-use
│   │   │   │   └── ParserUtilities.html
│   │   │   ├── package-frame.html
│   │   │   ├── package-summary.html
│   │   │   ├── package-tree.html
│   │   │   ├── package-use.html
│   │   │   └── ParserUtilities.html
│   │   ├── constant-values.html
│   │   ├── deprecated-list.html
│   │   ├── help-doc.html
│   │   ├── index-files
│   │   │   ├── index-10.html
│   │   │   ├── index-11.html
│   │   │   ├── index-12.html
│   │   │   ├── index-13.html
│   │   │   ├── index-14.html
│   │   │   ├── index-15.html
│   │   │   ├── index-16.html
│   │   │   ├── index-17.html
│   │   │   ├── index-18.html
│   │   │   ├── index-19.html
│   │   │   ├── index-1.html
│   │   │   ├── index-20.html
│   │   │   ├── index-21.html
│   │   │   ├── index-22.html
│   │   │   ├── index-23.html
│   │   │   ├── index-24.html
│   │   │   ├── index-25.html
│   │   │   ├── index-26.html
│   │   │   ├── index-2.html
│   │   │   ├── index-3.html
│   │   │   ├── index-4.html
│   │   │   ├── index-5.html
│   │   │   ├── index-6.html
│   │   │   ├── index-7.html
│   │   │   ├── index-8.html
│   │   │   └── index-9.html
│   │   ├── index.html
│   │   ├── org
│   │   │   └── mindswap
│   │   │   └── pellet
│   │   │   ├── ABox.html
│   │   │   ├── ABoxStats.html
│   │   │   ├── Clash.ClashType.html
│   │   │   ├── Clash.html
│   │   │   ├── class-use
│   │   │   │   ├── ABox.html
│   │   │   │   ├── ABoxStats.html
│   │   │   │   ├── Clash.ClashType.html
│   │   │   │   ├── Clash.html
│   │   │   │   ├── DefaultEdge.html
│   │   │   │   ├── DependencySet.html
│   │   │   │   ├── Edge.html
│   │   │   │   ├── EdgeList.html
│   │   │   │   ├── FSMBuilder.html
│   │   │   │   ├── Individual.html
│   │   │   │   ├── IndividualIterator.html
│   │   │   │   ├── KBLoader.html
│   │   │   │   ├── KnowledgeBase.AssertionType.html
│   │   │   │   ├── KnowledgeBase.ChangeType.html
│   │   │   │   ├── KnowledgeBase.html
│   │   │   │   ├── KRSSLoader.html
│   │   │   │   ├── Literal.html
│   │   │   │   ├── LiteralIterator.html
│   │   │   │   ├── Node.html
│   │   │   │   ├── NodeMerge.html
│   │   │   │   ├── PelletOptions.html
│   │   │   │   ├── PelletOptions.InstanceRetrievalMethod.html
│   │   │   │   ├── PelletOptions.MonitorType.html
│   │   │   │   ├── PelletOptions.OrderedClassification.html
│   │   │   │   ├── PelletOptions.UndefinedDatatypeHandling.html
│   │   │   │   ├── PropertyType.html
│   │   │   │   ├── RBox.html
│   │   │   │   ├── Role.html
│   │   │   │   └── RoleTaxonomyBuilder.html
│   │   │   ├── datatypes
│   │   │   │   ├── AbstractDateTimeValueSpace.html
│   │   │   │   ├── AbstractValueSpace.html
│   │   │   │   ├── AtomicDatatype.html
│   │   │   │   ├── BaseAtomicDatatype.html
│   │   │   │   ├── BaseDatatype.html
│   │   │   │   ├── BaseUnionDatatype.html
│   │   │   │   ├── BaseXSDAtomicType.html
│   │   │   │   ├── class-use
│   │   │   │   │   ├── AbstractDateTimeValueSpace.html
│   │   │   │   │   ├── AbstractValueSpace.html
│   │   │   │   │   ├── AtomicDatatype.html
│   │   │   │   │   ├── BaseAtomicDatatype.html
│   │   │   │   │   ├── BaseDatatype.html
│   │   │   │   │   ├── BaseUnionDatatype.html
│   │   │   │   │   ├── BaseXSDAtomicType.html
│   │   │   │   │   ├── DatatypeFacet.html
│   │   │   │   │   ├── Datatype.html
│   │   │   │   │   ├── DatatypeReasoner.html
│   │   │   │   │   ├── EmptyDatatype.html
│   │   │   │   │   ├── RDFSLiteral.html
│   │   │   │   │   ├── RDFXMLLiteral.html
│   │   │   │   │   ├── UnionDatatype.html
│   │   │   │   │   ├── UnknownDatatype.html
│   │   │   │   │   ├── ValueSpace.html
│   │   │   │   │   ├── XSDAnyURI.html
│   │   │   │   │   ├── XSDAtomicType.html
│   │   │   │   │   ├── XSDBoolean.html
│   │   │   │   │   ├── XSDBoolean.XSDDerivedBooleanType.html
│   │   │   │   │   ├── XSDDate.html
│   │   │   │   │   ├── XSDDateTime.html
│   │   │   │   │   ├── XSDDay.html
│   │   │   │   │   ├── XSDDecimal.DecimalValueSpace.html
│   │   │   │   │   ├── XSDDecimal.html
│   │   │   │   │   ├── XSDDouble.html
│   │   │   │   │   ├── XSDDuration.DurationValueSpace.html
│   │   │   │   │   ├── XSDDuration.html
│   │   │   │   │   ├── XSDFloat.html
│   │   │   │   │   ├── XSDInteger.html
│   │   │   │   │   ├── XSDMonthDay.html
│   │   │   │   │   ├── XSDMonth.html
│   │   │   │   │   ├── XSDSimpleType.html
│   │   │   │   │   ├── XSDString.html
│   │   │   │   │   ├── XSDTime.html
│   │   │   │   │   ├── XSDYear.html
│   │   │   │   │   └── XSDYearMonth.html
│   │   │   │   ├── DatatypeFacet.html
│   │   │   │   ├── Datatype.html
│   │   │   │   ├── DatatypeReasoner.html
│   │   │   │   ├── EmptyDatatype.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   ├── RDFSLiteral.html
│   │   │   │   ├── RDFXMLLiteral.html
│   │   │   │   ├── UnionDatatype.html
│   │   │   │   ├── UnknownDatatype.html
│   │   │   │   ├── ValueSpace.html
│   │   │   │   ├── XSDAnyURI.html
│   │   │   │   ├── XSDAtomicType.html
│   │   │   │   ├── XSDBoolean.html
│   │   │   │   ├── XSDBoolean.XSDDerivedBooleanType.html
│   │   │   │   ├── XSDDate.html
│   │   │   │   ├── XSDDateTime.html
│   │   │   │   ├── XSDDay.html
│   │   │   │   ├── XSDDecimal.DecimalValueSpace.html
│   │   │   │   ├── XSDDecimal.html
│   │   │   │   ├── XSDDouble.html
│   │   │   │   ├── XSDDuration.DurationValueSpace.html
│   │   │   │   ├── XSDDuration.html
│   │   │   │   ├── XSDFloat.html
│   │   │   │   ├── XSDInteger.html
│   │   │   │   ├── XSDMonthDay.html
│   │   │   │   ├── XSDMonth.html
│   │   │   │   ├── XSDSimpleType.html
│   │   │   │   ├── XSDString.html
│   │   │   │   ├── XSDTime.html
│   │   │   │   ├── XSDYear.html
│   │   │   │   └── XSDYearMonth.html
│   │   │   ├── DefaultEdge.html
│   │   │   ├── DependencySet.html
│   │   │   ├── dig
│   │   │   │   ├── class-use
│   │   │   │   │   ├── DIGAskHandler.html
│   │   │   │   │   ├── DIGConstants.html
│   │   │   │   │   ├── DIGErrors.html
│   │   │   │   │   ├── DIGHandler.html
│   │   │   │   │   ├── DIGResponse.html
│   │   │   │   │   ├── DIGTellHandler.html
│   │   │   │   │   ├── ElementList.html
│   │   │   │   │   ├── PelletDIGReasoner.html
│   │   │   │   │   └── PelletDIGServer.html
│   │   │   │   ├── DIGAskHandler.html
│   │   │   │   ├── DIGConstants.html
│   │   │   │   ├── DIGErrors.html
│   │   │   │   ├── DIGHandler.html
│   │   │   │   ├── DIGResponse.html
│   │   │   │   ├── DIGTellHandler.html
│   │   │   │   ├── ElementList.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   ├── PelletDIGReasoner.html
│   │   │   │   └── PelletDIGServer.html
│   │   │   ├── Edge.html
│   │   │   ├── EdgeList.html
│   │   │   ├── exceptions
│   │   │   │   ├── class-use
│   │   │   │   │   ├── InconsistentOntologyException.html
│   │   │   │   │   ├── InternalReasonerException.html
│   │   │   │   │   ├── PelletRuntimeException.html
│   │   │   │   │   ├── TimeoutException.html
│   │   │   │   │   ├── TimerInterruptedException.html
│   │   │   │   │   ├── UndefinedEntityException.html
│   │   │   │   │   ├── UnsupportedFeatureException.html
│   │   │   │   │   └── UnsupportedQueryException.html
│   │   │   │   ├── InconsistentOntologyException.html
│   │   │   │   ├── InternalReasonerException.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   ├── PelletRuntimeException.html
│   │   │   │   ├── TimeoutException.html
│   │   │   │   ├── TimerInterruptedException.html
│   │   │   │   ├── UndefinedEntityException.html
│   │   │   │   ├── UnsupportedFeatureException.html
│   │   │   │   └── UnsupportedQueryException.html
│   │   │   ├── FSMBuilder.html
│   │   │   ├── Individual.html
│   │   │   ├── IndividualIterator.html
│   │   │   ├── jena
│   │   │   │   ├── BuiltinTerm.html
│   │   │   │   ├── class-use
│   │   │   │   │   ├── BuiltinTerm.html
│   │   │   │   │   ├── JenaLoader.html
│   │   │   │   │   ├── JenaUtils.html
│   │   │   │   │   ├── ModelExtractor.html
│   │   │   │   │   ├── ModelExtractor.StatementType.html
│   │   │   │   │   ├── NodeFormatter.html
│   │   │   │   │   ├── PelletGraphListener.html
│   │   │   │   │   ├── PelletInfGraph.html
│   │   │   │   │   ├── PelletReasonerFactory.html
│   │   │   │   │   ├── PelletReasoner.html
│   │   │   │   │   ├── SimpleUnion.html
│   │   │   │   │   └── TaxonomyExtractor.html
│   │   │   │   ├── graph
│   │   │   │   │   ├── converter
│   │   │   │   │   │   ├── AxiomConverter.html
│   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   ├── AxiomConverter.html
│   │   │   │   │   │   │   ├── ConceptConverter.html
│   │   │   │   │   │   │   └── TripleAdder.html
│   │   │   │   │   │   ├── ConceptConverter.html
│   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   └── TripleAdder.html
│   │   │   │   │   ├── loader
│   │   │   │   │   │   ├── class-use
│   │   │   │   │   │   │   ├── DefaultGraphLoader.html
│   │   │   │   │   │   │   ├── GraphLoader.html
│   │   │   │   │   │   │   ├── RestrictionInfo.html
│   │   │   │   │   │   │   └── SimpleProperty.html
│   │   │   │   │   │   ├── DefaultGraphLoader.html
│   │   │   │   │   │   ├── GraphLoader.html
│   │   │   │   │   │   ├── package-frame.html
│   │   │   │   │   │   ├── package-summary.html
│   │   │   │   │   │   ├── package-tree.html
│   │   │   │   │   │   ├── package-use.html
│   │   │   │   │   │   ├── RestrictionInfo.html
│   │   │   │   │   │   └── SimpleProperty.html
│   │   │   │   │   └── query
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── GraphQueryHandler.html
│   │   │   │   │   │   └── TripleQueryHandler.html
│   │   │   │   │   ├── GraphQueryHandler.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   └── TripleQueryHandler.html
│   │   │   │   ├── JenaLoader.html
│   │   │   │   ├── JenaUtils.html
│   │   │   │   ├── ModelExtractor.html
│   │   │   │   ├── ModelExtractor.StatementType.html
│   │   │   │   ├── NodeFormatter.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   ├── PelletGraphListener.html
│   │   │   │   ├── PelletInfGraph.html
│   │   │   │   ├── PelletReasonerFactory.html
│   │   │   │   ├── PelletReasoner.html
│   │   │   │   ├── SimpleUnion.html
│   │   │   │   ├── TaxonomyExtractor.html
│   │   │   │   └── vocabulary
│   │   │   │   ├── class-use
│   │   │   │   │   ├── OWL2.html
│   │   │   │   │   └── SWRL.html
│   │   │   │   ├── OWL2.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   └── SWRL.html
│   │   │   ├── KBLoader.html
│   │   │   ├── KnowledgeBase.AssertionType.html
│   │   │   ├── KnowledgeBase.ChangeType.html
│   │   │   ├── KnowledgeBase.html
│   │   │   ├── KRSSLoader.html
│   │   │   ├── Literal.html
│   │   │   ├── LiteralIterator.html
│   │   │   ├── Node.html
│   │   │   ├── NodeMerge.html
│   │   │   ├── output
│   │   │   │   ├── ATermAbstractSyntaxRenderer.html
│   │   │   │   ├── ATermBaseRenderer.html
│   │   │   │   ├── ATermBaseVisitor.html
│   │   │   │   ├── ATermManchesterSyntaxRenderer.html
│   │   │   │   ├── ATermRenderer.html
│   │   │   │   ├── ATermVisitor.html
│   │   │   │   ├── class-use
│   │   │   │   │   ├── ATermAbstractSyntaxRenderer.html
│   │   │   │   │   ├── ATermBaseRenderer.html
│   │   │   │   │   ├── ATermBaseVisitor.html
│   │   │   │   │   ├── ATermManchesterSyntaxRenderer.html
│   │   │   │   │   ├── ATermRenderer.html
│   │   │   │   │   ├── ATermVisitor.html
│   │   │   │   │   └── TableData.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   └── TableData.html
│   │   │   ├── owlapi
│   │   │   │   ├── AxiomConverter.html
│   │   │   │   ├── class-use
│   │   │   │   │   ├── AxiomConverter.html
│   │   │   │   │   ├── ConceptConverter.html
│   │   │   │   │   ├── EntailmentChecker.html
│   │   │   │   │   ├── LimitedMapURIMapper.html
│   │   │   │   │   ├── OWLAPILoader.html
│   │   │   │   │   ├── PelletLoader.html
│   │   │   │   │   ├── PelletReasonerFactory.html
│   │   │   │   │   ├── PelletVisitor.html
│   │   │   │   │   └── Reasoner.html
│   │   │   │   ├── ConceptConverter.html
│   │   │   │   ├── EntailmentChecker.html
│   │   │   │   ├── LimitedMapURIMapper.html
│   │   │   │   ├── OWLAPILoader.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   ├── PelletLoader.html
│   │   │   │   ├── PelletReasonerFactory.html
│   │   │   │   ├── PelletVisitor.html
│   │   │   │   └── Reasoner.html
│   │   │   ├── package-frame.html
│   │   │   ├── package-summary.html
│   │   │   ├── package-tree.html
│   │   │   ├── package-use.html
│   │   │   ├── PelletOptions.html
│   │   │   ├── PelletOptions.InstanceRetrievalMethod.html
│   │   │   ├── PelletOptions.MonitorType.html
│   │   │   ├── PelletOptions.OrderedClassification.html
│   │   │   ├── PelletOptions.UndefinedDatatypeHandling.html
│   │   │   ├── PropertyType.html
│   │   │   ├── RBox.html
│   │   │   ├── Role.html
│   │   │   ├── RoleTaxonomyBuilder.html
│   │   │   ├── tableau
│   │   │   │   ├── blocking
│   │   │   │   │   ├── Block1.html
│   │   │   │   │   ├── Block2.html
│   │   │   │   │   ├── Block3.html
│   │   │   │   │   ├── Block4.html
│   │   │   │   │   ├── Block5.html
│   │   │   │   │   ├── Block6.html
│   │   │   │   │   ├── BlockingCondition.html
│   │   │   │   │   ├── BlockingContext.html
│   │   │   │   │   ├── BlockingFactory.html
│   │   │   │   │   ├── Blocking.html
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── Block1.html
│   │   │   │   │   │   ├── Block2.html
│   │   │   │   │   │   ├── Block3.html
│   │   │   │   │   │   ├── Block4.html
│   │   │   │   │   │   ├── Block5.html
│   │   │   │   │   │   ├── Block6.html
│   │   │   │   │   │   ├── BlockingCondition.html
│   │   │   │   │   │   ├── BlockingContext.html
│   │   │   │   │   │   ├── BlockingFactory.html
│   │   │   │   │   │   ├── Blocking.html
│   │   │   │   │   │   ├── DoubleBlocking.html
│   │   │   │   │   │   ├── EqualityBlocking.html
│   │   │   │   │   │   ├── OptimizedDoubleBlocking.html
│   │   │   │   │   │   └── SubsetBlocking.html
│   │   │   │   │   ├── DoubleBlocking.html
│   │   │   │   │   ├── EqualityBlocking.html
│   │   │   │   │   ├── OptimizedDoubleBlocking.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   └── SubsetBlocking.html
│   │   │   │   ├── branch
│   │   │   │   │   ├── Branch.html
│   │   │   │   │   ├── ChooseBranch.html
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── Branch.html
│   │   │   │   │   │   ├── ChooseBranch.html
│   │   │   │   │   │   ├── DisjunctionBranch.html
│   │   │   │   │   │   ├── GuessBranch.html
│   │   │   │   │   │   ├── IndividualBranch.html
│   │   │   │   │   │   ├── MaxBranch.html
│   │   │   │   │   │   └── RuleBranch.html
│   │   │   │   │   ├── DisjunctionBranch.html
│   │   │   │   │   ├── GuessBranch.html
│   │   │   │   │   ├── IndividualBranch.html
│   │   │   │   │   ├── MaxBranch.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   └── RuleBranch.html
│   │   │   │   ├── cache
│   │   │   │   │   ├── AbstractConceptCache.html
│   │   │   │   │   ├── CachedConceptNode.html
│   │   │   │   │   ├── CachedConstantNode.html
│   │   │   │   │   ├── CachedEdge.html
│   │   │   │   │   ├── CachedInEdge.html
│   │   │   │   │   ├── CachedNodeFactory.html
│   │   │   │   │   ├── CachedNode.html
│   │   │   │   │   ├── CachedOutEdge.html
│   │   │   │   │   ├── CacheSafetyAlwaysSafe.html
│   │   │   │   │   ├── CacheSafetyDynamic.html
│   │   │   │   │   ├── CacheSafetyFactory.html
│   │   │   │   │   ├── CacheSafety.html
│   │   │   │   │   ├── CacheSafetyNeverSafe.html
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── AbstractConceptCache.html
│   │   │   │   │   │   ├── CachedConceptNode.html
│   │   │   │   │   │   ├── CachedConstantNode.html
│   │   │   │   │   │   ├── CachedEdge.html
│   │   │   │   │   │   ├── CachedInEdge.html
│   │   │   │   │   │   ├── CachedNodeFactory.html
│   │   │   │   │   │   ├── CachedNode.html
│   │   │   │   │   │   ├── CachedOutEdge.html
│   │   │   │   │   │   ├── CacheSafetyAlwaysSafe.html
│   │   │   │   │   │   ├── CacheSafetyDynamic.html
│   │   │   │   │   │   ├── CacheSafetyFactory.html
│   │   │   │   │   │   ├── CacheSafety.html
│   │   │   │   │   │   ├── CacheSafetyNeverSafe.html
│   │   │   │   │   │   ├── ConceptCache.html
│   │   │   │   │   │   └── ConceptCacheLRU.html
│   │   │   │   │   ├── ConceptCache.html
│   │   │   │   │   ├── ConceptCacheLRU.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   └── package-use.html
│   │   │   │   └── completion
│   │   │   │   ├── class-use
│   │   │   │   │   ├── CompletionStrategy.html
│   │   │   │   │   ├── EmptySRIQStrategy.html
│   │   │   │   │   ├── SROIQIncStrategy.html
│   │   │   │   │   └── SROIQStrategy.html
│   │   │   │   ├── CompletionStrategy.html
│   │   │   │   ├── EmptySRIQStrategy.html
│   │   │   │   ├── incremental
│   │   │   │   │   ├── BranchAddDependency.html
│   │   │   │   │   ├── BranchDependency.html
│   │   │   │   │   ├── ClashDependency.html
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── BranchAddDependency.html
│   │   │   │   │   │   ├── BranchDependency.html
│   │   │   │   │   │   ├── ClashDependency.html
│   │   │   │   │   │   ├── CloseBranchDependency.html
│   │   │   │   │   │   ├── DependencyEntry.html
│   │   │   │   │   │   ├── Dependency.html
│   │   │   │   │   │   ├── DependencyIndex.html
│   │   │   │   │   │   ├── IncrementalRestore.html
│   │   │   │   │   │   ├── MergeDependency.html
│   │   │   │   │   │   └── TypeDependency.html
│   │   │   │   │   ├── CloseBranchDependency.html
│   │   │   │   │   ├── DependencyEntry.html
│   │   │   │   │   ├── Dependency.html
│   │   │   │   │   ├── DependencyIndex.html
│   │   │   │   │   ├── IncrementalRestore.html
│   │   │   │   │   ├── MergeDependency.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   └── TypeDependency.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   ├── queue
│   │   │   │   │   ├── BasicCompletionQueue.html
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── BasicCompletionQueue.html
│   │   │   │   │   │   ├── CompletionQueue.html
│   │   │   │   │   │   ├── NodeSelector.html
│   │   │   │   │   │   ├── OptimizedBasicCompletionQueue.html
│   │   │   │   │   │   └── QueueElement.html
│   │   │   │   │   ├── CompletionQueue.html
│   │   │   │   │   ├── NodeSelector.html
│   │   │   │   │   ├── OptimizedBasicCompletionQueue.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   └── QueueElement.html
│   │   │   │   ├── rule
│   │   │   │   │   ├── AbstractTableauRule.html
│   │   │   │   │   ├── AllValuesRule.html
│   │   │   │   │   ├── ChooseRule.html
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── AbstractTableauRule.html
│   │   │   │   │   │   ├── AllValuesRule.html
│   │   │   │   │   │   ├── ChooseRule.html
│   │   │   │   │   │   ├── DataCardinalityRule.html
│   │   │   │   │   │   ├── DataSatisfiabilityRule.html
│   │   │   │   │   │   ├── DisjunctionRule.html
│   │   │   │   │   │   ├── GuessRule.html
│   │   │   │   │   │   ├── MaxRule.html
│   │   │   │   │   │   ├── MinRule.html
│   │   │   │   │   │   ├── NominalRule.html
│   │   │   │   │   │   ├── SelfRule.html
│   │   │   │   │   │   ├── SimpleAllValuesRule.html
│   │   │   │   │   │   ├── SomeValuesRule.html
│   │   │   │   │   │   ├── TableauRule.html
│   │   │   │   │   │   └── UnfoldingRule.html
│   │   │   │   │   ├── DataCardinalityRule.html
│   │   │   │   │   ├── DataSatisfiabilityRule.html
│   │   │   │   │   ├── DisjunctionRule.html
│   │   │   │   │   ├── GuessRule.html
│   │   │   │   │   ├── MaxRule.html
│   │   │   │   │   ├── MinRule.html
│   │   │   │   │   ├── NominalRule.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   ├── SelfRule.html
│   │   │   │   │   ├── SimpleAllValuesRule.html
│   │   │   │   │   ├── SomeValuesRule.html
│   │   │   │   │   ├── TableauRule.html
│   │   │   │   │   └── UnfoldingRule.html
│   │   │   │   ├── SROIQIncStrategy.html
│   │   │   │   └── SROIQStrategy.html
│   │   │   ├── taxonomy
│   │   │   │   ├── AbstractDefinitionOrder.html
│   │   │   │   ├── CDOptimizedTaxonomyBuilder.html
│   │   │   │   ├── class-use
│   │   │   │   │   ├── AbstractDefinitionOrder.html
│   │   │   │   │   ├── CDOptimizedTaxonomyBuilder.html
│   │   │   │   │   ├── DefinitionOrderFactory.html
│   │   │   │   │   ├── DefinitionOrder.html
│   │   │   │   │   ├── JGraphBasedDefinitionOrder.html
│   │   │   │   │   ├── POTaxonomyBuilder.html
│   │   │   │   │   ├── SubsumptionComparator.html
│   │   │   │   │   ├── TaxonomyBasedDefinitionOrder.html
│   │   │   │   │   ├── TaxonomyBuilder.html
│   │   │   │   │   ├── Taxonomy.html
│   │   │   │   │   └── TaxonomyNode.html
│   │   │   │   ├── DefinitionOrderFactory.html
│   │   │   │   ├── DefinitionOrder.html
│   │   │   │   ├── JGraphBasedDefinitionOrder.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   ├── POTaxonomyBuilder.html
│   │   │   │   ├── printer
│   │   │   │   │   ├── ClassTreePrinter.html
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── ClassTreePrinter.html
│   │   │   │   │   │   ├── FunctionalTaxonomyPrinter.html
│   │   │   │   │   │   ├── RDFALLXMLTaxonomyPrinter.html
│   │   │   │   │   │   ├── RDFXMLTaxonomyPrinter.html
│   │   │   │   │   │   ├── TaxonomyPrinter.html
│   │   │   │   │   │   └── TreeTaxonomyPrinter.html
│   │   │   │   │   ├── FunctionalTaxonomyPrinter.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   ├── RDFALLXMLTaxonomyPrinter.html
│   │   │   │   │   ├── RDFXMLTaxonomyPrinter.html
│   │   │   │   │   ├── TaxonomyPrinter.html
│   │   │   │   │   └── TreeTaxonomyPrinter.html
│   │   │   │   ├── SubsumptionComparator.html
│   │   │   │   ├── TaxonomyBasedDefinitionOrder.html
│   │   │   │   ├── TaxonomyBuilder.html
│   │   │   │   ├── Taxonomy.html
│   │   │   │   └── TaxonomyNode.html
│   │   │   ├── tbox
│   │   │   │   ├── class-use
│   │   │   │   │   ├── TBoxFactory.html
│   │   │   │   │   └── TBox.html
│   │   │   │   ├── impl
│   │   │   │   │   ├── BinaryTBox.html
│   │   │   │   │   ├── class-use
│   │   │   │   │   │   ├── BinaryTBox.html
│   │   │   │   │   │   ├── PrimitiveTBox.html
│   │   │   │   │   │   ├── RuleAbsorber.html
│   │   │   │   │   │   ├── TBoxBase.html
│   │   │   │   │   │   ├── TBoxExpImpl.html
│   │   │   │   │   │   ├── TBoxImpl.html
│   │   │   │   │   │   ├── TermDefinition.html
│   │   │   │   │   │   ├── TgBox.html
│   │   │   │   │   │   ├── TuBox.html
│   │   │   │   │   │   ├── UnaryTBox.html
│   │   │   │   │   │   └── Unfolding.html
│   │   │   │   │   ├── package-frame.html
│   │   │   │   │   ├── package-summary.html
│   │   │   │   │   ├── package-tree.html
│   │   │   │   │   ├── package-use.html
│   │   │   │   │   ├── PrimitiveTBox.html
│   │   │   │   │   ├── RuleAbsorber.html
│   │   │   │   │   ├── TBoxBase.html
│   │   │   │   │   ├── TBoxExpImpl.html
│   │   │   │   │   ├── TBoxImpl.html
│   │   │   │   │   ├── TermDefinition.html
│   │   │   │   │   ├── TgBox.html
│   │   │   │   │   ├── TuBox.html
│   │   │   │   │   ├── UnaryTBox.html
│   │   │   │   │   └── Unfolding.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   ├── TBoxFactory.html
│   │   │   │   └── TBox.html
│   │   │   └── utils
│   │   │   ├── AlphaNumericComparator.html
│   │   │   ├── AnnotationClasses.html
│   │   │   ├── ATermUtils.html
│   │   │   ├── BinarySet.html
│   │   │   ├── Bool.html
│   │   │   ├── CandidateSet.html
│   │   │   ├── class-use
│   │   │   │   ├── AlphaNumericComparator.html
│   │   │   │   ├── AnnotationClasses.html
│   │   │   │   ├── ATermUtils.html
│   │   │   │   ├── BinarySet.html
│   │   │   │   ├── Bool.html
│   │   │   │   ├── CandidateSet.html
│   │   │   │   ├── Comparators.html
│   │   │   │   ├── DisjointSet.html
│   │   │   │   ├── DurationFormat.html
│   │   │   │   ├── FileUtils.html
│   │   │   │   ├── GenericIntervalList.html
│   │   │   │   ├── GenericIntervalList.Interval.html
│   │   │   │   ├── KBOperation.html
│   │   │   │   ├── MemUtils.html
│   │   │   │   ├── MultiValueMap.html
│   │   │   │   ├── Namespaces.html
│   │   │   │   ├── NumberUtils.html
│   │   │   │   ├── Pair.html
│   │   │   │   ├── PartialOrderBuilder.html
│   │   │   │   ├── PartialOrderComparator.html
│   │   │   │   ├── PartialOrderRelation.html
│   │   │   │   ├── PatternFilter.html
│   │   │   │   ├── PermutationGenerator.html
│   │   │   │   ├── QNameProvider.html
│   │   │   │   ├── SetUtils.html
│   │   │   │   ├── SizeEstimate.html
│   │   │   │   ├── StatisticsTable.html
│   │   │   │   ├── TaxonomyUtils.html
│   │   │   │   ├── Timer.html
│   │   │   │   ├── Timers.html
│   │   │   │   ├── URIUtils.html
│   │   │   │   └── VersionInfo.html
│   │   │   ├── Comparators.html
│   │   │   ├── DisjointSet.html
│   │   │   ├── DurationFormat.html
│   │   │   ├── FileUtils.html
│   │   │   ├── fsm
│   │   │   │   ├── class-use
│   │   │   │   │   ├── State.html
│   │   │   │   │   ├── TransitionGraph.html
│   │   │   │   │   └── Transition.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   ├── State.html
│   │   │   │   ├── TransitionGraph.html
│   │   │   │   └── Transition.html
│   │   │   ├── GenericIntervalList.html
│   │   │   ├── GenericIntervalList.Interval.html
│   │   │   ├── intset
│   │   │   │   ├── AbstractIntSet.html
│   │   │   │   ├── ArrayIntSet.html
│   │   │   │   ├── BitIntSet.html
│   │   │   │   ├── class-use
│   │   │   │   │   ├── AbstractIntSet.html
│   │   │   │   │   ├── ArrayIntSet.html
│   │   │   │   │   ├── BitIntSet.html
│   │   │   │   │   ├── HashIntSet.html
│   │   │   │   │   ├── IntIterator.html
│   │   │   │   │   ├── IntSetFactory.html
│   │   │   │   │   ├── IntSet.html
│   │   │   │   │   ├── ShiftedBitIntSet.html
│   │   │   │   │   └── TreeIntSet.html
│   │   │   │   ├── HashIntSet.html
│   │   │   │   ├── IntIterator.html
│   │   │   │   ├── IntSetFactory.html
│   │   │   │   ├── IntSet.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   ├── ShiftedBitIntSet.html
│   │   │   │   └── TreeIntSet.html
│   │   │   ├── iterator
│   │   │   │   ├── class-use
│   │   │   │   │   ├── FilterIterator.html
│   │   │   │   │   ├── FlattenningIterator.html
│   │   │   │   │   ├── IteratorUtils.html
│   │   │   │   │   ├── MapIterator.html
│   │   │   │   │   ├── MultiIterator.html
│   │   │   │   │   ├── MultiListIterator.html
│   │   │   │   │   ├── NestedIterator.html
│   │   │   │   │   └── PairIterator.html
│   │   │   │   ├── FilterIterator.html
│   │   │   │   ├── FlattenningIterator.html
│   │   │   │   ├── IteratorUtils.html
│   │   │   │   ├── MapIterator.html
│   │   │   │   ├── MultiIterator.html
│   │   │   │   ├── MultiListIterator.html
│   │   │   │   ├── NestedIterator.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   └── PairIterator.html
│   │   │   ├── KBOperation.html
│   │   │   ├── MemUtils.html
│   │   │   ├── MultiValueMap.html
│   │   │   ├── Namespaces.html
│   │   │   ├── NumberUtils.html
│   │   │   ├── package-frame.html
│   │   │   ├── package-summary.html
│   │   │   ├── package-tree.html
│   │   │   ├── package-use.html
│   │   │   ├── Pair.html
│   │   │   ├── PartialOrderBuilder.html
│   │   │   ├── PartialOrderComparator.html
│   │   │   ├── PartialOrderRelation.html
│   │   │   ├── PatternFilter.html
│   │   │   ├── PermutationGenerator.html
│   │   │   ├── progress
│   │   │   │   ├── AbstractProgressMonitor.html
│   │   │   │   ├── class-use
│   │   │   │   │   ├── AbstractProgressMonitor.html
│   │   │   │   │   ├── ConsoleProgressMonitor.html
│   │   │   │   │   ├── ProgressMonitor.html
│   │   │   │   │   ├── SilentProgressMonitor.html
│   │   │   │   │   └── SwingProgressMonitor.html
│   │   │   │   ├── ConsoleProgressMonitor.html
│   │   │   │   ├── package-frame.html
│   │   │   │   ├── package-summary.html
│   │   │   │   ├── package-tree.html
│   │   │   │   ├── package-use.html
│   │   │   │   ├── ProgressMonitor.html
│   │   │   │   ├── SilentProgressMonitor.html
│   │   │   │   └── SwingProgressMonitor.html
│   │   │   ├── QNameProvider.html
│   │   │   ├── SetUtils.html
│   │   │   ├── SizeEstimate.html
│   │   │   ├── StatisticsTable.html
│   │   │   ├── TaxonomyUtils.html
│   │   │   ├── Timer.html
│   │   │   ├── Timers.html
│   │   │   ├── URIUtils.html
│   │   │   └── VersionInfo.html
│   │   ├── overview-frame.html
│   │   ├── overview-summary.html
│   │   ├── overview-tree.html
│   │   ├── package-list
│   │   ├── pellet
│   │   │   ├── class-use
│   │   │   │   ├── PelletClassify.html
│   │   │   │   ├── PelletCmdApp.html
│   │   │   │   ├── PelletCmdException.html
│   │   │   │   ├── PelletCmdOptionArg.html
│   │   │   │   ├── PelletCmdOption.html
│   │   │   │   ├── PelletCmdOptions.html
│   │   │   │   ├── PelletConsistency.html
│   │   │   │   ├── PelletDIG.html
│   │   │   │   ├── PelletEntailment.html
│   │   │   │   ├── PelletExceptionFormatter.html
│   │   │   │   ├── PelletExplain.html
│   │   │   │   ├── PelletExtractInferences.html
│   │   │   │   ├── Pellet.html
│   │   │   │   ├── PelletInfo.html
│   │   │   │   ├── PelletModularity.html
│   │   │   │   ├── PelletQuery.html
│   │   │   │   ├── PelletRealize.html
│   │   │   │   ├── PelletTransTree.html
│   │   │   │   ├── PelletUnsatisfiable.html
│   │   │   │   └── Pellint.html
│   │   │   ├── package-frame.html
│   │   │   ├── package-summary.html
│   │   │   ├── package-tree.html
│   │   │   ├── package-use.html
│   │   │   ├── PelletClassify.html
│   │   │   ├── PelletCmdApp.html
│   │   │   ├── PelletCmdException.html
│   │   │   ├── PelletCmdOptionArg.html
│   │   │   ├── PelletCmdOption.html
│   │   │   ├── PelletCmdOptions.html
│   │   │   ├── PelletConsistency.html
│   │   │   ├── PelletDIG.html
│   │   │   ├── PelletEntailment.html
│   │   │   ├── PelletExceptionFormatter.html
│   │   │   ├── PelletExplain.html
│   │   │   ├── PelletExtractInferences.html
│   │   │   ├── Pellet.html
│   │   │   ├── PelletInfo.html
│   │   │   ├── PelletModularity.html
│   │   │   ├── PelletQuery.html
│   │   │   ├── PelletRealize.html
│   │   │   ├── PelletTransTree.html
│   │   │   ├── PelletUnsatisfiable.html
│   │   │   └── Pellint.html
│   │   ├── resources
│   │   │   └── inherit.gif
│   │   ├── serialized-form.html
│   │   └── stylesheet.css
│   ├── PELLINT-PATTERNS.txt
│   └── PELLINT-README.txt
├── examples
│   ├── data
│   │   ├── lubm-query2.sparql
│   │   ├── lubm-query2.terp
│   │   ├── lubm-query3.sparql
│   │   ├── lubm-query3.terp
│   │   ├── lubm-query4.sparql
│   │   ├── lubm-query5.sparql
│   │   ├── lubm-query5.terp
│   │   ├── lubm-query.sparql
│   │   ├── lubm-query.terp
│   │   ├── lubm-sparql-dl-extvoc.sparql
│   │   ├── lubm-sparql-dl.sparql
│   │   ├── people+pets.owl
│   │   ├── simple-galen.owl
│   │   ├── simple-galen-query2.sparql
│   │   ├── simple-galen-query2.terp
│   │   ├── simple-galen-query3.sparql
│   │   ├── simple-galen-query3.terp
│   │   ├── simple-galen-query.sparql
│   │   ├── simple-galen-query.terp
│   │   ├── univ-bench.owl
│   │   ├── university0-0.owl
│   │   ├── wine.owl
│   │   ├── wine-query2.sparql
│   │   ├── wine-query2.terp
│   │   ├── wine-query.sparql
│   │   └── wine-query.terp
│   ├── logging.properties
│   ├── pellet.properties
│   ├── pellint.properties
│   └── src
│   └── org
│   └── mindswap
│   └── pellet
│   └── examples
│   ├── BnodeQueryExample.java
│   ├── ClassTree.java
│   ├── ExplanationExample.java
│   ├── IncrementalClassifierExample.java
│   ├── IncrementalConsistencyExample.java
│   ├── IndividualsExample.java
│   ├── InterruptReasoningExample.java
│   ├── JenaReasoner.java
│   ├── ModularityExample.java
│   ├── OWLAPIExample.java
│   ├── PersistenceExample.java
│   ├── QuerySubsumptionExample.java
│   ├── RulesExample.java
│   ├── SPARQLDLExample.java
│   └── TerpExample.java
├── HOW_TO_FILE_PELLET_BUG_REPORT.txt
├── lib
│   ├── antlr
│   │   ├── antlr-runtime-3.2.jar
│   │   └── LICENSE.txt
│   ├── aterm-java-1.6.jar
│   ├── jaxb
│   │   ├── jaxb-api.jar
│   │   ├── license.txt
│   │   └── version.txt
│   ├── jena
│   │   ├── arq-2.8.7.jar
│   │   ├── icu4j-3.4.4.jar
│   │   ├── iri-0.8.jar
│   │   ├── jena-2.6.4.jar
│   │   ├── junit-4.5.jar
│   │   ├── log4j-1.2.13.jar
│   │   ├── lucene-core-2.3.1.jar
│   │   ├── slf4j-api-1.5.8.jar
│   │   ├── slf4j-log4j12-1.5.8.jar
│   │   ├── stax-api-1.0.1.jar
│   │   ├── wstx-asl-3.2.9.jar
│   │   └── xercesImpl-2.7.1.jar
│   ├── jetty
│   │   ├── commons-logging-api.jar
│   │   ├── jetty.jar
│   │   └── version.txt
│   ├── jgrapht
│   │   ├── jgrapht-jdk1.5.jar
│   │   ├── license.txt
│   │   └── version.txt
│   ├── junit
│   │   ├── junit.jar
│   │   └── version.txt
│   ├── owlapi
│   │   ├── license.txt
│   │   ├── owlapi-bin.jar
│   │   ├── owlapi-src.jar
│   │   └── version.txt
│   ├── owlapiv3
│   │   ├── LICENSE.txt
│   │   ├── owlapi-bin.jar
│   │   ├── owlapi-src.jar
│   │   └── version.txt
│   ├── pellet-cli.jar
│   ├── pellet-core.jar
│   ├── pellet-datatypes.jar
│   ├── pellet-dig.jar
│   ├── pellet-el.jar
│   ├── pellet-explanation.jar
│   ├── pellet-jena.jar
│   ├── pellet-modularity.jar
│   ├── pellet-owlapi.jar
│   ├── pellet-owlapiv3.jar
│   ├── pellet-pellint.jar
│   ├── pellet-query.jar
│   ├── pellet-rules.jar
│   ├── pellet-test.jar
│   ├── servlet.jar
│   └── xsdlib
│   ├── relaxngDatatype.jar
│   ├── version.txt
│   └── xsdlib.jar
├── LICENSE.txt
├── licensing
│   ├── ATerm-license.txt
│   ├── JENA-license.txt
│   ├── Jetty-license.TXT
│   ├── OWLAPI-license.txt
│   └── Xsdlib-license.txt
├── pellet.bat
├── pellet.sh
├── README.txt
└── src
├── pellet-cli-src.jar
├── pellet-core-src.jar
├── pellet-datatypes-src.jar
├── pellet-dig-src.jar
├── pellet-el-src.jar
├── pellet-explanation-src.jar
├── pellet-jena-src.jar
├── pellet-modularity-src.jar
├── pellet-owlapi-src.jar
├── pellet-owlapiv3-src.jar
├── pellet-pellint-src.jar
├── pellet-query-src.jar
├── pellet-rules-src.jar
└── pellet-test-src.jar

164 directories, 1686 files