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

Packages that use Expression

Package	Description
uk.ac.manchester.cs.jfact
uk.ac.manchester.cs.jfact.datatypes
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.actors
uk.ac.manchester.cs.jfact.kernel.dl
uk.ac.manchester.cs.jfact.kernel.dl.axioms
uk.ac.manchester.cs.jfact.kernel.dl.interfaces

Uses of Expression in uk.ac.manchester.cs.jfact

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

Modifier and Type	Method and Description
List<Expression>	TranslationMachinery.translateExpressions(Stream<org.semanticweb.owlapi.model.OWLEntity> signature)

Uses of Expression in uk.ac.manchester.cs.jfact.datatypes

Subinterfaces of Expression in uk.ac.manchester.cs.jfact.datatypes

Modifier and Type	Interface and Description
interface	Datatype<R extends Comparable<R>>
interface	DatatypeExpression<R extends Comparable<R>> Represents an extended datatype - intersection, union or further restrictions.
interface	Literal<T extends Comparable<T>>
interface	NumericDatatype<R extends Comparable<R>> all Datatypes whose getNumeric() method returns true implement this interface
interface	NumericLiteral<R extends Comparable<R>> all literals whose datatype is numeric

Classes in uk.ac.manchester.cs.jfact.datatypes that implement Expression

Modifier and Type	Class and Description
class	AbstractDatatype<R extends Comparable<R>>
class	DatatypeEnumeration<R extends Comparable<R>>
class	DatatypeNegation<R extends Comparable<R>> datatype negation
class	DatatypeNumericEnumeration<R extends Comparable<R>> numeric enumeration
class	NumericLiteralImpl<R extends Comparable<R>> all literals whose datatype is numeric

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

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

Modifier and Type	Method and Description
<T extends Expression> TaxonomyActor<T>	ReasoningKernel.getConcepts(ConceptExpression c, boolean direct, TaxonomyActor<T> actor, boolean supDirection) apply actor__apply() to all super/sub-concepts of [complex] C
<T extends Expression> TaxonomyActor<T>	ReasoningKernel.getDisjointConcepts(ConceptExpression c, TaxonomyActor<T> actor) apply actor::apply() to all named concepts disjoint with [complex] C
<T extends Expression> TaxonomyActor<T>	ReasoningKernel.getEquivalentConcepts(ConceptExpression c, TaxonomyActor<T> actor) apply actor__apply() to all synonyms of [complex] C
<T extends Expression> TaxonomyActor<T>	ReasoningKernel.getSameAs(IndividualName i, TaxonomyActor<T> actor) apply actor__apply() to all synonyms of an individual I
<T extends Expression> TaxonomyActor<T>	ReasoningKernel.getTypes(IndividualName i, boolean direct, TaxonomyActor<T> actor) apply actor__apply() to all DIRECT concepts that are types of an individual I

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

Modifier and Type	Method and Description
Expression	OntologyLoader.ensureNames(Expression expr) ensure that the expression EXPR has its named entities linked to the KB ones
Expression	TDag2Interface.getExpr(int p, boolean data)

Methods in uk.ac.manchester.cs.jfact.kernel that return types with arguments of type Expression

Modifier and Type	Method and Description
Stream<Expression>	Ontology.signature()

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

Modifier and Type	Method and Description
DLTree	ReasoningKernel.e(Expression expr)
Expression	OntologyLoader.ensureNames(Expression expr) ensure that the expression EXPR has its named entities linked to the KB ones

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

Modifier and Type	Method and Description
Collection<org.semanticweb.owlapitools.decomposition.AxiomWrapper>	ReasoningKernel.getModule(List<Expression> signature, boolean useSemantic, uk.ac.manchester.cs.owlapi.modularity.ModuleType type, org.semanticweb.owlapi.reasoner.OWLReasoner r)
Set<org.semanticweb.owlapitools.decomposition.AxiomWrapper>	ReasoningKernel.getNonLocal(List<Expression> signature, boolean useSemantic, uk.ac.manchester.cs.owlapi.modularity.ModuleType type, org.semanticweb.owlapi.reasoner.OWLReasoner r)

Uses of Expression in uk.ac.manchester.cs.jfact.kernel.actors

Classes in uk.ac.manchester.cs.jfact.kernel.actors with type parameters of type Expression

Modifier and Type	Class and Description
class	TaxonomyActor<T extends Expression> class for acting with concept taxonomy

Methods in uk.ac.manchester.cs.jfact.kernel.actors that return Expression

Modifier and Type	Method and Description
Expression	Policy.buildTree(ExpressionCache em, ClassifiableEntry p)
Expression	IndividualPolicy.buildTree(ExpressionCache em, ClassifiableEntry p)
Expression	DataPropertyPolicy.buildTree(ExpressionCache em, ClassifiableEntry p)
Expression	ObjectPropertyPolicy.buildTree(ExpressionCache em, ClassifiableEntry p)
Expression	ClassPolicy.buildTree(ExpressionCache em, ClassifiableEntry p)

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

Classes in uk.ac.manchester.cs.jfact.kernel.dl with type parameters of type Expression

Modifier and Type	Class and Description
class	NAryExpressionImpl<A extends Expression> nary expression base

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

Modifier and Type	Class and Description
class	AbstractConceptDataCardinality base class for data cardinality
class	ConceptAnd concept intersection
class	ConceptBottom bottom
class	ConceptDataExactCardinality data exact cardinality
class	ConceptDataExists exist data restriction
class	ConceptDataForall forall data restriction
class	ConceptDataMaxCardinality data max cardinality
class	ConceptDataMinCardinality data min cardinality
class	ConceptDataValue concept data value
class	ConceptName named concept
class	ConceptNot concept negation
class	ConceptObjectExactCardinality object exact cardinality
class	ConceptObjectExists object exist restriction
class	ConceptObjectForall forall object restriction
class	ConceptObjectMaxCardinality object max cardinality
class	ConceptObjectMinCardinality object min cardinality
class	ConceptObjectSelf self object restriction
class	ConceptObjectValue object value restriction
class	ConceptOneOf<I extends IndividualExpression> object nominal
class	ConceptOr concept union
class	ConceptTop top
class	DataAnd data intersection
class	DataBottom data bottom concept
class	DataNot data negation
class	DataOneOf data one of
class	DataOr data union
class	DataRoleBottom data bottom property
class	DataRoleName data role name
class	DataRoleTop data role top
class	DataTop data top
class	IndividualName individual name
class	ObjectRoleBottom bottom object role
class	ObjectRoleChain object role chain
class	ObjectRoleInverse object role inverse
class	ObjectRoleName object role
class	ObjectRoleProjectionFrom object role projection from
class	ObjectRoleProjectionInto object role projection into
class	ObjectRoleTop object role top

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

Modifier and Type	Method and Description
void	NAryExpressionImpl.add(Expression p)
A	NAryExpressionImpl.transform(Expression arg) transform general expression into the argument one

Uses of Expression in uk.ac.manchester.cs.jfact.kernel.dl.axioms

Classes in uk.ac.manchester.cs.jfact.kernel.dl.axioms with type parameters of type Expression

Modifier and Type	Class and Description
class	AbstractNaryAxiom<I extends Expression> n-ary axiom base class

Methods in uk.ac.manchester.cs.jfact.kernel.dl.axioms that return Expression

Modifier and Type	Method and Description
static Expression	Axioms.dummyExpression()
Expression	AxiomDeclaration.getDeclaration()

Methods in uk.ac.manchester.cs.jfact.kernel.dl.axioms that return types with arguments of type Expression

Modifier and Type	Method and Description
Stream<Expression>	AxiomDRoleRange.namedEntitySignature()
Stream<Expression>	AxiomORoleSubsumption.namedEntitySignature()
Stream<Expression>	AxiomRelatedToNot.namedEntitySignature()
abstract Stream<Expression>	AxiomImpl.namedEntitySignature()
Stream<Expression>	AxiomDRoleDomain.namedEntitySignature()
Stream<Expression>	AxiomValueOfNot.namedEntitySignature()
Stream<Expression>	AbstractNaryAxiom.namedEntitySignature()
Stream<Expression>	AxiomDRoleSubsumption.namedEntitySignature()
Stream<Expression>	AxiomORoleDomain.namedEntitySignature()
Stream<Expression>	AxiomInstanceOf.namedEntitySignature()
Stream<Expression>	AxiomDeclaration.namedEntitySignature()
Stream<Expression>	AxiomORoleRange.namedEntitySignature()
Stream<Expression>	AxiomRelatedTo.namedEntitySignature()
Stream<Expression>	AxiomRoleInverse.namedEntitySignature()
Stream<Expression>	AxiomSingleORole.namedEntitySignature()
Stream<Expression>	AxiomSingleDRole.namedEntitySignature()
Stream<Expression>	AxiomValueOf.namedEntitySignature()
Stream<Expression>	AxiomConceptInclusion.namedEntitySignature()

Methods in uk.ac.manchester.cs.jfact.kernel.dl.axioms with parameters of type Expression

Modifier and Type	Method and Description
void	AbstractNaryAxiom.add(Expression p)
I	AbstractNaryAxiom.transform(Expression arg)

Constructors in uk.ac.manchester.cs.jfact.kernel.dl.axioms with parameters of type Expression

Constructor and Description
AxiomDeclaration(org.semanticweb.owlapi.model.OWLAxiom ax, Expression d)

Uses of Expression in uk.ac.manchester.cs.jfact.kernel.dl.interfaces

Classes in uk.ac.manchester.cs.jfact.kernel.dl.interfaces with type parameters of type Expression

Modifier and Type	Interface and Description
interface	NAryExpression<A extends Expression> nary expression

Subinterfaces of Expression in uk.ac.manchester.cs.jfact.kernel.dl.interfaces

Modifier and Type	Interface and Description
interface	ConceptDataCardinalityExpression general data role cardinality expression
interface	ConceptDataRoleExpression data role expression
interface	ConceptDataRVExpression data restriction
interface	ConceptExpression concept expression
interface	ConceptObjectCardinalityExpression object cardinality expression
interface	ConceptObjectRCExpression object restriction expression
interface	ConceptObjectRoleExpression general concept expression that contains an object role
interface	DataExpression data expression
interface	DataRoleExpression data role expression
interface	IndividualExpression individual expression
interface	ObjectRoleComplexExpression object role complex expression
interface	ObjectRoleExpression object role expression
interface	RoleExpression role expression

Methods in uk.ac.manchester.cs.jfact.kernel.dl.interfaces with parameters of type Expression

Modifier and Type	Method and Description
A	NAryExpression.transform(Expression arg)