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

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

Modifier and Type	Method and Description
DataRoleExpression	TranslationMachinery.getBottomDataProperty()
DataRoleExpression	TranslationMachinery.getTopDataProperty()
protected DataRoleExpression	TranslationMachinery.toDataPropertyPointer(org.semanticweb.owlapi.model.OWLDataPropertyExpression propertyExpression)

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
DataRoleExpression	ExpressionManager.dataRole(String name) get named data role
DataRoleExpression	ExpressionManager.dataRoleBottom() get BOTTOM data role
DataRoleExpression	ExpressionManager.dataRoleTop() get TOP data role

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

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
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
Axiom	ReasoningKernel.impliesDRoles(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression R, DataRoleExpression S) axiom (R [= S)
boolean	ReasoningKernel.isDisjointRoles(DataRoleExpression R, DataRoleExpression S)
boolean	ReasoningKernel.isFunctional(DataRoleExpression R)
boolean	ReasoningKernel.isSubRoles(DataRoleExpression R, DataRoleExpression S)
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.setDDomain(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression R, ConceptExpression C) Domain (R C)
Axiom	ReasoningKernel.setDFunctional(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression R) Functional (R)
Axiom	ReasoningKernel.setDRange(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression R, DataExpression E) Range (R E)
ConceptExpression	ExpressionManager.value(DataRoleExpression R, Literal<?> V) get value restriction wrt a data role R and a data value V
Axiom	ReasoningKernel.valueOf(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, DataRoleExpression A, Literal<?> V) axiom (value I A V)
Axiom	ReasoningKernel.valueOfNot(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, DataRoleExpression A, Literal<?> V) axiom :\neg A

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

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

Modifier and Type	Method and Description
Collection<Collection<DataRoleExpression>>	TaxonomyActor.getDataPropertyElements()
Collection<DataRoleExpression>	TaxonomyActor.getDataPropertySynonyms()

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
class	DataRoleName
class	DataRoleTop

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
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)
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() access to role
DataRoleExpression	AxiomValueOf.getAttribute() access to role
DataRoleExpression	AxiomSingleDRole.getRole() access to role
DataRoleExpression	AxiomDRoleSubsumption.getSubRole() access to role

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)
AxiomSingleDRole(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression role)
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)

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() get access to the argument