A port of the JFact DL Reasoner to Android. It uses the pizza.owl ontology to classify different items as example..
android-jfact is hosted in the following web site
https://github.com/edlectrico/android-jfact
If you think the Android project android-jfact listed in this page is inappropriate, such as containing malicious code/tools or violating the copyright, please email info at java2s dot com, thanks.
The following table is the detailed list of android-jfact.
| Item | Value |
|---|---|
| Java File Count | 304 |
| Target SDK Version | 18 |
| Minimum SDK Version | 8 |
| Activity Count | 1 |
| jar files used | android-support-v4.jar jfact-1.2.1.jar owlapi-distribution-3.4.10.jar |
| Required Permissions | android.permission.INTERNET |
| Asset File Names | assets\pizza.owl |
The license information of android-jfact is as follows:
Apache License
android-jfact has the following Java source files.
es.deusto.deustotech.androidjfact.MainActivity.java 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.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.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.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.NumericDatatype.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.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.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.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.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.Stats.java uk.ac.manchester.cs.jfact.helpers.Timer.java uk.ac.manchester.cs.jfact.helpers.UnreachableSituationException.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.ClassifiableEntry.java uk.ac.manchester.cs.jfact.kernel.Concept.java uk.ac.manchester.cs.jfact.kernel.ConceptWDep.java uk.ac.manchester.cs.jfact.kernel.DLConceptTaxonomy.java uk.ac.manchester.cs.jfact.kernel.DLDag.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.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.KBFlags.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.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.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.RoleMaster.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.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.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.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.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.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.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