View Java Class Source Code in JAR file
- Download JD-GUI to open JAR file and explore Java source code file (.class .java)
- Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window jfact-5.0.3.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
jfact.plugin.protege
├─ jfact.plugin.protege.JFactProtegeFactory.class - [JAR]
├─ jfact.plugin.protege.JFactRenderingViewComponent.class - [JAR]
uk.ac.manchester.cs.jfact.kernel.modelcaches
├─ uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheConst.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheIan.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheInterface.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheSingleton.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheState.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheType.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.modelcaches.package-info.class - [JAR]
uk.ac.manchester.cs.jfact.visitors
├─ uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor.class - [JAR]
├─ uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx.class - [JAR]
├─ uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor.class - [JAR]
├─ uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter.class - [JAR]
├─ uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx.class - [JAR]
├─ uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter.class - [JAR]
├─ uk.ac.manchester.cs.jfact.visitors.package-info.class - [JAR]
uk.ac.manchester.cs.jfact.kernel.options
├─ uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.options.package-info.class - [JAR]
uk.ac.manchester.cs.jfact.dep
├─ uk.ac.manchester.cs.jfact.dep.DepSet.class - [JAR]
├─ uk.ac.manchester.cs.jfact.dep.package-info.class - [JAR]
uk.ac.manchester.cs.jfact.kernel.dl
├─ uk.ac.manchester.cs.jfact.kernel.dl.AbstractConceptDataCardinality.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptAnd.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptBottom.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExactCardinality.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExists.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataForall.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataMaxCardinality.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataMinCardinality.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataValue.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptName.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptNot.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExactCardinality.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExists.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectForall.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMaxCardinality.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMinCardinality.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectSelf.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectValue.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptOneOf.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptOr.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ConceptTop.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.DataAnd.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.DataBottom.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.DataNot.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.DataOneOf.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.DataOr.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.DataRoleBottom.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.DataRoleName.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.DataRoleTop.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.DataTop.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.IndividualName.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.NAryExpressionImpl.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.NamedEntityImpl.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleBottom.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleChain.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleInverse.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleName.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionFrom.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionInto.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleTop.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.package-info.class - [JAR]
conformance
├─ conformance.Original.class - [JAR]
├─ conformance.PortedFrom.class - [JAR]
uk.ac.manchester.cs.jfact.kernel.state
├─ uk.ac.manchester.cs.jfact.kernel.state.DLCompletionGraphSaveState.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.state.DLCompletionTreeSaveState.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.state.SaveList.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.state.SaveState.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.state.package-info.class - [JAR]
uk.ac.manchester.cs.jfact.helpers
├─ uk.ac.manchester.cs.jfact.helpers.ArrayIntMap.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.CloningVisitor.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.DLTree.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.DLTreeFactory.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.DLTreeVisitor.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.DLTreeVisitorEx.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.DLVertex.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.DLVertexTagDFS.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.Helper.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.LEAFDLTree.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.LogAdapter.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.NDLTree.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.ONEDLTree.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.Pair.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.Reference.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.ReverseCloningVisitor.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.SaveStack.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.SortedIntList.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.StatIndex.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.Stats.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.TWODLTree.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.Templates.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.Timer.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.UnreachableSituationException.class - [JAR]
├─ uk.ac.manchester.cs.jfact.helpers.package-info.class - [JAR]
uk.ac.manchester.cs.jfact.kernel.actors
├─ uk.ac.manchester.cs.jfact.kernel.actors.Actor.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.actors.ActorImpl.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.actors.AddRoleActor.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.actors.ClassPolicy.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.actors.DataPropertyPolicy.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.actors.IndividualPolicy.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.actors.ObjectPropertyPolicy.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.actors.Policy.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.actors.RIActor.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.actors.SupConceptActor.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.actors.TaxGatheringWalker.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.actors.TaxonomyActor.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.actors.WalkerInterface.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.actors.package-info.class - [JAR]
uk.ac.manchester.cs.jfact.kernel.dl.axioms
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AbstractNaryAxiom.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomConceptInclusion.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleDomain.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleFunctional.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleRange.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleSubsumption.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDeclaration.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDifferentIndividuals.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointConcepts.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointDRoles.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointORoles.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointUnion.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentConcepts.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentDRoles.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentORoles.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomFairnessConstraint.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomImpl.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomIndividual.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomInstanceOf.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleDomain.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleFunctional.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleRange.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleSubsumption.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedTo.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedToNot.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleAsymmetric.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverse.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverseFunctional.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleIrreflexive.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleReflexive.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleSymmetric.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleTransitive.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSameIndividuals.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleDRole.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleORole.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOf.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOfNot.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.Axioms.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.axioms.package-info.class - [JAR]
uk.ac.manchester.cs.jfact.kernel.todolist
├─ uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.todolist.QueueQueue.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.todolist.TODOListSaveState.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.todolist.ToDoEntry.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.todolist.ToDoList.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.todolist.ToDoPriorMatrix.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.todolist.package-info.class - [JAR]
uk.ac.manchester.cs.jfact.kernel
├─ uk.ac.manchester.cs.jfact.kernel.AbsorptionActions.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.AddConceptResult.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.Axiom.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.AxiomSet.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.CGLabel.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.CWDArray.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.CacheStatus.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.Concept.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.ConceptWDep.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.DIOp.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.DLConceptTaxonomy.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.DLDag.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.DLVTable.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.DagTag.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.DlCompletionTree.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.DlSatTester.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.DumpInterface.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.DumpLisp.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.EdgeCompare.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.ExpressionCache.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.ExpressionManager.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.InAx.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.Individual.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.KBFlags.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.KBStatus.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.KnownSubsumers.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.Lexeme.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.LogicFeatures.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.MergableLabel.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.NameSet.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.NamedEntry.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.NamedEntryCollection.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.NominalReasoner.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.Ontology.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.OntologyLoader.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.RAStateTransitions.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.RATransition.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.ReasonerFreshEntityException.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.ReasoningKernel.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.Redo.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.Related.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.Restorer.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.Role.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.RoleAutomaton.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.RoleCompare.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.RoleMaster.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.SaveStackRare.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.SimpleRule.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.TBox.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.TDag2Interface.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.Taxonomy.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.TaxonomyCreator.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.Token.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.ToldSubsumers.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.UnMerge.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.package-info.class - [JAR]
uk.ac.manchester.cs.jfact.kernel.dl.interfaces
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleArg.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleExpression.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Entity.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Expression.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.IndividualExpression.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NamedEntity.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleArg.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleComplexExpression.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.RoleExpression.class - [JAR]
├─ uk.ac.manchester.cs.jfact.kernel.dl.interfaces.package-info.class - [JAR]
uk.ac.manchester.cs.jfact
├─ uk.ac.manchester.cs.jfact.AxiomTranslator.class - [JAR]
├─ uk.ac.manchester.cs.jfact.ClassExpressionTranslator.class - [JAR]
├─ uk.ac.manchester.cs.jfact.ComplexObjectPropertyTranslator.class - [JAR]
├─ uk.ac.manchester.cs.jfact.DataPropertyTranslator.class - [JAR]
├─ uk.ac.manchester.cs.jfact.DataRangeTranslator.class - [JAR]
├─ uk.ac.manchester.cs.jfact.DeclarationVisitorEx.class - [JAR]
├─ uk.ac.manchester.cs.jfact.EntailmentChecker.class - [JAR]
├─ uk.ac.manchester.cs.jfact.EntityVisitorEx.class - [JAR]
├─ uk.ac.manchester.cs.jfact.IndividualTranslator.class - [JAR]
├─ uk.ac.manchester.cs.jfact.JFactFactory.class - [JAR]
├─ uk.ac.manchester.cs.jfact.JFactReasoner.class - [JAR]
├─ uk.ac.manchester.cs.jfact.KnowledgeExplorer.class - [JAR]
├─ uk.ac.manchester.cs.jfact.OWLEntityTranslator.class - [JAR]
├─ uk.ac.manchester.cs.jfact.ObjectPropertyTranslator.class - [JAR]
├─ uk.ac.manchester.cs.jfact.TranslationMachinery.class - [JAR]
├─ uk.ac.manchester.cs.jfact.package-info.class - [JAR]
uk.ac.manchester.cs.jfact.datatypes
├─ uk.ac.manchester.cs.jfact.datatypes.ANYURIDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.AbstractNumericDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.BASE64BINARYDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.BOOLEANDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.BYTEDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DATETIMEDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DATETIMESTAMPDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DECIMALDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DOUBLEDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DataTypeReasoner.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DataTypeSituation.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.Datatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DatatypeClashes.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DatatypeCombination.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DatatypeEntry.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DatatypeExpressionImpl.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DatatypeIntersection.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DatatypeNumericEnumeration.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DatatypeNumericExpressionImpl.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DatatypeOrderedExpressionImpl.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.DatatypeUnion.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.FLOATDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.Facet.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.Facets.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.HEXBINARYDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.INTDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.INTEGERDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.LANGUAGEDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.LITERALDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.LONGDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.Literal.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.LiteralEntry.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.LiteralImpl.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.NAMEDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.NCNAMEDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.NEGATIVEINTEGERDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.NMTOKENDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.NMTOKENSDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.NONNEGATIVEINTEGERDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.NONPOSITIVEINTEGERDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.NORMALIZEDSTRINGDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.NumericDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.NumericDatatypeWrapper.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.NumericLiteral.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.NumericLiteralImpl.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.PLAINLITERALDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.POSITIVEINTEGERDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.RATIONALDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.REALDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.SHORTDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.STRINGDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.TOKENDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.UNSIGNEDBYTEDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.UNSIGNEDINTDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.UNSIGNEDLONGDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.UNSIGNEDSHORTDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.UnsignedByteForShort.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.Utils.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.XMLLITERALDatatype.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.cardinality.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.ordered.class - [JAR]
├─ uk.ac.manchester.cs.jfact.datatypes.package-info.class - [JAR]
