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.elf
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
uk.ac.manchester.cs.jfact.split

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
protected ConceptExpression	TranslationMachinery.toClassPointer(org.semanticweb.owlapi.model.OWLClassExpression classExpression)

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

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

Modifier and Type	Method and Description
protected uk.ac.manchester.cs.jfact.elf.TELFConcept	ELFReasoner.getC(ConceptExpression p) get concept (expression) corresponding to a given DL expression

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

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

Modifier and Type	Method and Description
ConceptExpression	ExpressionManager.and(ConceptExpression C, ConceptExpression D)
ConceptExpression	ExpressionManager.and(List<Expression> l) get an n-ary conjunction expression; take the arguments from the last argument list
ConceptExpression	ExpressionManager.bottom() get BOTTOM concept
ConceptExpression	TDag2Interface.buildCExpr(DLVertex v) build concept expression by a vertex V
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.cardinality(int n, ObjectRoleExpression R, ConceptExpression C) get exact cardinality restriction wrt number N, an object role R and a concept C
ConceptExpression	ExpressionManager.concept(String name) get named concept
ConceptExpression	ExpressionManager.exists(DataRoleExpression R, DataExpression E) get existential restriction wrt a data role R and a data expression E
ConceptExpression	ExpressionManager.exists(ObjectRoleExpression R, ConceptExpression C) get existential restriction wrt an object role R and a concept C
ConceptExpression	ExpressionManager.forall(DataRoleExpression R, DataExpression E) get universal restriction wrt a data role R and a data expression E
ConceptExpression	ExpressionManager.forall(ObjectRoleExpression R, ConceptExpression C) get universal restriction wrt an object role R and a concept C
ConceptExpression	TDag2Interface.getCExpr(int p) get concept expression corresponding index of vertex
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.maxCardinality(int n, ObjectRoleExpression R, ConceptExpression C) get max cardinality restriction wrt number N, an object role R and a concept C
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
ConceptExpression	ExpressionManager.minCardinality(int n, ObjectRoleExpression R, ConceptExpression C) get min cardinality restriction wrt number N, an object role R and a concept C
ConceptExpression	ExpressionManager.not(ConceptExpression C) get negation of a concept C
ConceptExpression	ExpressionManager.oneOf(IndividualExpression I)
ConceptExpression	ExpressionManager.oneOf(List<Expression> l) get an n-ary one-of expression; take the arguments from the last argument list
ConceptExpression	ExpressionManager.or(ConceptExpression C, ConceptExpression D)
ConceptExpression	ExpressionManager.or(List<Expression> l) get an n-ary disjunction expression; take the arguments from the last argument list
ConceptExpression	ExpressionManager.selfReference(ObjectRoleExpression R) get self-reference restriction of an object role R
ConceptExpression	ExpressionManager.top() get TOP concept
ConceptExpression	ExpressionManager.value(DataRoleExpression R, Literal<?> V) get value restriction wrt a data role R and a data value V
ConceptExpression	ExpressionManager.value(ObjectRoleExpression R, IndividualExpression I) get value restriction wrt an object role R and an individual 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
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).
ConceptExpression	ExpressionManager.cardinality(int n, ObjectRoleExpression R, ConceptExpression C) get exact cardinality restriction wrt number N, an object role R and a concept C
Axiom	ReasoningKernel.disjointUnion(org.semanticweb.owlapi.model.OWLAxiom ax, ConceptExpression C, List<Expression> l) axiom C = C1 or ...
ConceptExpression	ExpressionManager.exists(ObjectRoleExpression R, ConceptExpression C) get existential restriction wrt an object role R and a concept C
ConceptExpression	ExpressionManager.forall(ObjectRoleExpression R, ConceptExpression C) get universal restriction wrt an object role R and a concept C
void	ReasoningKernel.getDirectInstances(ConceptExpression C, Actor actor) apply actor__apply() to all direct instances of given [complex] C
void	ReasoningKernel.getDisjointConcepts(ConceptExpression C, Actor actor) apply actor::apply() to all named concepts disjoint with [complex] C
void	ReasoningKernel.getEquivalentConcepts(ConceptExpression C, Actor 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
void	ReasoningKernel.getInstances(ConceptExpression C, Actor actor, boolean direct)
void	ReasoningKernel.getSubConcepts(ConceptExpression C, boolean direct, Actor actor) apply actor__apply() to all DIRECT sub-concepts of [complex] C
void	ReasoningKernel.getSupConcepts(ConceptExpression C, boolean direct, Actor actor) apply actor__apply() to all DIRECT super-concepts of [complex] C
Axiom	ReasoningKernel.impliesConcepts(org.semanticweb.owlapi.model.OWLAxiom ax, ConceptExpression C, ConceptExpression D) axiom C [= D
Axiom	ReasoningKernel.instanceOf(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression I, ConceptExpression C) axiom I e C
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)
ConceptExpression	ExpressionManager.maxCardinality(int n, ObjectRoleExpression R, ConceptExpression C) get max cardinality restriction wrt number N, an object role R and a concept C
ConceptExpression	ExpressionManager.minCardinality(int n, ObjectRoleExpression R, ConceptExpression C) get min cardinality restriction wrt number N, an object role R and a concept C
ConceptExpression	ExpressionManager.not(ConceptExpression C) get negation of a concept C
ConceptExpression	ExpressionManager.or(ConceptExpression C, ConceptExpression D)
ObjectRoleComplexExpression	ExpressionManager.projectFrom(ObjectRoleExpression R, ConceptExpression C) get a expression corresponding to R projected from C
ObjectRoleComplexExpression	ExpressionManager.projectInto(ObjectRoleExpression R, ConceptExpression C) get a expression corresponding to R projected into C
Axiom	ReasoningKernel.setDDomain(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression R, ConceptExpression C) Domain (R C)
Axiom	ReasoningKernel.setODomain(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R, ConceptExpression C) Domain (R C)
Axiom	ReasoningKernel.setORange(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression R, ConceptExpression C) Range (R C)

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

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

Modifier and Type	Method and Description
Collection<Collection<ConceptExpression>>	TaxonomyActor.getClassElements() get 2D array of all required elements of the taxonomy
Collection<ConceptExpression>	TaxonomyActor.getClassSynonyms() get single vector of synonyms (necessary for Equivalents, for example)
Collection<ConceptExpression>	TaxonomyActor.getPlainClassElements()

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
class	ConceptAnd
class	ConceptBottom
class	ConceptDataExactCardinality
class	ConceptDataExists
class	ConceptDataForall
class	ConceptDataMaxCardinality
class	ConceptDataMinCardinality
class	ConceptDataValue
class	ConceptName
class	ConceptNot
class	ConceptObjectExactCardinality
class	ConceptObjectExists
class	ConceptObjectForall
class	ConceptObjectMaxCardinality
class	ConceptObjectMinCardinality
class	ConceptObjectSelf
class	ConceptObjectValue
class	ConceptOneOf
class	ConceptOr
class	ConceptTop

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)

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() access
ConceptExpression	AxiomDisjointUnion.getC()
ConceptExpression	AxiomORoleDomain.getDomain() access
ConceptExpression	AxiomDRoleDomain.getDomain()
ConceptExpression	AxiomORoleRange.getRange() access
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<Expression> 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)

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
interface	ConceptDataRVExpression
interface	ConceptObjectCardinalityExpression
interface	ConceptObjectRCExpression
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() get access to the argument

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

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

Modifier and Type	Method and Description
protected ConceptExpression	SemanticLocalityChecker.getExpr(Axiom axiom)

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

Modifier and Type	Method and Description
List<ConceptExpression>	KnowledgeExplorer.getObjectLabel(DlCompletionTree node, boolean onlyDet) put into RESULT all the data expressions from the NODE label