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

Packages that use DataExpression

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

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

Methods in uk.ac.manchester.cs.jfact that return DataExpression

Modifier and Type	Method and Description
protected DataExpression	TranslationMachinery.toDataTypeExpressionPointer(org.semanticweb.owlapi.model.OWLDataRange dataRange)

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

Subinterfaces of DataExpression 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 DataExpression

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 DataExpression in uk.ac.manchester.cs.jfact.kernel

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

Modifier and Type	Method and Description
DataExpression	TDag2Interface.buildDExpr(DLVertex v) build data expression by a vertex V
DataExpression	ExpressionManager.dataAnd(List<Expression> l) get an n-ary data conjunction expression
DataExpression	ExpressionManager.dataBottom() get BOTTOM data element
DataExpression	ExpressionManager.dataNot(DataExpression E) get negation of a data expression E
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
DataExpression	ExpressionManager.dataTop() get TOP data element
DataExpression	TDag2Interface.getDExpr(int p) get data expression corresponding index of vertex

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

Modifier and Type	Method and Description
List<DataExpression>	ReasoningKernel.getDataLabel(DlCompletionTree node, boolean onlyDet)

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

Modifier and Type	Method and Description
ConceptExpression	ExpressionManager.cardinality(int n, DataRoleExpression R, DataExpression E) get exact cardinality restriction wrt number N, a data role R and a data expression E
DataExpression	ExpressionManager.dataNot(DataExpression E) get negation of a data expression E
ConceptExpression	ExpressionManager.exists(DataRoleExpression R, DataExpression E) get existential restriction wrt a data role R and a data expression E
ConceptExpression	ExpressionManager.forall(DataRoleExpression R, DataExpression E) get universal restriction wrt a data role R and a data expression E
ConceptExpression	ExpressionManager.maxCardinality(int n, DataRoleExpression R, DataExpression E) get max cardinality restriction wrt number N, a data role R and a data expression E
ConceptExpression	ExpressionManager.minCardinality(int n, DataRoleExpression R, DataExpression E) get min cardinality restriction wrt number N, a data role R and a data expression E
Axiom	ReasoningKernel.setDRange(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression R, DataExpression E) Range (R E)

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

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

Modifier and Type	Class and Description
class	DataAnd
class	DataBottom
class	DataNot
class	DataOneOf
class	DataOr
class	DataTop

Fields in uk.ac.manchester.cs.jfact.kernel.dl declared as DataExpression

Modifier and Type	Field and Description
protected DataExpression	DataNot.Expr data expression argument

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

Modifier and Type	Method and Description
DataExpression	DataNot.getExpr() get access to the argument
DataExpression	ConceptDataForall.getExpr()
DataExpression	ConceptDataExists.getExpr()
DataExpression	AbstractConceptDataCardinality.getExpr()

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

Constructor and Description
AbstractConceptDataCardinality(int n, DataRoleExpression R, DataExpression E)
ConceptDataExactCardinality(int n, DataRoleExpression R, DataExpression E)
ConceptDataExists(DataRoleExpression R, DataExpression E)
ConceptDataForall(DataRoleExpression R, DataExpression E)
ConceptDataMaxCardinality(int n, DataRoleExpression R, DataExpression E)
ConceptDataMinCardinality(int n, DataRoleExpression R, DataExpression E)
DataNot(DataExpression E)

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

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

Modifier and Type	Method and Description
DataExpression	AxiomDRoleRange.getRange() access

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

Constructor and Description
AxiomDRoleRange(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression role, DataExpression range)

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

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

Modifier and Type	Method and Description
List<DataExpression>	KnowledgeExplorer.getDataLabel(DlCompletionTree node, boolean onlyDet)