All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download jfact JAR 5.0.0 with all dependencies


    JFact is an OWL DL reasoner, based on FaCT++

    Files of the artifact jfact version 5.0.0 from the group net.sourceforge.owlapi.

    Test

    Download jfact (5.0.0)
    Artifact jfact
    Group net.sourceforge.owlapi
    Version 5.0.0
    Last update 13. March 2016
    Organization The University of Manchester
    URL http://jfact.sourceforge.net
    License LGPL 2.1
    Dependencies amount 4
    Dependencies owlapi-distribution, trove4j, joda-time, RoaringBitmap,
    There are maybe transitive dependencies!
    There is a newer version: 5.0.3
    Show newest version
    Show more of this group  Show more artifacts with this name
    Show all versions of jfact Show documentation

    Please rate this JAR file. Is it a good library?

    9 downloads

    Source code of jfact version 5.0.0

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




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy