jar

com.github.galigator.openllet : openllet-distribution

Maven & Gradle

Sep 28, 2019
70 stars

Openllet :: Distribution · Distribution module for Openllet

Table Of Contents

Latest Version

Download com.github.galigator.openllet : openllet-distribution JAR file - Latest Versions:

All Versions

Download com.github.galigator.openllet : openllet-distribution JAR file - All Versions:

Version Vulnerabilities Size Updated
2.6.x
2.5.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window openllet-distribution-2.6.5.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

openllet.core.rules.model

├─ openllet.core.rules.model.AtomConstant.class - [JAR]

├─ openllet.core.rules.model.AtomDConstant.class - [JAR]

├─ openllet.core.rules.model.AtomDObject.class - [JAR]

├─ openllet.core.rules.model.AtomDVariable.class - [JAR]

├─ openllet.core.rules.model.AtomIConstant.class - [JAR]

├─ openllet.core.rules.model.AtomIObject.class - [JAR]

├─ openllet.core.rules.model.AtomIVariable.class - [JAR]

├─ openllet.core.rules.model.AtomObject.class - [JAR]

├─ openllet.core.rules.model.AtomObjectVisitor.class - [JAR]

├─ openllet.core.rules.model.AtomVariable.class - [JAR]

├─ openllet.core.rules.model.BinaryAtom.class - [JAR]

├─ openllet.core.rules.model.BuiltInAtom.class - [JAR]

├─ openllet.core.rules.model.ClassAtom.class - [JAR]

├─ openllet.core.rules.model.DataRangeAtom.class - [JAR]

├─ openllet.core.rules.model.DatavaluedPropertyAtom.class - [JAR]

├─ openllet.core.rules.model.DifferentIndividualsAtom.class - [JAR]

├─ openllet.core.rules.model.IndividualPropertyAtom.class - [JAR]

├─ openllet.core.rules.model.Rule.class - [JAR]

├─ openllet.core.rules.model.RuleAtom.class - [JAR]

├─ openllet.core.rules.model.RuleAtomImpl.class - [JAR]

├─ openllet.core.rules.model.RuleAtomVisitor.class - [JAR]

├─ openllet.core.rules.model.SameIndividualAtom.class - [JAR]

├─ openllet.core.rules.model.UnaryAtom.class - [JAR]

openllet.core.tracker

├─ openllet.core.tracker.BranchEffectTracker.class - [JAR]

├─ openllet.core.tracker.IncrementalChangeTracker.class - [JAR]

├─ openllet.core.tracker.SimpleBranchEffectTracker.class - [JAR]

├─ openllet.core.tracker.SimpleIncrementalChangeTracker.class - [JAR]

openllet.query.sparqlowl.parser.antlr

├─ openllet.query.sparqlowl.parser.antlr.SparqlOwlLexer.class - [JAR]

├─ openllet.query.sparqlowl.parser.antlr.SparqlOwlParser.class - [JAR]

├─ openllet.query.sparqlowl.parser.antlr.SparqlOwlTreeARQ.class - [JAR]

openllet.core.boxes.tbox.impl

├─ openllet.core.boxes.tbox.impl.BinaryTBox.class - [JAR]

├─ openllet.core.boxes.tbox.impl.PrimitiveTBox.class - [JAR]

├─ openllet.core.boxes.tbox.impl.RuleAbsorber.class - [JAR]

├─ openllet.core.boxes.tbox.impl.TBoxBase.class - [JAR]

├─ openllet.core.boxes.tbox.impl.TBoxExpImpl.class - [JAR]

├─ openllet.core.boxes.tbox.impl.TBoxImpl.class - [JAR]

├─ openllet.core.boxes.tbox.impl.TermDefinition.class - [JAR]

├─ openllet.core.boxes.tbox.impl.TgBox.class - [JAR]

├─ openllet.core.boxes.tbox.impl.TuBox.class - [JAR]

├─ openllet.core.boxes.tbox.impl.UnaryTBox.class - [JAR]

├─ openllet.core.boxes.tbox.impl.Unfolding.class - [JAR]

openllet.core.rules

├─ openllet.core.rules.AllNamedIndividualsIterator.class - [JAR]

├─ openllet.core.rules.BindingGenerator.class - [JAR]

├─ openllet.core.rules.BindingGeneratorImpl.class - [JAR]

├─ openllet.core.rules.BindingGeneratorStrategy.class - [JAR]

├─ openllet.core.rules.BindingGeneratorStrategyImpl.class - [JAR]

├─ openllet.core.rules.BindingHelper.class - [JAR]

├─ openllet.core.rules.ContinuousRulesStrategy.class - [JAR]

├─ openllet.core.rules.DataRangeBindingHelper.class - [JAR]

├─ openllet.core.rules.DatavaluePropertyBindingHelper.class - [JAR]

├─ openllet.core.rules.LiteralFilter.class - [JAR]

├─ openllet.core.rules.ObjectVariableBindingHelper.class - [JAR]

├─ openllet.core.rules.PartialBinding.class - [JAR]

├─ openllet.core.rules.RuleAtomAsserter.class - [JAR]

├─ openllet.core.rules.RulesToATermTranslator.class - [JAR]

├─ openllet.core.rules.TrivialSatisfactionHelpers.class - [JAR]

├─ openllet.core.rules.UsableRuleFilter.class - [JAR]

├─ openllet.core.rules.VariableBinding.class - [JAR]

├─ openllet.core.rules.VariableUtils.class - [JAR]

openllet.core.tableau.completion.rule

├─ openllet.core.tableau.completion.rule.AbstractTableauRule.class - [JAR]

├─ openllet.core.tableau.completion.rule.AllValuesRule.class - [JAR]

├─ openllet.core.tableau.completion.rule.ChooseRule.class - [JAR]

├─ openllet.core.tableau.completion.rule.DataCardinalityRule.class - [JAR]

├─ openllet.core.tableau.completion.rule.DataSatisfiabilityRule.class - [JAR]

├─ openllet.core.tableau.completion.rule.DisjunctionRule.class - [JAR]

├─ openllet.core.tableau.completion.rule.GuessRule.class - [JAR]

├─ openllet.core.tableau.completion.rule.MaxCardinalityRule.class - [JAR]

├─ openllet.core.tableau.completion.rule.MinCardinalityRule.class - [JAR]

├─ openllet.core.tableau.completion.rule.NominalRule.class - [JAR]

├─ openllet.core.tableau.completion.rule.SelfRule.class - [JAR]

├─ openllet.core.tableau.completion.rule.SimpleAllValuesRule.class - [JAR]

├─ openllet.core.tableau.completion.rule.SomeValuesRule.class - [JAR]

├─ openllet.core.tableau.completion.rule.TableauRule.class - [JAR]

├─ openllet.core.tableau.completion.rule.UnfoldingRule.class - [JAR]

openllet.atom

├─ openllet.atom.OpenError.class - [JAR]

├─ openllet.atom.SList.class - [JAR]

openllet.core.output

├─ openllet.core.output.ATermBaseRenderer.class - [JAR]

├─ openllet.core.output.ATermBaseVisitor.class - [JAR]

├─ openllet.core.output.ATermManchesterSyntaxRenderer.class - [JAR]

├─ openllet.core.output.ATermRenderer.class - [JAR]

├─ openllet.core.output.ATermVisitor.class - [JAR]

├─ openllet.core.output.TableData.class - [JAR]

openllet.aterm.pure.owl

├─ openllet.aterm.pure.owl.AFunOwl.class - [JAR]

├─ openllet.aterm.pure.owl.FunAll.class - [JAR]

├─ openllet.aterm.pure.owl.FunAllDifferent.class - [JAR]

├─ openllet.aterm.pure.owl.FunAnd.class - [JAR]

├─ openllet.aterm.pure.owl.FunAsymmetric.class - [JAR]

├─ openllet.aterm.pure.owl.FunBottomDataProperty.class - [JAR]

├─ openllet.aterm.pure.owl.FunBottomObjectProperty.class - [JAR]

├─ openllet.aterm.pure.owl.FunBuiltin.class - [JAR]

├─ openllet.aterm.pure.owl.FunCard.class - [JAR]

├─ openllet.aterm.pure.owl.FunComplementOf.class - [JAR]

├─ openllet.aterm.pure.owl.FunDatatypeDefinition.class - [JAR]

├─ openllet.aterm.pure.owl.FunDifferent.class - [JAR]

├─ openllet.aterm.pure.owl.FunDisjointClasses.class - [JAR]

├─ openllet.aterm.pure.owl.FunDisjointProperties.class - [JAR]

├─ openllet.aterm.pure.owl.FunDisjointPropertyWith.class - [JAR]

├─ openllet.aterm.pure.owl.FunDisjointWith.class - [JAR]

├─ openllet.aterm.pure.owl.FunDomain.class - [JAR]

├─ openllet.aterm.pure.owl.FunEmpty.class - [JAR]

├─ openllet.aterm.pure.owl.FunEquivalentClasses.class - [JAR]

├─ openllet.aterm.pure.owl.FunEquivalentProperty.class - [JAR]

├─ openllet.aterm.pure.owl.FunFacet.class - [JAR]

├─ openllet.aterm.pure.owl.FunFunctionnal.class - [JAR]

├─ openllet.aterm.pure.owl.FunInv.class - [JAR]

├─ openllet.aterm.pure.owl.FunInverseFunctional.class - [JAR]

├─ openllet.aterm.pure.owl.FunInverseProperty.class - [JAR]

├─ openllet.aterm.pure.owl.FunIrreflexive.class - [JAR]

├─ openllet.aterm.pure.owl.FunLiteral.class - [JAR]

├─ openllet.aterm.pure.owl.FunMax.class - [JAR]

├─ openllet.aterm.pure.owl.FunMin.class - [JAR]

├─ openllet.aterm.pure.owl.FunNot.class - [JAR]

├─ openllet.aterm.pure.owl.FunOr.class - [JAR]

├─ openllet.aterm.pure.owl.FunProp.class - [JAR]

├─ openllet.aterm.pure.owl.FunRange.class - [JAR]

├─ openllet.aterm.pure.owl.FunReflexive.class - [JAR]

├─ openllet.aterm.pure.owl.FunRestrictedDatatype.class - [JAR]

├─ openllet.aterm.pure.owl.FunRule.class - [JAR]

├─ openllet.aterm.pure.owl.FunSameAs.class - [JAR]

├─ openllet.aterm.pure.owl.FunSelf.class - [JAR]

├─ openllet.aterm.pure.owl.FunSome.class - [JAR]

├─ openllet.aterm.pure.owl.FunSubClassOf.class - [JAR]

├─ openllet.aterm.pure.owl.FunSubProperty.class - [JAR]

├─ openllet.aterm.pure.owl.FunSymmetric.class - [JAR]

├─ openllet.aterm.pure.owl.FunTop.class - [JAR]

├─ openllet.aterm.pure.owl.FunTopDataProperty.class - [JAR]

├─ openllet.aterm.pure.owl.FunTopObjectProperty.class - [JAR]

├─ openllet.aterm.pure.owl.FunTransitive.class - [JAR]

├─ openllet.aterm.pure.owl.FunType.class - [JAR]

├─ openllet.aterm.pure.owl.FunValue.class - [JAR]

├─ openllet.aterm.pure.owl.FunVar.class - [JAR]

openllet.modularity.io

├─ openllet.modularity.io.IncrementalClassifierPersistence.class - [JAR]

├─ openllet.modularity.io.ModuleExtractorPersistence.class - [JAR]

├─ openllet.modularity.io.TaxonomyPersistence.class - [JAR]

├─ openllet.modularity.io.UncloseableOutputStream.class - [JAR]

openllet.owlapi

├─ openllet.owlapi.AxiomConverter.class - [JAR]

├─ openllet.owlapi.ConceptConverter.class - [JAR]

├─ openllet.owlapi.EntailmentChecker.class - [JAR]

├─ openllet.owlapi.EntailmentQueryVisitor.class - [JAR]

├─ openllet.owlapi.IRIUtils.class - [JAR]

├─ openllet.owlapi.LimitedMapIRIMapper.class - [JAR]

├─ openllet.owlapi.OWL.class - [JAR]

├─ openllet.owlapi.OWLAPILoader.class - [JAR]

├─ openllet.owlapi.OWLClassTreePrinter.class - [JAR]

├─ openllet.owlapi.OWLException.class - [JAR]

├─ openllet.owlapi.OWLGenericTools.class - [JAR]

├─ openllet.owlapi.OWLGroup.class - [JAR]

├─ openllet.owlapi.OWLHelper.class - [JAR]

├─ openllet.owlapi.OWLIncrementalFlatFileStorageManagerListener.class - [JAR]

├─ openllet.owlapi.OWLManagedObject.class - [JAR]

├─ openllet.owlapi.OWLManagementObject.class - [JAR]

├─ openllet.owlapi.OWLManagerGroup.class - [JAR]

├─ openllet.owlapi.OWLSelfTools.class - [JAR]

├─ openllet.owlapi.OWLTools.class - [JAR]

├─ openllet.owlapi.OWLUtils.class - [JAR]

├─ openllet.owlapi.OntologyUtils.class - [JAR]

├─ openllet.owlapi.OpenlletReasoner.class - [JAR]

├─ openllet.owlapi.OpenlletReasonerFactory.class - [JAR]

├─ openllet.owlapi.PelletLoader.class - [JAR]

├─ openllet.owlapi.PelletReasoner.class - [JAR]

├─ openllet.owlapi.PelletReasonerFactory.class - [JAR]

├─ openllet.owlapi.PelletVisitor.class - [JAR]

├─ openllet.owlapi.ProgressAdapter.class - [JAR]

├─ openllet.owlapi.SWRL.class - [JAR]

├─ openllet.owlapi.XSD.class - [JAR]

openllet.owlapi.explanation.io.rdfxml

├─ openllet.owlapi.explanation.io.rdfxml.RDFXMLExplanationRenderer.class - [JAR]

openllet.query.sparqlowl.parser

├─ openllet.query.sparqlowl.parser.ParserUtilities.class - [JAR]

openllet.core.utils

├─ openllet.core.utils.ATermUtils.class - [JAR]

├─ openllet.core.utils.AlphaNumericComparator.class - [JAR]

├─ openllet.core.utils.AnnotationClasses.class - [JAR]

├─ openllet.core.utils.BinarySet.class - [JAR]

├─ openllet.core.utils.Bool.class - [JAR]

├─ openllet.core.utils.CandidateSet.class - [JAR]

├─ openllet.core.utils.CollectionUtils.class - [JAR]

├─ openllet.core.utils.Comparators.class - [JAR]

├─ openllet.core.utils.DisjointSet.class - [JAR]

├─ openllet.core.utils.DurationFormat.class - [JAR]

├─ openllet.core.utils.FileUtils.class - [JAR]

├─ openllet.core.utils.IdentityHashSet.class - [JAR]

├─ openllet.core.utils.KBOperation.class - [JAR]

├─ openllet.core.utils.MemUtils.class - [JAR]

├─ openllet.core.utils.MultiMap.class - [JAR]

├─ openllet.core.utils.MultiMapUtils.class - [JAR]

├─ openllet.core.utils.MultiValueMap.class - [JAR]

├─ openllet.core.utils.Namespaces.class - [JAR]

├─ openllet.core.utils.NumberUtils.class - [JAR]

├─ openllet.core.utils.OntBuilder.class - [JAR]

├─ openllet.core.utils.Pair.class - [JAR]

├─ openllet.core.utils.PartialOrderBuilder.class - [JAR]

├─ openllet.core.utils.PartialOrderComparator.class - [JAR]

├─ openllet.core.utils.PartialOrderRelation.class - [JAR]

├─ openllet.core.utils.PatternFilter.class - [JAR]

├─ openllet.core.utils.PermutationGenerator.class - [JAR]

├─ openllet.core.utils.PropertiesBuilder.class - [JAR]

├─ openllet.core.utils.QNameProvider.class - [JAR]

├─ openllet.core.utils.SetUtils.class - [JAR]

├─ openllet.core.utils.SizeEstimate.class - [JAR]

├─ openllet.core.utils.StatisticsTable.class - [JAR]

├─ openllet.core.utils.TermFactory.class - [JAR]

├─ openllet.core.utils.Timer.class - [JAR]

├─ openllet.core.utils.Timers.class - [JAR]

├─ openllet.core.utils.URIUtils.class - [JAR]

├─ openllet.core.utils.VersionInfo.class - [JAR]

openllet.owlapi.explanation

├─ openllet.owlapi.explanation.GlassBoxExplanation.class - [JAR]

├─ openllet.owlapi.explanation.PelletExplanation.class - [JAR]

openllet.core.boxes.rbox

├─ openllet.core.boxes.rbox.RBox.class - [JAR]

├─ openllet.core.boxes.rbox.RBoxImpl.class - [JAR]

├─ openllet.core.boxes.rbox.Role.class - [JAR]

├─ openllet.core.boxes.rbox.RoleImpl.class - [JAR]

├─ openllet.core.boxes.rbox.RoleTaxonomyBuilder.class - [JAR]

openllet.core.tableau.blocking

├─ openllet.core.tableau.blocking.Block1Set.class - [JAR]

├─ openllet.core.tableau.blocking.Block2All.class - [JAR]

├─ openllet.core.tableau.blocking.Block3Max.class - [JAR]

├─ openllet.core.tableau.blocking.Block4Min.class - [JAR]

├─ openllet.core.tableau.blocking.Block5Max.class - [JAR]

├─ openllet.core.tableau.blocking.Block6MinSome.class - [JAR]

├─ openllet.core.tableau.blocking.Blocking.class - [JAR]

├─ openllet.core.tableau.blocking.BlockingCondition.class - [JAR]

├─ openllet.core.tableau.blocking.BlockingContext.class - [JAR]

├─ openllet.core.tableau.blocking.BlockingFactory.class - [JAR]

├─ openllet.core.tableau.blocking.EqualityBlocking.class - [JAR]

├─ openllet.core.tableau.blocking.OptimizedDoubleBlocking.class - [JAR]

├─ openllet.core.tableau.blocking.SubsetBlocking.class - [JAR]

openllet.core.vocabulary

├─ openllet.core.vocabulary.BuiltinNamespace.class - [JAR]

openllet.core.rules.rete

├─ openllet.core.rules.rete.AlphaDiffFromNode.class - [JAR]

├─ openllet.core.rules.rete.AlphaEdgeNode.class - [JAR]

├─ openllet.core.rules.rete.AlphaFixedEdgeNode.class - [JAR]

├─ openllet.core.rules.rete.AlphaFixedObjectEdgeNode.class - [JAR]

├─ openllet.core.rules.rete.AlphaFixedSubjectEdgeNode.class - [JAR]

├─ openllet.core.rules.rete.AlphaNetwork.class - [JAR]

├─ openllet.core.rules.rete.AlphaNoVarEdgeNode.class - [JAR]

├─ openllet.core.rules.rete.AlphaNode.class - [JAR]

├─ openllet.core.rules.rete.AlphaReflexiveEdgeNode.class - [JAR]

├─ openllet.core.rules.rete.AlphaTypeNode.class - [JAR]

├─ openllet.core.rules.rete.BetaBuiltinNode.class - [JAR]

├─ openllet.core.rules.rete.BetaMemoryIndex.class - [JAR]

├─ openllet.core.rules.rete.BetaMemoryNode.class - [JAR]

├─ openllet.core.rules.rete.BetaNode.class - [JAR]

├─ openllet.core.rules.rete.BetaTopNode.class - [JAR]

├─ openllet.core.rules.rete.BuiltInCondition.class - [JAR]

├─ openllet.core.rules.rete.Compiler.class - [JAR]

├─ openllet.core.rules.rete.FilterCondition.class - [JAR]

├─ openllet.core.rules.rete.Interpreter.class - [JAR]

├─ openllet.core.rules.rete.JoinCondition.class - [JAR]

├─ openllet.core.rules.rete.NodeProvider.class - [JAR]

├─ openllet.core.rules.rete.ProductionNode.class - [JAR]

├─ openllet.core.rules.rete.ReteNode.class - [JAR]

├─ openllet.core.rules.rete.Token.class - [JAR]

├─ openllet.core.rules.rete.Tuple.class - [JAR]

├─ openllet.core.rules.rete.WME.class - [JAR]

openllet.core.taxonomy

├─ openllet.core.taxonomy.AbstractDefinitionOrder.class - [JAR]

├─ openllet.core.taxonomy.CDOptimizedTaxonomyBuilder.class - [JAR]

├─ openllet.core.taxonomy.DefinitionOrder.class - [JAR]

├─ openllet.core.taxonomy.DefinitionOrderFactory.class - [JAR]

├─ openllet.core.taxonomy.JGraphBasedDefinitionOrder.class - [JAR]

├─ openllet.core.taxonomy.PartialOrderTaxonomyBuilder.class - [JAR]

├─ openllet.core.taxonomy.SubsumptionComparator.class - [JAR]

├─ openllet.core.taxonomy.Taxonomy.class - [JAR]

├─ openllet.core.taxonomy.TaxonomyBasedDefinitionOrder.class - [JAR]

├─ openllet.core.taxonomy.TaxonomyBuilder.class - [JAR]

├─ openllet.core.taxonomy.TaxonomyImpl.class - [JAR]

├─ openllet.core.taxonomy.TaxonomyNode.class - [JAR]

├─ openllet.core.taxonomy.TaxonomyUtils.class - [JAR]

openllet.shared.hash

├─ openllet.shared.hash.HashFunctions.class - [JAR]

├─ openllet.shared.hash.SharedObject.class - [JAR]

├─ openllet.shared.hash.SharedObjectFactory.class - [JAR]

├─ openllet.shared.hash.SharedObjectWithID.class - [JAR]

├─ openllet.shared.hash.SingletonSharedObjectFactory.class - [JAR]

openllet.query.sparqldl.parser

├─ openllet.query.sparqldl.parser.ARQParser.class - [JAR]

├─ openllet.query.sparqldl.parser.QueryEngineBuilder.class - [JAR]

├─ openllet.query.sparqldl.parser.QueryParser.class - [JAR]

├─ openllet.query.sparqldl.parser.SparqldlExtensionsVocabulary.class - [JAR]

openllet.core.datatypes.types.text

├─ openllet.core.datatypes.types.text.RDFPlainLiteral.class - [JAR]

├─ openllet.core.datatypes.types.text.RestrictedTextDatatype.class - [JAR]

├─ openllet.core.datatypes.types.text.XSDLanguage.class - [JAR]

├─ openllet.core.datatypes.types.text.XSDNCName.class - [JAR]

├─ openllet.core.datatypes.types.text.XSDNMToken.class - [JAR]

├─ openllet.core.datatypes.types.text.XSDName.class - [JAR]

├─ openllet.core.datatypes.types.text.XSDNormalizedString.class - [JAR]

├─ openllet.core.datatypes.types.text.XSDString.class - [JAR]

├─ openllet.core.datatypes.types.text.XSDToken.class - [JAR]

openllet.core.el

├─ openllet.core.el.ConceptInfo.class - [JAR]

├─ openllet.core.el.ELExpressivityChecker.class - [JAR]

├─ openllet.core.el.ELSyntaxUtils.class - [JAR]

├─ openllet.core.el.ELTaxonomyBuilder.class - [JAR]

├─ openllet.core.el.GenericTaxonomyBuilder.class - [JAR]

├─ openllet.core.el.RoleChainCache.class - [JAR]

├─ openllet.core.el.RoleRestrictionCache.class - [JAR]

├─ openllet.core.el.RuleBasedELClassifier.class - [JAR]

├─ openllet.core.el.SimplifiedELClassifier.class - [JAR]

├─ openllet.core.el.Trigger.class - [JAR]

openllet.jena

├─ openllet.jena.BuiltinTerm.class - [JAR]

├─ openllet.jena.JenaBasedELClassifier.class - [JAR]

├─ openllet.jena.JenaLoader.class - [JAR]

├─ openllet.jena.JenaUtils.class - [JAR]

├─ openllet.jena.ModelExtractor.class - [JAR]

├─ openllet.jena.NodeFormatter.class - [JAR]

├─ openllet.jena.PelletGraphListener.class - [JAR]

├─ openllet.jena.PelletInfGraph.class - [JAR]

├─ openllet.jena.PelletReasoner.class - [JAR]

├─ openllet.jena.PelletReasonerFactory.class - [JAR]

├─ openllet.jena.SimpleUnion.class - [JAR]

├─ openllet.jena.TaxonomyExtractor.class - [JAR]

openllet.core.utils.iterator

├─ openllet.core.utils.iterator.FilterIterator.class - [JAR]

├─ openllet.core.utils.iterator.FlattenningIterator.class - [JAR]

├─ openllet.core.utils.iterator.IteratorUtils.class - [JAR]

├─ openllet.core.utils.iterator.MapIterator.class - [JAR]

├─ openllet.core.utils.iterator.MultiIterator.class - [JAR]

├─ openllet.core.utils.iterator.MultiListIterator.class - [JAR]

├─ openllet.core.utils.iterator.NestedIterator.class - [JAR]

├─ openllet.core.utils.iterator.PairIterator.class - [JAR]

openllet.jena.vocabulary

├─ openllet.jena.vocabulary.OWL2.class - [JAR]

├─ openllet.jena.vocabulary.SWRL.class - [JAR]

openllet.query.sparqldl.engine

├─ openllet.query.sparqldl.engine.AbstractABoxEngineWrapper.class - [JAR]

├─ openllet.query.sparqldl.engine.BindingIterator.class - [JAR]

├─ openllet.query.sparqldl.engine.CombinedQueryEngine.class - [JAR]

├─ openllet.query.sparqldl.engine.CoreStrategy.class - [JAR]

├─ openllet.query.sparqldl.engine.CostBasedQueryPlanNew.class - [JAR]

├─ openllet.query.sparqldl.engine.IncrementalQueryPlan.class - [JAR]

├─ openllet.query.sparqldl.engine.LiteralIterator.class - [JAR]

├─ openllet.query.sparqldl.engine.NoReorderingQueryPlan.class - [JAR]

├─ openllet.query.sparqldl.engine.OptimizedQueryEngine2.class - [JAR]

├─ openllet.query.sparqldl.engine.OptimizedQueryEngine3.class - [JAR]

├─ openllet.query.sparqldl.engine.QueryCost.class - [JAR]

├─ openllet.query.sparqldl.engine.QueryEngine.class - [JAR]

├─ openllet.query.sparqldl.engine.QueryExec.class - [JAR]

├─ openllet.query.sparqldl.engine.QueryOptimizer.class - [JAR]

├─ openllet.query.sparqldl.engine.QueryPlan.class - [JAR]

├─ openllet.query.sparqldl.engine.QuerySizeEstimator.class - [JAR]

├─ openllet.query.sparqldl.engine.QuerySubsumption.class - [JAR]

├─ openllet.query.sparqldl.engine.SimpleQueryEngine.class - [JAR]

openllet.core.datatypes.types.uri

├─ openllet.core.datatypes.types.uri.RestrictedURIDatatype.class - [JAR]

├─ openllet.core.datatypes.types.uri.XSDAnyURI.class - [JAR]

openllet.core.datatypes.types.duration

├─ openllet.core.datatypes.types.duration.RestrictedDurationDatatype.class - [JAR]

├─ openllet.core.datatypes.types.duration.XSDDuration.class - [JAR]

openllet.core.expressivity

├─ openllet.core.expressivity.DLExpressivityChecker.class - [JAR]

├─ openllet.core.expressivity.Expressivity.class - [JAR]

├─ openllet.core.expressivity.ExpressivityChecker.class - [JAR]

├─ openllet.core.expressivity.ProfileBasedExpressivityChecker.class - [JAR]

openllet.core.datatypes.types.floating

├─ openllet.core.datatypes.types.floating.FloatingPointInterval.class - [JAR]

├─ openllet.core.datatypes.types.floating.FloatingPointType.class - [JAR]

├─ openllet.core.datatypes.types.floating.FloatingPointUtils.class - [JAR]

├─ openllet.core.datatypes.types.floating.IEEEDoubleType.class - [JAR]

├─ openllet.core.datatypes.types.floating.IEEEFloatType.class - [JAR]

├─ openllet.core.datatypes.types.floating.RestrictedFloatingPointDatatype.class - [JAR]

├─ openllet.core.datatypes.types.floating.XSDDouble.class - [JAR]

├─ openllet.core.datatypes.types.floating.XSDFloat.class - [JAR]

openllet.modularity

├─ openllet.modularity.AbstractModuleExtractor.class - [JAR]

├─ openllet.modularity.AxiomBasedModuleExtractor.class - [JAR]

├─ openllet.modularity.ChangeTypeDetector.class - [JAR]

├─ openllet.modularity.EntailmentChecker.class - [JAR]

├─ openllet.modularity.GraphBasedModuleExtractor.class - [JAR]

├─ openllet.modularity.GraphBuilder.class - [JAR]

├─ openllet.modularity.IncrementalClassifier.class - [JAR]

├─ openllet.modularity.ModularityUtils.class - [JAR]

├─ openllet.modularity.ModuleExtractor.class - [JAR]

├─ openllet.modularity.ModuleExtractorFactory.class - [JAR]

├─ openllet.modularity.OntologyDiff.class - [JAR]

├─ openllet.modularity.PelletIncremantalReasonerFactory.class - [JAR]

openllet.core.datatypes.types.real

├─ openllet.core.datatypes.types.real.AbstractDerivedIntegerType.class - [JAR]

├─ openllet.core.datatypes.types.real.ContinuousRealInterval.class - [JAR]

├─ openllet.core.datatypes.types.real.IntegerInterval.class - [JAR]

├─ openllet.core.datatypes.types.real.OWLRational.class - [JAR]

├─ openllet.core.datatypes.types.real.OWLReal.class - [JAR]

├─ openllet.core.datatypes.types.real.Rational.class - [JAR]

├─ openllet.core.datatypes.types.real.RestrictedRealDatatype.class - [JAR]

├─ openllet.core.datatypes.types.real.XSDByte.class - [JAR]

├─ openllet.core.datatypes.types.real.XSDDecimal.class - [JAR]

├─ openllet.core.datatypes.types.real.XSDInt.class - [JAR]

├─ openllet.core.datatypes.types.real.XSDInteger.class - [JAR]

├─ openllet.core.datatypes.types.real.XSDLong.class - [JAR]

├─ openllet.core.datatypes.types.real.XSDNegativeInteger.class - [JAR]

├─ openllet.core.datatypes.types.real.XSDNonNegativeInteger.class - [JAR]

├─ openllet.core.datatypes.types.real.XSDNonPositiveInteger.class - [JAR]

├─ openllet.core.datatypes.types.real.XSDPositiveInteger.class - [JAR]

├─ openllet.core.datatypes.types.real.XSDShort.class - [JAR]

├─ openllet.core.datatypes.types.real.XSDUnsignedByte.class - [JAR]

├─ openllet.core.datatypes.types.real.XSDUnsignedInt.class - [JAR]

├─ openllet.core.datatypes.types.real.XSDUnsignedLong.class - [JAR]

├─ openllet.core.datatypes.types.real.XSDUnsignedShort.class - [JAR]

openllet.owlapi.explanation.io.manchester

├─ openllet.owlapi.explanation.io.manchester.BlockWriter.class - [JAR]

├─ openllet.owlapi.explanation.io.manchester.DescriptionSorter.class - [JAR]

├─ openllet.owlapi.explanation.io.manchester.Keyword.class - [JAR]

├─ openllet.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer.class - [JAR]

├─ openllet.owlapi.explanation.io.manchester.ManchesterSyntaxObjectRenderer.class - [JAR]

├─ openllet.owlapi.explanation.io.manchester.TextBlockWriter.class - [JAR]

openllet.owlapi.parser

├─ openllet.owlapi.parser.OWLFunctionalSyntax.class - [JAR]

├─ openllet.owlapi.parser.OWLFunctionalSyntaxParser.class - [JAR]

├─ openllet.owlapi.parser.OWLFunctionalSyntaxParserConstants.class - [JAR]

├─ openllet.owlapi.parser.OWLFunctionalSyntaxParserTokenManager.class - [JAR]

├─ openllet.owlapi.parser.ParseException.class - [JAR]

├─ openllet.owlapi.parser.SimpleCharStream.class - [JAR]

├─ openllet.owlapi.parser.Token.class - [JAR]

├─ openllet.owlapi.parser.TokenMgrError.class - [JAR]

openllet.core.exceptions

├─ openllet.core.exceptions.InconsistentOntologyException.class - [JAR]

├─ openllet.core.exceptions.InternalReasonerException.class - [JAR]

├─ openllet.core.exceptions.PelletRuntimeException.class - [JAR]

├─ openllet.core.exceptions.TimeoutException.class - [JAR]

├─ openllet.core.exceptions.TimerInterruptedException.class - [JAR]

├─ openllet.core.exceptions.UndefinedEntityException.class - [JAR]

├─ openllet.core.exceptions.UnsupportedFeatureException.class - [JAR]

├─ openllet.core.exceptions.UnsupportedQueryException.class - [JAR]

openllet.core.datatypes.types.datetime

├─ openllet.core.datatypes.types.datetime.AbstractTimelineDatatype.class - [JAR]

├─ openllet.core.datatypes.types.datetime.RestrictedTimelineDatatype.class - [JAR]

├─ openllet.core.datatypes.types.datetime.XSDDate.class - [JAR]

├─ openllet.core.datatypes.types.datetime.XSDDateTime.class - [JAR]

├─ openllet.core.datatypes.types.datetime.XSDDateTimeStamp.class - [JAR]

├─ openllet.core.datatypes.types.datetime.XSDGDay.class - [JAR]

├─ openllet.core.datatypes.types.datetime.XSDGMonth.class - [JAR]

├─ openllet.core.datatypes.types.datetime.XSDGMonthDay.class - [JAR]

├─ openllet.core.datatypes.types.datetime.XSDGYear.class - [JAR]

├─ openllet.core.datatypes.types.datetime.XSDGYearMonth.class - [JAR]

├─ openllet.core.datatypes.types.datetime.XSDTime.class - [JAR]

openllet.core.utils.progress

├─ openllet.core.utils.progress.AbstractProgressMonitor.class - [JAR]

├─ openllet.core.utils.progress.ConsoleProgressMonitor.class - [JAR]

├─ openllet.core.utils.progress.ProgressMonitor.class - [JAR]

├─ openllet.core.utils.progress.SilentProgressMonitor.class - [JAR]

├─ openllet.core.utils.progress.SwingProgressMonitor.class - [JAR]

openllet.aterm.pure

├─ openllet.aterm.pure.AFunImpl.class - [JAR]

├─ openllet.aterm.pure.ATermApplImpl.class - [JAR]

├─ openllet.aterm.pure.ATermBlobImpl.class - [JAR]

├─ openllet.aterm.pure.ATermImpl.class - [JAR]

├─ openllet.aterm.pure.ATermIntImpl.class - [JAR]

├─ openllet.aterm.pure.ATermListImpl.class - [JAR]

├─ openllet.aterm.pure.ATermLongImpl.class - [JAR]

├─ openllet.aterm.pure.ATermPlaceholderImpl.class - [JAR]

├─ openllet.aterm.pure.ATermReader.class - [JAR]

├─ openllet.aterm.pure.ATermRealImpl.class - [JAR]

├─ openllet.aterm.pure.ATermVisitableImpl.class - [JAR]

├─ openllet.aterm.pure.ATermWriter.class - [JAR]

├─ openllet.aterm.pure.PureFactory.class - [JAR]

├─ openllet.aterm.pure.SingletonFactory.class - [JAR]

openllet.core.tableau.completion

├─ openllet.core.tableau.completion.CompletionStrategy.class - [JAR]

├─ openllet.core.tableau.completion.EmptySRIQStrategy.class - [JAR]

├─ openllet.core.tableau.completion.SROIQIncStrategy.class - [JAR]

├─ openllet.core.tableau.completion.SROIQStrategy.class - [JAR]

openllet.reachability

├─ openllet.reachability.AndNode.class - [JAR]

├─ openllet.reachability.EntityNode.class - [JAR]

├─ openllet.reachability.Node.class - [JAR]

├─ openllet.reachability.OrNode.class - [JAR]

├─ openllet.reachability.PairSet.class - [JAR]

├─ openllet.reachability.Reachability.class - [JAR]

├─ openllet.reachability.ReachabilityGraph.class - [JAR]

├─ openllet.reachability.SCC.class - [JAR]

openllet.core.taxonomy.printer

├─ openllet.core.taxonomy.printer.ClassTreePrinter.class - [JAR]

├─ openllet.core.taxonomy.printer.RDFXMLTaxonomyPrinter.class - [JAR]

├─ openllet.core.taxonomy.printer.TaxonomyPrinter.class - [JAR]

├─ openllet.core.taxonomy.printer.TreeTaxonomyPrinter.class - [JAR]

openllet.core.tableau.completion.queue

├─ openllet.core.tableau.completion.queue.BasicCompletionQueue.class - [JAR]

├─ openllet.core.tableau.completion.queue.CompletionQueue.class - [JAR]

├─ openllet.core.tableau.completion.queue.NodeSelector.class - [JAR]

├─ openllet.core.tableau.completion.queue.OptimizedBasicCompletionQueue.class - [JAR]

├─ openllet.core.tableau.completion.queue.QueueElement.class - [JAR]

openllet.core.utils.intset

├─ openllet.core.utils.intset.AbstractIntSet.class - [JAR]

├─ openllet.core.utils.intset.ArrayIntSet.class - [JAR]

├─ openllet.core.utils.intset.BitIntSet.class - [JAR]

├─ openllet.core.utils.intset.IntIterator.class - [JAR]

├─ openllet.core.utils.intset.IntSet.class - [JAR]

├─ openllet.core.utils.intset.IntSetFactory.class - [JAR]

├─ openllet.core.utils.intset.ShiftedBitIntSet.class - [JAR]

openllet.shared.tools

├─ openllet.shared.tools.Log.class - [JAR]

├─ openllet.shared.tools.Logging.class - [JAR]

├─ openllet.shared.tools.StackTraceInfo.class - [JAR]

openllet.core.boxes.tbox

├─ openllet.core.boxes.tbox.TBox.class - [JAR]

├─ openllet.core.boxes.tbox.TBoxFactory.class - [JAR]

openllet.query.sparqldl.model

├─ openllet.query.sparqldl.model.Core.class - [JAR]

├─ openllet.query.sparqldl.model.CoreImpl.class - [JAR]

├─ openllet.query.sparqldl.model.CoreNewImpl.class - [JAR]

├─ openllet.query.sparqldl.model.Filter.class - [JAR]

├─ openllet.query.sparqldl.model.MultiFilterWrapper.class - [JAR]

├─ openllet.query.sparqldl.model.MultiQueryResults.class - [JAR]

├─ openllet.query.sparqldl.model.NotKnownQueryAtom.class - [JAR]

├─ openllet.query.sparqldl.model.Query.class - [JAR]

├─ openllet.query.sparqldl.model.QueryAtom.class - [JAR]

├─ openllet.query.sparqldl.model.QueryAtomFactory.class - [JAR]

├─ openllet.query.sparqldl.model.QueryAtomImpl.class - [JAR]

├─ openllet.query.sparqldl.model.QueryImpl.class - [JAR]

├─ openllet.query.sparqldl.model.QueryParameters.class - [JAR]

├─ openllet.query.sparqldl.model.QueryParametersBuilder.class - [JAR]

├─ openllet.query.sparqldl.model.QueryPredicate.class - [JAR]

├─ openllet.query.sparqldl.model.QueryResult.class - [JAR]

├─ openllet.query.sparqldl.model.QueryResultImpl.class - [JAR]

├─ openllet.query.sparqldl.model.ResultBinding.class - [JAR]

├─ openllet.query.sparqldl.model.ResultBindingImpl.class - [JAR]

├─ openllet.query.sparqldl.model.UnionQueryAtom.class - [JAR]

openllet.aterm.stream

├─ openllet.aterm.stream.BufferedOutputStreamWriter.class - [JAR]

openllet.core

├─ openllet.core.DependencySet.class - [JAR]

├─ openllet.core.FSMBuilder.class - [JAR]

├─ openllet.core.KBLoader.class - [JAR]

├─ openllet.core.KRSSLoader.class - [JAR]

├─ openllet.core.KnowledgeBase.class - [JAR]

├─ openllet.core.KnowledgeBaseImpl.class - [JAR]

├─ openllet.core.KnowledgeBaseImplFullSync.class - [JAR]

├─ openllet.core.OpenlletOptions.class - [JAR]

├─ openllet.core.PropertyType.class - [JAR]

openllet.jena.graph.converter

├─ openllet.jena.graph.converter.AxiomConverter.class - [JAR]

├─ openllet.jena.graph.converter.ConceptConverter.class - [JAR]

├─ openllet.jena.graph.converter.TripleAdder.class - [JAR]

openllet.core.knowledge

├─ openllet.core.knowledge.Base.class - [JAR]

├─ openllet.core.knowledge.Boxes.class - [JAR]

├─ openllet.core.knowledge.ClassesBase.class - [JAR]

├─ openllet.core.knowledge.DatatypeVisitor.class - [JAR]

├─ openllet.core.knowledge.FullyDefinedClassVisitor.class - [JAR]

├─ openllet.core.knowledge.InstancesBase.class - [JAR]

├─ openllet.core.knowledge.MessageBase.class - [JAR]

├─ openllet.core.knowledge.PropertiesBase.class - [JAR]

openllet.core.tableau.branch

├─ openllet.core.tableau.branch.Branch.class - [JAR]

├─ openllet.core.tableau.branch.ChooseBranch.class - [JAR]

├─ openllet.core.tableau.branch.DisjunctionBranch.class - [JAR]

├─ openllet.core.tableau.branch.GuessBranch.class - [JAR]

├─ openllet.core.tableau.branch.IndividualBranch.class - [JAR]

├─ openllet.core.tableau.branch.MaxBranch.class - [JAR]

├─ openllet.core.tableau.branch.RuleBranch.class - [JAR]

openllet.core.utils.fsm

├─ openllet.core.utils.fsm.State.class - [JAR]

├─ openllet.core.utils.fsm.Transition.class - [JAR]

├─ openllet.core.utils.fsm.TransitionGraph.class - [JAR]

openllet.aterm.pure.binary

├─ openllet.aterm.pure.binary.ATermConstruct.class - [JAR]

├─ openllet.aterm.pure.binary.ATermMapping.class - [JAR]

├─ openllet.aterm.pure.binary.BAFReader.class - [JAR]

├─ openllet.aterm.pure.binary.BinaryReader.class - [JAR]

├─ openllet.aterm.pure.binary.BinaryWriter.class - [JAR]

├─ openllet.aterm.pure.binary.SymEntry.class - [JAR]

openllet.owlapi.facet

├─ openllet.owlapi.facet.FacetFactoryOWL.class - [JAR]

├─ openllet.owlapi.facet.FacetHelperOWL.class - [JAR]

├─ openllet.owlapi.facet.FacetManagerOWL.class - [JAR]

├─ openllet.owlapi.facet.FacetOntologyOWL.class - [JAR]

├─ openllet.owlapi.facet.FacetReasonerOWL.class - [JAR]

openllet.query.sparqldl.jena

├─ openllet.query.sparqldl.jena.JenaIOUtils.class - [JAR]

├─ openllet.query.sparqldl.jena.SlicedResultSet.class - [JAR]

├─ openllet.query.sparqldl.jena.SortedResultSet.class - [JAR]

├─ openllet.query.sparqldl.jena.SparqlDLExecution.class - [JAR]

├─ openllet.query.sparqldl.jena.SparqlDLExecutionFactory.class - [JAR]

├─ openllet.query.sparqldl.jena.SparqlDLResultSet.class - [JAR]

├─ openllet.query.sparqldl.jena.SparqlDLStage.class - [JAR]

├─ openllet.query.sparqldl.jena.SparqlDLStageGenerator.class - [JAR]

openllet.core.datatypes

├─ openllet.core.datatypes.AbstractBaseDatatype.class - [JAR]

├─ openllet.core.datatypes.DNF.class - [JAR]

├─ openllet.core.datatypes.DataRange.class - [JAR]

├─ openllet.core.datatypes.DataValueEnumeration.class - [JAR]

├─ openllet.core.datatypes.Datatype.class - [JAR]

├─ openllet.core.datatypes.DatatypeReasoner.class - [JAR]

├─ openllet.core.datatypes.DatatypeReasonerImpl.class - [JAR]

├─ openllet.core.datatypes.Datatypes.class - [JAR]

├─ openllet.core.datatypes.DiscreteInterval.class - [JAR]

├─ openllet.core.datatypes.EmptyDataRange.class - [JAR]

├─ openllet.core.datatypes.EmptyIterator.class - [JAR]

├─ openllet.core.datatypes.EmptyRestrictedDatatype.class - [JAR]

├─ openllet.core.datatypes.Facet.class - [JAR]

├─ openllet.core.datatypes.FloatingPointInterval.class - [JAR]

├─ openllet.core.datatypes.FloatingPointType.class - [JAR]

├─ openllet.core.datatypes.FloatingPointUtils.class - [JAR]

├─ openllet.core.datatypes.IEEEDoubleType.class - [JAR]

├─ openllet.core.datatypes.IEEEFloatType.class - [JAR]

├─ openllet.core.datatypes.InfiniteNamedDatatype.class - [JAR]

├─ openllet.core.datatypes.IntervalRelations.class - [JAR]

├─ openllet.core.datatypes.NamedDataRangeExpander.class - [JAR]

├─ openllet.core.datatypes.NamedDatatype.class - [JAR]

├─ openllet.core.datatypes.NegatedDataRange.class - [JAR]

├─ openllet.core.datatypes.OWLRealInterval.class - [JAR]

├─ openllet.core.datatypes.OWLRealUtils.class - [JAR]

├─ openllet.core.datatypes.RestrictedDatatype.class - [JAR]

├─ openllet.core.datatypes.RestrictedFloatingPointDatatype.class - [JAR]

├─ openllet.core.datatypes.RestrictedRealDatatype.class - [JAR]

├─ openllet.core.datatypes.UnionDataRange.class - [JAR]

├─ openllet.core.datatypes.XSDDecimal.class - [JAR]

├─ openllet.core.datatypes.XSDDouble.class - [JAR]

├─ openllet.core.datatypes.XSDFloat.class - [JAR]

├─ openllet.core.datatypes.XSDInteger.class - [JAR]

├─ openllet.core.datatypes.XSDLong.class - [JAR]

openllet.aterm

├─ openllet.aterm.AFun.class - [JAR]

├─ openllet.aterm.ATerm.class - [JAR]

├─ openllet.aterm.ATermAppl.class - [JAR]

├─ openllet.aterm.ATermBlob.class - [JAR]

├─ openllet.aterm.ATermFactory.class - [JAR]

├─ openllet.aterm.ATermFwd.class - [JAR]

├─ openllet.aterm.ATermFwdVoid.class - [JAR]

├─ openllet.aterm.ATermInt.class - [JAR]

├─ openllet.aterm.ATermList.class - [JAR]

├─ openllet.aterm.ATermLong.class - [JAR]

├─ openllet.aterm.ATermPlaceholder.class - [JAR]

├─ openllet.aterm.ATermReal.class - [JAR]

├─ openllet.aterm.Identifiable.class - [JAR]

├─ openllet.aterm.ParseError.class - [JAR]

├─ openllet.aterm.VisitFailure.class - [JAR]

├─ openllet.aterm.Visitable.class - [JAR]

├─ openllet.aterm.Visitor.class - [JAR]

openllet.core.boxes.abox

├─ openllet.core.boxes.abox.ABox.class - [JAR]

├─ openllet.core.boxes.abox.ABoxImpl.class - [JAR]

├─ openllet.core.boxes.abox.ABoxStats.class - [JAR]

├─ openllet.core.boxes.abox.Clash.class - [JAR]

├─ openllet.core.boxes.abox.DefaultEdge.class - [JAR]

├─ openllet.core.boxes.abox.Edge.class - [JAR]

├─ openllet.core.boxes.abox.EdgeList.class - [JAR]

├─ openllet.core.boxes.abox.Individual.class - [JAR]

├─ openllet.core.boxes.abox.IndividualIterator.class - [JAR]

├─ openllet.core.boxes.abox.Literal.class - [JAR]

├─ openllet.core.boxes.abox.Node.class - [JAR]

├─ openllet.core.boxes.abox.NodeMerge.class - [JAR]

openllet.core.datatypes.types.bool

├─ openllet.core.datatypes.types.bool.RestrictedBooleanDatatype.class - [JAR]

├─ openllet.core.datatypes.types.bool.XSDBoolean.class - [JAR]

openllet.query.sparqlowl.parser.arq

├─ openllet.query.sparqlowl.parser.arq.ARQParserUtilities.class - [JAR]

├─ openllet.query.sparqlowl.parser.arq.ARQTerpParser.class - [JAR]

├─ openllet.query.sparqlowl.parser.arq.TerpSyntax.class - [JAR]

openllet.core.rules.builtins

├─ openllet.core.rules.builtins.BinaryTester.class - [JAR]

├─ openllet.core.rules.builtins.BooleanOperators.class - [JAR]

├─ openllet.core.rules.builtins.BuiltIn.class - [JAR]

├─ openllet.core.rules.builtins.BuiltInRegistry.class - [JAR]

├─ openllet.core.rules.builtins.ComparisonTesters.class - [JAR]

├─ openllet.core.rules.builtins.DateTimeOperators.class - [JAR]

├─ openllet.core.rules.builtins.Function.class - [JAR]

├─ openllet.core.rules.builtins.FunctionApplicationVisitor.class - [JAR]

├─ openllet.core.rules.builtins.FunctionBuiltIn.class - [JAR]

├─ openllet.core.rules.builtins.GeneralFunction.class - [JAR]

├─ openllet.core.rules.builtins.GeneralFunctionBuiltIn.class - [JAR]

├─ openllet.core.rules.builtins.NoSuchBuiltIn.class - [JAR]

├─ openllet.core.rules.builtins.NumberToLiteralVisitor.class - [JAR]

├─ openllet.core.rules.builtins.NumericAdapter.class - [JAR]

├─ openllet.core.rules.builtins.NumericComparisonVisitor.class - [JAR]

├─ openllet.core.rules.builtins.NumericFunction.class - [JAR]

├─ openllet.core.rules.builtins.NumericOperators.class - [JAR]

├─ openllet.core.rules.builtins.NumericPromotion.class - [JAR]

├─ openllet.core.rules.builtins.NumericVisitor.class - [JAR]

├─ openllet.core.rules.builtins.StringFunctionAdapter.class - [JAR]

├─ openllet.core.rules.builtins.StringOperators.class - [JAR]

├─ openllet.core.rules.builtins.StringToStringFunction.class - [JAR]

├─ openllet.core.rules.builtins.Tester.class - [JAR]

├─ openllet.core.rules.builtins.TesterBuiltIn.class - [JAR]

├─ openllet.core.rules.builtins.URIOperators.class - [JAR]

openllet.core.tableau.cache

├─ openllet.core.tableau.cache.AbstractConceptCache.class - [JAR]

├─ openllet.core.tableau.cache.CacheSafety.class - [JAR]

├─ openllet.core.tableau.cache.CacheSafetyAlwaysSafe.class - [JAR]

├─ openllet.core.tableau.cache.CacheSafetyDynamic.class - [JAR]

├─ openllet.core.tableau.cache.CacheSafetyFactory.class - [JAR]

├─ openllet.core.tableau.cache.CacheSafetyNeverSafe.class - [JAR]

├─ openllet.core.tableau.cache.CachedConceptNode.class - [JAR]

├─ openllet.core.tableau.cache.CachedConstantNode.class - [JAR]

├─ openllet.core.tableau.cache.CachedEdge.class - [JAR]

├─ openllet.core.tableau.cache.CachedInEdge.class - [JAR]

├─ openllet.core.tableau.cache.CachedNode.class - [JAR]

├─ openllet.core.tableau.cache.CachedNodeFactory.class - [JAR]

├─ openllet.core.tableau.cache.CachedOutEdge.class - [JAR]

├─ openllet.core.tableau.cache.ConceptCache.class - [JAR]

├─ openllet.core.tableau.cache.ConceptCacheLRU.class - [JAR]

openllet.core.datatypes.exceptions

├─ openllet.core.datatypes.exceptions.DatatypeReasonerException.class - [JAR]

├─ openllet.core.datatypes.exceptions.InvalidConstrainingFacetException.class - [JAR]

├─ openllet.core.datatypes.exceptions.InvalidLiteralException.class - [JAR]

├─ openllet.core.datatypes.exceptions.UnrecognizedDatatypeException.class - [JAR]

openllet.jena.graph.loader

├─ openllet.jena.graph.loader.DefaultGraphLoader.class - [JAR]

├─ openllet.jena.graph.loader.GraphLoader.class - [JAR]

├─ openllet.jena.graph.loader.RestrictionInfo.class - [JAR]

├─ openllet.jena.graph.loader.SimpleProperty.class - [JAR]

openllet.jena.graph.query

├─ openllet.jena.graph.query.BooleanQueryHandler.class - [JAR]

├─ openllet.jena.graph.query.BuiltinTypeQueryHandler.class - [JAR]

├─ openllet.jena.graph.query.GraphQueryHandler.class - [JAR]

├─ openllet.jena.graph.query.ObjectVarHandler.class - [JAR]

├─ openllet.jena.graph.query.SingleVarQueryHandler.class - [JAR]

├─ openllet.jena.graph.query.SubjectObjectVarHandler.class - [JAR]

├─ openllet.jena.graph.query.SubjectVarHandler.class - [JAR]

├─ openllet.jena.graph.query.TripleQueryHandler.class - [JAR]

openllet.core.tableau.completion.incremental

├─ openllet.core.tableau.completion.incremental.AddBranchDependency.class - [JAR]

├─ openllet.core.tableau.completion.incremental.BranchDependency.class - [JAR]

├─ openllet.core.tableau.completion.incremental.ClashDependency.class - [JAR]

├─ openllet.core.tableau.completion.incremental.CloseBranchDependency.class - [JAR]

├─ openllet.core.tableau.completion.incremental.Dependency.class - [JAR]

├─ openllet.core.tableau.completion.incremental.DependencyEntry.class - [JAR]

├─ openllet.core.tableau.completion.incremental.DependencyIndex.class - [JAR]

├─ openllet.core.tableau.completion.incremental.IncrementalRestore.class - [JAR]

├─ openllet.core.tableau.completion.incremental.MergeDependency.class - [JAR]

├─ openllet.core.tableau.completion.incremental.TypeDependency.class - [JAR]