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

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
DataExpression	DataRangeTranslator.visit(org.semanticweb.owlapi.model.OWLDataComplementOf node)
DataExpression	DataRangeTranslator.visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf node)
DataExpression	DataRangeTranslator.visit(org.semanticweb.owlapi.model.OWLDataOneOf node)
DataExpression	DataRangeTranslator.visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction node)
DataExpression	DataRangeTranslator.visit(org.semanticweb.owlapi.model.OWLDataUnionOf node)

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

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

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

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 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)
static DataExpression	ExpressionManager.dataAnd(List<DataExpression> l)
static DataExpression	ExpressionManager.dataNot(DataExpression rm)
static DataExpression	ExpressionManager.dataOneOf(List<Literal<?>> l)
static DataExpression	ExpressionManager.dataOr(List<DataExpression> l)
static DataExpression	ExpressionManager.dataTop()
DataExpression	TDag2Interface.getDExpr(int p)

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
static ConceptExpression	ExpressionManager.cardinality(int n, DataRoleExpression r, DataExpression e)
static DataExpression	ExpressionManager.dataNot(DataExpression rm)
static ConceptExpression	ExpressionManager.exists(DataRoleExpression r, DataExpression e)
static ConceptExpression	ExpressionManager.forall(DataRoleExpression r, DataExpression e)
static ConceptExpression	ExpressionManager.maxCardinality(int n, DataRoleExpression r, DataExpression e)
static ConceptExpression	ExpressionManager.minCardinality(int n, DataRoleExpression r, DataExpression e)

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

Modifier and Type	Method and Description
static DataExpression	ExpressionManager.dataAnd(List<DataExpression> l)
static DataExpression	ExpressionManager.dataOr(List<DataExpression> l)

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 data intersection
class	DataBottom data bottom concept
class	DataNot data negation
class	DataOneOf data one of
class	DataOr data union
class	DataTop data top

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

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

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

Constructor and Description
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)

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

Constructor and Description
DataAnd(List<DataExpression> v) create AND of expressions from the given array
DataOr(List<DataExpression> v) create OR of expressions from the given array

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()

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)