Android Open Source - Example example android-jfact






Project Summary

A port of the JFact DL Reasoner to Android. It uses the pizza.owl ontology to classify different items as example..

Web Site / Source Repository

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.

Project Detail

The following table is the detailed list of android-jfact.

ItemValue
Java File Count304
Target SDK Version18
Minimum SDK Version8
Activity Count1
jar files usedandroid-support-v4.jar
jfact-1.2.1.jar
owlapi-distribution-3.4.10.jar
Required Permissionsandroid.permission.INTERNET
Asset File Namesassets\pizza.owl




License

The license information of android-jfact is as follows:

Apache License

Java Source Files

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