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

Packages that use ConceptExpression

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

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

Modifier and Type	Method and Description
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLClass desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLDataHasValue desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLDataMinCardinality desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectComplementOf desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectHasSelf desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectHasValue desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectOneOf desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom desc)
ConceptExpression	ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectUnionOf desc)

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

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

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

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

Modifier and Type	Method and Description
<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
<T extends ConceptExpression> TaxonomyActor<T>	ReasoningKernel.getORoleDomain(ObjectRoleExpression r, boolean direct, TaxonomyActor<T> actor) apply actor__apply() to all DIRECT NC that are in the domain of [complex] R

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

Modifier and Type	Method and Description
static ConceptExpression	ExpressionManager.and(ConceptExpression c, ConceptExpression d)
static ConceptExpression	ExpressionManager.and(List<ConceptExpression> l)
ConceptExpression	TDag2Interface.buildCExpr(DLVertex v)
static ConceptExpression	ExpressionManager.cardinality(int n, DataRoleExpression r, DataExpression e)
static ConceptExpression	ExpressionManager.cardinality(int n, ObjectRoleExpression r, ConceptExpression c)
static ConceptExpression	ExpressionManager.exists(DataRoleExpression r, DataExpression e)
static ConceptExpression	ExpressionManager.exists(ObjectRoleExpression r, ConceptExpression c)
static ConceptExpression	ExpressionManager.forall(DataRoleExpression r, DataExpression e)
static ConceptExpression	ExpressionManager.forall(ObjectRoleExpression r, ConceptExpression c)
ConceptExpression	TDag2Interface.getCExpr(int p)
static ConceptExpression	ExpressionManager.maxCardinality(int n, DataRoleExpression r, DataExpression e)
static ConceptExpression	ExpressionManager.maxCardinality(int n, ObjectRoleExpression r, ConceptExpression c)
static ConceptExpression	ExpressionManager.minCardinality(int n, DataRoleExpression r, DataExpression e)
static ConceptExpression	ExpressionManager.minCardinality(int n, ObjectRoleExpression r, ConceptExpression c)
static ConceptExpression	ExpressionManager.not(ConceptExpression r)
ConceptExpression	ExpressionCache.oneOf(IndividualExpression i)
ConceptExpression	ExpressionCache.oneOf(List<IndividualExpression> l)
static ConceptExpression	ExpressionManager.or(ConceptExpression c, ConceptExpression d)
static ConceptExpression	ExpressionManager.or(List<ConceptExpression> l)
static ConceptExpression	ExpressionManager.selfReference(ObjectRoleExpression r)
static ConceptExpression	ExpressionManager.value(DataRoleExpression r, Literal<?> v)
static ConceptExpression	ExpressionManager.value(ObjectRoleExpression r, IndividualExpression i)

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

Modifier and Type	Method and Description
List<ConceptExpression>	ReasoningKernel.getObjectLabel(DlCompletionTree node, boolean onlyDet) put into RESULT all the expressions from the NODE label; if ONLYDET is true, return only deterministic elements

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

Modifier and Type	Method and Description
static ConceptExpression	ExpressionManager.and(ConceptExpression c, ConceptExpression d)
DlCompletionTree	ReasoningKernel.buildCompletionTree(ConceptExpression c) build a completion tree for a concept expression C (no caching as it breaks the idea of KE).
static ConceptExpression	ExpressionManager.cardinality(int n, ObjectRoleExpression r, ConceptExpression c)
static ConceptExpression	ExpressionManager.exists(ObjectRoleExpression r, ConceptExpression c)
static ConceptExpression	ExpressionManager.forall(ObjectRoleExpression r, ConceptExpression c)
Actor	ReasoningKernel.getConcepts(ConceptExpression c, boolean direct, Actor actor, boolean supDirection) apply actor__apply() to all DIRECT sub-concepts of [complex] C
<T extends Expression> TaxonomyActor<T>	ReasoningKernel.getConcepts(ConceptExpression c, boolean direct, TaxonomyActor<T> actor, boolean supDirection) apply actor__apply() to all super/sub-concepts of [complex] C
void	ReasoningKernel.getDirectInstances(ConceptExpression c, Actor actor) apply actor__apply() to all direct instances of given [complex] C
<T extends Expression> TaxonomyActor<T>	ReasoningKernel.getDisjointConcepts(ConceptExpression c, TaxonomyActor<T> actor) apply actor::apply() to all named concepts disjoint with [complex] C
<T extends Expression> TaxonomyActor<T>	ReasoningKernel.getEquivalentConcepts(ConceptExpression c, TaxonomyActor<T> actor) apply actor__apply() to all synonyms of [complex] C
void	ReasoningKernel.getInstances(ConceptExpression c, Actor actor) apply actor__apply() to all instances of given [complex] C
TaxonomyActor<IndividualExpression>	ReasoningKernel.getInstances(ConceptExpression c, TaxonomyActor<IndividualExpression> actor, boolean direct)
boolean	ReasoningKernel.isDisjoint(ConceptExpression c, ConceptExpression d)
boolean	ReasoningKernel.isEquivalent(ConceptExpression c, ConceptExpression d)
boolean	ReasoningKernel.isInstance(IndividualExpression i, ConceptExpression c)
boolean	ReasoningKernel.isSatisfiable(ConceptExpression c)
boolean	ReasoningKernel.isSubsumedBy(ConceptExpression c, ConceptExpression d)
static ConceptExpression	ExpressionManager.maxCardinality(int n, ObjectRoleExpression r, ConceptExpression c)
static ConceptExpression	ExpressionManager.minCardinality(int n, ObjectRoleExpression r, ConceptExpression c)
static ConceptExpression	ExpressionManager.not(ConceptExpression r)
static ConceptExpression	ExpressionManager.or(ConceptExpression c, ConceptExpression d)
static ObjectRoleComplexExpression	ExpressionManager.projectFrom(ObjectRoleExpression r, ConceptExpression c)
static ObjectRoleComplexExpression	ExpressionManager.projectInto(ObjectRoleExpression r, ConceptExpression c)

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

Modifier and Type	Method and Description
static ConceptExpression	ExpressionManager.and(List<ConceptExpression> l)
static ConceptExpression	ExpressionManager.or(List<ConceptExpression> l)

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

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

Modifier and Type	Class and Description
class	AbstractConceptDataCardinality base class for data cardinality
class	ConceptAnd concept intersection
class	ConceptBottom bottom
class	ConceptDataExactCardinality data exact cardinality
class	ConceptDataExists exist data restriction
class	ConceptDataForall forall data restriction
class	ConceptDataMaxCardinality data max cardinality
class	ConceptDataMinCardinality data min cardinality
class	ConceptDataValue concept data value
class	ConceptName named concept
class	ConceptNot concept negation
class	ConceptObjectExactCardinality object exact cardinality
class	ConceptObjectExists object exist restriction
class	ConceptObjectForall forall object restriction
class	ConceptObjectMaxCardinality object max cardinality
class	ConceptObjectMinCardinality object min cardinality
class	ConceptObjectSelf self object restriction
class	ConceptObjectValue object value restriction
class	ConceptOneOf<I extends IndividualExpression> object nominal
class	ConceptOr concept union
class	ConceptTop top

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

Modifier and Type	Method and Description
ConceptExpression	ObjectRoleProjectionInto.getConcept()
ConceptExpression	ObjectRoleProjectionFrom.getConcept()
ConceptExpression	ConceptObjectMinCardinality.getConcept()
ConceptExpression	ConceptObjectMaxCardinality.getConcept()
ConceptExpression	ConceptObjectForall.getConcept() get access to the argument
ConceptExpression	ConceptObjectExists.getConcept() get access to the argument
ConceptExpression	ConceptObjectExactCardinality.getConcept()
ConceptExpression	ConceptNot.getConcept() get access to the argument

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

Constructor and Description
ConceptNot(ConceptExpression c)
ConceptObjectExactCardinality(int n, ObjectRoleExpression r, ConceptExpression c)
ConceptObjectExists(ObjectRoleExpression r, ConceptExpression c)
ConceptObjectForall(ObjectRoleExpression r, ConceptExpression c)
ConceptObjectMaxCardinality(int n, ObjectRoleExpression r, ConceptExpression c)
ConceptObjectMinCardinality(int n, ObjectRoleExpression r, ConceptExpression c)
ObjectRoleProjectionFrom(ObjectRoleExpression r, ConceptExpression c)
ObjectRoleProjectionInto(ObjectRoleExpression r, ConceptExpression c)

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

Constructor and Description
ConceptAnd(List<ConceptExpression> v) create AND of expressions from the given array
ConceptOr(List<ConceptExpression> v) create OR of expressions from the given array

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

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

Modifier and Type	Method and Description
ConceptExpression	AxiomInstanceOf.getC()
ConceptExpression	AxiomDisjointUnion.getConcept()
ConceptExpression	AxiomORoleDomain.getDomain()
ConceptExpression	AxiomDRoleDomain.getDomain()
ConceptExpression	AxiomORoleRange.getRange()
ConceptExpression	AxiomConceptInclusion.getSubConcept()
ConceptExpression	AxiomConceptInclusion.getSupConcept()

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

Constructor and Description
AxiomConceptInclusion(org.semanticweb.owlapi.model.OWLAxiom ax, ConceptExpression sub, ConceptExpression sup)
AxiomDisjointUnion(org.semanticweb.owlapi.model.OWLAxiom ax, ConceptExpression c, Collection<ConceptExpression> v)
AxiomDRoleDomain(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression role, ConceptExpression domain)
AxiomInstanceOf(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression i, ConceptExpression c)
AxiomORoleDomain(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression role, ConceptExpression domain)
AxiomORoleRange(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression role, ConceptExpression range)

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

Constructor and Description
AxiomDisjointConcepts(org.semanticweb.owlapi.model.OWLAxiom ax, List<ConceptExpression> v)
AxiomDisjointUnion(org.semanticweb.owlapi.model.OWLAxiom ax, ConceptExpression c, Collection<ConceptExpression> v)
AxiomEquivalentConcepts(org.semanticweb.owlapi.model.OWLAxiom ax, List<ConceptExpression> v)
AxiomFairnessConstraint(org.semanticweb.owlapi.model.OWLAxiom ax, List<ConceptExpression> v)

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

Subinterfaces of ConceptExpression in uk.ac.manchester.cs.jfact.kernel.dl.interfaces

Modifier and Type	Interface and Description
interface	ConceptDataCardinalityExpression general data role cardinality expression
interface	ConceptDataRoleExpression data role expression
interface	ConceptDataRVExpression data restriction
interface	ConceptObjectCardinalityExpression object cardinality expression
interface	ConceptObjectRCExpression object restriction expression
interface	ConceptObjectRoleExpression general concept expression that contains an object role

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

Modifier and Type	Method and Description
ConceptExpression	ConceptArg.getConcept()