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

Packages that use DataRoleExpression

Package	Description
uk.ac.manchester.cs.jfact
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.kernel.dl.interfaces

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

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

Modifier and Type	Method and Description
Set<DataRoleExpression>	KnowledgeExplorer.getDataRoles(DlCompletionTree node, boolean onlyDet)

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

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

Modifier and Type	Method and Description
static DataRoleExpression	ExpressionManager.dataRoleBottom()
static DataRoleExpression	ExpressionManager.dataRoleTop()

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

Modifier and Type	Method and Description
Set<DataRoleExpression>	ReasoningKernel.getDataRoles(DlCompletionTree node, boolean onlyDet) build the set of data neighbours of a NODE, put the set of data roles into the RESULT variable

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

Modifier and Type	Method and Description
static ConceptExpression	ExpressionManager.cardinality(int n, DataRoleExpression r, DataExpression e)
static ConceptExpression	ExpressionManager.exists(DataRoleExpression r, DataExpression e)
static ConceptExpression	ExpressionManager.forall(DataRoleExpression r, DataExpression e)
<T extends ConceptExpression> TaxonomyActor<T>	ReasoningKernel.getDRoleDomain(DataRoleExpression r, boolean direct, TaxonomyActor<T> actor) apply actor::apply() to all DIRECT NC that are in the domain of data role R
boolean	ReasoningKernel.isDisjointRoles(DataRoleExpression or, DataRoleExpression os)
boolean	ReasoningKernel.isFunctional(DataRoleExpression r)
static ConceptExpression	ExpressionManager.maxCardinality(int n, DataRoleExpression r, DataExpression e)
static ConceptExpression	ExpressionManager.minCardinality(int n, DataRoleExpression r, DataExpression e)
static ConceptExpression	ExpressionManager.value(DataRoleExpression r, Literal<?> v)

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

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

Modifier and Type	Class and Description
class	DataRoleBottom data bottom property
class	DataRoleName data role name
class	DataRoleTop data role top

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

Modifier and Type	Method and Description
DataRoleExpression	ConceptDataValue.getDataRoleExpression()
DataRoleExpression	ConceptDataForall.getDataRoleExpression() get access to the argument
DataRoleExpression	ConceptDataExists.getDataRoleExpression() get access to the argument
DataRoleExpression	AbstractConceptDataCardinality.getDataRoleExpression() get access to the argument

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

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)
ConceptDataValue(DataRoleExpression r, Literal<?> v)

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

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

Modifier and Type	Method and Description
DataRoleExpression	AxiomValueOfNot.getAttribute()
DataRoleExpression	AxiomValueOf.getAttribute()
DataRoleExpression	AxiomSingleDRole.getRole()
DataRoleExpression	AxiomDRoleSubsumption.getSubRole()

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

Constructor and Description
AxiomDRoleDomain(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression role, ConceptExpression domain)
AxiomDRoleFunctional(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression role)
AxiomDRoleRange(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression role, DataExpression range)
AxiomDRoleSubsumption(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression subRole, DataRoleExpression supRole)
AxiomValueOf(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression i, DataRoleExpression a, Literal<?> v)
AxiomValueOfNot(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression i, DataRoleExpression a, Literal<?> v)

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

Constructor and Description
AxiomDisjointDRoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<DataRoleExpression> v)
AxiomEquivalentDRoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<DataRoleExpression> v)

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

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

Modifier and Type	Method and Description
DataRoleExpression	DataRoleArg.getDataRoleExpression()