Uses of Class
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomConceptInclusion

Packages that use AxiomConceptInclusion

Package	Description
uk.ac.manchester.cs.jfact.elf
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.split
uk.ac.manchester.cs.jfact.visitors

Uses of AxiomConceptInclusion in uk.ac.manchester.cs.jfact.elf

Methods in uk.ac.manchester.cs.jfact.elf with parameters of type AxiomConceptInclusion

Modifier and Type	Method and Description
protected void	ELFReasoner.processCI(AxiomConceptInclusion axiom) process concept inclusion axiom into the internal structures
void	ELFNormalizer.visit(AxiomConceptInclusion axiom) all the job is done here
void	ELFAxiomChecker.visit(AxiomConceptInclusion axiom)

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

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

Modifier and Type	Method and Description
void	OntologyLoader.visit(AxiomConceptInclusion axiom)

Uses of AxiomConceptInclusion in uk.ac.manchester.cs.jfact.split

Fields in uk.ac.manchester.cs.jfact.split with type parameters of type AxiomConceptInclusion

Modifier and Type	Field and Description
protected Map<ConceptName,Set<AxiomConceptInclusion>>	TAxiomSplitter.ImplNames

Methods in uk.ac.manchester.cs.jfact.split with parameters of type AxiomConceptInclusion

Modifier and Type	Method and Description
protected void	TAxiomSplitter.addSingleCI(AxiomConceptInclusion ci) add axiom CI in a form C [= D for D != TOP
void	TSignatureUpdater.visit(AxiomConceptInclusion axiom)
void	SyntacticLocalityChecker.visit(AxiomConceptInclusion axiom)
void	SemanticLocalityChecker.visit(AxiomConceptInclusion axiom)

Uses of AxiomConceptInclusion in uk.ac.manchester.cs.jfact.visitors

Methods in uk.ac.manchester.cs.jfact.visitors with parameters of type AxiomConceptInclusion

Modifier and Type	Method and Description
A	DLAxiomVisitorExAdapter.visit(AxiomConceptInclusion axiom)
O	DLAxiomVisitorEx.visit(AxiomConceptInclusion axiom)
void	DLAxiomVisitorAdapter.visit(AxiomConceptInclusion axiom)
void	DLAxiomVisitor.visit(AxiomConceptInclusion axiom)