Download jfact-1.0.0.jar : jfact « j « Jar File Download

1. Jar File Download
2. j
3. jfact

Download jfact-1.0.0.jar

jfact/jfact-1.0.0.jar.zip( 1,096 k)

The download jar file contains the following class files or Java source files.

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

Related examples in the same category

1.

Download jfact-1.0.0-sources.jar