All Downloads are FREE. Search and download functionalities are using the official Maven repository.
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