Uses of Class
conexp.fx.core.dl.ELConceptDescription

Packages that use ELConceptDescription

Package	Description
conexp.fx.core.dl
conexp.fx.core.dl.deprecated
conexp.fx.core.math

Uses of ELConceptDescription in conexp.fx.core.dl

Methods in conexp.fx.core.dl that return ELConceptDescription

Modifier and Type	Method and Description
ELConceptDescription	ELConceptDescription.and(ELConceptDescription that)
static ELConceptDescription	ELConceptDescription.bot()
ELConceptDescription	ELConceptDescription.clone()
static ELConceptDescription	ELConceptDescription.conceptName(org.semanticweb.owlapi.model.IRI conceptName)
static ELConceptDescription	ELConceptDescription.conjunction(Collection<ELConceptDescription> conjuncts)
static ELConceptDescription	ELConceptDescription.conjunction(ELConceptDescription... conjuncts)
static ELConceptDescription	ELConceptDescription.existentialRestriction(org.semanticweb.owlapi.model.IRI roleName, ELConceptDescription filler)
static ELConceptDescription	ELConceptDescription.existentialRestriction(List<org.semanticweb.owlapi.model.IRI> rs, ELConceptDescription C)
static ELConceptDescription	ELConceptDescription.existentialRestriction(Map.Entry<org.semanticweb.owlapi.model.IRI,ELConceptDescription> entry)
ELConceptDescription	ELConceptDescription.exists(org.semanticweb.owlapi.model.IRI roleName)
ELConceptDescription	ELInterpretation2.getMostSpecificConceptDescription(I object, int roleDepth)
ELConceptDescription	ELInterpretation2.getMostSpecificConceptDescription(Set<I> objects, int roleDepth)
ELConceptDescription	ELInterpretation2.getMostSpecificConceptDescription2(Set<I> objects, int roleDepth)
ELConceptDescription	ELTBox.getMostSpecificConsequence(ELConceptDescription C, int roleDepth)
ELConceptDescription	ELTBox.getMostSpecificConsequenceLutz(ELConceptDescription C, int roleDepth)
ELConceptDescription	ELConceptInclusion.getSubsumee()
ELConceptDescription	ELConceptInclusion.getSubsumer()
ELConceptDescription	ELConceptDescription.greatest()
ELConceptDescription	ELConceptDescription.infimum(ELConceptDescription e)
ELConceptDescription	ELConceptDescription.lcs(ELConceptDescription that)
static ELConceptDescription	ELLeastCommonSubsumer.lcs(ELConceptDescription C, ELConceptDescription D)
static ELConceptDescription	ELLeastCommonSubsumer.lcs(Set<ELConceptDescription> Cs)
static ELConceptDescription	ELLeastCommonSubsumer.lcsOfMutuallyIncomparable(ELConceptDescription C, ELConceptDescription D)
static ELConceptDescription	ELLeastCommonSubsumer.lcsOfMutuallyIncomparable(Set<ELConceptDescription> Ds)
static ELConceptDescription	ELConceptDescription.of(org.semanticweb.owlapi.model.OWLClassExpression concept)
static ELConceptDescription	ELConceptDescription.parse(String expression)
static ELConceptDescription	ELConceptDescription.random(Signature sigma, int maxRoleDepth, int minSize, int maxSize)
ELConceptDescription	ELConceptDescription.reduce()
ELConceptDescription	ELConceptDescription.smallest()
ELConceptDescription	ELConceptDescription.supremum(ELConceptDescription e)
static ELConceptDescription	ELConceptDescription.top()
ELConceptDescription	ELConceptDescription.without(ELConceptDescription that)

Methods in conexp.fx.core.dl that return types with arguments of type ELConceptDescription

Modifier and Type	Method and Description
static BiFunction<ELConceptDescription,ELConceptDescription,Integer>	ELConceptDescription.distance()
static BiFunction<ELConceptDescription,ELConceptDescription,Integer>	ELConceptDescription.distance()
static BiPredicate<ELConceptDescription,ELConceptDescription>	ELConceptDescription.dualNeighborhood()
static BiPredicate<ELConceptDescription,ELConceptDescription>	ELConceptDescription.dualNeighborhood()
static BiPredicate<ELConceptDescription,ELConceptDescription>	ELConceptDescription.dualQuasiOrder()
static BiPredicate<ELConceptDescription,ELConceptDescription>	ELConceptDescription.dualQuasiOrder()
static BiPredicate<ELConceptDescription,ELConceptDescription>	ELConceptDescription.equivalence()
static BiPredicate<ELConceptDescription,ELConceptDescription>	ELConceptDescription.equivalence()
ELInterpretation2<ELConceptDescription>	ELTBox.getCanonicalModel(ELConceptDescription C)
ELInterpretation2<ELConceptDescription>	ELTBox.getCanonicalModelLutz(ELConceptDescription C)
com.google.common.collect.Multimap<org.semanticweb.owlapi.model.IRI,ELConceptDescription>	ELConceptDescription.getExistentialRestrictions()
Set<ELConceptDescription>	ELConceptDescription.lowerNeighbors(Signature sigma)
Set<ELConceptDescription>	ELConceptDescription.lowerNeighbors1(Signature sigma)
Set<ELConceptDescription>	ELConceptDescription.lowerNeighborsA(Signature sigma)
Set<ELConceptDescription>	ELConceptDescription.lowerNeighborsB(Signature sigma)
Set<ELConceptDescription>	ELConceptDescription.lowerNeighborsReduced1(Signature sigma)
static BiPredicate<ELConceptDescription,ELConceptDescription>	ELConceptDescription.neighborhood()
static BiPredicate<ELConceptDescription,ELConceptDescription>	ELConceptDescription.neighborhood()
Set<ELConceptDescription>	ELConceptDescription.neighborhood(int radius, Signature sigma)
static BiPredicate<ELConceptDescription,ELConceptDescription>	ELConceptDescription.quasiOrder()
static BiPredicate<ELConceptDescription,ELConceptDescription>	ELConceptDescription.quasiOrder()
Collection<ELConceptDescription>	ELConceptDescription.topLevelConjuncts()
Set<ELConceptDescription>	ELConceptDescription.upperNeighbors()
Set<ELConceptDescription>	ELConceptDescription.upperNeighborsReduced()

Methods in conexp.fx.core.dl with parameters of type ELConceptDescription

Modifier and Type	Method and Description
ELConceptDescription	ELConceptDescription.and(ELConceptDescription that)
int	ELConceptDescription.compareTo(ELConceptDescription other)
static ELConceptDescription	ELConceptDescription.conjunction(ELConceptDescription... conjuncts)
int	ELConceptDescription.distanceTo(ELConceptDescription other)
int	ELConceptDescription.distanceTo2(ELConceptDescription other)
boolean	ELConceptDescription.equivalent(ELConceptDescription other)
static ELConceptDescription	ELConceptDescription.existentialRestriction(org.semanticweb.owlapi.model.IRI roleName, ELConceptDescription filler)
static ELConceptDescription	ELConceptDescription.existentialRestriction(List<org.semanticweb.owlapi.model.IRI> rs, ELConceptDescription C)
ELInterpretation2<ELConceptDescription>	ELTBox.getCanonicalModel(ELConceptDescription C)
ELInterpretation2<ELConceptDescription>	ELTBox.getCanonicalModelLutz(ELConceptDescription C)
Set<I>	ELInterpretation2.getExtension(ELConceptDescription conceptDescription)
ELConceptDescription	ELTBox.getMostSpecificConsequence(ELConceptDescription C, int roleDepth)
ELConceptDescription	ELTBox.getMostSpecificConsequenceLutz(ELConceptDescription C, int roleDepth)
boolean	ELConceptDescription.greater(ELConceptDescription other)
boolean	ELConceptDescription.greaterEq(ELConceptDescription other)
boolean	ELConceptDescription.inf(ELConceptDescription e)
ELConceptDescription	ELConceptDescription.infimum(ELConceptDescription e)
boolean	ELConceptDescription.isEquivalentTo(ELConceptDescription other)
boolean	ELInterpretation2.isInExtensionOf(I i, ELConceptDescription conceptDescription)
boolean	ELConceptDescription.isLowerNeighborOf(ELConceptDescription other)
boolean	ELConceptDescription.isSubsumedBy(ELConceptDescription other)
static boolean	ELReasoner.isSubsumedBy(ELConceptDescription concept1, ELConceptDescription concept2)
static boolean	ELReasoner.isSubsumedBy(ELConceptDescription concept1, ELConceptDescription concept2, ELTBox tBox)
static boolean	ELReasoner.isSubsumedBy(ELConceptDescription concept1, ELConceptDescription concept2, org.semanticweb.owlapi.model.OWLOntology ontology)
boolean	ELConceptDescription.isUpperNeighborOf(ELConceptDescription other)
ELConceptDescription	ELConceptDescription.lcs(ELConceptDescription that)
static ELConceptDescription	ELLeastCommonSubsumer.lcs(ELConceptDescription C, ELConceptDescription D)
static ELConceptDescription	ELLeastCommonSubsumer.lcsOfMutuallyIncomparable(ELConceptDescription C, ELConceptDescription D)
boolean	ELConceptDescription.smaller(ELConceptDescription other)
boolean	ELConceptDescription.smallerEq(ELConceptDescription other)
boolean	ELConceptDescription.subsumes(ELConceptDescription other)
static boolean	ELReasoner.subsumes(ELConceptDescription concept1, ELConceptDescription concept2)
boolean	ELConceptDescription.sup(ELConceptDescription e)
ELConceptDescription	ELConceptDescription.supremum(ELConceptDescription e)
boolean	ELConceptDescription.uncomparable(ELConceptDescription other)
ELConceptDescription	ELConceptDescription.without(ELConceptDescription that)

Method parameters in conexp.fx.core.dl with type arguments of type ELConceptDescription

Modifier and Type	Method and Description
static ELConceptDescription	ELConceptDescription.conjunction(Collection<ELConceptDescription> conjuncts)
static ELConceptDescription	ELConceptDescription.existentialRestriction(Map.Entry<org.semanticweb.owlapi.model.IRI,ELConceptDescription> entry)
static ELConceptDescription	ELLeastCommonSubsumer.lcs(Set<ELConceptDescription> Cs)
static ELConceptDescription	ELLeastCommonSubsumer.lcsOfMutuallyIncomparable(Set<ELConceptDescription> Ds)

Constructors in conexp.fx.core.dl with parameters of type ELConceptDescription

Constructor and Description
ELConceptInclusion(ELConceptDescription subsumee, ELConceptDescription subsumer)

Constructor parameters in conexp.fx.core.dl with type arguments of type ELConceptDescription

Constructor and Description
ELAxiomatizer(Signature sigma, int roleDepth, boolean withBot, Predicate<ELConceptDescription> hasEmptySupport, DualClosureOperator<ELConceptDescription> clop)
ELAxiomatizer(Signature sigma, int roleDepth, boolean withBot, Predicate<ELConceptDescription> hasEmptySupport, DualClosureOperator<ELConceptDescription> clop)
ELConceptDescription(Set<org.semanticweb.owlapi.model.IRI> conceptNames, com.google.common.collect.Multimap<org.semanticweb.owlapi.model.IRI,ELConceptDescription> existentialRestrictions)

Uses of ELConceptDescription in conexp.fx.core.dl.deprecated

Methods in conexp.fx.core.dl.deprecated that return ELConceptDescription

Modifier and Type	Method and Description
ELConceptDescription	ELInterpretation.getMostSpecificConcept(org.semanticweb.owlapi.model.IRI individual, int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.
ELConceptDescription	ELInterpretation.getMostSpecificConcept(Set<org.semanticweb.owlapi.model.IRI> individuals, int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.

Methods in conexp.fx.core.dl.deprecated that return types with arguments of type ELConceptDescription

Modifier and Type	Method and Description
protected SetList<ELConceptDescription>	ELInterpretation.getAttributeSetForInducedContext(int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.
protected Set<Implication<org.semanticweb.owlapi.model.IRI,ELConceptDescription>>	ELInterpretation.getBackgroundImplications(Context<org.semanticweb.owlapi.model.IRI,ELConceptDescription> inducedContext, ELTBox backgroundTBox) Deprecated.

Methods in conexp.fx.core.dl.deprecated with parameters of type ELConceptDescription

Modifier and Type	Method and Description
boolean	ELInterpretation.isInstanceOf(org.semanticweb.owlapi.model.IRI individual, ELConceptDescription conceptExpression) Deprecated.

Method parameters in conexp.fx.core.dl.deprecated with type arguments of type ELConceptDescription

Modifier and Type	Method and Description
protected Set<Implication<org.semanticweb.owlapi.model.IRI,ELConceptDescription>>	ELInterpretation.getBackgroundImplications(Context<org.semanticweb.owlapi.model.IRI,ELConceptDescription> inducedContext, ELTBox backgroundTBox) Deprecated.

Uses of ELConceptDescription in conexp.fx.core.math

Methods in conexp.fx.core.math that return types with arguments of type ELConceptDescription

Modifier and Type	Method and Description
static <I> DualClosureOperator<ELConceptDescription>	DualClosureOperator.fromInterpretation(ELInterpretation2<I> i, int d)
static DualClosureOperator<ELConceptDescription>	DualClosureOperator.fromTBox(ELTBox t, int d)