Uses of Interface
uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NamedEntity

Packages that use NamedEntity

Package	Description
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.dl
uk.ac.manchester.cs.jfact.split

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

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

Modifier and Type	Method and Description
NamedEntity	NamedEntry.getEntity()

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

Modifier and Type	Method and Description
void	ReasoningKernel.buildSignature(NamedEntity entity, List<AxiomInterface> Module, Set<NamedEntity> toProcess) build signature for ENTITY and all dependent entities from toProcess; look for modules in Module;
void	NamedEntry.setEntity(NamedEntity entity)
void	ReasoningKernel.setupSig(NamedEntity entity, List<AxiomInterface> Module) setup Name2Sig for a given entity;

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

Modifier and Type	Method and Description
void	ReasoningKernel.buildSignature(NamedEntity entity, List<AxiomInterface> Module, Set<NamedEntity> toProcess) build signature for ENTITY and all dependent entities from toProcess; look for modules in Module;
void	TBox.reclassify(Set<NamedEntity> MPlus, Set<NamedEntity> MMinus)
void	TBox.reclassify(Set<NamedEntity> MPlus, Set<NamedEntity> MMinus)
void	DLConceptTaxonomy.reclassify(Set<NamedEntity> plus, Set<NamedEntity> minus)
void	DLConceptTaxonomy.reclassify(Set<NamedEntity> plus, Set<NamedEntity> minus)
void	TBox.setNameSigMap(Map<NamedEntity,TSignature> p) set NameSigMap

Uses of NamedEntity in uk.ac.manchester.cs.jfact.kernel.dl

Classes in uk.ac.manchester.cs.jfact.kernel.dl that implement NamedEntity

Modifier and Type	Class and Description
class	ConceptName named concept
class	DataRoleName data role name
class	IndividualName individual name
class	NamedEntityImpl named entity base class
class	ObjectRoleName object role

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

Methods in uk.ac.manchester.cs.jfact.split that return types with arguments of type NamedEntity

Modifier and Type	Method and Description
Set<NamedEntity>	TSignature.begin()
List<NamedEntity>	TSignature.intersect(TSignature s2)

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

Modifier and Type	Method and Description
void	TSignature.add(NamedEntity p) add names to signature
boolean	TSignature.containsNamedEntity(NamedEntity p)
Collection<AxiomInterface>	SigIndex.getAxioms(NamedEntity entity) given an entity,
boolean	TSignature.nc(NamedEntity entity)
void	TSignature.remove(NamedEntity p) remove given element from a signature