- absorb() - Method in class uk.ac.manchester.cs.jfact.kernel.AxiomSet
-
- absorbAxioms() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
absorb all axioms
- absorbIntoBottom(TBox) - Method in class uk.ac.manchester.cs.jfact.kernel.Axiom
-
absorb into BOTTOM;
- absorbIntoConcept(TBox) - Method in class uk.ac.manchester.cs.jfact.kernel.Axiom
-
absorb into concept; @return true if absorption is performed
- absorbIntoDomain(TBox) - Method in class uk.ac.manchester.cs.jfact.kernel.Axiom
-
absorb single axiom AX into role domain; @return true if succeed
- absorbIntoNegConcept(TBox) - Method in class uk.ac.manchester.cs.jfact.kernel.Axiom
-
absorb single concept into negation of a concept;
- absorbIntoTop(TBox) - Method in class uk.ac.manchester.cs.jfact.kernel.Axiom
-
absorb into TOP;
- AbsorptionActions - Enum in uk.ac.manchester.cs.jfact.kernel
-
- AbstractConceptDataCardinality - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
base class for data cardinality
- AbstractDatatype<R extends Comparable<R>> - Class in uk.ac.manchester.cs.jfact.datatypes
-
- AbstractDatatype(HasIRI, Set<Facet>, Set<Datatype<?>>) - Constructor for class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- AbstractNaryAxiom<I extends Expression> - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
n-ary axiom base class
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- accept(DLTreeVisitor) - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- accept(DLTreeVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomConceptInclusion
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomConceptInclusion
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDeclaration
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDeclaration
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDifferentIndividuals
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDifferentIndividuals
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointConcepts
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointConcepts
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointDRoles
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointDRoles
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointORoles
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointORoles
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointUnion
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointUnion
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleDomain
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleDomain
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleFunctional
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleFunctional
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleRange
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleRange
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleSubsumption
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleSubsumption
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentConcepts
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentConcepts
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentDRoles
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentDRoles
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentORoles
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentORoles
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomFairnessConstraint
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomFairnessConstraint
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomImpl
-
accept method for the visitor pattern
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomImpl
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomInstanceOf
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomInstanceOf
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleDomain
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleDomain
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleFunctional
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleFunctional
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleRange
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleRange
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleSubsumption
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleSubsumption
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedTo
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedTo
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedToNot
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedToNot
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleAsymmetric
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleAsymmetric
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverse
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverse
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverseFunctional
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverseFunctional
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleIrreflexive
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleIrreflexive
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleReflexive
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleReflexive
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleSymmetric
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleSymmetric
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleTransitive
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleTransitive
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSameIndividuals
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSameIndividuals
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOf
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOf
-
- accept(DLAxiomVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOfNot
-
- accept(DLAxiomVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOfNot
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptAnd
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptAnd
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptBottom
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptBottom
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExactCardinality
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExactCardinality
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExists
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExists
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataForall
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataForall
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataMaxCardinality
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataMaxCardinality
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataMinCardinality
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataMinCardinality
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataValue
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataValue
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptName
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptName
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptNot
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptNot
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExactCardinality
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExactCardinality
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExists
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExists
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectForall
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectForall
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMaxCardinality
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMaxCardinality
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMinCardinality
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMinCardinality
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectSelf
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectSelf
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectValue
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectValue
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptOneOf
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptOneOf
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptOr
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptOr
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptTop
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptTop
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataAnd
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataAnd
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataBottom
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataBottom
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataNot
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataNot
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataOneOf
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataOneOf
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataOr
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataOr
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataRoleBottom
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataRoleBottom
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataRoleName
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataRoleName
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataRoleTop
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataRoleTop
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataTop
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataTop
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.IndividualName
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.IndividualName
-
- accept(DLExpressionVisitor) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression
-
- accept(DLExpressionVisitor) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression
-
- accept(DLExpressionVisitor) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression
-
- accept(DLExpressionVisitor) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression
-
- accept(DLExpressionVisitor) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression
-
- accept(DLExpressionVisitor) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression
-
- accept(DLExpressionVisitor) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression
-
- accept(DLExpressionVisitor) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleExpression
-
- accept(DLExpressionVisitor) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Expression
-
accept method for the visitor pattern
- accept(DLExpressionVisitorEx<O>) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Expression
-
- accept(DLExpressionVisitor) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.IndividualExpression
-
- accept(DLExpressionVisitor) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleComplexExpression
-
- accept(DLExpressionVisitor) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
-
- accept(DLExpressionVisitor) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.RoleExpression
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleBottom
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleBottom
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleChain
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleChain
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleInverse
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleInverse
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleName
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleName
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionFrom
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionFrom
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionInto
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionInto
-
- accept(DLExpressionVisitor) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleTop
-
- accept(DLExpressionVisitorEx<O>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleTop
-
- accumulate() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
Accumulate.
- accumulate() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats.AccumulatedStatistic
-
add local value to a global one.
- AccumulatedStatistic() - Constructor for class uk.ac.manchester.cs.jfact.helpers.Stats.AccumulatedStatistic
-
c'tor: link itself to the list.
- Actor - Interface in uk.ac.manchester.cs.jfact.kernel.actors
-
Actor interface
- ActorImpl - Class in uk.ac.manchester.cs.jfact.kernel.actors
-
- ActorImpl() - Constructor for class uk.ac.manchester.cs.jfact.kernel.actors.ActorImpl
-
- add(E) - Method in interface uk.ac.manchester.cs.jfact.datatypes.DatatypeCombination
-
- add(Literal<R>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- add(Datatype<T>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeIntersection
-
- add(Literal<R>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNumericEnumeration
-
- add(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeUnion
-
- add(DepSet) - Method in class uk.ac.manchester.cs.jfact.dep.DepSet
-
- add(DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.Axiom
-
add DLTree to an axiom
- add(DagTag, ConceptWDep) - Method in class uk.ac.manchester.cs.jfact.kernel.CGLabel
-
index p by tag, clear caches
- add(Collection<I>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AbstractNaryAxiom
-
- add(Expression) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AbstractNaryAxiom
-
- add(A) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression
-
add a single element to the array
- add(Collection<A>) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression
-
add a vector
- add(Collection<A>) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.NAryExpressionImpl
-
- add(Expression) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.NAryExpressionImpl
-
- add(DLVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
- add(K) - Method in class uk.ac.manchester.cs.jfact.kernel.NameSet
-
unconditionally add new element with name ID to the set;
- add(AxiomWrapper) - Method in class uk.ac.manchester.cs.jfact.kernel.Ontology
-
add given axiom to the ontology
- add(RATransition) - Method in class uk.ac.manchester.cs.jfact.kernel.RAStateTransitions
-
add a transition from a given state
- add(RATransition) - Method in class uk.ac.manchester.cs.jfact.kernel.RATransition
-
add label of transition TRANS to transition's label
- add(boolean, TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
- add(DlCompletionTree, ConceptWDep) - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue
-
add entry to a queue
- addAxiom(DLTree, DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.AxiomSet
-
add axiom for the GCI C [= D
- addChild(DLTree) - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- addChild(int) - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
- addComposition(DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
add composition to a role
- addConcept(ConceptWDep, DagTag) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
adds concept P to a label, defined by TAG; update blocked status if
necessary
- AddConceptResult - Enum in uk.ac.manchester.cs.jfact.kernel
-
add concept result
- addConceptToHeap(Concept) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- addConceptToNode(DlCompletionTree, ConceptWDep, DagTag) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
add concept C of a type TAG to NODE; call blocking check if appropriate
- addCopy(RoleAutomaton) - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
- addCurrentToSynonym(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.Taxonomy
-
- addDataEntry(boolean, DagTag, NamedEntry, DepSet) - Method in class uk.ac.manchester.cs.jfact.datatypes.DataTypeReasoner
-
- addDataExprToHeap(LiteralEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- addDataExprToHeap(DatatypeEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- addDatatypeExpressionToHeap(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- addDep(DepSet) - Method in class uk.ac.manchester.cs.jfact.kernel.ConceptWDep
-
add dep-set to a CWD
- addDep(DepSet) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc
-
add dep-set to an edge; return restorer
- addDesc(DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- addDisjointRole(Role) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
set R and THIS as a disjoint; use it after Anc/Desc are determined
- addDisjointRoles(Role, Role) - Method in class uk.ac.manchester.cs.jfact.kernel.RoleMaster
-
a pair of disjoint roles
- addEntry(DlCompletionTree, DagTag, ConceptWDep) - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoList
-
add entry with given NODE and CONCEPT with given OFFSET to the Todo table
- addExtraRule(int) - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
add index of a simple rule in TBox to the ER set
- addFeaturesToSynonym() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
copy role information (like transitivity, functionality, etc) to synonym
- addFirstChild(DLTree) - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- addFirstChildren(Collection<DLTree>) - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- addIfNew(RATransition) - Method in class uk.ac.manchester.cs.jfact.kernel.RATransition
-
add label of transition TRANS to transition's label only if they are new
- addInterval(Datatype<R>, DepSet) - Method in class uk.ac.manchester.cs.jfact.datatypes.DataTypeSituation
-
add restrictions [POS]INT to intervals
- addLeaves(Collection<DLTree>) - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- addNeighbour(DlCompletionTreeArc) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
add given arc P as a neighbour
- addNeighbour(boolean, TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
add link in given direction to vertex
- addNonNumericFacet(Facet, Comparable<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- addNonNumericFacet(Facet, Comparable<?>) - Method in interface uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression
-
add a new facet value for this datatype expression
- addNonNumericFacet(Facet, Comparable<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- addNonprimitiveDefinition(Concept, Concept, DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- addNumericFacet(Facet, Comparable<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- addNumericFacet(Facet, Comparable<?>) - Method in interface uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression
-
- addNumericFacet(Facet, Comparable<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- addParent(ClassifiableEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
add told subsumer of entry (duplications possible)
- addParent(ClassifiableEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- addParentIfNew(ClassifiableEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
- addParents(Collection<ClassifiableEntry>) - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
add all parents (with duplicates) from the range to current node
- addParents(Collection<ClassifiableEntry>) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- addPossibleParent(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyCreator
-
add PARENT as a parent if it exists and is direct parent
- addRA(RoleAutomaton) - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
add RA from a subrole to given one
- addRelated(Related) - Method in class uk.ac.manchester.cs.jfact.kernel.Individual
-
set individual related
- addRelated(Individual) - Method in class uk.ac.manchester.cs.jfact.kernel.Individual
-
add all the related elements from the given P
- AddRoleActor - Class in uk.ac.manchester.cs.jfact.kernel.actors
-
actor that accumulates primers
- AddRoleActor(List<Role>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.actors.AddRoleActor
-
- addRoleLabel(DlCompletionTree, DlCompletionTree, boolean, Role, DepSet) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
add role R with dep-set DEP to the label of the TO arc
- addRoleParent(Role, Role) - Static method in class uk.ac.manchester.cs.jfact.kernel.RoleMaster
-
add parent for the input role
- addRoleParent(DLTree, Role) - Static method in class uk.ac.manchester.cs.jfact.kernel.RoleMaster
-
- addRoleParentProper(Role, Role) - Static method in class uk.ac.manchester.cs.jfact.kernel.RoleMaster
-
add parent for the input role
- addRoleSynonym(Role, Role) - Static method in class uk.ac.manchester.cs.jfact.kernel.RoleMaster
-
add synonym to existing role
- addSameIndividuals(Individual, Pair) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- addSubsumeAxiom(Concept, DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
add axiom CN [= D for concept CN
- addSubsumeAxiom(DLTree, DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- addSubsumeForDefined(Concept, DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
add an axiom CN [= E for defined CN (CN=D already in base)
- addSynonym(ClassifiableEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
add P as a synonym to curent vertex
- addToChain(RoleAutomaton, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
add an Automaton to the chain with a default state
- addToChain(RoleAutomaton, boolean, int) - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
add an Automaton to the chain that would start from the iRA; OSAFE shows
the safety of a previous automaton in a chain
- addToExisting(RATransition) - Method in class uk.ac.manchester.cs.jfact.kernel.RAStateTransitions
-
add information from TRANS to existing transition between the same
states.
- addTransition(int, RATransition) - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
add TRANSition leading from a state FROM; all states are known to fit the
ton
- addTransitionSafe(int, RATransition) - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
add TRANSition leading from a given STATE; check whether all states are
correct
- allMatch(BiPredicate<A, A>) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression
-
- allMatchOnAllPairs(List<T>, Predicate<OWLAPIStreamUtils.Pair<T>>) - Static method in class uk.ac.manchester.cs.jfact.helpers.Helper
-
- allMatchOnPairs(List<T>, Predicate<OWLAPIStreamUtils.Pair<T>>) - Static method in class uk.ac.manchester.cs.jfact.helpers.Helper
-
- allMatchWithFirst(BiPredicate<A, A>) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression
-
- allPairs(List<T>, BiConsumer<T, T>) - Static method in class uk.ac.manchester.cs.jfact.helpers.Helper
-
- and(List<ConceptExpression>) - Static method in class uk.ac.manchester.cs.jfact.kernel.ExpressionManager
-
- and(ConceptExpression, ConceptExpression) - Static method in class uk.ac.manchester.cs.jfact.kernel.ExpressionManager
-
- and2dag(DLVertex, DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
fills AND-like vertex V with an AND-like expression T; process result
- anyMatch(BiPredicate<A, A>) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression
-
- anyMatchOnAllPairs(List<T>, Predicate<OWLAPIStreamUtils.Pair<T>>) - Static method in class uk.ac.manchester.cs.jfact.helpers.Helper
-
- anyMatchOnPairs(List<T>, Predicate<OWLAPIStreamUtils.Pair<T>>) - Static method in class uk.ac.manchester.cs.jfact.helpers.Helper
-
- anyMatchWithFirst(BiPredicate<A, A>) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression
-
- ANYURI - Static variable in class uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory
-
ANYURI
- applicable(TaxonomyVertex) - Method in interface uk.ac.manchester.cs.jfact.kernel.actors.Actor
-
- applicable(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.actors.ActorImpl
-
- applicable(ClassifiableEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.actors.ClassPolicy
-
- applicable(ClassifiableEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.actors.DataPropertyPolicy
-
- applicable(ClassifiableEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.actors.IndividualPolicy
-
- applicable(ClassifiableEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.actors.ObjectPropertyPolicy
-
- applicable(ClassifiableEntry) - Method in interface uk.ac.manchester.cs.jfact.kernel.actors.Policy
-
- applicable(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.actors.RIActor
-
- applicable(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.actors.SupConceptActor
-
- applicable(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.actors.TaxonomyActor
-
- applicable(Role) - Method in class uk.ac.manchester.cs.jfact.kernel.RATransition
-
- apply(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.actors.AddRoleActor
-
- apply(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.actors.RIActor
-
- apply(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.actors.SupConceptActor
-
- apply(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.actors.TaxonomyActor
-
- apply(TaxonomyVertex) - Method in interface uk.ac.manchester.cs.jfact.kernel.actors.WalkerInterface
-
Taxonomy walking method.
- applyAxiomCNToC(DLTree, DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- applyAxiomCToCN(DLTree, DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- ArrayIntMap - Class in uk.ac.manchester.cs.jfact.helpers
-
map int to int
- ArrayIntMap() - Constructor for class uk.ac.manchester.cs.jfact.helpers.ArrayIntMap
-
- ArrayQueue - Class in uk.ac.manchester.cs.jfact.kernel.todolist
-
class to represent single queue
- ArrayQueue() - Constructor for class uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue
-
- asExpression() - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- asExpression() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- asExpression() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- asExpression() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- asNumericDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- asNumericDatatype() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- asNumericDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- asNumericDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- asNumericDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNumericEnumeration
-
- asOrderedDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- asOrderedDatatype() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- asOrderedDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- asOrderedDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- asOrderedDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNumericEnumeration
-
- atmost2dag(int, Role, int) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- Axiom - Class in uk.ac.manchester.cs.jfact.kernel
-
inner axiom class
- Axiom(Axiom) - Constructor for class uk.ac.manchester.cs.jfact.kernel.Axiom
-
- AxiomConceptInclusion - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
SubClassOf
- AxiomConceptInclusion(OWLAxiom, ConceptExpression, ConceptExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomConceptInclusion
-
- AxiomDeclaration - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
declaration
- AxiomDeclaration(OWLAxiom, Expression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDeclaration
-
- AxiomDifferentIndividuals - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
Different individuals axiom
- AxiomDifferentIndividuals(OWLAxiom, List<IndividualExpression>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDifferentIndividuals
-
- AxiomDisjointConcepts - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
Concept disjointness axiom
- AxiomDisjointConcepts(OWLAxiom, List<ConceptExpression>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointConcepts
-
- AxiomDisjointDRoles - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
Data Role disjointness axiom
- AxiomDisjointDRoles(OWLAxiom, List<DataRoleExpression>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointDRoles
-
- AxiomDisjointORoles - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
Object Role disjointness axiom
- AxiomDisjointORoles(OWLAxiom, List<ObjectRoleExpression>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointORoles
-
- AxiomDisjointUnion - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
Disjoint Union axiom
- AxiomDisjointUnion(OWLAxiom, ConceptExpression, Collection<ConceptExpression>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointUnion
-
- AxiomDRoleDomain - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
data role domain
- AxiomDRoleDomain(OWLAxiom, DataRoleExpression, ConceptExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleDomain
-
- AxiomDRoleFunctional - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
functional data role
- AxiomDRoleFunctional(OWLAxiom, DataRoleExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleFunctional
-
- AxiomDRoleRange - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
data role range
- AxiomDRoleRange(OWLAxiom, DataRoleExpression, DataExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleRange
-
- AxiomDRoleSubsumption - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
data role subsumption
- AxiomDRoleSubsumption(OWLAxiom, DataRoleExpression, DataRoleExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleSubsumption
-
- AxiomEquivalentConcepts - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
equivalent concepts
- AxiomEquivalentConcepts(OWLAxiom, List<ConceptExpression>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentConcepts
-
- AxiomEquivalentDRoles - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
Data Role equivalence axiom
- AxiomEquivalentDRoles(OWLAxiom, List<DataRoleExpression>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentDRoles
-
- AxiomEquivalentORoles - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
Object Role equivalence axiom
- AxiomEquivalentORoles(OWLAxiom, List<ObjectRoleExpression>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentORoles
-
- AxiomFairnessConstraint - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
Fairness constraint axiom
- AxiomFairnessConstraint(OWLAxiom, List<ConceptExpression>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomFairnessConstraint
-
- AxiomImpl - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
Axiom implementation
- AxiomImpl(OWLAxiom) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomImpl
-
- AxiomInstanceOf - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
class assertion
- AxiomInstanceOf(OWLAxiom, IndividualExpression, ConceptExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomInstanceOf
-
- AxiomORoleDomain - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
object role domain
- AxiomORoleDomain(OWLAxiom, ObjectRoleExpression, ConceptExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleDomain
-
- AxiomORoleFunctional - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
functional object role
- AxiomORoleFunctional(OWLAxiom, ObjectRoleExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleFunctional
-
- AxiomORoleRange - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
object role range
- AxiomORoleRange(OWLAxiom, ObjectRoleExpression, ConceptExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleRange
-
- AxiomORoleSubsumption - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
object role subsumption
- AxiomORoleSubsumption(OWLAxiom, ObjectRoleComplexExpression, ObjectRoleExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleSubsumption
-
- AxiomRelatedTo - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
object role assertion
- AxiomRelatedTo(OWLAxiom, IndividualExpression, ObjectRoleExpression, IndividualExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedTo
-
- AxiomRelatedToNot - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
negated object role assertion
- AxiomRelatedToNot(OWLAxiom, IndividualExpression, ObjectRoleExpression, IndividualExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedToNot
-
- AxiomRoleAsymmetric - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
asymmetric object role
- AxiomRoleAsymmetric(OWLAxiom, ObjectRoleExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleAsymmetric
-
- AxiomRoleInverse - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
inverse object property
- AxiomRoleInverse(OWLAxiom, ObjectRoleExpression, ObjectRoleExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverse
-
- AxiomRoleInverseFunctional - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
inverse functional object role
- AxiomRoleInverseFunctional(OWLAxiom, ObjectRoleExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverseFunctional
-
- AxiomRoleIrreflexive - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
irreflexive object role
- AxiomRoleIrreflexive(OWLAxiom, ObjectRoleExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleIrreflexive
-
- AxiomRoleReflexive - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
reflexive object role
- AxiomRoleReflexive(OWLAxiom, ObjectRoleExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleReflexive
-
- AxiomRoleSymmetric - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
symmetric object role
- AxiomRoleSymmetric(OWLAxiom, ObjectRoleExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleSymmetric
-
- AxiomRoleTransitive - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
transitive object role
- AxiomRoleTransitive(OWLAxiom, ObjectRoleExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleTransitive
-
- Axioms - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
Axiom utilities.
- AxiomSameIndividuals - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
Same individuals axiom
- AxiomSameIndividuals(OWLAxiom, List<IndividualExpression>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSameIndividuals
-
- AxiomSet - Class in uk.ac.manchester.cs.jfact.kernel
-
set of axioms
- AxiomSet(TBox) - Constructor for class uk.ac.manchester.cs.jfact.kernel.AxiomSet
-
- AxiomSingleDRole - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
data role axiom
- AxiomSingleORole - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
object role axiom
- axiomToRangeDomain(DLTree, DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- AxiomTranslator - Class in uk.ac.manchester.cs.jfact
-
axiom translator
- AxiomTranslator(Ontology, OWLDataFactory, TranslationMachinery) - Constructor for class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- AxiomValueOf - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
data has value axiom
- AxiomValueOf(OWLAxiom, IndividualExpression, DataRoleExpression, Literal<?>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOf
-
- AxiomValueOfNot - Class in uk.ac.manchester.cs.jfact.kernel.dl.axioms
-
negation of data hasvalue axiom
- AxiomValueOfNot(OWLAxiom, IndividualExpression, DataRoleExpression, Literal<?>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOfNot
-
- calcDelta() - Method in class uk.ac.manchester.cs.jfact.helpers.Timer
-
- calculateStatistic() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
calculate statistics
- calculateTSDepth() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- calculateTSDepth() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
calculate TS depth for all concepts
- canBlockInit(int) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- canInitNonPrim(DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- canMerge(ModelCacheInterface) - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheConst
-
check whether two caches can be merged;
- canMerge(ModelCacheInterface) - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheIan
-
- canMerge(ModelCacheInterface) - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheInterface
-
check whether two caches can be merged;
- canMerge(ModelCacheInterface) - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheSingleton
-
check whether two caches can be merged;
- canonicaliseSynonym() - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
make sure that synonym's representative is not a synonym itself
- canUseSortedReasoning() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- cardinality - Enum in uk.ac.manchester.cs.jfact.datatypes
-
cardinality
- cardinality(int, ObjectRoleExpression, ConceptExpression) - Static method in class uk.ac.manchester.cs.jfact.kernel.ExpressionManager
-
- cardinality(int, DataRoleExpression, DataExpression) - Static method in class uk.ac.manchester.cs.jfact.kernel.ExpressionManager
-
- CGLabel - Class in uk.ac.manchester.cs.jfact.kernel
-
Completion graph label
- CGLabel(JFactReasonerConfiguration) - Constructor for class uk.ac.manchester.cs.jfact.kernel.CGLabel
-
Default constructor.
- checkClash() - Method in class uk.ac.manchester.cs.jfact.datatypes.DataTypeReasoner
-
- checkCompatibleValue(DataTypeSituation<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DataTypeSituation
-
- checkDisjointRoles(Role, Role) - Method in class uk.ac.manchester.cs.jfact.kernel.DlSatTester
-
- checkEarlySynonym(Concept) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
checks if C is defined as C=D and set Synonyms accordingly
- checkExtraCond() - Method in class uk.ac.manchester.cs.jfact.kernel.NominalReasoner
-
- checkHierarchicalDisjoint() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
check (and correct) case whether R != S for R [= S
- checkIrreflexivity(Role) - Method in class uk.ac.manchester.cs.jfact.kernel.DlSatTester
-
- checkPNTypeClash() - Method in class uk.ac.manchester.cs.jfact.datatypes.DataTypeSituation
-
- checkToldCycle(Concept) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- checkTransition(int, int) - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
check whether transition between FROM and TO breaks safety
- children() - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- choose(char) - Static method in enum uk.ac.manchester.cs.jfact.helpers.StatIndex
-
- ClassExpressionTranslator - Class in uk.ac.manchester.cs.jfact
-
class expression translator
- ClassExpressionTranslator(ExpressionCache, OWLDataFactory, TranslationMachinery) - Constructor for class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- ClassifiableEntry - Class in uk.ac.manchester.cs.jfact.kernel
-
classifiable entry
- classifyConcepts(List<Concept>, boolean, String) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- classifyEntry(ClassifiableEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyCreator
-
- classifyKB() - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
ensure that KB is classified
- classifyQueryConcept() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
classify query concept
- ClassPolicy - Class in uk.ac.manchester.cs.jfact.kernel.actors
-
policy for concepts
- ClassPolicy() - Constructor for class uk.ac.manchester.cs.jfact.kernel.actors.ClassPolicy
-
- clear() - Method in class uk.ac.manchester.cs.jfact.dep.DepSet
-
empty the delegate
- clear() - Method in class uk.ac.manchester.cs.jfact.helpers.ArrayIntMap
-
clear the map
- clear() - Method in class uk.ac.manchester.cs.jfact.helpers.SaveStack
-
clear the stack
- clear() - Method in interface uk.ac.manchester.cs.jfact.kernel.actors.Actor
-
clear collections
- clear() - Method in class uk.ac.manchester.cs.jfact.kernel.actors.RIActor
-
- clear() - Method in class uk.ac.manchester.cs.jfact.kernel.actors.TaxonomyActor
-
- clear() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
clear concept
- clear() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
mark all heap elements as unused
- clear() - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionCache
-
clear the maps
- clear() - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheIan
-
clear the cache
- clear() - Method in class uk.ac.manchester.cs.jfact.kernel.Ontology
-
clear the ontology
- clear() - Method in class uk.ac.manchester.cs.jfact.kernel.SaveStackRare
-
clear stack
- clear() - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
clears the vertex
- clear() - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue
-
clear queue
- clear() - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoList
-
clear Todo table
- clearAffected() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
clear affected flag
- clearCommon() - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
zero common
- clearFeatures() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
clear current features
- clearKB() - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
reset current KB
- clearLabels() - Method in class uk.ac.manchester.cs.jfact.kernel.Taxonomy
-
- clearLinks(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
clear all links in a given direction
- clearNameCache() - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionCache
-
clear name caches
- clearQueryConcept() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
delete all query-related stuff
- clearRelevanceInfo() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
clear all relevance info
- clearStatistics() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
clear all the session statistics
- collectDomainFromSupers() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
merge to Domain all domains from super-roles
- compare(int, int) - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
- compareTo(DlCompletionTree) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- completeAutomaton(int) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
complete role automaton
- complexConcepts() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- complexConceptsMap() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- ComplexObjectPropertyTranslator - Class in uk.ac.manchester.cs.jfact
-
property expression translator
- ComplexObjectPropertyTranslator(ExpressionCache, OWLDataFactory, TranslationMachinery) - Constructor for class uk.ac.manchester.cs.jfact.ComplexObjectPropertyTranslator
-
- compose(List<ObjectRoleExpression>) - Static method in class uk.ac.manchester.cs.jfact.kernel.ExpressionManager
-
- compose(ObjectRoleExpression, ObjectRoleExpression) - Static method in class uk.ac.manchester.cs.jfact.kernel.ExpressionManager
-
- Concept - Class in uk.ac.manchester.cs.jfact.kernel
-
concept
- Concept(IRI) - Constructor for class uk.ac.manchester.cs.jfact.kernel.Concept
-
- concept(OWLEntity) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionCache
-
- Concept.CTTag - Enum in uk.ac.manchester.cs.jfact.kernel
-
type of concept wrt classifiability
- concept2dag(Concept) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- ConceptAnd - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
concept intersection
- ConceptAnd(List<ConceptExpression>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptAnd
-
create AND of expressions from the given array
- ConceptArg - Interface in uk.ac.manchester.cs.jfact.kernel.dl.interfaces
-
concept expression
- ConceptBottom - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
bottom
- ConceptBottom() - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptBottom
-
- ConceptDataCardinalityExpression - Interface in uk.ac.manchester.cs.jfact.kernel.dl.interfaces
-
general data role cardinality expression
- ConceptDataExactCardinality - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
data exact cardinality
- ConceptDataExactCardinality(int, DataRoleExpression, DataExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExactCardinality
-
- ConceptDataExists - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
exist data restriction
- ConceptDataExists(DataRoleExpression, DataExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExists
-
- ConceptDataForall - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
forall data restriction
- ConceptDataForall(DataRoleExpression, DataExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataForall
-
- ConceptDataMaxCardinality - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
data max cardinality
- ConceptDataMaxCardinality(int, DataRoleExpression, DataExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataMaxCardinality
-
- ConceptDataMinCardinality - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
data min cardinality
- ConceptDataMinCardinality(int, DataRoleExpression, DataExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataMinCardinality
-
- ConceptDataRoleExpression - Interface in uk.ac.manchester.cs.jfact.kernel.dl.interfaces
-
data role expression
- ConceptDataRVExpression - Interface in uk.ac.manchester.cs.jfact.kernel.dl.interfaces
-
data restriction
- ConceptDataValue - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
concept data value
- ConceptDataValue(DataRoleExpression, Literal<?>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataValue
-
- ConceptExpression - Interface in uk.ac.manchester.cs.jfact.kernel.dl.interfaces
-
concept expression
- ConceptName - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
named concept
- ConceptName(OWLEntity) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptName
-
- ConceptNot - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
concept negation
- ConceptNot(ConceptExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptNot
-
- ConceptObjectCardinalityExpression - Interface in uk.ac.manchester.cs.jfact.kernel.dl.interfaces
-
object cardinality expression
- ConceptObjectExactCardinality - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
object exact cardinality
- ConceptObjectExactCardinality(int, ObjectRoleExpression, ConceptExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExactCardinality
-
- ConceptObjectExists - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
object exist restriction
- ConceptObjectExists(ObjectRoleExpression, ConceptExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExists
-
- ConceptObjectForall - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
forall object restriction
- ConceptObjectForall(ObjectRoleExpression, ConceptExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectForall
-
- ConceptObjectMaxCardinality - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
object max cardinality
- ConceptObjectMaxCardinality(int, ObjectRoleExpression, ConceptExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMaxCardinality
-
- ConceptObjectMinCardinality - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
object min cardinality
- ConceptObjectMinCardinality(int, ObjectRoleExpression, ConceptExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMinCardinality
-
- ConceptObjectRCExpression - Interface in uk.ac.manchester.cs.jfact.kernel.dl.interfaces
-
object restriction expression
- ConceptObjectRoleExpression - Interface in uk.ac.manchester.cs.jfact.kernel.dl.interfaces
-
general concept expression that contains an object role
- ConceptObjectSelf - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
self object restriction
- ConceptObjectSelf(ObjectRoleExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectSelf
-
- ConceptObjectValue - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
object value restriction
- ConceptObjectValue(ObjectRoleExpression, IndividualExpression) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectValue
-
- ConceptOneOf<I extends IndividualExpression> - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
object nominal
- ConceptOneOf(List<I>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptOneOf
-
create one-of from individuals in the given array
- ConceptOr - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
concept union
- ConceptOr(List<ConceptExpression>) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptOr
-
create OR of expressions from the given array
- ConceptTop - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
top
- ConceptTop() - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.ConceptTop
-
- ConceptWDep - Class in uk.ac.manchester.cs.jfact.kernel
-
concept and dependency set
- ConceptWDep(int) - Constructor for class uk.ac.manchester.cs.jfact.kernel.ConceptWDep
-
c'tor with empty dep-set
- ConceptWDep(int, DepSet) - Constructor for class uk.ac.manchester.cs.jfact.kernel.ConceptWDep
-
- conformance - package conformance
-
- consistent() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
check whether role description is consistent
- consistentNominalCloud() - Method in class uk.ac.manchester.cs.jfact.kernel.NominalReasoner
-
- contains(int) - Method in class uk.ac.manchester.cs.jfact.kernel.CGLabel
-
- contains(int) - Method in class uk.ac.manchester.cs.jfact.kernel.CWDArray
-
- containsAll(ArrayIntMap) - Method in class uk.ac.manchester.cs.jfact.helpers.ArrayIntMap
-
- containsC(DLTree, DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- containsCC(int) - Method in class uk.ac.manchester.cs.jfact.kernel.CGLabel
-
- containsKey(int) - Method in class uk.ac.manchester.cs.jfact.helpers.ArrayIntMap
-
- containsSAbsAction() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- containsSAbsBApply() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- containsSAbsCApply() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- containsSAbsCAttempt() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- containsSAbsInput() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- containsSAbsNApply() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- containsSAbsNAttempt() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- containsSAbsRApply() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- containsSAbsRAttempt() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- containsSAbsRepCN() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- containsSAbsRepForall() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- containsSAbsSplit() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- containsSAbsTApply() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- copy() - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- correctCommon(int) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
keep COMMON flag iff both flags are set;
- countSynonyms() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- create() - Static method in class uk.ac.manchester.cs.jfact.dep.DepSet
-
- create(int) - Static method in class uk.ac.manchester.cs.jfact.dep.DepSet
-
- create(DepSet) - Static method in class uk.ac.manchester.cs.jfact.dep.DepSet
-
- create(RoaringBitmap) - Static method in class uk.ac.manchester.cs.jfact.dep.DepSet
-
- createAnAxiom(DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.Axiom
-
create a concept expression corresponding to a given GCI; ignore SKIP
entry
- createBCTopLE() - Method in class uk.ac.manchester.cs.jfact.kernel.DlSatTester
-
create BC for LE-rule
- createBiPointer(int, boolean) - Static method in class uk.ac.manchester.cs.jfact.helpers.Helper
-
- createBottom() - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- createCache(int, FastSet) - Method in class uk.ac.manchester.cs.jfact.kernel.DlSatTester
-
- createConstCache(int) - Static method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheConst
-
- createEntry(Token, NamedEntry) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- createInverse(DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- createLoop(DlCompletionTree, Role, DepSet) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
Create an R-loop of NODE wrt dep-set DEP;
- createNeighbour(DlCompletionTree, boolean, Role, DepSet) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
Create an empty R-neighbour of FROM;
- createNonBufferingReasoner(OWLOntology) - Method in class uk.ac.manchester.cs.jfact.JFactFactory
-
- createNonBufferingReasoner(OWLOntology, OWLReasonerConfiguration) - Method in class uk.ac.manchester.cs.jfact.JFactFactory
-
- createQueryConcept(DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- createReasoner(OWLOntology) - Method in class uk.ac.manchester.cs.jfact.JFactFactory
-
- createReasoner(OWLOntology, OWLReasonerConfiguration) - Method in class uk.ac.manchester.cs.jfact.JFactFactory
-
- createRole(Role) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- createSNFAnd(DLTree, DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- createSNFAnd(Collection<DLTree>) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- createSNFAnd(Collection<DLTree>, DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- createSNFExists(DLTree, DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
create existential restriction of given formulas (\ER.C)
- createSNFForall(DLTree, DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- createSNFGE(int, DLTree, DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- createSNFLE(int, DLTree, DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
create at-most (LE) restriction of given formulas (max n R.C)
- createSNFNot(DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- createSNFNot(DLTree, DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- createSNFOr(Collection<DLTree>) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
create disjunction of given formulas
- createSNFReducedAnd(DLTree, DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- createSNFSelf(DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
create SELF restriction for role R
- createTaxonomy(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- createTop() - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- CWDArray - Class in uk.ac.manchester.cs.jfact.kernel
-
List of concepts with dependencies
- CWDArray(JFactReasonerConfiguration, int) - Constructor for class uk.ac.manchester.cs.jfact.kernel.CWDArray
-
- gatherStatistic() - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
stats collection
- generateAncestors(Datatype<?>) - Static method in class uk.ac.manchester.cs.jfact.datatypes.Utils
-
- get(int) - Method in class uk.ac.manchester.cs.jfact.helpers.ArrayIntMap
-
- get(char) - Static method in enum uk.ac.manchester.cs.jfact.kernel.AbsorptionActions
-
- get(int) - Method in class uk.ac.manchester.cs.jfact.kernel.CWDArray
-
- get(int) - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
- get(IRI) - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntryCollection
-
- get(int) - Method in class uk.ac.manchester.cs.jfact.kernel.Ontology
-
- get(String) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Gets the.
- get(int) - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
- get() - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue
-
- getA() - Method in class uk.ac.manchester.cs.jfact.kernel.Related
-
- getAbsoluteIndex() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- getabsorptionFlags() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Gets the absorption flags.
- getAbsorptionLog() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Gets the absorption log.
- getAcc() - Method in class uk.ac.manchester.cs.jfact.kernel.actors.RIActor
-
- getalwaysPreferEquals() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Gets the always prefer equals.
- getAncestor() - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- getAncestor() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- getAncestors() - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- getAncestors() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- getAncestors() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- getAncestors() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- getAndToDagValue() - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
- getArcEnd() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc
-
- getArguments() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AbstractNaryAxiom
-
- getArguments() - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression
-
- getArguments() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.NAryExpressionImpl
-
- getAtom() - Method in class uk.ac.manchester.cs.jfact.kernel.Axiom
-
- getAtomAxioms(int) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getAtomAxioms(int) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
get a set of axioms that corresponds to the atom with the id INDEX
- getAtomDependents(int) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getAtomDependents(int) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
get a set of atoms on which atom with index INDEX depends
- getAtomicDecompositionSize(boolean, ModuleType) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getAtomicDecompositionSize(OWLOntology, boolean, ModuleType) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
create new atomic decomposition of the loaded ontology using TYPE.
- getAtomModule(int) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getAtomModule(int) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
get a set of axioms that corresponds to the module of the atom with the
id INDEX
- getAttribute() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOf
-
- getAttribute() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOfNot
-
- getAutomaton() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- getAuxConcept(DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getAxioms() - Method in class uk.ac.manchester.cs.jfact.kernel.Ontology
-
- getB() - Method in class uk.ac.manchester.cs.jfact.kernel.Related
-
- getBase() - Method in class uk.ac.manchester.cs.jfact.kernel.CWDArray
-
- getBase() - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
- getBlocker(OWLKnowledgeExplorerReasoner.RootNode) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getBlocker() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- getBlocker(DlCompletionTree) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- getBlocker(DlCompletionTree) - Method in class uk.ac.manchester.cs.jfact.KnowledgeExplorer
-
- getBlockingInd(Concept) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getBotRole() - Method in class uk.ac.manchester.cs.jfact.kernel.RoleMaster
-
- getBOTTOM(OWLDataFactory) - Static method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- getBottomClassNode() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getBottomDataPropertyNode() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getBottomObjectPropertyNode() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getBottomVertex() - Method in class uk.ac.manchester.cs.jfact.kernel.Taxonomy
-
- getBounded() - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- getBounded() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- getBounded() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- getBounded() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- getBPDomain() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- getBPRange() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- getBufferingMode() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getC() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomInstanceOf
-
- getCache(int) - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
- getCacheType() - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheConst
-
Get the tag identifying the cache type
- getCacheType() - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheIan
-
Get the tag identifying the cache type
- getCacheType() - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheInterface
-
- getCacheType() - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheSingleton
-
Get the tag identifying the cache type
- getCardinality() - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- getCardinality() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- getCardinality() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- getCardinality() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- getCardinality() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.AbstractConceptDataCardinality
-
- getCardinality() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExactCardinality
-
- getCardinality() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMaxCardinality
-
- getCardinality() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMinCardinality
-
- getCardinality() - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg
-
- getCc() - Method in class uk.ac.manchester.cs.jfact.kernel.state.SaveState
-
- getCCConceptWithBP(int) - Method in class uk.ac.manchester.cs.jfact.kernel.CGLabel
-
- getCExpr(int) - Method in class uk.ac.manchester.cs.jfact.kernel.TDag2Interface
-
- getChild() - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- getChildren() - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- getCI(DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getClashSet() - Method in class uk.ac.manchester.cs.jfact.datatypes.DataTypeReasoner
-
get clash-set
- getClassExpressionTranslator() - Method in class uk.ac.manchester.cs.jfact.TranslationMachinery
-
- getClassTag() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- getClassTagPlain() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- getComplexConcepts() - Method in class uk.ac.manchester.cs.jfact.kernel.CGLabel
-
- getComplexConceptsMap() - Method in class uk.ac.manchester.cs.jfact.kernel.CGLabel
-
- getConcept() - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
- getConcept() - Method in class uk.ac.manchester.cs.jfact.kernel.ConceptWDep
-
- getConcept() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointUnion
-
- getConcept() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptNot
-
get access to the argument
- getConcept() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExactCardinality
-
- getConcept() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExists
-
get access to the argument
- getConcept() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectForall
-
get access to the argument
- getConcept() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMaxCardinality
-
- getConcept() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMinCardinality
-
- getConcept() - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg
-
- getConcept() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionFrom
-
- getConcept() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionInto
-
- getConcept(DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- getConcept(IRI) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
return registered concept by given NAME;
- getConceptIndex() - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
- getConcepts() - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntryCollection
-
- getConcepts(ConceptExpression, boolean, TaxonomyActor<T>, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
apply actor__apply() to all super/sub-concepts of [complex] C
- getConcepts(ConceptExpression, boolean, Actor, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
apply actor__apply() to all DIRECT sub-concepts of [complex] C
- getConcepts() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getConceptsForQueryAnswering() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getConceptWithBP(int) - Method in class uk.ac.manchester.cs.jfact.kernel.CGLabel
-
- getConceptWithBP(int) - Method in class uk.ac.manchester.cs.jfact.kernel.CWDArray
-
- getConfiguration() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getConst() - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheConst
-
- getContainedConcepts() - Method in class uk.ac.manchester.cs.jfact.kernel.CWDArray
-
- getCurLevel() - Method in class uk.ac.manchester.cs.jfact.kernel.state.DLCompletionTreeSaveState
-
- getCurrent() - Method in class uk.ac.manchester.cs.jfact.kernel.Taxonomy
-
- getDAG() - Method in class uk.ac.manchester.cs.jfact.kernel.DlSatTester
-
- getDag() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getData() - Method in class uk.ac.manchester.cs.jfact.kernel.Lexeme
-
- getDataEntryByBP(int) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getDataLabel(OWLKnowledgeExplorerReasoner.RootNode, boolean) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getDataLabel(DlCompletionTree, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- getDataLabel(DlCompletionTree, boolean) - Method in class uk.ac.manchester.cs.jfact.KnowledgeExplorer
-
- getDataNeighbours(OWLKnowledgeExplorerReasoner.RootNode, boolean) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getDataNeighbours(OWLKnowledgeExplorerReasoner.RootNode, OWLDataProperty) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getDataPropertyDomains(OWLDataProperty, boolean) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getDataPropertyTranslator() - Method in class uk.ac.manchester.cs.jfact.TranslationMachinery
-
- getDataPropertyValues(OWLNamedIndividual, OWLDataProperty) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getDataRangeTranslator() - Method in class uk.ac.manchester.cs.jfact.TranslationMachinery
-
- getDataRelatedIndividuals(Stream<OWLIndividual>, OWLDataProperty, OWLDataProperty, int) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
get all individuals from the set individuals that has r-successor and
s-successor and those are related via OP: r op s.
- getDataRelatedIndividuals(RoleExpression, RoleExpression, int, Collection<IndividualExpression>) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
set RESULT into set of instances of A such that they do have data roles R
and S
- getDataRoleExpression() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.AbstractConceptDataCardinality
-
get access to the argument
- getDataRoleExpression() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExists
-
get access to the argument
- getDataRoleExpression() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataForall
-
get access to the argument
- getDataRoleExpression() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataValue
-
- getDataRoleExpression() - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleArg
-
- getDataRoleExpression(Role) - Method in class uk.ac.manchester.cs.jfact.kernel.TDag2Interface
-
- getDataRoles(DlCompletionTree, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
build the set of data neighbours of a NODE, put the set of data roles
into the RESULT variable
- getDataRoles(DlCompletionTree, boolean) - Method in class uk.ac.manchester.cs.jfact.KnowledgeExplorer
-
- getDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEntry
-
- getDatatypeExpression() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Literal
-
- getDatatypeIRI() - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- getDatatypeIRI() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- getDatatypeIRI() - Method in interface uk.ac.manchester.cs.jfact.datatypes.DatatypeCombination
-
- getDatatypeIRI() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- getDatatypeIRI() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeIntersection
-
- getDatatypeIRI() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- getDatatypeIRI() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeUnion
-
- getDeclaration() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDeclaration
-
- getDelegate() - Method in class uk.ac.manchester.cs.jfact.dep.DepSet
-
to be used to get the FastSet and store it in CWDArray save/restore
- getDep() - Method in class uk.ac.manchester.cs.jfact.kernel.ConceptWDep
-
- getDep() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc
-
- getDepth(boolean) - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
general access to a stat value by index
- getDepth(boolean, int[]) - Static method in enum uk.ac.manchester.cs.jfact.helpers.StatIndex
-
general access to a stat value by index
- getDescription() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- getDExpr(int) - Method in class uk.ac.manchester.cs.jfact.kernel.TDag2Interface
-
- getDifferent() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getDifferentIndividuals(OWLNamedIndividual) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getDirectInstances(ConceptExpression, Actor) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
apply actor__apply() to all direct instances of given [complex] C
- getDisjointClasses(OWLClassExpression) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getDisjointConcepts(ConceptExpression, TaxonomyActor<T>) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
apply actor::apply() to all named concepts disjoint with [complex] C
- getDisjointDataProperties(OWLDataPropertyExpression) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getDisjointObjectProperties(OWLObjectPropertyExpression) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getDLHeap() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getDomain() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleDomain
-
- getDomain() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleDomain
-
- getDomainLabel() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- getDRM() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getDRoleDomain(DataRoleExpression, boolean, TaxonomyActor<T>) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
apply actor::apply() to all DIRECT NC that are in the domain of data role
R
- getdumpQuery() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Gets the dump query.
- getEdgeLabelled(Role, DlCompletionTree) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
check if edge to NODE is labelled by R;
- getElements() - Method in class uk.ac.manchester.cs.jfact.kernel.actors.TaxonomyActor
-
- getElements1D() - Method in class uk.ac.manchester.cs.jfact.kernel.actors.ActorImpl
-
- getElements2D() - Method in class uk.ac.manchester.cs.jfact.kernel.actors.ActorImpl
-
- getEntailmentChecker() - Method in class uk.ac.manchester.cs.jfact.TranslationMachinery
-
- getEntity() - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NamedEntity
-
- getEntity() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.NamedEntityImpl
-
- getEntity() - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntry
-
- getEntry() - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NamedEntity
-
- getEntry() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.NamedEntityImpl
-
- getEquivalentClasses(OWLClassExpression) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getEquivalentConcepts(ConceptExpression, TaxonomyActor<T>) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
apply actor__apply() to all synonyms of [complex] C
- getEquivalentDataProperties(OWLDataProperty) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getEquivalentObjectProperties(OWLObjectPropertyExpression) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getEquivalentRoles(RoleExpression, TaxonomyActor<T>) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
apply actor__apply() to all synonyms of [complex] R
- getExpr() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.AbstractConceptDataCardinality
-
- getExpr() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExists
-
- getExpr() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataForall
-
- getExpr() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataValue
-
get access to the argument
- getExpr() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataNot
-
get access to the argument
- getExpr() - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg
-
- getExpr(int, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.TDag2Interface
-
- getExpressionManager() - Method in class uk.ac.manchester.cs.jfact.kernel.Ontology
-
- getExpressionManager() - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- getExtraRules() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- getFacet() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEntry
-
- getFacet() - Method in class uk.ac.manchester.cs.jfact.datatypes.LiteralEntry
-
- getFacets() - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- getFacets() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- getFacets() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- getFacets() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- getFacets(Facet...) - Static method in class uk.ac.manchester.cs.jfact.datatypes.Utils
-
- getFacets(Facet[]...) - Static method in class uk.ac.manchester.cs.jfact.datatypes.Utils
-
- getFacetValue(Facet) - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- getFacetValue(Facet) - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- getFacetValue(Facet) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- getFacetValue(Facet) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- getFairness() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getFCViolator(int) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
- getFreshConcept() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getFreshEntityPolicy() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getFreshEntityPolicy() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
- getFreshVertex(ClassifiableEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.Taxonomy
-
- getFunctional() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- getGCI() - Method in class uk.ac.manchester.cs.jfact.kernel.AxiomSet
-
- getGCIs() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getHost() - Method in interface uk.ac.manchester.cs.jfact.datatypes.DatatypeCombination
-
- getHost() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- getHost() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeIntersection
-
- getHost() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeUnion
-
- getHostDatatype(List<Datatype<?>>) - Static method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeIntersection
-
- getHostType() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- getHostType() - Method in interface uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression
-
- getHostType() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- getIAOEFLG() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Gets the iaoeflg.
- getId() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- getId() - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntry
-
- getIndex() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEntry
-
- getIndex() - Method in class uk.ac.manchester.cs.jfact.datatypes.LiteralEntry
-
get pointer to DAG entry corresponding to the data entry
- getIndex(boolean) - Method in enum uk.ac.manchester.cs.jfact.helpers.StatIndex
-
- getIndex() - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
get the index value
- getIndex() - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntry
-
- getIndex(DagTag, boolean, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoPriorMatrix
-
- getIndividual() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectValue
-
- getIndividual(IndividualExpression, String) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- getIndividual(IRI) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
return registered individual by given NAME;
- getIndividualNodeSetPolicy() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getIndividualNodeSetPolicy() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
- getIndividualTranslator() - Method in class uk.ac.manchester.cs.jfact.TranslationMachinery
-
- getInit() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- getInstance() - Static method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory
-
- getInstances(OWLClassExpression, boolean) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getInstances(ConceptExpression, TaxonomyActor<IndividualExpression>, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- getInstances(ConceptExpression, Actor) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
apply actor__apply() to all instances of given [complex] C
- getInverse() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- getInverseObjectProperties(OWLObjectPropertyExpression) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getInvRole() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverse
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.AbstractConceptDataCardinality
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptAnd
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptBottom
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExists
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataForall
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataValue
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptNot
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExactCardinality
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExists
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectForall
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMaxCardinality
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMinCardinality
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectSelf
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectValue
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptOneOf
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptOr
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptTop
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataAnd
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataBottom
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataNot
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataOneOf
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataOr
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataRoleBottom
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataRoleTop
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.DataTop
-
- getIRI() - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Expression
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.NamedEntityImpl
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleBottom
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleChain
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleInverse
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionFrom
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionInto
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleTop
-
- getIRI() - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntry
-
- getIri() - Method in exception uk.ac.manchester.cs.jfact.kernel.ReasonerFreshEntityException
-
- getIV() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getKnownDatatype(IRI) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory
-
- getKnownDatatypes() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory
-
- getKnownNonNumericFacetValues() - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- getKnownNonNumericFacetValues() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- getKnownNonNumericFacetValues() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- getKnownNonNumericFacetValues() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- getKnownNumericFacetValues() - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- getKnownNumericFacetValues() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- getKnownNumericFacetValues() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- getKnownNumericFacetValues() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- getLab() - Method in class uk.ac.manchester.cs.jfact.kernel.state.DLCompletionTreeSaveState
-
- getLabel(DagTag) - Method in class uk.ac.manchester.cs.jfact.kernel.CGLabel
-
- getLeft() - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- getList() - Method in interface uk.ac.manchester.cs.jfact.datatypes.DatatypeCombination
-
- getList() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- getList() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeIntersection
-
- getList() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeUnion
-
- getLiteral() - Method in class uk.ac.manchester.cs.jfact.datatypes.LiteralEntry
-
- getLog() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Gets the log.
- getMax() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNumericEnumeration
-
- getMax() - Method in interface uk.ac.manchester.cs.jfact.datatypes.NumericDatatype
-
- getMax() - Method in interface uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype
-
- getMin() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNumericEnumeration
-
- getMin() - Method in interface uk.ac.manchester.cs.jfact.datatypes.NumericDatatype
-
- getMin() - Method in interface uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype
-
- getModExtractor(boolean, OWLReasoner) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- getModule(Set<OWLEntity>, boolean, ModuleType) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getModule(List<Expression>, boolean, ModuleType, OWLReasoner) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- getnAllCalls() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getName() - Method in enum uk.ac.manchester.cs.jfact.kernel.DagTag
-
- getName() - Method in enum uk.ac.manchester.cs.jfact.kernel.Token
-
- getNamespace() - Static method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory
-
- getnAndCalls() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnAutoEmptyLookups() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnAutoTransLookups() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnCachedSat() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnCachedUnsat() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnCacheFailed() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnCacheFailedNoCache() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnCacheFailedShallow() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnCacheTry() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getNE() - Method in class uk.ac.manchester.cs.jfact.kernel.Lexeme
-
- getnEdges() - Method in class uk.ac.manchester.cs.jfact.kernel.state.DLCompletionGraphSaveState
-
- getNegFeatures() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- getNeighbour() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- getNeighbours(DlCompletionTree, RoleExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
build the set of neighbours of a NODE via role ROLE; put the resulting
list into RESULT
- getNeighbours(DlCompletionTree, Role) - Method in class uk.ac.manchester.cs.jfact.KnowledgeExplorer
-
- getNewNode() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
- getNextEntry() - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoList
-
- getnFairnessViolations() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnFuncCalls() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnGeCalls() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnIdCalls() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getNItems() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getnLeCalls() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnLookups() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnMergeCalls() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnNeighbours() - Method in class uk.ac.manchester.cs.jfact.kernel.state.DLCompletionTreeSaveState
-
- getnNNCalls() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnNodeRestores() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnNodes() - Method in class uk.ac.manchester.cs.jfact.kernel.state.DLCompletionGraphSaveState
-
- getnNodeSaves() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getNode(int) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
- getNode() - Method in class uk.ac.manchester.cs.jfact.kernel.Individual
-
- getNode() - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoEntry
-
- getNominalLevel() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- getNonLocal(Set<OWLEntity>, boolean, ModuleType) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getNonLocal(List<Expression>, boolean, ModuleType, OWLReasoner) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- getnOrBrCalls() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnOrCalls() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnSingletonCalls() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
Gets the n singleton calls.
- getnSkipBeforeBlock() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getnSomeCalls() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnSRuleAdd() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnSRuleFire() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnStateRestores() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnStateSaves() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getnTacticCalls() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getNType() - Method in class uk.ac.manchester.cs.jfact.datatypes.DataTypeSituation
-
- getNumberGE() - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
- getNumberLE() - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
- getNumeric() - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- getNumeric() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- getNumeric() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- getNumeric() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- getNumericFacetValue(Facet) - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- getNumericFacetValue(Facet) - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- getNumericFacetValue(Facet) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- getNumericFacetValue(Facet) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- getnUseless() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats
-
- getObjectLabel(OWLKnowledgeExplorerReasoner.RootNode, boolean) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getObjectLabel(DlCompletionTree, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
put into RESULT all the expressions from the NODE label; if ONLYDET is
true, return only deterministic elements
- getObjectLabel(DlCompletionTree, boolean) - Method in class uk.ac.manchester.cs.jfact.KnowledgeExplorer
-
- getObjectNeighbours(OWLKnowledgeExplorerReasoner.RootNode, boolean) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getObjectNeighbours(OWLKnowledgeExplorerReasoner.RootNode, OWLObjectProperty) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getObjectPropertyDomains(OWLObjectPropertyExpression, boolean) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getObjectPropertyRanges(OWLObjectPropertyExpression, boolean) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getObjectPropertyTranslator() - Method in class uk.ac.manchester.cs.jfact.TranslationMachinery
-
- getObjectPropertyValues(OWLNamedIndividual, OWLObjectPropertyExpression) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getObjectRoleExpression(Role) - Method in class uk.ac.manchester.cs.jfact.kernel.TDag2Interface
-
- getObjectRoles(DlCompletionTree, boolean, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
build the set of object neighbours of a NODE, put the set of object roles
and inverses into the RESULT variable
- getObjectRoles(DlCompletionTree, boolean, boolean) - Method in class uk.ac.manchester.cs.jfact.KnowledgeExplorer
-
- getOffsetConcept() - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoEntry
-
- getOffsetDepSet() - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoEntry
-
- getOntology() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getOntology() - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- getOption(String, String) - Static method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Gets the option.
- getOptions() - Method in class uk.ac.manchester.cs.jfact.kernel.DlSatTester
-
- getOptions() - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- getOptions() - Method in class uk.ac.manchester.cs.jfact.kernel.Taxonomy
-
- getOptions() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getOR() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExactCardinality
-
- getOR() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExists
-
- getOR() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectForall
-
- getOR() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMaxCardinality
-
- getOR() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMinCardinality
-
- getOR() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectSelf
-
get access to the argument
- getOR() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectValue
-
- getOR() - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleArg
-
- getOR() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleInverse
-
get access to the argument
- getOR() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionFrom
-
- getOR() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionInto
-
- getOrdered() - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- getOrdered() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- getOrdered() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- getOrdered() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- getORM() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getORoleDomain(ObjectRoleExpression, boolean, TaxonomyActor<T>) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
apply actor__apply() to all DIRECT NC that are in the domain of [complex]
R
- getORSortSat() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Gets the oR sort sat.
- getORSortSub() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Gets the oR sort sub.
- getParentNode() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- getpBody() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- getPendingAxiomAdditions() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getPendingAxiomRemovals() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getPendingChanges() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getpName() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- getPosFeatures() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- getPrecomputableInferenceTypes() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getPrimer() - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
- getProgressMonitor() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
- getProjRole() - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
- getPType() - Method in class uk.ac.manchester.cs.jfact.datatypes.DataTypeSituation
-
- getPurgeDep() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- getQuery() - Static method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- getRange() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleRange
-
- getRange() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleRange
-
- getRangeLabel() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- getRaresavestackLevel() - Method in class uk.ac.manchester.cs.jfact.kernel.Restorer
-
- getRareStack() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
get the rare stack
- getRAStateTransitions(int) - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
- getReasoner() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getReasonerFactory() - Method in class jfact.plugin.protege.JFactProtegeFactory
-
- getReasonerName() - Method in class uk.ac.manchester.cs.jfact.JFactFactory
-
- getReasonerName() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getReasonerVersion() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getRecommendedBuffering() - Method in class jfact.plugin.protege.JFactProtegeFactory
-
- getReference() - Method in class uk.ac.manchester.cs.jfact.helpers.Reference
-
- getRelatedCache(Role) - Method in class uk.ac.manchester.cs.jfact.kernel.Individual
-
- getRelatedI() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getRelatedIndex() - Method in class uk.ac.manchester.cs.jfact.kernel.Individual
-
- getRelatedIndividual() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedTo
-
- getRelatedIndividual() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedToNot
-
- getRelation() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedTo
-
- getRelation() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedToNot
-
- getRelativesInfo(TaxonomyVertex, SupConceptActor, boolean, boolean, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.Taxonomy
-
apply ACTOR to subgraph starting from NODE as defined by flags; this
version is intended to work only with SupConceptActor, which requires the
method to return as soon as the apply() method returns false
- getRelativesInfo(TaxonomyVertex, Actor, boolean, boolean, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.Taxonomy
-
apply ACTOR to subgraph starting from NODE as defined by flags;
- getResultTime() - Method in class uk.ac.manchester.cs.jfact.helpers.Timer
-
- getRetracted() - Method in class uk.ac.manchester.cs.jfact.kernel.Ontology
-
- getReverse() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc
-
- getRight() - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- getRM(Role) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getRole() - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
- getRole() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleDRole
-
- getRole() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleORole
-
- getRole() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc
-
- getRole() - Method in class uk.ac.manchester.cs.jfact.kernel.Related
-
- getRoleFillers(IndividualExpression, ObjectRoleExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- getRoles(RoleExpression, boolean, TaxonomyActor<T>, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
apply actor__apply() to all DIRECT super-roles of [complex] R
- getRoles() - Method in class uk.ac.manchester.cs.jfact.kernel.RoleMaster
-
- getRoot(OWLClassExpression) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getRoot() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
- getRootNode() - Method in class uk.ac.manchester.cs.jfact.kernel.DlSatTester
-
- getRootOntology() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getSAbsAction() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- getSAbsBApply() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- getSAbsCApply() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- getSAbsCAttempt() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- getSAbsInput() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- getSAbsNApply() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- getSAbsNAttempt() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- getSAbsRApply() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- getSAbsRAttempt() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- getSAbsRepCN() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- getSAbsRepForall() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- getSAbsSplit() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- getSAbsTApply() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- getSameAs(IndividualName, TaxonomyActor<T>) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
apply actor__apply() to all synonyms of an individual I
- getSameIndividuals(OWLNamedIndividual) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getSc() - Method in class uk.ac.manchester.cs.jfact.kernel.state.SaveState
-
- getSCConceptWithBP(int) - Method in class uk.ac.manchester.cs.jfact.kernel.CGLabel
-
- getSignature() - Method in class uk.ac.manchester.cs.jfact.kernel.Ontology
-
- getSignature(ClassifiableEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getSimpleConcepts() - Method in class uk.ac.manchester.cs.jfact.kernel.CGLabel
-
- getSimpleConceptsMap() - Method in class uk.ac.manchester.cs.jfact.kernel.CGLabel
-
- getSimpleRule(int) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getsNodes() - Method in class uk.ac.manchester.cs.jfact.kernel.state.DLCompletionGraphSaveState
-
- getSort() - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
get RW access to the label
- getSPForConcept(Concept) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getsPointer() - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue
-
- getStat(int) - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
general access to a stat value by index
- getState() - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
- getState() - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheConst
-
Check if the model contains clash
- getState() - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheIan
-
- getState() - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheInterface
-
- getState() - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheSingleton
-
Check if the model contains clash
- getStatistics() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getStatus() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getSubClasses(OWLClassExpression, boolean) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getSubConcept() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomConceptInclusion
-
- getSubDataProperties(OWLDataProperty, boolean) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getSubObjectProperties(OWLObjectPropertyExpression, boolean) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getSubRole() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleSubsumption
-
- getSubRole() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleSubsumption
-
- getSupConcept() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomConceptInclusion
-
- getSuperClasses(OWLClassExpression, boolean) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getSuperDataProperties(OWLDataProperty, boolean) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getSuperObjectProperties(OWLObjectPropertyExpression, boolean) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getSynonym() - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
- getSynonymNode() - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
- getSynonyms() - Method in class uk.ac.manchester.cs.jfact.kernel.actors.TaxonomyActor
-
- getTautologies() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getTautologies() - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- getTaxonomy() - Method in class uk.ac.manchester.cs.jfact.kernel.RoleMaster
-
- getTaxonomy() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getTaxVertex() - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
- getTBox() - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- getTDomain() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- getTEMP() - Static method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- getTemplate() - Method in enum uk.ac.manchester.cs.jfact.helpers.Templates
-
- getTG() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getTimeOut() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getTimeOut() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
- getToken() - Method in class uk.ac.manchester.cs.jfact.kernel.Lexeme
-
- getToldSubsumers() - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
- getTOP(OWLDataFactory) - Static method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- getTopClassNode() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getTopDataPropertyNode() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getTopObjectPropertyNode() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getTopRole() - Method in class uk.ac.manchester.cs.jfact.kernel.RoleMaster
-
- getTopVertex() - Method in class uk.ac.manchester.cs.jfact.kernel.Taxonomy
-
- getTrace(OWLAxiom) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getTrace() - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- getTransitionEnd() - Method in class uk.ac.manchester.cs.jfact.kernel.RAStateTransitions
-
- getTree(Concept) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- getTsDepth() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- getTSpecialDomain() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- getType() - Method in class uk.ac.manchester.cs.jfact.datatypes.DataTypeSituation
-
- getType() - Method in class uk.ac.manchester.cs.jfact.datatypes.LiteralEntry
-
- getTypes(OWLNamedIndividual, boolean) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getTypes(IndividualName, boolean, TaxonomyActor<T>) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
apply actor__apply() to all DIRECT concepts that are types of an
individual I
- getUnsatisfiableClasses() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- getURI() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Facet
-
- getUsage(boolean) - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
get access to a usage wrt POS
- getUseAnywhereBlocking() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Gets the use anywhere blocking.
- getuseBackjumping() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Gets the use backjumping.
- getuseCompletelyDefined() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Gets the use completely defined.
- getuseLazyBlocking() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Gets the use lazy blocking.
- getuseSemanticBranching() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Gets the use semantic branching.
- getValue() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOf
-
- getValue() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOfNot
-
- getValue() - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheSingleton
-
- getValue(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyCreator
-
- getValue() - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
- getValues() - Static method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory
-
- getverboseOutput() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Gets the verbose output.
- getWaitSize() - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue
-
- importsIncluded(OWLOntology) - Static method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- InAx - Class in uk.ac.manchester.cs.jfact.kernel
-
DLTREE utils
- InAx() - Constructor for class uk.ac.manchester.cs.jfact.kernel.InAx
-
- inc() - Method in class uk.ac.manchester.cs.jfact.helpers.Stats.AccumulatedStatistic
-
increment local value.
- incFreqValue(boolean) - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
increment frequency value
- incFreqValue(boolean, int[]) - Static method in enum uk.ac.manchester.cs.jfact.helpers.StatIndex
-
increment frequency value
- incLevel() - Method in class uk.ac.manchester.cs.jfact.kernel.SaveStackRare
-
inclrement current level
- incorporate(JFactReasonerConfiguration) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
- increase(Number) - Static method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory
-
- index(int) - Method in class uk.ac.manchester.cs.jfact.kernel.CWDArray
-
- index(NamedEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
- individual(OWLEntity) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionCache
-
- Individual - Class in uk.ac.manchester.cs.jfact.kernel
-
individual
- Individual(IRI) - Constructor for class uk.ac.manchester.cs.jfact.kernel.Individual
-
- IndividualExpression - Interface in uk.ac.manchester.cs.jfact.kernel.dl.interfaces
-
individual expression
- IndividualName - Class in uk.ac.manchester.cs.jfact.kernel.dl
-
individual name
- IndividualName(OWLEntity) - Constructor for class uk.ac.manchester.cs.jfact.kernel.dl.IndividualName
-
- IndividualPolicy - Class in uk.ac.manchester.cs.jfact.kernel.actors
-
policy for individuals
- IndividualPolicy(boolean) - Constructor for class uk.ac.manchester.cs.jfact.kernel.actors.IndividualPolicy
-
- individuals() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- IndividualTranslator - Class in uk.ac.manchester.cs.jfact
-
individual translator
- IndividualTranslator(ExpressionCache, OWLDataFactory, TranslationMachinery) - Constructor for class uk.ac.manchester.cs.jfact.IndividualTranslator
-
- init() - Method in class uk.ac.manchester.cs.jfact.kernel.CGLabel
-
init the node - this is not in the constructor because objecs will be
reused
- init() - Method in class uk.ac.manchester.cs.jfact.kernel.CWDArray
-
init/clear label
- init(int) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- initAbsorptionFlags(String) - Method in class uk.ac.manchester.cs.jfact.kernel.AxiomSet
-
- initADbyTaxonomy(Taxonomy, int) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- initAncDesc() - Method in class uk.ac.manchester.cs.jfact.kernel.RoleMaster
-
init ancestor description
- INITBRANCHINGLEVELVALUE - Static variable in class uk.ac.manchester.cs.jfact.helpers.Helper
-
brancing level value
- initCache(Concept, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- initChain(int) - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
make the beginning of the chain
- initContext(int, boolean, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
set flags for blocking
- INITIAL - Static variable in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
get the initial state
- initialise() - Method in class jfact.plugin.protege.JFactProtegeFactory
-
- initIncremental() - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
initialise the incremental bits on full reload
- initIR() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
init IR
- initIR(int, DepSet) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
init IR with given entry and dep-set;
- initMap(int, int) - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
init internal map according to RA size, with new initial state from
chainState and (FRA) states
- initPriorities(String) - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoList
-
init priorities via Options
- initPriorities(String) - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoPriorMatrix
-
Auxiliary class to get priorities on operations
- initRangeDomain(RoleMaster) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- initReasoner() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
init reasoner
- initRolesFromArcs(DlCompletionTree) - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheIan
-
init existRoles from arcs; can be used to create pseudo-cache with deps
of CT edges
- initRuleFields(List<Concept>, int) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
init Extra Rule field in concepts given by a vector V with a given INDEX
- initSpecialDomain() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
init special domain; call this only after *ALL* the domains are known
- initTaxonomy() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
init taxonomy and classifier
- initToDoPriorities() - Method in class uk.ac.manchester.cs.jfact.kernel.DlSatTester
-
init Todo list priority for classification
- initToldSubsumers() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
init told subsumers of the concept by its description
- initToldSubsumers(DLTree, Set<Role>) - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
init told subsumers of the concept by given DESCription;
- initToldSubsumers() - Method in class uk.ac.manchester.cs.jfact.kernel.Individual
-
init told subsumers of the individual by it's description
- initToldSubsumers() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
set told TOP concept whether necessary
- insert(K) - Method in class uk.ac.manchester.cs.jfact.kernel.NameSet
-
Insert id to a nameset (if necessary);
- INT - Static variable in class uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory
-
INT
- INTEGER - Static variable in class uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory
-
INTEGER
- interrupt() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- intersectsWith(Collection<?>, Collection<?>) - Static method in class uk.ac.manchester.cs.jfact.helpers.Helper
-
check whether set S1 intersects with the set S2
- intervalWithValues(Comparable, Comparable, int) - Static method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory
-
- inverse(ObjectRoleExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionCache
-
- inverse() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- inverseComposition(DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- isAbsForall(DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- isAbsorptionLoggingActive() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is absorption logging active.
- isAffected() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- isAllowUndefinedNames() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
- isAND() - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- isAnd(DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- isAsymmetric(ObjectRoleExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isAsymmetric() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isAsymmetryKnown() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isBasicDataType() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEntry
-
- isBlockableNode() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- isBlocked() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- isBlockedBySH(DlCompletionTree) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- isBlockedBySHI(DLDag, DlCompletionTree) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- isBlockedBySHIQ(DLDag, DlCompletionTree) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- isBlockedInd(Concept) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- isBlockedPBlockedNominalNodeCached() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- isBlockingDet(Concept) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- isBot(DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- isBotRole(DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
check whether T is a bottom (empty) role
- isBOTTOM() - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- isBottom() - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntry
-
- isCached() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- isCancelled() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- isChanged() - Method in class uk.ac.manchester.cs.jfact.kernel.Ontology
-
- isChecked(long) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
- isClassified() - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
- isCN() - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
check if DL tree is a concept-like name
- isCName() - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- isCNameTag() - Method in enum uk.ac.manchester.cs.jfact.kernel.DagTag
-
- isCommon() - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
- isCompatible(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- isCompatible(Literal<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- isCompatible(Datatype<?>) - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- isCompatible(Literal<?>) - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- isCompatible(Datatype<?>) - Method in interface uk.ac.manchester.cs.jfact.datatypes.DatatypeCombination
-
- isCompatible(Literal<?>) - Method in interface uk.ac.manchester.cs.jfact.datatypes.DatatypeCombination
-
- isCompatible(Literal<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- isCompatible(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- isCompatible(Literal<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeIntersection
-
- isCompatible(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeIntersection
-
- isCompatible(Literal<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- isCompatible(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- isCompatible(Literal<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeUnion
-
- isCompatible(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeUnion
-
- isCompleted() - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
- isCompletelyDefined() - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
- isComplexConcept() - Method in enum uk.ac.manchester.cs.jfact.kernel.DagTag
-
- isConsistent() - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- isConsistent() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- isConst() - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- isContradictory(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- isContradictory(Datatype<?>) - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- isContradictory(Datatype<?>) - Method in interface uk.ac.manchester.cs.jfact.datatypes.DatatypeCombination
-
- isContradictory(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- isContradictory(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeIntersection
-
- isContradictory(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- isContradictory(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeUnion
-
- isCorrect(int) - Static method in class uk.ac.manchester.cs.jfact.helpers.Helper
-
- isCyclic(Concept) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- isDataNode() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- isDataRangeBigEnough(DLTree, int) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- isDataRole() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isDBlocked() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- isDebugSaveRestore() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is debug save restore.
- isDebugSplitModules() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is fpp debug split modules.
- isDirectParent(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyCreator
-
- isDisjoint(ConceptExpression, ConceptExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isDisjoint() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isDisjoint(Role) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isDisjointRoles(List<? extends RoleExpression>) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isDisjointRoles(ObjectRoleExpression, ObjectRoleExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isDisjointRoles(DataRoleExpression, DataRoleExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isDisjointRoles(Role, Role) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- isDuringClassification() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- isEmpty() - Method in class uk.ac.manchester.cs.jfact.dep.DepSet
-
- isEmpty() - Method in class uk.ac.manchester.cs.jfact.helpers.SaveStack
-
- isEmpty() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AbstractNaryAxiom
-
- isEmpty() - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression
-
- isEmpty() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.NAryExpressionImpl
-
- isEmpty() - Method in class uk.ac.manchester.cs.jfact.kernel.LogicFeatures
-
- isEmpty() - Method in class uk.ac.manchester.cs.jfact.kernel.RATransition
-
- isEmpty() - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue
-
- isEmpty() - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoList
-
- isEmptyRole(RoleExpression) - Static method in class uk.ac.manchester.cs.jfact.kernel.ExpressionManager
-
- isEnabled() - Method in interface uk.ac.manchester.cs.jfact.helpers.LogAdapter
-
- isEntailed(OWLAxiom) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- isEntailed(Set<? extends OWLAxiom>) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- isEntailmentCheckingSupported(AxiomType<?>) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- isEquivalent(ConceptExpression, ConceptExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isExpression() - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- isExpression() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- isExpression() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- isExpression() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- isForall(DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- isFresh() - Method in class uk.ac.manchester.cs.jfact.kernel.Individual
-
- isFunctional(ObjectRoleExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isFunctional(DataRoleExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isFunctional() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isFunctionalExpr(DLTree, NamedEntry) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
check whether T is an expression in the form (atmost 1 RNAME)
- isFunctionalityKnown() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isGCI() - Method in class uk.ac.manchester.cs.jfact.kernel.KBFlags
-
- isHasNominalNode() - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheInterface
-
- isHasSP() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- isIBlocked() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- isIBlocked() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc
-
- isIllegallyDBlocked() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- isImproveSaveRestoreDepset() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is rkg improve save restore depset.
- isIndividual(DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- isInstance(IndividualExpression, ConceptExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isInUse() - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
- isInValueSpace(R) - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- isInValueSpace(R) - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- isInValueSpace(R) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- isInValueSpace(R) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- isInverseFunctional(ObjectRoleExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isIRinQuery() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- isIrreflexive(ObjectRoleExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isIrreflexive() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isIrreflexive(Role) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- isIrreflexivityKnown() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isISafe() - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
- isKBClassified() - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isKBConsistent() - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isKBPreprocessed() - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isKBRealised() - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isKnownDatatype(IRI) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory
-
- isLabelledBy(int) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- isLast(int) - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
- isLocked() - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntryCollection
-
- isLoggingActive() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is logging active.
- isLoopLabelled(int) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- isMergableIan(ModelCacheIan) - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheIan
-
- isMergableSingleton(int, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheIan
-
- isName() - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- isNeedLogging() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
check if it is necessary to log taxonomy action
- isNegCN(DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- isNegNP(DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- isNegPC(DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- isNeighbour(Role) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc
-
- isNNameTag() - Method in enum uk.ac.manchester.cs.jfact.kernel.DagTag
-
- isNominal() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- isNominalNode() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- isNonClassifiable() - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
- isNonPrimitive() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- isNOT() - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- isNP(Concept) - Static method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- isNRinQuery() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- isNumberFacet() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Facet
-
- isNumericDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- isNumericDatatype() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- isNumericDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- isNumericDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- isNumericDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNumericEnumeration
-
- isOForall(DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- isOr(DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- isOrderedDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- isOrderedDatatype() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- isOrderedDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- isOrderedDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- isOrderedDatatype() - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNumericEnumeration
-
- isOSafe() - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
- isPBlocked() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- isPNameTag() - Method in enum uk.ac.manchester.cs.jfact.kernel.DagTag
-
- isPosCN(DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- isPosNP(DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- isPosPC(DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- isPossibleSub(ClassifiableEntry) - Method in interface uk.ac.manchester.cs.jfact.kernel.KnownSubsumers
-
- isPrecomputed(InferenceType) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- isPredEdge() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc
-
- isPrimitive() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- isPrintDagUsage() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is rkg print dag usage.
- isPrintTaxonomyInfo() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is tmp print taxonomy info.
- isQueryAnswering() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
- isReflexive() - Method in class uk.ac.manchester.cs.jfact.kernel.KBFlags
-
- isReflexive(ObjectRoleExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isReflexive() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isReflexiveEdge() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc
-
- isReflexivityKnown() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isRegistered(IRI) - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntryCollection
-
- isRelevant(long) - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- isRelevant(long) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isRnD() - Method in class uk.ac.manchester.cs.jfact.kernel.KBFlags
-
- isSameIndividuals(IndividualExpression, IndividualExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isSameIndividuals(Individual, Individual) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- isSample() - Method in class uk.ac.manchester.cs.jfact.kernel.MergableLabel
-
- isSatisfiable(OWLClassExpression) - Method in class uk.ac.manchester.cs.jfact.JFactReasoner
-
- isSatisfiable(ConceptExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isSatisfiable(Concept) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- isSemanticallyDataBottom(DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- isSemanticallyDataTop(DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- isSimple() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isSimple() - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
- isSimpleForall(DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- isSingleton() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- isSingleton() - Method in class uk.ac.manchester.cs.jfact.kernel.RAStateTransitions
-
- isSNF(DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- isSomeApplicable(Role, int) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
check if SOME rule is applicable; includes transitive SOME support
- isSplits() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is splits.
- isSubChain(ObjectRoleComplexExpression, List<ObjectRoleExpression>) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isSubHolds(Concept, Concept) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- isSubRoles(RoleExpression, RoleExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isSubsumedBy(ConceptExpression, ConceptExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isSubTree(DLTree, DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- isSubType(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.AbstractDatatype
-
- isSubType(Datatype<?>) - Method in interface uk.ac.manchester.cs.jfact.datatypes.Datatype
-
- isSubType(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration
-
- isSubType(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation
-
- isSubType(DataTypeSituation<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.DataTypeSituation
-
- isSuccEdge() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc
-
- isSymmetric(ObjectRoleExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isSymmetric() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isSymmetryKnown() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isSynonym() - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
- isSystem() - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntry
-
- isTOP() - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- isTop(DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
- isTop() - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntry
-
- isTop() - Method in class uk.ac.manchester.cs.jfact.kernel.RATransition
-
- isTopFunc() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isTopRole(DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
check whether T is a top (universal) role
- isTransitive(ObjectRoleExpression) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- isTransitive() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isTransitivityKnown() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- isUniversalRole(DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
check whether T is U-Role
- isUniversalRole(RoleExpression) - Static method in class uk.ac.manchester.cs.jfact.kernel.ExpressionManager
-
- isUpdaterndFromSuperRoles() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is rkg update rnd from superroles.
- isUseADInModuleExtraction() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is rkg use ad in module extraction.
- isUseAxiomSplitting() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is use axiom splitting.
- isUseBlockingStatistics() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is use blocking statistics.
- isUseDynamicBackjumping() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is rkg use dynamic backjumping.
- isUseELReasoner() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is use el reasoner.
- isUseFairness() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is rkg use fairness.
- isUseIncrementalReasoning() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is use incremental reasoning.
- isUseLazyBlocking() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is use lazy blocking.
- isUseNodeCache() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is use node cache.
- isUseReasoningStatistics() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is use reasoning statistics.
- isUseSemanticBranching() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is use semantic branching.
- isUseSimpleRules() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is rkg use simple rules.
- isUseSortedReasoning() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is use sorted reasoning.
- isUseSpecialDomains() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is use special domains.
- isUseUndefinedNames() - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Checks if is use undefined names.
- isValid(int) - Static method in class uk.ac.manchester.cs.jfact.helpers.Helper
-
- isValued(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyCreator
-
- isValued(long) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
- isVisited(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.Taxonomy
-
- RAStateTransitions - Class in uk.ac.manchester.cs.jfact.kernel
-
class to represent transitions from a single state in an automaton
- RAStateTransitions() - Constructor for class uk.ac.manchester.cs.jfact.kernel.RAStateTransitions
-
Default constructor.
- RATIONAL - Static variable in class uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory
-
RATIONAL
- RATransition - Class in uk.ac.manchester.cs.jfact.kernel
-
role automaton transition
- RATransition(int) - Constructor for class uk.ac.manchester.cs.jfact.kernel.RATransition
-
create a transition to given state
- RATransition(int, Role) - Constructor for class uk.ac.manchester.cs.jfact.kernel.RATransition
-
create a transition with a given label R to given state ST
- REAL - Static variable in class uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory
-
REAL
- realInverse() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- realiseKB() - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
ensure that KB is realised
- ReasonerFreshEntityException - Exception in uk.ac.manchester.cs.jfact.kernel
-
The Class ReasonerFreshEntityException.
- ReasonerFreshEntityException(IRI) - Constructor for exception uk.ac.manchester.cs.jfact.kernel.ReasonerFreshEntityException
-
Instantiates a new reasoner fresh entity exception.
- ReasonerFreshEntityException(String, IRI) - Constructor for exception uk.ac.manchester.cs.jfact.kernel.ReasonerFreshEntityException
-
Instantiates a new reasoner fresh entity exception.
- ReasonerFreshEntityException(String, Throwable, IRI) - Constructor for exception uk.ac.manchester.cs.jfact.kernel.ReasonerFreshEntityException
-
Instantiates a new reasoner fresh entity exception.
- ReasonerFreshEntityException(Throwable, IRI) - Constructor for exception uk.ac.manchester.cs.jfact.kernel.ReasonerFreshEntityException
-
Instantiates a new reasoner fresh entity exception.
- ReasoningKernel - Class in uk.ac.manchester.cs.jfact.kernel
-
Reasoning kernel
- ReasoningKernel(JFactReasonerConfiguration, DatatypeFactory, OWLDataFactory) - Constructor for class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- reclassify(Set<OWLEntity>, Set<OWLEntity>) - Method in class uk.ac.manchester.cs.jfact.kernel.DLConceptTaxonomy
-
- reclassify(TaxonomyVertex, Signature) - Method in class uk.ac.manchester.cs.jfact.kernel.DLConceptTaxonomy
-
- reclassify(Set<OWLEntity>, Set<OWLEntity>) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- recognise(Role) - Method in class uk.ac.manchester.cs.jfact.kernel.RAStateTransitions
-
- Reference<E> - Class in uk.ac.manchester.cs.jfact.helpers
-
Typed strong reference
- Reference(E) - Constructor for class uk.ac.manchester.cs.jfact.helpers.Reference
-
- reflexive2dag(Role) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- registerIndividualRelation(NamedEntry, NamedEntry, NamedEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
individual relation (a,b):R
- Related - Class in uk.ac.manchester.cs.jfact.kernel
-
relation betweenindividuals
- Related(Individual, Individual, Role) - Constructor for class uk.ac.manchester.cs.jfact.kernel.Related
-
- remove(int) - Method in class uk.ac.manchester.cs.jfact.helpers.ArrayIntMap
-
- remove(T) - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntryCollection
-
remove given entry from the collection;
- remove() - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
remove given node from a graph
- removeAt(int) - Method in class uk.ac.manchester.cs.jfact.helpers.ArrayIntMap
-
- removeDescription() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
remove concept description (to save space)
- removeExtraDescriptions() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
remove extra descritpions
- removeIndirect(Taxonomy, boolean) - Method in interface uk.ac.manchester.cs.jfact.kernel.actors.WalkerInterface
-
Remove indirect nodes in the given taxonomy according to direction.
- removeLink(boolean, TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
- removeLinks(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
remove one half of a given node from a graph
- removeNode(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.Taxonomy
-
remove node from the taxonomy; assume no references to the node
- removePastBoundaries(Collection<TaxonomyVertex>) - Method in interface uk.ac.manchester.cs.jfact.kernel.actors.Actor
-
- removePastBoundaries(Collection<TaxonomyVertex>) - Method in class uk.ac.manchester.cs.jfact.kernel.actors.TaxonomyActor
-
- removeQuery() - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
clean query
- removeSelfFromDescription() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
remove concept from its own definition (like in case C [= (or C ...)
- removeSynonymsFromParents() - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
if two synonyms are in 'told' list, merge them
- repeatUnblockedNode(DlCompletionTree, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.DlSatTester
-
re-apply all the relevant expantion rules to a given unblocked NODE
- replace(DLTree, DLTree) - Method in class uk.ac.manchester.cs.jfact.helpers.DLTree
-
- replaceForall(DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
replace (AR:C) with X such that C [= AR^-:X for fresh X.
- replaceSynonymsFromTree(DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
- replaceVertex(int, DLVertex, NamedEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
replace existing vertex at index I with a vertex V
- reportClash(DepSet, DatatypeClashes) - Method in class uk.ac.manchester.cs.jfact.datatypes.DataTypeReasoner
-
set clash dep-set to DEP, report with given REASON
- reportClash(DepSet, DepSet, DatatypeClashes) - Method in class uk.ac.manchester.cs.jfact.datatypes.DataTypeReasoner
-
set clash dep-set to DEP, report with given REASON
- reset() - Method in class uk.ac.manchester.cs.jfact.helpers.Timer
-
reset
- resize(List<?>, int) - Static method in class uk.ac.manchester.cs.jfact.helpers.Helper
-
- resize(TIntList, int) - Static method in class uk.ac.manchester.cs.jfact.helpers.Helper
-
- resize(List<T>, int, T) - Static method in class uk.ac.manchester.cs.jfact.helpers.Helper
-
- resolve() - Method in class uk.ac.manchester.cs.jfact.kernel.MergableLabel
-
make label's depth lesser than or equal 2;
- resolveId() - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- resolvePBlocker() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- resolvePBlocker(DepSet) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- resolveRole(DLTree, String) - Static method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- resolveRole(DLTree) - Static method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- resolveSynonym(T) - Static method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
- restore(SaveState, int) - Method in class uk.ac.manchester.cs.jfact.kernel.CGLabel
-
restore label to given LEVEL using given SS
- restore(int, int) - Method in class uk.ac.manchester.cs.jfact.kernel.CWDArray
-
- restore(int) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
- restore(int) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- restore() - Method in class uk.ac.manchester.cs.jfact.kernel.Restorer
-
restore an object based on saved information
- restore(int) - Method in class uk.ac.manchester.cs.jfact.kernel.SaveStackRare
-
get all object from the top of the stack with levels greater or equal
LEVEL
- restore(int[][], int) - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue
-
restore queue content from the given entry
- restore(int, int) - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue
-
- restore(int) - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoList
-
restore state to the given level using internal stack
- Restorer - Class in uk.ac.manchester.cs.jfact.kernel
-
restorer
- Restorer() - Constructor for class uk.ac.manchester.cs.jfact.kernel.Restorer
-
- restoreState(TODOListSaveState) - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoList
-
restore Todo table content from given saveState entry
- restrict(int) - Method in class uk.ac.manchester.cs.jfact.dep.DepSet
-
- retestCGBlockedStatus() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
retest every d-blocked node in the CG.
- retract(AxiomWrapper) - Method in class uk.ac.manchester.cs.jfact.kernel.Ontology
-
retract given axiom to the ontology
- retractAxiom(OWLAxiom) - Method in class uk.ac.manchester.cs.jfact.TranslationMachinery
-
- RIActor - Class in uk.ac.manchester.cs.jfact.kernel.actors
-
RI actor
- RIActor() - Constructor for class uk.ac.manchester.cs.jfact.kernel.actors.RIActor
-
- Role - Class in uk.ac.manchester.cs.jfact.kernel
-
Role
- RoleAutomaton - Class in uk.ac.manchester.cs.jfact.kernel
-
role automaton
- RoleAutomaton() - Constructor for class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
Default constructor.
- RoleExpression - Interface in uk.ac.manchester.cs.jfact.kernel.dl.interfaces
-
role expression
- RoleMaster - Class in uk.ac.manchester.cs.jfact.kernel
-
role master
- RoleMaster(boolean, NamedEntity, NamedEntity, JFactReasonerConfiguration) - Constructor for class uk.ac.manchester.cs.jfact.kernel.RoleMaster
-
- roles() - Method in class uk.ac.manchester.cs.jfact.kernel.RoleMaster
-
- runBottomUp() - Method in class uk.ac.manchester.cs.jfact.kernel.DLConceptTaxonomy
-
explicitely run BU phase
- runSat(int, int) - Method in class uk.ac.manchester.cs.jfact.kernel.DlSatTester
-
- runTopDown() - Method in class uk.ac.manchester.cs.jfact.kernel.DLConceptTaxonomy
-
explicitely run TD phase
- S_ABS_ACTION - Static variable in class uk.ac.manchester.cs.jfact.kernel.InAx
-
statistics
- S_ABS_B_APPLY - Static variable in class uk.ac.manchester.cs.jfact.kernel.InAx
-
statistics
- S_ABS_C_APPLY - Static variable in class uk.ac.manchester.cs.jfact.kernel.InAx
-
statistics
- S_ABS_C_ATTEMPT - Static variable in class uk.ac.manchester.cs.jfact.kernel.InAx
-
statistics
- S_ABS_INPUT - Static variable in class uk.ac.manchester.cs.jfact.kernel.InAx
-
statistics
- S_ABS_N_APPLY - Static variable in class uk.ac.manchester.cs.jfact.kernel.InAx
-
statistics
- S_ABS_N_ATTEMPT - Static variable in class uk.ac.manchester.cs.jfact.kernel.InAx
-
statistics
- S_ABS_R_APPLY - Static variable in class uk.ac.manchester.cs.jfact.kernel.InAx
-
statistics
- S_ABS_R_ATTEMPT - Static variable in class uk.ac.manchester.cs.jfact.kernel.InAx
-
statistics
- S_ABS_REP_CN - Static variable in class uk.ac.manchester.cs.jfact.kernel.InAx
-
statistics
- S_ABS_REP_FORALL - Static variable in class uk.ac.manchester.cs.jfact.kernel.InAx
-
statistics
- S_ABS_SPLIT - Static variable in class uk.ac.manchester.cs.jfact.kernel.InAx
-
statistics
- S_ABS_T_APPLY - Static variable in class uk.ac.manchester.cs.jfact.kernel.InAx
-
statistics
- sAbsAction() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
init SAbsAction
- sAbsBApply() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
init SAbsBApply
- sAbsCApply() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
init SAbsCApply
- sAbsCAttempt() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
init SAbsCAttempt
- sAbsInput() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
init SAbsInput
- sAbsNApply() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
init SAbsNApply
- sAbsNAttempt() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
init SAbsNAttempt
- sAbsRApply() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
init SAbsRApply
- sAbsRAttempt() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
init SAbsRAttempt
- sAbsRepCN() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
init SAbsRepCN
- sAbsRepForall() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
init SAbsRepForall
- sAbsSplit() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
init SAbsSplit
- sAbsTApply() - Method in class uk.ac.manchester.cs.jfact.kernel.InAx
-
init SAbsTApply
- safeClear() - Method in class uk.ac.manchester.cs.jfact.kernel.Ontology
-
safe clear the ontology (do not remove axioms)
- save(SaveState) - Method in class uk.ac.manchester.cs.jfact.kernel.CGLabel
-
- save() - Method in class uk.ac.manchester.cs.jfact.kernel.CWDArray
-
save label using given SS
- save() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
save dl completion graph
- save(int) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
save node using internal stack
- save() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc
-
save and invalidate arc (together with reverse arc)
- save(int[][], int) - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue
-
save queue content to the given entry
- save() - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoList
-
save current state using internal stack
- SaveList - Class in uk.ac.manchester.cs.jfact.kernel.state
-
save list
- SaveList() - Constructor for class uk.ac.manchester.cs.jfact.kernel.state.SaveList
-
- saveNode(DlCompletionTree, int) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
save given node wrt level
- saveRareCond(Restorer) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
save rarely appeared info if P is non-null
- saveRareCond(List<Restorer>) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
- SaveStack<T> - Class in uk.ac.manchester.cs.jfact.helpers
-
save stack
- SaveStack() - Constructor for class uk.ac.manchester.cs.jfact.helpers.SaveStack
-
- SaveStackRare - Class in uk.ac.manchester.cs.jfact.kernel
-
Rare stack
- SaveStackRare() - Constructor for class uk.ac.manchester.cs.jfact.kernel.SaveStackRare
-
Default constructor.
- SaveState - Class in uk.ac.manchester.cs.jfact.kernel.state
-
class for save/restore
- SaveState() - Constructor for class uk.ac.manchester.cs.jfact.kernel.state.SaveState
-
Default constructor.
- saveState(TODOListSaveState) - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ToDoList
-
save current Todo table content to given saveState entry
- searchTSbyRoleAndSupers(Role, Set<Role>) - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- second - Variable in class uk.ac.manchester.cs.jfact.helpers.Pair
-
The second.
- selfReference(ObjectRoleExpression) - Static method in class uk.ac.manchester.cs.jfact.kernel.ExpressionManager
-
- setAbsorptionLog(OutputStream) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
- setAbsorptionLoggingActive(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the absorption logging active.
- setAbsorptionLogOutputStream(OutputStream) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the absorption log output stream.
- setAffected() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
set node (and all subnodes) affected
- setAllowUndefinedNames(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
- setAllVisited(TaxonomyVertex, boolean, Set<TaxonomyVertex>) - Method in class uk.ac.manchester.cs.jfact.kernel.Taxonomy
-
- setAsymmetric(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
set the asymmetry of both role and it's inverse
- setAtom(OntologyAtom) - Method in class uk.ac.manchester.cs.jfact.kernel.Axiom
-
- setBlocker(DlCompletionTree) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- setBlockingMethod(boolean, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
set blocking method for a session
- setBlockingMethod(boolean, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.DlSatTester
-
set blocking method for a session
- setBottom() - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntry
-
set as bottom entity
- setBottomUp(KBFlags) - Method in class uk.ac.manchester.cs.jfact.kernel.DLConceptTaxonomy
-
set bottom-up flag
- setBPDomain(int) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
set domain-as-a-bipointer to a role
- setCache(int, ModelCacheInterface) - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
set cache for given BiPointer;
- setCached(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
set cached status of given node
- setCc(int) - Method in class uk.ac.manchester.cs.jfact.kernel.state.SaveState
-
- setChecked(long) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
- setChild(int) - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
set a concept (child) to Name-like vertex
- setCommon() - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
increment common
- setCompleted(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
mark an automaton as completed
- setCompletelyDefined(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
- setCompletelyDefined(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyCreator
-
set Completely Defined flag
- setConcept(NamedEntry) - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
set TConcept value to entry
- setConceptIndex(Concept) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
set new concept index for given C wrt existing nC
- setConsistency(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
set consistency flag
- setCurIR(DlCompletionTree, DepSet) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
-
- setCurLevel(int) - Method in class uk.ac.manchester.cs.jfact.kernel.state.DLCompletionTreeSaveState
-
- setCurrent(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.Taxonomy
-
set current to a given node
- setDataNode() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
set data node to true
- setDataRole(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
- setDBlocked(DlCompletionTree) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
mark node d-blocked
- setDebugSaveRestore(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the debug save restore.
- setDebugSplitModules(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the fpp debug split modules.
- setDomain(DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
add p to domain of the role
- setdumpQuery(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the dump query.
- setEntity(NamedEntity) - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntry
-
- setEntry(NamedEntry) - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NamedEntity
-
- setEntry(NamedEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.dl.NamedEntityImpl
-
- setExpressionCache(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
whether to use cache for nodes
- setFairnessConstraintDLTrees(List<DLTree>) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- setFinalSize() - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
set the DAG size
- setForbidUndefinedNames(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
set the flag that forbid usage of undefined names for concepts/roles;
- setFunctional(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
set role functionality value
- setFunctional() - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
mark role (topmost) functional
- setFunctional(int) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
set functional attribute to given value (functional DAG vertex)
- setGCI(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.KBFlags
-
- setHasNominalNode(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheInterface
-
- setHasSP(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- setIBlocked(DlCompletionTree) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
mark node i-blocked
- setId(int) - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntry
-
set internal ID
- setIgnoreExprCache(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
choose whether TExpr cache should be ignored
- setImproveSaveRestoreDepset(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the rkg improve save restore depset.
- setIndex(int) - Method in class uk.ac.manchester.cs.jfact.datatypes.DatatypeEntry
-
set DAG index of the data entry
- setIndex(int) - Method in class uk.ac.manchester.cs.jfact.datatypes.LiteralEntry
-
set DAG index of the data entry
- setIndex(int) - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
set the index value
- setIndex(int) - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntry
-
- setInit(int) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
set the Init concept
- setInterruptAfterFirstFound(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.actors.ActorImpl
-
- setInterruptedSwitch(AtomicBoolean) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
- setInUse(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
set the inUse value of the node
- setInverse(Role) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
set inverse to given role
- setInverseRoles() - Method in class uk.ac.manchester.cs.jfact.kernel.LogicFeatures
-
allow user to set presence of inverse roles
- setIrreflexive(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
set the irreflexivity of both role and it's inverse
- setIUnsafe() - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
state that the automaton is i-unsafe
- setLiteral(Literal<?>) - Method in class uk.ac.manchester.cs.jfact.datatypes.LiteralEntry
-
set host data type for the data value
- setLocked(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntryCollection
-
set LOCKED value to a VAL;
- setLogAdapter(LogAdapter) - Static method in class uk.ac.manchester.cs.jfact.kernel.Axiom
-
- setLoggingActive(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the logging active.
- setNameSigMap(Map<OWLEntity, Signature>) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
set NameSigMap
- setnEdges(int) - Method in class uk.ac.manchester.cs.jfact.kernel.state.DLCompletionGraphSaveState
-
- setNeedLogging(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
- setnNeighbours(int) - Method in class uk.ac.manchester.cs.jfact.kernel.state.DLCompletionTreeSaveState
-
- setnNodes(int) - Method in class uk.ac.manchester.cs.jfact.kernel.state.DLCompletionGraphSaveState
-
- setNode(DlCompletionTree) - Method in class uk.ac.manchester.cs.jfact.kernel.Individual
-
- setNominal(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- setNominalLevel() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
set nominal level to 0
- setNominalLevel(int) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- setNonClassifiable(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
- setNType(DepSet) - Method in class uk.ac.manchester.cs.jfact.datatypes.DataTypeSituation
-
- setOrderDefaults(String, String) - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
- setOrderOptions(String) - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
- setorSortSat(String) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the or sort sat.
- setorSortSub(String) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the or sort sub.
- setOUnsafe() - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
state that the automaton is o-unsafe
- setPBlocked(DlCompletionTree, DepSet) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
mark node purged
- setpBody(int) - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- setpName(int) - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- setPrimitive(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- setPrintDagUsage(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the rkg print dag usage.
- setPrintTaxonomyInfo(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the tmp print taxonomy info.
- setProcessed() - Method in class uk.ac.manchester.cs.jfact.kernel.Ontology
-
set the processed marker to the end of the ontology
- setPType(DepSet) - Method in class uk.ac.manchester.cs.jfact.datatypes.DataTypeSituation
-
set the precense of the PType
- setQueryAnswering(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
- setRange(DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
add p to range of the role
- setRaresavestackLevel(int) - Method in class uk.ac.manchester.cs.jfact.kernel.Restorer
-
for accessing the level on TRareSaveStack
- setReference(E) - Method in class uk.ac.manchester.cs.jfact.helpers.Reference
-
- setReflexive(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.KBFlags
-
- setReflexive(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
set the reflexivity of both role and it's inverse
- setRegularLogOutputStream(OutputStream) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the regular log output stream.
- setRelatedCache(Role, List<Individual>) - Method in class uk.ac.manchester.cs.jfact.kernel.Individual
-
set the cache of individuals related to THIS via R
- setRelevant(long) - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
make given concept relevant to given Labeller's state
- setRelevant(long) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
make given role relevant to given Labeller's state
- setReverse(DlCompletionTreeArc) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc
-
set given arc as a reverse of current
- setRnD(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.KBFlags
-
- setSample(ClassifiableEntry, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
set sample to ENTRY
- setSatOrder() - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
use SAT options to OR ordering;
- setSc(int) - Method in class uk.ac.manchester.cs.jfact.kernel.state.SaveState
-
- setSignature(Signature) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
set internal signature to a given signature S
- setSignature(Signature) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
set the signature of the expression translator
- setSingleton(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
- setsNodes(int) - Method in class uk.ac.manchester.cs.jfact.kernel.state.DLCompletionGraphSaveState
-
- setSpecialDomain(int) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
set the special domain value
- setSplits(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the splits.
- setsPointer(int) - Method in class uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue
-
- setSubOrder() - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
use SUB options to OR ordering
- setSuccEdge(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc
-
set the successor field
- setSymmetric(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
set the symmetry of both role and it's inverse
- setSynonym(ClassifiableEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
add entry's synonym
- setSystem() - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntry
-
set as system entry
- setTaxVertex(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
-
set up given entry
- setToDoPriorities() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
set To Do priorities using local OPTIONS
- setToldTop(Concept) - Method in class uk.ac.manchester.cs.jfact.kernel.Concept
-
init TOP told subsumer if necessary
- setToldTop() - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
set told TOP concept whether necessary
- setTop() - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntry
-
set as top entity
- setTransitive(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.Role
-
set the transitivity of both role and it's inverse
- setUBlocked() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
mark node unblocked
- setUndefinedNames(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.RoleMaster
-
change the undefined names usage policy
- setup(int, int, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.RAStateTransitions
-
set up state transitions: no more additions to the structure
- setup(int, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
set up all transitions passing number of roles
- setUpdaterndFromSuperRoles(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the rkg update rnd from superroles.
- setupEdge(DlCompletionTreeArc, DepSet, int) - Method in class uk.ac.manchester.cs.jfact.kernel.DlSatTester
-
- setupSig(OWLEntity) - Method in class uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
-
setup Name2Sig for a given entity;
- setUseADInModuleExtraction(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the rkg use ad in module extraction.
- setUseAnywhereBlocking(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the use anywhere blocking.
- setUseAxiomSplitting(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the use axiom splitting.
- setUseBlockingStatistics(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the use blocking statistics.
- setUseDynamicBackjumping(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the rkg use dynamic backjumping.
- setUseELReasoner(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the use el reasoner.
- setUseFairness(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the rkg use fairness.
- setUseIncrementalReasoning(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the use incremental reasoning.
- setUseLazyBlocking(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the use lazy blocking.
- setUseNodeCache(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
set flag to use node cache to value VAL.
- setUseReasoningStatistics(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the use reasoning statistics.
- setUseSemanticBranching(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the use semantic branching.
- setUseSimpleRules(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the rkg use simple rules.
- setUseSortedReasoning(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the use sorted reasoning.
- setUseSpecialDomains(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the use special domains.
- setUseUndefinedNames(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the use undefined names.
- setValue(TaxonomyVertex, boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyCreator
-
set the classification value of a NODE to VALUE
- setValued(boolean, long) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
- setverboseOutput(boolean) - Method in class uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration
-
Sets the verbose output.
- setVertexAsHost(ClassifiableEntry) - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
mark vertex as the one corresponding to a given ENTRY
- setVisited(TaxonomyVertex) - Method in class uk.ac.manchester.cs.jfact.kernel.Taxonomy
-
set node NODE as checked within taxonomy
- shallowCache() - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheIan
-
get type of cache (deep or shallow)
- shallowCache() - Method in class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheInterface
-
- SHORT - Static variable in class uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory
-
SHORT
- signature() - Method in class uk.ac.manchester.cs.jfact.kernel.Ontology
-
- simpleConcepts() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- simpleConceptsMap() - Method in class uk.ac.manchester.cs.jfact.kernel.DlCompletionTree
-
- simplify() - Method in class uk.ac.manchester.cs.jfact.kernel.Related
-
simplify structure wrt synonyms
- simplifyCN(TBox) - Method in class uk.ac.manchester.cs.jfact.kernel.Axiom
-
replace a defined concept with its description
- simplifyDataTopForall(DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
simplify universal restriction with top data role
- simplifyDataTopLE(int, DLTree) - Static method in class uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
-
simplify minimal cardinality restriction with top data role
- simplifyForall(TBox) - Method in class uk.ac.manchester.cs.jfact.kernel.Axiom
-
replace a universal restriction with a fresh concept
- simplifySForall(TBox) - Method in class uk.ac.manchester.cs.jfact.kernel.Axiom
-
replace a simple universal restriction with a fresh concept
- size() - Method in class uk.ac.manchester.cs.jfact.helpers.ArrayIntMap
-
- size() - Method in class uk.ac.manchester.cs.jfact.kernel.CWDArray
-
- size() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AbstractNaryAxiom
-
- size() - Method in interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression
-
- size() - Method in class uk.ac.manchester.cs.jfact.kernel.dl.NAryExpressionImpl
-
- size() - Method in class uk.ac.manchester.cs.jfact.kernel.DLDag
-
- size() - Method in class uk.ac.manchester.cs.jfact.kernel.NamedEntryCollection
-
- size() - Method in class uk.ac.manchester.cs.jfact.kernel.Ontology
-
- size() - Method in class uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
-
- size() - Method in class uk.ac.manchester.cs.jfact.kernel.RoleMaster
-
- sortEntry(DLDag) - Method in class uk.ac.manchester.cs.jfact.helpers.DLVertex
-
- split(TBox) - Method in class uk.ac.manchester.cs.jfact.kernel.Axiom
-
split an axiom;
- start() - Method in class uk.ac.manchester.cs.jfact.helpers.Timer
-
start if not started
- StatIndex - Enum in uk.ac.manchester.cs.jfact.helpers
-
stat index enum
- Stats - Class in uk.ac.manchester.cs.jfact.helpers
-
stats.
- Stats() - Constructor for class uk.ac.manchester.cs.jfact.helpers.Stats
-
- Stats.AccumulatedStatistic - Class in uk.ac.manchester.cs.jfact.helpers
-
accumulated stats.
- stop() - Method in class uk.ac.manchester.cs.jfact.helpers.Timer
-
stop if not stopped
- stream() - Method in class uk.ac.manchester.cs.jfact.kernel.RAStateTransitions
-
- STRING - Static variable in class uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory
-
STRING
- SupConceptActor - Class in uk.ac.manchester.cs.jfact.kernel.actors
-
class for exploring concept taxonomy to find super classes
- SupConceptActor(ClassifiableEntry) - Constructor for class uk.ac.manchester.cs.jfact.kernel.actors.SupConceptActor
-
- sure() - Method in interface uk.ac.manchester.cs.jfact.kernel.KnownSubsumers
-
- sure() - Method in class uk.ac.manchester.cs.jfact.kernel.ToldSubsumers
-
begin of the Sure subsumers interval
- sureEmpty() - Method in interface uk.ac.manchester.cs.jfact.kernel.KnownSubsumers
-
- switchToNonprimitive(DLTree, DLTree) - Method in class uk.ac.manchester.cs.jfact.kernel.TBox
-
- synonyms() - Method in class uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
-
- value() - Method in interface uk.ac.manchester.cs.jfact.datatypes.Literal
-
- value(ObjectRoleExpression, IndividualExpression) - Static method in class uk.ac.manchester.cs.jfact.kernel.ExpressionManager
-
- value(DataRoleExpression, Literal<?>) - Static method in class uk.ac.manchester.cs.jfact.kernel.ExpressionManager
-
- valueOf(String) - Static method in enum uk.ac.manchester.cs.jfact.datatypes.cardinality
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum uk.ac.manchester.cs.jfact.datatypes.DatatypeClashes
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum uk.ac.manchester.cs.jfact.datatypes.Facets.whitespace
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum uk.ac.manchester.cs.jfact.datatypes.ordered
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum uk.ac.manchester.cs.jfact.helpers.StatIndex
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum uk.ac.manchester.cs.jfact.helpers.Templates
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum uk.ac.manchester.cs.jfact.kernel.AbsorptionActions
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum uk.ac.manchester.cs.jfact.kernel.AddConceptResult
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum uk.ac.manchester.cs.jfact.kernel.Concept.CTTag
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum uk.ac.manchester.cs.jfact.kernel.DagTag
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum uk.ac.manchester.cs.jfact.kernel.KBStatus
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheState
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum uk.ac.manchester.cs.jfact.kernel.Token
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum uk.ac.manchester.cs.jfact.datatypes.cardinality
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum uk.ac.manchester.cs.jfact.datatypes.DatatypeClashes
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in class uk.ac.manchester.cs.jfact.datatypes.Facets
-
- values() - Static method in enum uk.ac.manchester.cs.jfact.datatypes.Facets.whitespace
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum uk.ac.manchester.cs.jfact.datatypes.ordered
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum uk.ac.manchester.cs.jfact.helpers.StatIndex
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum uk.ac.manchester.cs.jfact.helpers.Templates
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum uk.ac.manchester.cs.jfact.kernel.AbsorptionActions
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum uk.ac.manchester.cs.jfact.kernel.AddConceptResult
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum uk.ac.manchester.cs.jfact.kernel.Concept.CTTag
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum uk.ac.manchester.cs.jfact.kernel.DagTag
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum uk.ac.manchester.cs.jfact.kernel.KBStatus
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheState
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum uk.ac.manchester.cs.jfact.kernel.Token
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- visit(OWLSubClassOfAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLAsymmetricObjectPropertyAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLReflexiveObjectPropertyAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLDisjointClassesAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLDataPropertyDomainAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLObjectPropertyDomainAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLEquivalentObjectPropertiesAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLDifferentIndividualsAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLDisjointDataPropertiesAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLDisjointObjectPropertiesAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLObjectPropertyRangeAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLObjectPropertyAssertionAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLFunctionalObjectPropertyAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLSubObjectPropertyOfAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLDisjointUnionAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLDeclarationAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLAnnotationAssertionAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLSymmetricObjectPropertyAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLDataPropertyRangeAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLFunctionalDataPropertyAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLEquivalentDataPropertiesAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLClassAssertionAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLEquivalentClassesAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLDataPropertyAssertionAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLTransitiveObjectPropertyAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLIrreflexiveObjectPropertyAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLSubDataPropertyOfAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLSameIndividualAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLSubPropertyChainOfAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLInverseObjectPropertiesAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLHasKeyAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLDatatypeDefinitionAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(SWRLRule) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLSubAnnotationPropertyOfAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLAnnotationPropertyDomainAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLAnnotationPropertyRangeAxiom) - Method in class uk.ac.manchester.cs.jfact.AxiomTranslator
-
- visit(OWLClass) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLObjectIntersectionOf) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLObjectUnionOf) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLObjectComplementOf) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLObjectSomeValuesFrom) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLObjectAllValuesFrom) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLObjectHasValue) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLObjectMinCardinality) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLObjectExactCardinality) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLObjectMaxCardinality) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLObjectHasSelf) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLObjectOneOf) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLDataSomeValuesFrom) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLDataAllValuesFrom) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLDataHasValue) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLDataMinCardinality) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLDataExactCardinality) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLDataMaxCardinality) - Method in class uk.ac.manchester.cs.jfact.ClassExpressionTranslator
-
- visit(OWLDatatype) - Method in class uk.ac.manchester.cs.jfact.DataRangeTranslator
-
- visit(OWLDataOneOf) - Method in class uk.ac.manchester.cs.jfact.DataRangeTranslator
-
- visit(OWLDataComplementOf) - Method in class uk.ac.manchester.cs.jfact.DataRangeTranslator
-
- visit(OWLDataIntersectionOf) - Method in class uk.ac.manchester.cs.jfact.DataRangeTranslator
-
- visit(OWLDataUnionOf) - Method in class uk.ac.manchester.cs.jfact.DataRangeTranslator
-
- visit(OWLDatatypeRestriction) - Method in class uk.ac.manchester.cs.jfact.DataRangeTranslator
-
- visit(OWLClass) - Method in class uk.ac.manchester.cs.jfact.DeclarationVisitorEx
-
- visit(OWLObjectProperty) - Method in class uk.ac.manchester.cs.jfact.DeclarationVisitorEx
-
- visit(OWLDataProperty) - Method in class uk.ac.manchester.cs.jfact.DeclarationVisitorEx
-
- visit(OWLNamedIndividual) - Method in class uk.ac.manchester.cs.jfact.DeclarationVisitorEx
-
- visit(OWLDatatype) - Method in class uk.ac.manchester.cs.jfact.DeclarationVisitorEx
-
- visit(OWLAnnotationProperty) - Method in class uk.ac.manchester.cs.jfact.DeclarationVisitorEx
-
- visit(OWLSubClassOfAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLAsymmetricObjectPropertyAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLReflexiveObjectPropertyAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLDisjointClassesAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLDataPropertyDomainAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLObjectPropertyDomainAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLEquivalentObjectPropertiesAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLDifferentIndividualsAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLDisjointDataPropertiesAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLDisjointObjectPropertiesAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLObjectPropertyRangeAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLObjectPropertyAssertionAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLFunctionalObjectPropertyAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLSubObjectPropertyOfAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLDisjointUnionAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLDeclarationAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLAnnotationAssertionAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLSymmetricObjectPropertyAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLDataPropertyRangeAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLFunctionalDataPropertyAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLEquivalentDataPropertiesAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLClassAssertionAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLEquivalentClassesAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLDataPropertyAssertionAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLTransitiveObjectPropertyAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLIrreflexiveObjectPropertyAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLSubDataPropertyOfAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLSameIndividualAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLSubPropertyChainOfAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLInverseObjectPropertiesAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLHasKeyAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLDatatypeDefinitionAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(SWRLRule) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLSubAnnotationPropertyOfAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLAnnotationPropertyDomainAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(OWLAnnotationPropertyRangeAxiom) - Method in class uk.ac.manchester.cs.jfact.EntailmentChecker
-
- visit(ConceptTop) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptBottom) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptName) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptNot) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptAnd) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptOr) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptOneOf<?>) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptObjectSelf) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptObjectValue) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptObjectExists) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptObjectForall) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptObjectMinCardinality) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptObjectMaxCardinality) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptObjectExactCardinality) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptDataValue) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptDataExists) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptDataForall) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptDataMinCardinality) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptDataMaxCardinality) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ConceptDataExactCardinality) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(IndividualName) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ObjectRoleTop) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ObjectRoleBottom) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ObjectRoleName) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ObjectRoleInverse) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ObjectRoleChain) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ObjectRoleProjectionFrom) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(ObjectRoleProjectionInto) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(DataRoleTop) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(DataRoleBottom) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(DataRoleName) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(DataTop) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(DataBottom) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(DatatypeExpression<?>) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(Literal<?>) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(DataNot) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(DataAnd) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(DataOr) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(DataOneOf) - Method in class uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator
-
- visit(AxiomDeclaration) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomEquivalentConcepts) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomDisjointConcepts) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomEquivalentORoles) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomEquivalentDRoles) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomDisjointORoles) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomDisjointDRoles) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomDisjointUnion) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomSameIndividuals) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomDifferentIndividuals) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomFairnessConstraint) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomRoleInverse) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomORoleSubsumption) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomDRoleSubsumption) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomORoleDomain) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomDRoleDomain) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomORoleRange) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomDRoleRange) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomRoleTransitive) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomRoleReflexive) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomRoleIrreflexive) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomRoleSymmetric) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomRoleAsymmetric) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomORoleFunctional) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomDRoleFunctional) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomRoleInverseFunctional) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomConceptInclusion) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomInstanceOf) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomRelatedTo) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomRelatedToNot) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomValueOf) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomValueOfNot) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
- visit(AxiomDeclaration) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomEquivalentConcepts) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomDisjointConcepts) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomEquivalentORoles) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomEquivalentDRoles) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomDisjointORoles) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomDisjointDRoles) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomSameIndividuals) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomDifferentIndividuals) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomFairnessConstraint) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomRoleInverse) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomORoleSubsumption) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomDRoleSubsumption) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomORoleDomain) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomDRoleDomain) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomORoleRange) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomDRoleRange) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomRoleTransitive) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomRoleReflexive) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomRoleIrreflexive) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomRoleSymmetric) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomRoleAsymmetric) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomORoleFunctional) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomDRoleFunctional) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomRoleInverseFunctional) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomConceptInclusion) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomInstanceOf) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomRelatedTo) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomRelatedToNot) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomValueOf) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomValueOfNot) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomDisjointUnion) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
-
- visit(AxiomDeclaration) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomEquivalentConcepts) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomDisjointConcepts) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomEquivalentORoles) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomEquivalentDRoles) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomDisjointUnion) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomDisjointORoles) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomDisjointDRoles) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomSameIndividuals) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomDifferentIndividuals) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomFairnessConstraint) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomRoleInverse) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomORoleSubsumption) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomDRoleSubsumption) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomORoleDomain) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomDRoleDomain) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomORoleRange) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomDRoleRange) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomRoleTransitive) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomRoleReflexive) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomRoleIrreflexive) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomRoleSymmetric) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomRoleAsymmetric) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomORoleFunctional) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomDRoleFunctional) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomRoleInverseFunctional) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomConceptInclusion) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomInstanceOf) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomRelatedTo) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomRelatedToNot) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomValueOf) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(AxiomValueOfNot) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx
-
- visit(ConceptTop) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptBottom) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptName) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptNot) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptAnd) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptOr) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptOneOf<?>) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptObjectSelf) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptObjectValue) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptObjectExists) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptObjectForall) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptObjectMinCardinality) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptObjectMaxCardinality) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptObjectExactCardinality) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptDataValue) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptDataExists) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptDataForall) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptDataMinCardinality) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptDataMaxCardinality) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptDataExactCardinality) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(IndividualName) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ObjectRoleTop) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ObjectRoleBottom) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ObjectRoleName) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ObjectRoleInverse) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ObjectRoleChain) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ObjectRoleProjectionFrom) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ObjectRoleProjectionInto) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(DataRoleTop) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(DataRoleBottom) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(DataRoleName) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(DataTop) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(DataBottom) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(Literal<?>) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(Datatype<?>) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(DatatypeExpression<?>) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(DataNot) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(DataAnd) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(DataOr) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(DataOneOf) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
-
- visit(ConceptTop) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptBottom) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptName) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptNot) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptAnd) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptOr) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptOneOf<?>) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptObjectSelf) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptObjectValue) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptObjectExists) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptObjectForall) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptObjectMinCardinality) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptObjectMaxCardinality) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptObjectExactCardinality) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptDataValue) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptDataExists) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptDataForall) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptDataMinCardinality) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptDataMaxCardinality) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptDataExactCardinality) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(IndividualName) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ObjectRoleTop) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ObjectRoleBottom) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ObjectRoleName) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ObjectRoleInverse) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ObjectRoleChain) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ObjectRoleProjectionFrom) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ObjectRoleProjectionInto) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(DataRoleTop) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(DataRoleBottom) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(DataRoleName) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(DataTop) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(DataBottom) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(DatatypeExpression<?>) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(Literal<?>) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(DataNot) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(DataAnd) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(DataOr) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(DataOneOf) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter
-
- visit(ConceptTop) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptBottom) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptName) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptNot) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptAnd) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptOr) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptOneOf<?>) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptObjectSelf) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptObjectValue) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptObjectExists) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptObjectForall) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptObjectMinCardinality) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptObjectMaxCardinality) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptObjectExactCardinality) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptDataValue) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptDataExists) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptDataForall) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptDataMinCardinality) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptDataMaxCardinality) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptDataExactCardinality) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(IndividualName) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ObjectRoleTop) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ObjectRoleBottom) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ObjectRoleName) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ObjectRoleInverse) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ObjectRoleChain) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ObjectRoleProjectionFrom) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ObjectRoleProjectionInto) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(DataRoleTop) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(DataRoleBottom) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(DataRoleName) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(DataTop) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(DataBottom) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(Literal<?>) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(Datatype<?>) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(DatatypeExpression<?>) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(DataNot) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(DataAnd) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(DataOr) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(DataOneOf) - Method in interface uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx
-
- visit(ConceptTop) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptBottom) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptName) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptNot) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptAnd) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptOr) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptOneOf<?>) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptObjectSelf) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptObjectValue) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptObjectExists) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptObjectForall) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptObjectMinCardinality) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptObjectMaxCardinality) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptObjectExactCardinality) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptDataValue) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptDataExists) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptDataForall) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptDataMinCardinality) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptDataMaxCardinality) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ConceptDataExactCardinality) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(IndividualName) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ObjectRoleTop) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ObjectRoleBottom) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ObjectRoleName) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ObjectRoleInverse) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ObjectRoleChain) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ObjectRoleProjectionFrom) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(ObjectRoleProjectionInto) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(DataRoleTop) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(DataRoleBottom) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(DataRoleName) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(DataTop) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(DataBottom) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(Datatype<?>) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(Literal<?>) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(DataNot) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(DataAnd) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(DataOr) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visit(DataOneOf) - Method in class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter
-
- visitOntology(Ontology) - Method in class uk.ac.manchester.cs.jfact.kernel.OntologyLoader
-
load ontology to a given KB