Uses of Class
uk.ac.manchester.cs.jfact.helpers.DLTree

Packages that use DLTree

Package	Description
uk.ac.manchester.cs.jfact.helpers
uk.ac.manchester.cs.jfact.kernel

Uses of DLTree in uk.ac.manchester.cs.jfact.helpers

Methods in uk.ac.manchester.cs.jfact.helpers that return DLTree

Modifier and Type	Method and Description
static DLTree	DLTreeFactory.buildDisjAux(List<DLTree> arguments)
static DLTree	DLTreeFactory.buildTree(Lexeme t)
static DLTree	DLTreeFactory.buildTree(Lexeme t, Collection<DLTree> l)
static DLTree	DLTreeFactory.buildTree(Lexeme t, DLTree t1)
static DLTree	DLTreeFactory.buildTree(Lexeme t, DLTree t1, DLTree t2)
DLTree	DLTree.copy()
static DLTree	DLTreeFactory.createBottom()
static DLTree	DLTreeFactory.createEntry(Token tag, NamedEntry entry)
static DLTree	DLTreeFactory.createInverse(DLTree r)
static DLTree	DLTreeFactory.createRole(Role r)
static DLTree	DLTreeFactory.createSNFAnd(Collection<DLTree> collection)
static DLTree	DLTreeFactory.createSNFAnd(Collection<DLTree> collection, DLTree ancestor)
static DLTree	DLTreeFactory.createSNFAnd(DLTree c, DLTree d)
static DLTree	DLTreeFactory.createSNFExists(DLTree r, DLTree c) create existential restriction of given formulas (\ER.C)
static DLTree	DLTreeFactory.createSNFForall(DLTree r, DLTree c)
static DLTree	DLTreeFactory.createSNFGE(int n, DLTree r, DLTree c)
static DLTree	DLTreeFactory.createSNFLE(int n, DLTree r, DLTree c) create at-most (LE) restriction of given formulas (max n R.C)
static DLTree	DLTreeFactory.createSNFNot(DLTree c)
static DLTree	DLTreeFactory.createSNFNot(DLTree c, DLTree ancestor)
static DLTree	DLTreeFactory.createSNFOr(Collection<DLTree> c) create disjunction of given formulas
static DLTree	DLTreeFactory.createSNFReducedAnd(DLTree c, DLTree d)
static DLTree	DLTreeFactory.createSNFSelf(DLTree r) create SELF restriction for role R
static DLTree	DLTreeFactory.createTop()
DLTree	DLTree.getAncestor()
abstract DLTree	DLTree.getChild()
abstract DLTree	DLTree.getLeft()
abstract DLTree	DLTree.getRight()
static DLTree	DLTreeFactory.inverseComposition(DLTree tree)
static DLTree	DLTreeFactory.simplifyDataTopForall(DLTree dr) simplify universal restriction with top data role
static DLTree	DLTreeFactory.simplifyDataTopLE(int n, DLTree dr) simplify minimal cardinality restriction with top data role
static DLTree	DLTreeFactory.wrap(NamedEntry t) get DLTree by a given TDE

Methods in uk.ac.manchester.cs.jfact.helpers that return types with arguments of type DLTree

Modifier and Type	Method and Description
Stream<DLTree>	DLTree.children()
List<DLTree>	DLTree.getChildren()

Methods in uk.ac.manchester.cs.jfact.helpers with parameters of type DLTree

Modifier and Type	Method and Description
void	DLTree.addChild(DLTree d)
void	DLTree.addFirstChild(DLTree d)
static DLTree	DLTreeFactory.buildTree(Lexeme t, DLTree t1)
static DLTree	DLTreeFactory.buildTree(Lexeme t, DLTree t1, DLTree t2)
static boolean	DLTreeFactory.containsC(DLTree c, DLTree d)
static DLTree	DLTreeFactory.createInverse(DLTree r)
static DLTree	DLTreeFactory.createSNFAnd(Collection<DLTree> collection, DLTree ancestor)
static DLTree	DLTreeFactory.createSNFAnd(DLTree c, DLTree d)
static DLTree	DLTreeFactory.createSNFExists(DLTree r, DLTree c) create existential restriction of given formulas (\ER.C)
static DLTree	DLTreeFactory.createSNFForall(DLTree r, DLTree c)
static DLTree	DLTreeFactory.createSNFGE(int n, DLTree r, DLTree c)
static DLTree	DLTreeFactory.createSNFLE(int n, DLTree r, DLTree c) create at-most (LE) restriction of given formulas (max n R.C)
static DLTree	DLTreeFactory.createSNFNot(DLTree c)
static DLTree	DLTreeFactory.createSNFNot(DLTree c, DLTree ancestor)
static DLTree	DLTreeFactory.createSNFReducedAnd(DLTree c, DLTree d)
static DLTree	DLTreeFactory.createSNFSelf(DLTree r) create SELF restriction for role R
static boolean	DLTree.equalTrees(DLTree t1, DLTree t2)
static DLTree	DLTreeFactory.inverseComposition(DLTree tree)
static boolean	DLTreeFactory.isBotRole(DLTree t) check whether T is a bottom (empty) role
static boolean	DLTreeFactory.isDataRangeBigEnough(DLTree dr, int n)
static boolean	DLTreeFactory.isFunctionalExpr(DLTree t, NamedEntry r) check whether T is an expression in the form (atmost 1 RNAME)
static boolean	DLTreeFactory.isSemanticallyDataBottom(DLTree dr)
static boolean	DLTreeFactory.isSemanticallyDataTop(DLTree dr)
static boolean	DLTreeFactory.isSNF(DLTree t)
static boolean	DLTreeFactory.isSubTree(DLTree t1, DLTree t2)
static boolean	DLTreeFactory.isTopRole(DLTree t) check whether T is a top (universal) role
static boolean	DLTreeFactory.isUniversalRole(DLTree t) check whether T is U-Role
abstract void	DLTree.replace(DLTree toReplace, DLTree replacement)
static boolean	DLTreeFactory.replaceSynonymsFromTree(DLTree desc)
static DLTree	DLTreeFactory.simplifyDataTopForall(DLTree dr) simplify universal restriction with top data role
static DLTree	DLTreeFactory.simplifyDataTopLE(int n, DLTree dr) simplify minimal cardinality restriction with top data role
static NamedEntry	DLTreeFactory.unwrap(DLTree t) get TDE by a given DLTree

Method parameters in uk.ac.manchester.cs.jfact.helpers with type arguments of type DLTree

Modifier and Type	Method and Description
void	DLTree.addFirstChildren(Collection<DLTree> d)
static DLTree	DLTreeFactory.buildDisjAux(List<DLTree> arguments)
static DLTree	DLTreeFactory.buildTree(Lexeme t, Collection<DLTree> l)
static DLTree	DLTreeFactory.createSNFAnd(Collection<DLTree> collection)
static DLTree	DLTreeFactory.createSNFAnd(Collection<DLTree> collection, DLTree ancestor)
static DLTree	DLTreeFactory.createSNFOr(Collection<DLTree> c) create disjunction of given formulas

Uses of DLTree in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel that return DLTree

Modifier and Type	Method and Description
DLTree	TBox.applyAxiomCNToC(DLTree cn, DLTree d)
DLTree	TBox.applyAxiomCToCN(DLTree d, DLTree cn)
DLTree	Axiom.createAnAxiom(DLTree replaced) create a concept expression corresponding to a given GCI; ignore SKIP entry
DLTree	ReasoningKernel.e(Expression expr)
DLTree	Concept.getDescription()
DLTree	TBox.getFreshConcept()
DLTree	AxiomSet.getGCI()
DLTree	Role.getTDomain()
DLTree	TBox.getTree(Concept c)
DLTree	Role.getTSpecialDomain()
DLTree	TBox.makeNonPrimitive(Concept p, DLTree desc) make concept non-primitive;
DLTree	Concept.makeNonPrimitive(DLTree desc) switch primitive concept to non-primitive with new definition;
DLTree	ExpressionTranslator.visit(ConceptAnd expr)
DLTree	ExpressionTranslator.visit(ConceptBottom expr)
DLTree	ExpressionTranslator.visit(ConceptDataExactCardinality expr)
DLTree	ExpressionTranslator.visit(ConceptDataExists expr)
DLTree	ExpressionTranslator.visit(ConceptDataForall expr)
DLTree	ExpressionTranslator.visit(ConceptDataMaxCardinality expr)
DLTree	ExpressionTranslator.visit(ConceptDataMinCardinality expr)
DLTree	ExpressionTranslator.visit(ConceptDataValue expr)
DLTree	ExpressionTranslator.visit(ConceptName expr)
DLTree	ExpressionTranslator.visit(ConceptNot expr)
DLTree	ExpressionTranslator.visit(ConceptObjectExactCardinality expr)
DLTree	ExpressionTranslator.visit(ConceptObjectExists expr)
DLTree	ExpressionTranslator.visit(ConceptObjectForall expr)
DLTree	ExpressionTranslator.visit(ConceptObjectMaxCardinality expr)
DLTree	ExpressionTranslator.visit(ConceptObjectMinCardinality expr)
DLTree	ExpressionTranslator.visit(ConceptObjectSelf expr)
DLTree	ExpressionTranslator.visit(ConceptObjectValue expr)
DLTree	ExpressionTranslator.visit(ConceptOneOf<?> expr)
DLTree	ExpressionTranslator.visit(ConceptOr expr)
DLTree	ExpressionTranslator.visit(ConceptTop expr)
DLTree	ExpressionTranslator.visit(DataAnd expr)
DLTree	ExpressionTranslator.visit(DataBottom expr)
DLTree	ExpressionTranslator.visit(DataNot expr)
DLTree	ExpressionTranslator.visit(DataOneOf expr)
DLTree	ExpressionTranslator.visit(DataOr expr)
DLTree	ExpressionTranslator.visit(DataRoleBottom expr)
DLTree	ExpressionTranslator.visit(DataRoleName expr)
DLTree	ExpressionTranslator.visit(DataRoleTop expr)
DLTree	ExpressionTranslator.visit(DataTop expr)
DLTree	ExpressionTranslator.visit(Datatype<?> expr)
DLTree	ExpressionTranslator.visit(DatatypeExpression<?> expr)
DLTree	ExpressionTranslator.visit(IndividualName expr)
DLTree	ExpressionTranslator.visit(Literal<?> expr)
DLTree	ExpressionTranslator.visit(ObjectRoleBottom expr)
DLTree	ExpressionTranslator.visit(ObjectRoleChain expr)
DLTree	ExpressionTranslator.visit(ObjectRoleInverse expr)
DLTree	ExpressionTranslator.visit(ObjectRoleName expr)
DLTree	ExpressionTranslator.visit(ObjectRoleProjectionFrom expr)
DLTree	ExpressionTranslator.visit(ObjectRoleProjectionInto expr)
DLTree	ExpressionTranslator.visit(ObjectRoleTop expr)

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type DLTree

Modifier and Type	Method and Description
void	Axiom.add(DLTree p) add DLTree to an axiom
void	AxiomSet.addAxiom(DLTree c, DLTree d) add axiom for the GCI C [= D
void	Role.addComposition(DLTree tree) add composition to a role
void	Concept.addDesc(DLTree desc)
boolean	TBox.addNonprimitiveDefinition(Concept left, Concept right, DLTree rightOrigin)
static void	RoleMaster.addRoleParent(DLTree tree, Role parent)
void	TBox.addSubsumeAxiom(Concept c, DLTree d) add axiom CN [= D for concept CN
void	TBox.addSubsumeAxiom(DLTree sub, DLTree sup)
void	TBox.addSubsumeForDefined(Concept c, DLTree e) add an axiom CN [= E for defined CN (CN=D already in base)
int	TBox.and2dag(DLVertex v, DLTree t) fills AND-like vertex V with an AND-like expression T; process result
DLTree	TBox.applyAxiomCNToC(DLTree cn, DLTree d)
DLTree	TBox.applyAxiomCToCN(DLTree d, DLTree cn)
static boolean	TBox.axiomToRangeDomain(DLTree sub, DLTree sup)
boolean	Concept.canInitNonPrim(DLTree desc)
DLTree	Axiom.createAnAxiom(DLTree replaced) create a concept expression corresponding to a given GCI; ignore SKIP entry
Concept	TBox.createQueryConcept(DLTree desc)
Concept	TBox.getAuxConcept(DLTree desc)
Concept	TBox.getCI(DLTree name)
static Concept	InAx.getConcept(DLTree p)
boolean	Concept.initToldSubsumers(DLTree desc, Set<Role> rolesProcessed) init told subsumers of the concept by given DESCription;
static boolean	InAx.isAbsForall(DLTree p)
static boolean	InAx.isAnd(DLTree p)
static boolean	InAx.isBot(DLTree p)
static boolean	InAx.isForall(DLTree p)
boolean	TBox.isIndividual(DLTree tree)
static boolean	InAx.isNegCN(DLTree p)
static boolean	InAx.isNegNP(DLTree p)
static boolean	InAx.isNegPC(DLTree p)
static boolean	InAx.isOForall(DLTree p)
static boolean	InAx.isOr(DLTree p)
static boolean	InAx.isPosCN(DLTree p)
static boolean	InAx.isPosNP(DLTree p)
static boolean	InAx.isPosPC(DLTree p)
static boolean	InAx.isSimpleForall(DLTree p)
static boolean	InAx.isTop(DLTree p)
DLTree	TBox.makeNonPrimitive(Concept p, DLTree desc) make concept non-primitive;
DLTree	Concept.makeNonPrimitive(DLTree desc) switch primitive concept to non-primitive with new definition;
void	TBox.processGCI(DLTree c, DLTree d) try to absorb GCI C[=D; if not possible, just record this GCI
void	Concept.push(Deque<DLTree> stack, DLTree current)
Concept	TBox.replaceForall(DLTree rc) replace (AR:C) with X such that C [= AR^-:X for fresh X.
static Role	Role.resolveRole(DLTree t)
static Role	Role.resolveRole(DLTree t, String r)
void	Role.setDomain(DLTree p) add p to domain of the role
void	Role.setRange(DLTree p) add p to range of the role
boolean	TBox.switchToNonprimitive(DLTree left, DLTree right)
int	TBox.tree2dag(DLTree t)

Method parameters in uk.ac.manchester.cs.jfact.kernel with type arguments of type DLTree

Modifier and Type	Method and Description
void	Concept.addLeaves(Collection<DLTree> desc)
void	TBox.processDifferent(List<DLTree> l)
void	TBox.processDisjoint(List<DLTree> beg) process a disjoint set [beg,end) in a usual manner
void	TBox.processDisjointC(Collection<DLTree> beg)
void	TBox.processDisjointR(List<DLTree> l)
void	TBox.processEquivalentC(List<DLTree> l)
void	TBox.processEquivalentR(List<DLTree> l)
void	TBox.processSame(List<DLTree> l)
void	Concept.push(Deque<DLTree> stack, DLTree current)
void	TBox.setFairnessConstraintDLTrees(List<DLTree> l)