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

Packages that use ELTBox

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

Uses of ELTBox in conexp.fx.core.dl

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

Modifier and Type	Method and Description
ELTBox	ELAxiomatizer.compute()

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

Modifier and Type	Method and Description
static <I> ELAxiomatizer	ELAxiomatizer.from(Signature sigma, ELInterpretation2<I> i, ELTBox t, int roleDepth)
static boolean	ELReasoner.isSubsumedBy(ELConceptDescription concept1, ELConceptDescription concept2, ELTBox tBox)
boolean	ELInterpretation2.models(ELTBox tBox)

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

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

Modifier and Type	Method and Description
ELTBox	ELInterpretation.computeTBoxBase(int roleDepth, int maxCardinality, ELTBox backgroundTBox, Constructor... constructors) Deprecated.

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

Modifier and Type	Method and Description
ELTBox	ELInterpretation.computeTBoxBase(int roleDepth, int maxCardinality, ELTBox backgroundTBox, 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.
boolean	ELInterpretation.models(ELTBox tBox) Deprecated.

Uses of ELTBox in conexp.fx.core.math

Methods in conexp.fx.core.math with parameters of type ELTBox

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