Download jfact-1.0.0-sources.jar
jfact/jfact-1.0.0-sources.jar.zip( 415 k)
The download jar file contains the following class files or Java source files.
META-INF/MANIFEST.MF
conformance.Original.java
conformance.PortedFrom.java
conformance/FaCTRevision.txt
conformance/header.txt
uk.ac.manchester.cs.jfact.JFactFactory.java
uk.ac.manchester.cs.jfact.JFactReasoner.java
uk.ac.manchester.cs.jfact.TranslationMachinery.java
uk.ac.manchester.cs.jfact.datatypes.ABSTRACT_DATATYPE.java
uk.ac.manchester.cs.jfact.datatypes.DataTypeReasoner.java
uk.ac.manchester.cs.jfact.datatypes.DataTypeSituation.java
uk.ac.manchester.cs.jfact.datatypes.Datatype.java
uk.ac.manchester.cs.jfact.datatypes.DatatypeCombination.java
uk.ac.manchester.cs.jfact.datatypes.DatatypeEntry.java
uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration.java
uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression.java
uk.ac.manchester.cs.jfact.datatypes.DatatypeExpressionImpl.java
uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory.java
uk.ac.manchester.cs.jfact.datatypes.DatatypeIntersection.java
uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation.java
uk.ac.manchester.cs.jfact.datatypes.DatatypeNumericEnumeration.java
uk.ac.manchester.cs.jfact.datatypes.DatatypeNumericExpressionImpl.java
uk.ac.manchester.cs.jfact.datatypes.DatatypeOrderedExpressionImpl.java
uk.ac.manchester.cs.jfact.datatypes.DatatypeUnion.java
uk.ac.manchester.cs.jfact.datatypes.Facet.java
uk.ac.manchester.cs.jfact.datatypes.Facets.java
uk.ac.manchester.cs.jfact.datatypes.Literal.java
uk.ac.manchester.cs.jfact.datatypes.LiteralEntry.java
uk.ac.manchester.cs.jfact.datatypes.LiteralImpl.java
uk.ac.manchester.cs.jfact.datatypes.NumericDatatype.java
uk.ac.manchester.cs.jfact.datatypes.NumericDatatypeWrapper.java
uk.ac.manchester.cs.jfact.datatypes.NumericLiteral.java
uk.ac.manchester.cs.jfact.datatypes.NumericLiteralImpl.java
uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype.java
uk.ac.manchester.cs.jfact.datatypes.Utils.java
uk.ac.manchester.cs.jfact.datatypes.cardinality.java
uk.ac.manchester.cs.jfact.datatypes.ordered.java
uk.ac.manchester.cs.jfact.dep.DepSet.java
uk.ac.manchester.cs.jfact.elf.CAddFillerRule.java
uk.ac.manchester.cs.jfact.elf.CAndSubRule.java
uk.ac.manchester.cs.jfact.elf.CExistSubRule.java
uk.ac.manchester.cs.jfact.elf.CSubRule.java
uk.ac.manchester.cs.jfact.elf.ELFAction.java
uk.ac.manchester.cs.jfact.elf.ELFAxiomChecker.java
uk.ac.manchester.cs.jfact.elf.ELFExpressionChecker.java
uk.ac.manchester.cs.jfact.elf.ELFNormalizer.java
uk.ac.manchester.cs.jfact.elf.ELFReasoner.java
uk.ac.manchester.cs.jfact.elf.RAddRule.java
uk.ac.manchester.cs.jfact.elf.RBotRule.java
uk.ac.manchester.cs.jfact.elf.RChainLRule.java
uk.ac.manchester.cs.jfact.elf.RChainRRule.java
uk.ac.manchester.cs.jfact.elf.RSubRule.java
uk.ac.manchester.cs.jfact.elf.TELFConcept.java
uk.ac.manchester.cs.jfact.elf.TELFRole.java
uk.ac.manchester.cs.jfact.elf.TELFRule.java
uk.ac.manchester.cs.jfact.elf.TRuleSet.java
uk.ac.manchester.cs.jfact.helpers.AbstractFastSet.java
uk.ac.manchester.cs.jfact.helpers.ArrayIntMap.java
uk.ac.manchester.cs.jfact.helpers.DLTree.java
uk.ac.manchester.cs.jfact.helpers.DLTreeFactory.java
uk.ac.manchester.cs.jfact.helpers.DLVertex.java
uk.ac.manchester.cs.jfact.helpers.DLVertexTagDFS.java
uk.ac.manchester.cs.jfact.helpers.FastSet.java
uk.ac.manchester.cs.jfact.helpers.FastSetFactory.java
uk.ac.manchester.cs.jfact.helpers.FastSetSimple.java
uk.ac.manchester.cs.jfact.helpers.Helper.java
uk.ac.manchester.cs.jfact.helpers.IntCache.java
uk.ac.manchester.cs.jfact.helpers.IntList.java
uk.ac.manchester.cs.jfact.helpers.IntMap.java
uk.ac.manchester.cs.jfact.helpers.IntSet.java
uk.ac.manchester.cs.jfact.helpers.LogAdapter.java
uk.ac.manchester.cs.jfact.helpers.Pair.java
uk.ac.manchester.cs.jfact.helpers.Reference.java
uk.ac.manchester.cs.jfact.helpers.SaveStack.java
uk.ac.manchester.cs.jfact.helpers.SortedIntList.java
uk.ac.manchester.cs.jfact.helpers.StatIndex.java
uk.ac.manchester.cs.jfact.helpers.Stats.java
uk.ac.manchester.cs.jfact.helpers.Templates.java
uk.ac.manchester.cs.jfact.helpers.Timer.java
uk.ac.manchester.cs.jfact.helpers.UnreachableSituationException.java
uk.ac.manchester.cs.jfact.kernel.AddConceptResult.java
uk.ac.manchester.cs.jfact.kernel.Axiom.java
uk.ac.manchester.cs.jfact.kernel.AxiomSet.java
uk.ac.manchester.cs.jfact.kernel.CGLabel.java
uk.ac.manchester.cs.jfact.kernel.CWDArray.java
uk.ac.manchester.cs.jfact.kernel.CacheStatus.java
uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry.java
uk.ac.manchester.cs.jfact.kernel.Concept.java
uk.ac.manchester.cs.jfact.kernel.ConceptCreator.java
uk.ac.manchester.cs.jfact.kernel.ConceptWDep.java
uk.ac.manchester.cs.jfact.kernel.DIOp.java
uk.ac.manchester.cs.jfact.kernel.DLConceptTaxonomy.java
uk.ac.manchester.cs.jfact.kernel.DLDag.java
uk.ac.manchester.cs.jfact.kernel.DLVTable.java
uk.ac.manchester.cs.jfact.kernel.DagTag.java
uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph.java
uk.ac.manchester.cs.jfact.kernel.DlCompletionTree.java
uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc.java
uk.ac.manchester.cs.jfact.kernel.DlSatTester.java
uk.ac.manchester.cs.jfact.kernel.DumpInterface.java
uk.ac.manchester.cs.jfact.kernel.DumpLisp.java
uk.ac.manchester.cs.jfact.kernel.EdgeCompare.java
uk.ac.manchester.cs.jfact.kernel.ExpressionManager.java
uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator.java
uk.ac.manchester.cs.jfact.kernel.InAx.java
uk.ac.manchester.cs.jfact.kernel.Individual.java
uk.ac.manchester.cs.jfact.kernel.IndividualCreator.java
uk.ac.manchester.cs.jfact.kernel.KBFlags.java
uk.ac.manchester.cs.jfact.kernel.KBStatus.java
uk.ac.manchester.cs.jfact.kernel.Lexeme.java
uk.ac.manchester.cs.jfact.kernel.LogicFeatures.java
uk.ac.manchester.cs.jfact.kernel.MergableLabel.java
uk.ac.manchester.cs.jfact.kernel.NameCreator.java
uk.ac.manchester.cs.jfact.kernel.NameSet.java
uk.ac.manchester.cs.jfact.kernel.NamedEntry.java
uk.ac.manchester.cs.jfact.kernel.NamedEntryCollection.java
uk.ac.manchester.cs.jfact.kernel.NodeCompare.java
uk.ac.manchester.cs.jfact.kernel.NominalReasoner.java
uk.ac.manchester.cs.jfact.kernel.Ontology.java
uk.ac.manchester.cs.jfact.kernel.OntologyLoader.java
uk.ac.manchester.cs.jfact.kernel.RAStateTransitions.java
uk.ac.manchester.cs.jfact.kernel.RATransition.java
uk.ac.manchester.cs.jfact.kernel.ReasonerFreshEntityException.java
uk.ac.manchester.cs.jfact.kernel.ReasoningKernel.java
uk.ac.manchester.cs.jfact.kernel.Redo.java
uk.ac.manchester.cs.jfact.kernel.Related.java
uk.ac.manchester.cs.jfact.kernel.Restorer.java
uk.ac.manchester.cs.jfact.kernel.Role.java
uk.ac.manchester.cs.jfact.kernel.RoleAutomaton.java
uk.ac.manchester.cs.jfact.kernel.RoleCompare.java
uk.ac.manchester.cs.jfact.kernel.RoleMaster.java
uk.ac.manchester.cs.jfact.kernel.SaveStackRare.java
uk.ac.manchester.cs.jfact.kernel.SimpleRule.java
uk.ac.manchester.cs.jfact.kernel.TBox.java
uk.ac.manchester.cs.jfact.kernel.TDag2Interface.java
uk.ac.manchester.cs.jfact.kernel.Taxonomy.java
uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex.java
uk.ac.manchester.cs.jfact.kernel.ToDoList.java
uk.ac.manchester.cs.jfact.kernel.ToDoPriorMatrix.java
uk.ac.manchester.cs.jfact.kernel.Token.java
uk.ac.manchester.cs.jfact.kernel.UnMerge.java
uk.ac.manchester.cs.jfact.kernel.actors.Actor.java
uk.ac.manchester.cs.jfact.kernel.actors.AddRoleActor.java
uk.ac.manchester.cs.jfact.kernel.actors.ClassPolicy.java
uk.ac.manchester.cs.jfact.kernel.actors.DataPropertyPolicy.java
uk.ac.manchester.cs.jfact.kernel.actors.IndividualPolicy.java
uk.ac.manchester.cs.jfact.kernel.actors.ObjectPropertyPolicy.java
uk.ac.manchester.cs.jfact.kernel.actors.Policy.java
uk.ac.manchester.cs.jfact.kernel.actors.RIActor.java
uk.ac.manchester.cs.jfact.kernel.actors.SupConceptActor.java
uk.ac.manchester.cs.jfact.kernel.actors.TaxonomyActor.java
uk.ac.manchester.cs.jfact.kernel.dl.AbstractConceptDataCardinality.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptAnd.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptBottom.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExactCardinality.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExists.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataForall.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataMaxCardinality.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataMinCardinality.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataValue.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptName.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptNot.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExactCardinality.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExists.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectForall.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMaxCardinality.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMinCardinality.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectSelf.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectValue.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptOneOf.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptOr.java
uk.ac.manchester.cs.jfact.kernel.dl.ConceptTop.java
uk.ac.manchester.cs.jfact.kernel.dl.DataAnd.java
uk.ac.manchester.cs.jfact.kernel.dl.DataBottom.java
uk.ac.manchester.cs.jfact.kernel.dl.DataNot.java
uk.ac.manchester.cs.jfact.kernel.dl.DataOneOf.java
uk.ac.manchester.cs.jfact.kernel.dl.DataOr.java
uk.ac.manchester.cs.jfact.kernel.dl.DataRoleBottom.java
uk.ac.manchester.cs.jfact.kernel.dl.DataRoleName.java
uk.ac.manchester.cs.jfact.kernel.dl.DataRoleTop.java
uk.ac.manchester.cs.jfact.kernel.dl.DataTop.java
uk.ac.manchester.cs.jfact.kernel.dl.IndividualName.java
uk.ac.manchester.cs.jfact.kernel.dl.NAryExpressionImpl.java
uk.ac.manchester.cs.jfact.kernel.dl.NamedEntityImpl.java
uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleBottom.java
uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleChain.java
uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleInverse.java
uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleName.java
uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionFrom.java
uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionInto.java
uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleTop.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AbstractNaryAxiom.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomConceptInclusion.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleDomain.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleFunctional.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleRange.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleSubsumption.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDeclaration.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDifferentIndividuals.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointConcepts.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointDRoles.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointORoles.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointUnion.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentConcepts.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentDRoles.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentORoles.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomFairnessConstraint.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomImpl.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomIndividual.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomInstanceOf.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleDomain.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleFunctional.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleRange.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleSubsumption.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedTo.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedToNot.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleAsymmetric.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverse.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverseFunctional.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleIrreflexive.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleReflexive.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleSymmetric.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleTransitive.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSameIndividuals.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleDRole.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleORole.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOf.java
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOfNot.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Axiom.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleArg.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleExpression.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Entity.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Expression.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.IndividualExpression.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NamedEntity.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleArg.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleComplexExpression.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression.java
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.RoleExpression.java
uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheConst.java
uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheIan.java
uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheInterface.java
uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheSingleton.java
uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheState.java
uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheType.java
uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration.java
uk.ac.manchester.cs.jfact.kernel.options.LongOption.java
uk.ac.manchester.cs.jfact.kernel.options.Option.java
uk.ac.manchester.cs.jfact.kernel.options.StringOption.java
uk.ac.manchester.cs.jfact.kernel.queryobjects.QR2ArgAtom.java
uk.ac.manchester.cs.jfact.kernel.queryobjects.QRAtom.java
uk.ac.manchester.cs.jfact.kernel.queryobjects.QRConceptAtom.java
uk.ac.manchester.cs.jfact.kernel.queryobjects.QREqAtom.java
uk.ac.manchester.cs.jfact.kernel.queryobjects.QRIndividual.java
uk.ac.manchester.cs.jfact.kernel.queryobjects.QRNeqAtom.java
uk.ac.manchester.cs.jfact.kernel.queryobjects.QRQuery.java
uk.ac.manchester.cs.jfact.kernel.queryobjects.QRRoleAtom.java
uk.ac.manchester.cs.jfact.kernel.queryobjects.QRRule.java
uk.ac.manchester.cs.jfact.kernel.queryobjects.QRSetAtoms.java
uk.ac.manchester.cs.jfact.kernel.queryobjects.QRVariable.java
uk.ac.manchester.cs.jfact.kernel.queryobjects.QRiObject.java
uk.ac.manchester.cs.jfact.kernel.queryobjects.VariableFactory.java
uk.ac.manchester.cs.jfact.kernel.state.DLCompletionGraphSaveState.java
uk.ac.manchester.cs.jfact.kernel.state.DLCompletionTreeSaveState.java
uk.ac.manchester.cs.jfact.kernel.state.SaveList.java
uk.ac.manchester.cs.jfact.kernel.state.SaveState.java
uk.ac.manchester.cs.jfact.kernel.voc.Vocabulary.java
uk.ac.manchester.cs.jfact.split.AOStructure.java
uk.ac.manchester.cs.jfact.split.AtomicDecomposer.java
uk.ac.manchester.cs.jfact.split.BotEquivalenceEvaluator.java
uk.ac.manchester.cs.jfact.split.KnowledgeExplorer.java
uk.ac.manchester.cs.jfact.split.LocalityChecker.java
uk.ac.manchester.cs.jfact.split.ModuleType.java
uk.ac.manchester.cs.jfact.split.ProgressIndicatorInterface.java
uk.ac.manchester.cs.jfact.split.SemanticLocalityChecker.java
uk.ac.manchester.cs.jfact.split.SigAccessor.java
uk.ac.manchester.cs.jfact.split.SigIndex.java
uk.ac.manchester.cs.jfact.split.SyntacticLocalityChecker.java
uk.ac.manchester.cs.jfact.split.TAxiomSplitter.java
uk.ac.manchester.cs.jfact.split.TExpressionSignatureUpdater.java
uk.ac.manchester.cs.jfact.split.TModularizer.java
uk.ac.manchester.cs.jfact.split.TOntologyAtom.java
uk.ac.manchester.cs.jfact.split.TSignature.java
uk.ac.manchester.cs.jfact.split.TSignatureUpdater.java
uk.ac.manchester.cs.jfact.split.TSplitRules.java
uk.ac.manchester.cs.jfact.split.TSplitVar.java
uk.ac.manchester.cs.jfact.split.TSplitVars.java
uk.ac.manchester.cs.jfact.split.TopEquivalenceEvaluator.java
uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor.java
uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorAdapter.java
uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx.java
uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorExAdapter.java
uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor.java
uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter.java
uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx.java
uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter.java
uk/ac/manchester/cs/jfact/datatypes/schema.xsd
Related examples in the same category