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
uk.ac.manchester.cs.jfact.split

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
protected List<Expression>	TranslationMachinery.translateIndividualSet(Set<org.semanticweb.owlapi.model.OWLIndividual> inds)

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<Representation extends Comparable<Representation>>
interface	DatatypeExpression<Representation extends Comparable<Representation>> 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	DatatypeEnumeration<R extends Comparable<R>>
class	DatatypeNegation<R extends Comparable<R>>
class	DatatypeNumericEnumeration<R extends Comparable<R>>
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 that return Expression

Modifier and Type	Method and Description
Expression	TDag2Interface.getExpr(int p, boolean data)

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

Modifier and Type	Method and Description
ObjectRoleComplexExpression	ExpressionManager.compose(Expression e1, Expression e2)
Axiom	ReasoningKernel.declare(org.semanticweb.owlapi.model.OWLAxiom ax, Expression C) axiom declare(x)
void	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
ConceptExpression	ExpressionManager.and(List<Expression> l) get an n-ary conjunction expression; take the arguments from the last argument list
ObjectRoleComplexExpression	ExpressionManager.compose(List<Expression> l) get a role chain corresponding to R1 o ...
DataExpression	ExpressionManager.dataAnd(List<Expression> l) get an n-ary data conjunction expression
DataExpression	ExpressionManager.dataOneOf(List<Expression> l) get an n-ary data one-of expression
DataExpression	ExpressionManager.dataOr(List<Expression> l) get an n-ary data disjunction expression
Axiom	ReasoningKernel.disjointConcepts(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) axiom C1 != ...
Axiom	ReasoningKernel.disjointDRoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) axiom R1 != R2 != ...
Axiom	ReasoningKernel.disjointORoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) axiom R1 != R2 != ...
Axiom	ReasoningKernel.disjointUnion(org.semanticweb.owlapi.model.OWLAxiom ax, ConceptExpression C, List<Expression> l) axiom C = C1 or ...
Axiom	ReasoningKernel.equalConcepts(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) axiom C1 = ...
Axiom	ReasoningKernel.equalDRoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) axiom R1 = R2 = ...
Axiom	ReasoningKernel.equalORoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) axiom R1 = R2 = ...
List<Axiom>	ReasoningKernel.getModule(List<Expression> signature, boolean useSemantic, ModuleType type) get a set of axioms that corresponds to the atom with the id INDEX
Set<Axiom>	ReasoningKernel.getNonLocal(List<Expression> signature, boolean useSemantic, ModuleType type) get a set of axioms that corresponds to the atom with the id INDEX
ConceptExpression	ExpressionManager.oneOf(List<Expression> l) get an n-ary one-of expression; take the arguments from the last argument list
ConceptExpression	ExpressionManager.or(List<Expression> l) get an n-ary disjunction expression; take the arguments from the last argument list
Axiom	ReasoningKernel.processDifferent(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) different individuals
Axiom	ReasoningKernel.processSame(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) same individuals
Axiom	ReasoningKernel.setFairnessConstraint(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> l) let all concept expressions in the ArgQueue to be fairness constraints

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

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

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

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

Modifier and Type	Method and Description
List<Expression>	TaxonomyActor.tryEntry(ClassifiableEntry p) try current entry

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<Argument extends Expression>

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

Modifier and Type	Class and Description
class	AbstractConceptDataCardinality
class	ConceptAnd
class	ConceptBottom
class	ConceptDataExactCardinality
class	ConceptDataExists
class	ConceptDataForall
class	ConceptDataMaxCardinality
class	ConceptDataMinCardinality
class	ConceptDataValue
class	ConceptName
class	ConceptNot
class	ConceptObjectExactCardinality
class	ConceptObjectExists
class	ConceptObjectForall
class	ConceptObjectMaxCardinality
class	ConceptObjectMinCardinality
class	ConceptObjectSelf
class	ConceptObjectValue
class	ConceptOneOf
class	ConceptOr
class	ConceptTop
class	DataAnd
class	DataBottom
class	DataNot
class	DataOneOf
class	DataOr
class	DataRoleBottom
class	DataRoleName
class	DataRoleTop
class	DataTop
class	IndividualName
class	ObjectRoleBottom
class	ObjectRoleChain
class	ObjectRoleInverse
class	ObjectRoleName
class	ObjectRoleProjectionFrom
class	ObjectRoleProjectionInto
class	ObjectRoleTop

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)
Argument	NAryExpressionImpl.transform(Expression arg) transform general expression into the argument one

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

Modifier and Type	Method and Description
void	NAryExpressionImpl.add(Collection<Expression> v)

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

Constructor and Description
ConceptAnd(List<Expression> v) create AND of expressions from the given array
ConceptOneOf(List<Expression> v) create one-of from individuals in the given array
ConceptOr(List<Expression> v) create OR of expressions from the given array
DataAnd(List<Expression> v) create AND of expressions from the given array
DataOneOf(List<Expression> v) create one-of from individuals in the given array
DataOr(List<Expression> v) create OR of expressions from the given array
ObjectRoleChain(List<Expression> v) create role chain from given array

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
Expression	AxiomDeclaration.getDeclaration()

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)

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

Modifier and Type	Method and Description
void	AbstractNaryAxiom.add(Collection<Expression> v)

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)

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

Constructor and Description
AbstractNaryAxiom(org.semanticweb.owlapi.model.OWLAxiom ax, Collection<Expression> v)
AxiomDifferentIndividuals(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> v)
AxiomDisjointConcepts(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> v)
AxiomDisjointDRoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> v)
AxiomDisjointORoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> v)
AxiomDisjointUnion(org.semanticweb.owlapi.model.OWLAxiom ax, ConceptExpression c, Collection<Expression> v)
AxiomEquivalentConcepts(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> v)
AxiomEquivalentDRoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> v)
AxiomEquivalentORoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> v)
AxiomFairnessConstraint(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> v)
AxiomSameIndividuals(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> v)

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<Argument extends 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
interface	ConceptDataRVExpression
interface	ConceptExpression
interface	ConceptObjectCardinalityExpression
interface	ConceptObjectRCExpression
interface	ConceptObjectRoleExpression general concept expression that contains an object role
interface	DataExpression
interface	DataRoleExpression
interface	IndividualExpression
interface	ObjectRoleComplexExpression
interface	ObjectRoleExpression
interface	RoleExpression

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

Modifier and Type	Method and Description
void	NAryExpression.add(Expression p) add a single element to the array
Argument	NAryExpression.transform(Expression arg) transform general expression into the argument one

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

Modifier and Type	Method and Description
void	NAryExpression.add(Collection<Expression> v) add a vector

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

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

Modifier and Type	Method and Description
boolean	TSignature.contains(Expression p)
boolean	SigAccessor.isTopOrBuiltInDataType(Expression expr)
boolean	SigAccessor.isTopOrBuiltInInfDataType(Expression expr)