Uses of Interface
org.semanticweb.owlapi.model.OWLClassExpression

Packages that use OWLClassExpression

Package	Description
com.clarkparsia.owlapi.explanation	Explanation package
com.clarkparsia.owlapi.explanation.util	Explanation utils
org.obolibrary.macro
org.obolibrary.obo2owl
org.semanticweb.owlapi.apibinding	Binding package
org.semanticweb.owlapi.change	Ontology change classes.
org.semanticweb.owlapi.debugging	Debugging package
org.semanticweb.owlapi.latex.renderer	LaTeX syntax renderer
org.semanticweb.owlapi.manchestersyntax.parser
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapi.normalform	Normal form package
org.semanticweb.owlapi.profiles
org.semanticweb.owlapi.profiles.violations
org.semanticweb.owlapi.rdf.rdfxml.parser
org.semanticweb.owlapi.reasoner	OWLReasoner package
org.semanticweb.owlapi.reasoner.impl	OWLReasoner implementation package
org.semanticweb.owlapi.reasoner.knowledgeexploration	Knowledge exploration package.
org.semanticweb.owlapi.reasoner.structural	Structural reasoner implementation package
org.semanticweb.owlapi.search	Search utulities package
org.semanticweb.owlapi.util	Utilities package
org.semanticweb.owlapi.util.mansyntax
org.semanticweb.owlapitools.builders
uk.ac.manchester.cs.owl.owlapi	OWL API reference implementation package
uk.ac.manchester.cs.owl.owlapi.concurrent

Uses of OWLClassExpression in com.clarkparsia.owlapi.explanation

Methods in com.clarkparsia.owlapi.explanation that return OWLClassExpression

Modifier and Type	Method	Description
OWLClassExpression	SatisfiabilityConverter.convert(OWLAxiom axiom)	Convert.

Methods in com.clarkparsia.owlapi.explanation with parameters of type OWLClassExpression

Modifier and Type	Method	Description
Set<OWLAxiom>	BlackBoxExplanation.getExplanation(OWLClassExpression unsatClass)
Set<OWLAxiom>	DefaultExplanationGenerator.getExplanation(OWLClassExpression unsatClass)
Set<OWLAxiom>	ExplanationGenerator.getExplanation(OWLClassExpression unsatClass)	Returns a single explanation for the given unsatisfiable class.
Set<OWLAxiom>	HSTExplanationGenerator.getExplanation(OWLClassExpression unsatClass)
Set<OWLAxiom>	SingleExplanationGenerator.getExplanation(OWLClassExpression unsatClass)	Get a single explanation for an arbitrary class expression, or empty set if the given expression is satisfiable.
Set<Set<OWLAxiom>>	DefaultExplanationGenerator.getExplanations(OWLClassExpression unsatClass)
Set<Set<OWLAxiom>>	DefaultExplanationGenerator.getExplanations(OWLClassExpression unsatClass, int maxExplanations)
Set<Set<OWLAxiom>>	ExplanationGenerator.getExplanations(OWLClassExpression unsatClass)	Returns all the explanations for the given unsatisfiable class.
Set<Set<OWLAxiom>>	ExplanationGenerator.getExplanations(OWLClassExpression unsatClass, int maxExplanations)	Return a specified number of explanations for the given unsatisfiable class.
Set<Set<OWLAxiom>>	HSTExplanationGenerator.getExplanations(OWLClassExpression unsatClass)
Set<Set<OWLAxiom>>	HSTExplanationGenerator.getExplanations(OWLClassExpression unsatClass, int maxExplanations)

Uses of OWLClassExpression in com.clarkparsia.owlapi.explanation.util

Methods in com.clarkparsia.owlapi.explanation.util with parameters of type OWLClassExpression

Modifier and Type	Method	Description
static boolean	OntologyUtils.containsUnreferencedEntity(OWLOntology ontology, OWLClassExpression desc)	Determines if a class description contains any unreferenced entities with respect to the ontology that contains the entailments which are being explained.
boolean	DefinitionTracker.isDefined(OWLClassExpression classExpression)	Checks if all the entities referred in the given concept are also referred by a logical axiom in the imports closure of the designated ontology.

Uses of OWLClassExpression in org.obolibrary.macro

Methods in org.obolibrary.macro that return OWLClassExpression

Modifier and Type	Method	Description
OWLClassExpression	ManchesterSyntaxTool.parseManchesterExpression(String expression)	Parse a class expression in Manchester syntax.
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLClass ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLDataAllValuesFrom ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLDataExactCardinality ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLDataHasValue ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLDataMaxCardinality ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLDataMinCardinality ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLDataSomeValuesFrom ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLObjectAllValuesFrom ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLObjectComplementOf ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLObjectExactCardinality ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLObjectHasSelf ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLObjectHasValue ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLObjectIntersectionOf ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLObjectMaxCardinality ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLObjectMinCardinality ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLObjectOneOf ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLObjectSomeValuesFrom ce)
OWLClassExpression	AbstractMacroExpansionVisitor.visit(OWLObjectUnionOf ce)

Uses of OWLClassExpression in org.obolibrary.obo2owl

Methods in org.obolibrary.obo2owl that return OWLClassExpression

Modifier and Type	Method	Description
OWLClassExpression	OWLAPIObo2Owl.trRel(String relId, String classId, Collection<QualifierValue> quals)	Tr rel.
OWLClassExpression	OWLAPIObo2Owl.trTermFrame(Frame termFrame)	Tr term frame.

Uses of OWLClassExpression in org.semanticweb.owlapi.apibinding

Methods in org.semanticweb.owlapi.apibinding with parameters of type OWLClassExpression

Modifier and Type	Method	Description
static OWLClassAssertionAxiom	OWLFunctionalSyntaxFactory.ClassAssertion(OWLClassExpression ce, OWLIndividual ind)
static OWLClassAssertionAxiom	OWLFunctionalSyntaxFactory.ClassAssertion(OWLClassExpression ce, OWLIndividual ind, Set<OWLAnnotation> a)
static OWLDataPropertyDomainAxiom	OWLFunctionalSyntaxFactory.DataPropertyDomain(OWLDataPropertyExpression property, OWLClassExpression domain)
static OWLDataPropertyDomainAxiom	OWLFunctionalSyntaxFactory.DataPropertyDomain(OWLDataPropertyExpression property, OWLClassExpression domain, Set<OWLAnnotation> a)
static OWLDisjointClassesAxiom	OWLFunctionalSyntaxFactory.DisjointClasses(Set<OWLAnnotation> a, OWLClassExpression... classExpressions)
static OWLDisjointClassesAxiom	OWLFunctionalSyntaxFactory.DisjointClasses(OWLClassExpression... classExpressions)
static OWLDisjointUnionAxiom	OWLFunctionalSyntaxFactory.DisjointUnion(OWLClass cls, OWLClassExpression... classExpressions)
static OWLEquivalentClassesAxiom	OWLFunctionalSyntaxFactory.EquivalentClasses(Set<OWLAnnotation> a, OWLClassExpression... classExpressions)
static OWLEquivalentClassesAxiom	OWLFunctionalSyntaxFactory.EquivalentClasses(OWLClassExpression... classExpressions)
static OWLHasKeyAxiom	OWLFunctionalSyntaxFactory.HasKey(Set<OWLAnnotation> a, OWLClassExpression classExpression, OWLPropertyExpression... propertyExpressions)
static OWLHasKeyAxiom	OWLFunctionalSyntaxFactory.HasKey(OWLClassExpression classExpression, OWLPropertyExpression... propertyExpressions)
static OWLObjectAllValuesFrom	OWLFunctionalSyntaxFactory.ObjectAllValuesFrom(OWLObjectPropertyExpression pe, OWLClassExpression ce)
static OWLObjectComplementOf	OWLFunctionalSyntaxFactory.ObjectComplementOf(OWLClassExpression classExpression)
static OWLObjectExactCardinality	OWLFunctionalSyntaxFactory.ObjectExactCardinality(int cardinality, OWLObjectPropertyExpression pe, OWLClassExpression ce)
static OWLObjectIntersectionOf	OWLFunctionalSyntaxFactory.ObjectIntersectionOf(OWLClassExpression... classExpressions)
static OWLObjectMaxCardinality	OWLFunctionalSyntaxFactory.ObjectMaxCardinality(int cardinality, OWLObjectPropertyExpression pe, OWLClassExpression ce)
static OWLObjectMinCardinality	OWLFunctionalSyntaxFactory.ObjectMinCardinality(int cardinality, OWLObjectPropertyExpression pe, OWLClassExpression ce)
static OWLObjectPropertyDomainAxiom	OWLFunctionalSyntaxFactory.ObjectPropertyDomain(OWLObjectPropertyExpression property, OWLClassExpression domain)
static OWLObjectPropertyDomainAxiom	OWLFunctionalSyntaxFactory.ObjectPropertyDomain(OWLObjectPropertyExpression property, OWLClassExpression domain, Set<OWLAnnotation> a)
static OWLObjectPropertyRangeAxiom	OWLFunctionalSyntaxFactory.ObjectPropertyRange(OWLObjectPropertyExpression property, OWLClassExpression range)
static OWLObjectPropertyRangeAxiom	OWLFunctionalSyntaxFactory.ObjectPropertyRange(OWLObjectPropertyExpression property, OWLClassExpression range, Set<OWLAnnotation> a)
static OWLObjectSomeValuesFrom	OWLFunctionalSyntaxFactory.ObjectSomeValuesFrom(OWLObjectPropertyExpression pe, OWLClassExpression ce)
static OWLObjectUnionOf	OWLFunctionalSyntaxFactory.ObjectUnionOf(OWLClassExpression... classExpressions)
static OWLSubClassOfAxiom	OWLFunctionalSyntaxFactory.SubClassOf(OWLClassExpression subClass, OWLClassExpression superClass)
static OWLSubClassOfAxiom	OWLFunctionalSyntaxFactory.SubClassOf(OWLClassExpression subClass, OWLClassExpression superClass, Set<OWLAnnotation> a)

Method parameters in org.semanticweb.owlapi.apibinding with type arguments of type OWLClassExpression

Modifier and Type	Method	Description
static OWLDisjointClassesAxiom	OWLFunctionalSyntaxFactory.DisjointClasses(Set<? extends OWLClassExpression> classExpressions)
static OWLDisjointClassesAxiom	OWLFunctionalSyntaxFactory.DisjointClasses(Set<OWLClassExpression> classExpressions, Set<OWLAnnotation> a)

Uses of OWLClassExpression in org.semanticweb.owlapi.change

Constructor parameters in org.semanticweb.owlapi.change with type arguments of type OWLClassExpression

Constructor	Description
MakeClassesMutuallyDisjoint(OWLDataFactory dataFactory, Set<? extends OWLClassExpression> classExpressions, boolean usePairwiseDisjointAxioms, OWLOntology targetOntology)	Creates a composite change which makes a set of classes mutually disjoint.

Uses of OWLClassExpression in org.semanticweb.owlapi.debugging

Methods in org.semanticweb.owlapi.debugging that return OWLClassExpression

Modifier and Type	Method	Description
OWLClassExpression	DebuggerClassExpressionGenerator.getDebuggerClassExpression()	Gets the debugger class expression.

Methods in org.semanticweb.owlapi.debugging with parameters of type OWLClassExpression

Modifier and Type	Method	Description
Set<Set<OWLAxiom>>	AbstractOWLDebugger.getAllSOSForInconsistentClass(OWLClassExpression cls)
Set<Set<OWLAxiom>>	OWLDebugger.getAllSOSForInconsistentClass(OWLClassExpression cls)	Gets the all sos for incosistent class.
Set<OWLAxiom>	BlackBoxOWLDebugger.getSOSForInconsistentClass(OWLClassExpression cls)
Set<OWLAxiom>	OWLDebugger.getSOSForInconsistentClass(OWLClassExpression cls)	Gets the sOS for incosistent class.

Constructors in org.semanticweb.owlapi.debugging with parameters of type OWLClassExpression

Constructor	Description
JustificationMap(OWLClassExpression desc, Set<OWLAxiom> axioms)	Instantiates a new justification map.

Uses of OWLClassExpression in org.semanticweb.owlapi.latex.renderer

Methods in org.semanticweb.owlapi.latex.renderer with parameters of type OWLClassExpression

Modifier and Type	Method	Description
static boolean	LatexBracketChecker.requiresBracket(OWLClassExpression classExpression)

Uses of OWLClassExpression in org.semanticweb.owlapi.manchestersyntax.parser

Methods in org.semanticweb.owlapi.manchestersyntax.parser that return OWLClassExpression

Modifier and Type	Method	Description
OWLClassExpression	ManchesterOWLSyntaxClassExpressionParser.parse(String expression)
OWLClassExpression	ManchesterOWLSyntaxParserImpl.parseClassExpression()
OWLClassExpression	ManchesterOWLSyntaxParserImpl.parseClassExpression(String s)

Methods in org.semanticweb.owlapi.manchestersyntax.parser that return types with arguments of type OWLClassExpression

Modifier and Type	Method	Description
Set<OWLClassExpression>	ManchesterOWLSyntaxParserImpl.parseClassExpressionList()

Uses of OWLClassExpression in org.semanticweb.owlapi.model

Subinterfaces of OWLClassExpression in org.semanticweb.owlapi.model

Modifier and Type	Interface	Description
interface	OWLAnonymousClassExpression	The super interface for all class expressions which are not named class expressions (i.e.
interface	OWLBooleanClassExpression
interface	OWLCardinalityRestriction<F extends OWLPropertyRange>
interface	OWLClass	Represents a Class in the OWL 2 specification.
interface	OWLDataAllValuesFrom	Represents DataAllValuesFrom class expressions in the OWL 2 Specification.
interface	OWLDataCardinalityRestriction	Represents Data Property Cardinality Restrictions in the OWL 2 specification.
interface	OWLDataExactCardinality	Represents DataExactCardinality retrictions in the OWL 2 Specification.
interface	OWLDataHasValue	Represents DataHasValue retrictions in the OWL 2 Specification.
interface	OWLDataMaxCardinality	Represents DataMaxCardinality retrictions in the OWL 2 Specification.
interface	OWLDataMinCardinality	Represents DataMinCardinality retrictions in the OWL 2 Specification.
interface	OWLDataRestriction	Represents a restriction (Object Property Restriction or Data Property Restriction) in the OWL 2 specification.
interface	OWLDataSomeValuesFrom	Represents a DataSomeValuesFrom restriction in the OWL 2 Specification.
interface	OWLHasValueRestriction<V extends OWLObject>
interface	OWLNaryBooleanClassExpression
interface	OWLObjectAllValuesFrom	Represents an ObjectAllValuesFrom restriction in the OWL 2 Specification.
interface	OWLObjectCardinalityRestriction
interface	OWLObjectComplementOf	Represents an ObjectComplementOf class expression in the OWL 2 Specification.
interface	OWLObjectExactCardinality	Represents an ObjectExactCardinality restriction in the OWL 2 Specification.
interface	OWLObjectHasSelf	Represents an ObjectHasSelf class expression in the OWL 2 Specification.
interface	OWLObjectHasValue	Represents an ObjectHasValue class expression in the OWL 2 Specification.
interface	OWLObjectIntersectionOf	Represents an ObjectIntersectionOf class expression in the OWL 2 Specification.
interface	OWLObjectMaxCardinality	Represents an ObjectMaxCardinality restriction in the OWL 2 Specification.
interface	OWLObjectMinCardinality	Represents a ObjectMinCardinality restriction in the OWL 2 Specification.
interface	OWLObjectOneOf	Represents an ObjectOneOf class expression in the OWL 2 Specification.
interface	OWLObjectRestriction	Represents a restriction (Object Property Restriction or Data Property Restriction) in the OWL 2 specification.
interface	OWLObjectSomeValuesFrom	Represents an ObjectSomeValuesFrom class expression in the OWL 2 Specification.
interface	OWLObjectUnionOf	Represents an ObjectUnionOf class expression in the OWL 2 Specification.
interface	OWLQuantifiedDataRestriction	A quantified data restriction.
interface	OWLQuantifiedObjectRestriction	A quantified object restriction.
interface	OWLQuantifiedRestriction<F extends OWLPropertyRange>
interface	OWLRestriction	Represents a restriction (Object Property Restriction or Data Property Restriction) in the OWL 2 specification.

Methods in org.semanticweb.owlapi.model that return OWLClassExpression

Modifier and Type	Method	Description
OWLClassExpression	OWLDataExactCardinality.asIntersectionOfMinMax()	Obtains an equivalent form that is a conjunction of a min cardinality and max cardinality restriction.
OWLClassExpression	OWLObjectExactCardinality.asIntersectionOfMinMax()	Obtains an equivalent form that is a conjunction of a min cardinality and max cardinality restriction.
OWLClassExpression	OWLObjectOneOf.asObjectUnionOf()	Simplifies this enumeration to a union of singleton nominals
OWLClassExpression	OWLHasValueRestriction.asSomeValuesFrom()	A convenience method that obtains this restriction as an existential restriction with a nominal filler.
OWLClassExpression	OWLClassAssertionAxiom.getClassExpression()	Gets the class expression that is asserted to be a type for an individual by this axiom.
OWLClassExpression	OWLHasKeyAxiom.getClassExpression()	Gets the class expression, instances of which, this axiom acts as the key for
OWLClassExpression	OWLClassExpression.getComplementNNF()	Gets the negation normal form of the complement of this expression.
OWLClassExpression	OWLPropertyDomainAxiom.getDomain()	Gets the domain specified by this property axiom.
OWLClassExpression	OWLClassExpression.getNNF()	Gets this expression in negation normal form.
OWLClassExpression	OWLClassExpression.getObjectComplementOf()	Gets the object complement of this class expression.
OWLClassExpression	OWLObjectComplementOf.getOperand()
OWLClassExpression	SWRLClassAtom.getPredicate()
OWLClassExpression	OWLSubClassOfAxiom.getSubClass()	Gets the subclass in this axiom.
OWLClassExpression	OWLSubClassOfAxiom.getSuperClass()	Gets the superclass in this axiom.

Methods in org.semanticweb.owlapi.model that return types with arguments of type OWLClassExpression

Modifier and Type	Method	Description
Set<OWLClassExpression>	OWLClassExpression.asConjunctSet()	Interprets this expression as a conjunction and returns the conjuncts.
Set<OWLClassExpression>	OWLClassExpression.asDisjunctSet()	Interprets this expression as a disjunction and returns the disjuncts.
Set<OWLClassExpression>	SWRLRule.getClassAtomPredicates()	Gets the predicates of class atoms.
Set<OWLClassExpression>	OWLDisjointUnionAxiom.getClassExpressions()	Gets the class expressions which are operands of the disjoint union.
Set<OWLClassExpression>	OWLNaryClassAxiom.getClassExpressions()	Gets all of the top level class expressions that appear in this axiom.
List<OWLClassExpression>	OWLNaryClassAxiom.getClassExpressionsAsList()	A convenience method that obtains the class expression returned by the OWLNaryClassAxiom.getClassExpressions() method as a list of class expressions.
Set<OWLClassExpression>	OWLNaryClassAxiom.getClassExpressionsMinus(OWLClassExpression... desc)	Gets the set of class expressions that appear in this axiom minus the specfied class expressions.
Set<OWLClassExpression>	IRI.getNestedClassExpressions()
Set<OWLClassExpression>	OWLObject.getNestedClassExpressions()	Gets all of the nested (includes top level) class expressions that are used in this object
Set<OWLClassExpression>	OWLNaryBooleanClassExpression.getOperands()
List<OWLClassExpression>	OWLNaryBooleanClassExpression.getOperandsAsList()	Gets the class expressions returned by OWLNaryBooleanClassExpression.getOperands() as a list of class expressions.

Methods in org.semanticweb.owlapi.model with parameters of type OWLClassExpression

Modifier and Type	Method	Description
boolean	OWLNaryClassAxiom.contains(OWLClassExpression ce)	Determines if this class axiom contains the specified class expression as an operand
boolean	OWLClassExpression.containsConjunct(OWLClassExpression ce)	Determines if this class expression contains a particular conjunct.
Set<OWLClassAssertionAxiom>	OWLAxiomIndex.getClassAssertionAxioms(OWLClassExpression ce)	Gets the OWLClassAssertionAxioms contained in this ontology that make the specified class expression, ce, a type for some individual.
Set<OWLClassExpression>	OWLNaryClassAxiom.getClassExpressionsMinus(OWLClassExpression... desc)	Gets the set of class expressions that appear in this axiom minus the specfied class expressions.
OWLClassAssertionAxiom	OWLDataFactory.getOWLClassAssertionAxiom(OWLClassExpression classExpression, OWLIndividual individual)
OWLClassAssertionAxiom	OWLDataFactory.getOWLClassAssertionAxiom(OWLClassExpression classExpression, OWLIndividual individual, Set<? extends OWLAnnotation> annotations)
OWLDataPropertyDomainAxiom	OWLDataFactory.getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property, OWLClassExpression domain)
OWLDataPropertyDomainAxiom	OWLDataFactory.getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property, OWLClassExpression domain, Set<? extends OWLAnnotation> annotations)
OWLDisjointClassesAxiom	OWLDataFactory.getOWLDisjointClassesAxiom(OWLClassExpression... classExpressions)
OWLEquivalentClassesAxiom	OWLDataFactory.getOWLEquivalentClassesAxiom(OWLClassExpression... classExpressions)
OWLEquivalentClassesAxiom	OWLDataFactory.getOWLEquivalentClassesAxiom(OWLClassExpression clsA, OWLClassExpression clsB)
OWLEquivalentClassesAxiom	OWLDataFactory.getOWLEquivalentClassesAxiom(OWLClassExpression clsA, OWLClassExpression clsB, Set<? extends OWLAnnotation> annotations)
OWLHasKeyAxiom	OWLDataFactory.getOWLHasKeyAxiom(OWLClassExpression ce, Set<? extends OWLPropertyExpression> properties)
OWLHasKeyAxiom	OWLDataFactory.getOWLHasKeyAxiom(OWLClassExpression ce, Set<? extends OWLPropertyExpression> objectProperties, Set<? extends OWLAnnotation> annotations)
OWLHasKeyAxiom	OWLDataFactory.getOWLHasKeyAxiom(OWLClassExpression ce, OWLPropertyExpression... properties)
OWLObjectAllValuesFrom	OWLDataFactory.getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectComplementOf	OWLDataFactory.getOWLObjectComplementOf(OWLClassExpression operand)
OWLObjectExactCardinality	OWLDataFactory.getOWLObjectExactCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectIntersectionOf	OWLDataFactory.getOWLObjectIntersectionOf(OWLClassExpression... operands)
OWLObjectMaxCardinality	OWLDataFactory.getOWLObjectMaxCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectMinCardinality	OWLDataFactory.getOWLObjectMinCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectPropertyDomainAxiom	OWLDataFactory.getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectPropertyDomainAxiom	OWLDataFactory.getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLClassExpression classExpression, Set<? extends OWLAnnotation> annotations)
OWLObjectPropertyRangeAxiom	OWLDataFactory.getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLClassExpression range)
OWLObjectPropertyRangeAxiom	OWLDataFactory.getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLClassExpression range, Set<? extends OWLAnnotation> annotations)
OWLObjectSomeValuesFrom	OWLDataFactory.getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)	Gets an OWLObjectSomeValuesFrom restriction
OWLObjectUnionOf	OWLDataFactory.getOWLObjectUnionOf(OWLClassExpression... operands)
OWLSubClassOfAxiom	OWLDataFactory.getOWLSubClassOfAxiom(OWLClassExpression subClass, OWLClassExpression superClass)
OWLSubClassOfAxiom	OWLDataFactory.getOWLSubClassOfAxiom(OWLClassExpression subClass, OWLClassExpression superClass, Set<? extends OWLAnnotation> annotations)
SWRLClassAtom	SWRLDataFactory.getSWRLClassAtom(OWLClassExpression predicate, SWRLIArgument arg)	Gets a SWRL atom where the predicate is a class expression i.e.

Method parameters in org.semanticweb.owlapi.model with type arguments of type OWLClassExpression

Modifier and Type	Method	Description
OWLDisjointClassesAxiom	OWLDataFactory.getOWLDisjointClassesAxiom(Set<? extends OWLClassExpression> classExpressions)
OWLDisjointClassesAxiom	OWLDataFactory.getOWLDisjointClassesAxiom(Set<? extends OWLClassExpression> classExpressions, Set<? extends OWLAnnotation> annotations)
OWLDisjointUnionAxiom	OWLDataFactory.getOWLDisjointUnionAxiom(OWLClass owlClass, Set<? extends OWLClassExpression> classExpressions)
OWLDisjointUnionAxiom	OWLDataFactory.getOWLDisjointUnionAxiom(OWLClass owlClass, Set<? extends OWLClassExpression> classExpressions, Set<? extends OWLAnnotation> annotations)
OWLEquivalentClassesAxiom	OWLDataFactory.getOWLEquivalentClassesAxiom(Set<? extends OWLClassExpression> classExpressions)
OWLEquivalentClassesAxiom	OWLDataFactory.getOWLEquivalentClassesAxiom(Set<? extends OWLClassExpression> classExpressions, Set<? extends OWLAnnotation> annotations)
OWLObjectIntersectionOf	OWLDataFactory.getOWLObjectIntersectionOf(Set<? extends OWLClassExpression> operands)
OWLObjectUnionOf	OWLDataFactory.getOWLObjectUnionOf(Set<? extends OWLClassExpression> operands)

Uses of OWLClassExpression in org.semanticweb.owlapi.normalform

Methods in org.semanticweb.owlapi.normalform that return OWLClassExpression

Modifier and Type	Method	Description
OWLClassExpression	NegationalNormalFormConverter.convertToNormalForm(OWLClassExpression classExpression)
OWLClassExpression	NormalFormRewriter.convertToNormalForm(OWLClassExpression classExpression)	Convert to normal form.

Methods in org.semanticweb.owlapi.normalform that return types with arguments of type OWLClassExpression

Modifier and Type	Method	Description
Set<OWLClassExpression>	OWLObjectComplementOfExtractor.getComplementedClassExpressions(OWLClassExpression desc)	Gets the complemented class expressions.

Methods in org.semanticweb.owlapi.normalform with parameters of type OWLClassExpression

Modifier and Type	Method	Description
OWLClassExpression	NegationalNormalFormConverter.convertToNormalForm(OWLClassExpression classExpression)
OWLClassExpression	NormalFormRewriter.convertToNormalForm(OWLClassExpression classExpression)	Convert to normal form.
Set<OWLClassExpression>	OWLObjectComplementOfExtractor.getComplementedClassExpressions(OWLClassExpression desc)	Gets the complemented class expressions.
boolean	NegationalNormalFormConverter.isInNormalForm(OWLClassExpression classExpression)
boolean	NormalFormRewriter.isInNormalForm(OWLClassExpression classExpression)	Checks if is in normal form.

Uses of OWLClassExpression in org.semanticweb.owlapi.profiles

Methods in org.semanticweb.owlapi.profiles with parameters of type OWLClassExpression

Modifier and Type	Method	Description
boolean	OWL2QLProfile.isOWL2QLSuperClassExpression(OWLClassExpression ce)
boolean	OWL2RLProfile.isOWL2RLEquivalentClassExpression(OWLClassExpression ce)
boolean	OWL2RLProfile.isOWL2RLSuperClassExpression(OWLClassExpression ce)

Uses of OWLClassExpression in org.semanticweb.owlapi.profiles.violations

Methods in org.semanticweb.owlapi.profiles.violations that return OWLClassExpression

Modifier and Type	Method	Description
OWLClassExpression	UseOfIllegalClassExpression.getExpression()
OWLClassExpression	UseOfNonAtomicClassExpression.getExpression()
OWLClassExpression	UseOfNonEquivalentClassExpression.getExpression()
OWLClassExpression	UseOfNonSubClassExpression.getExpression()
OWLClassExpression	UseOfNonSuperClassExpression.getExpression()

Constructors in org.semanticweb.owlapi.profiles.violations with parameters of type OWLClassExpression

Constructor	Description
UseOfIllegalClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfNonAtomicClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfNonEquivalentClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfNonSubClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfNonSuperClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)

Uses of OWLClassExpression in org.semanticweb.owlapi.rdf.rdfxml.parser

Methods in org.semanticweb.owlapi.rdf.rdfxml.parser that return OWLClassExpression

Modifier and Type	Method	Description
OWLClassExpression	Translators.ClassExpressionTranslator.translate(IRI mainNode)	Translates the specified main node into an OWLClassExpression .
OWLClassExpression	OWLRDFConsumer.translateClassExpression(IRI i)	compatibility proxy for TranslatorAccessor#translateClassExpression

Uses of OWLClassExpression in org.semanticweb.owlapi.reasoner

Methods in org.semanticweb.owlapi.reasoner that return OWLClassExpression

Modifier and Type	Method	Description
OWLClassExpression	ClassExpressionNotInProfileException.getClassExpression()

Methods in org.semanticweb.owlapi.reasoner with parameters of type OWLClassExpression

Modifier and Type	Method	Description
NodeSet<OWLClass>	OWLReasoner.getDisjointClasses(OWLClassExpression ce)	Gets the classes that are disjoint with the specified class expression ce.
Node<OWLClass>	OWLReasoner.getEquivalentClasses(OWLClassExpression ce)	Gets the set of named classes that are equivalent to the specified class expression with respect to the set of reasoner axioms.
NodeSet<OWLNamedIndividual>	OWLReasoner.getInstances(OWLClassExpression ce, boolean direct)	Gets the individuals which are instances of the specified class expression.
NodeSet<OWLClass>	OWLReasoner.getSubClasses(OWLClassExpression ce, boolean direct)	Gets the set of named classes that are the strict (potentially direct) subclasses of the specified class expression with respect to the reasoner axioms.
NodeSet<OWLClass>	OWLReasoner.getSuperClasses(OWLClassExpression ce, boolean direct)	Gets the set of named classes that are the strict (potentially direct) super classes of the specified class expression with respect to the imports closure of the root ontology.
boolean	OWLReasoner.isSatisfiable(OWLClassExpression classExpression)	A convenience method that determines if the specified class expression is satisfiable with respect to the reasoner axioms.

Constructors in org.semanticweb.owlapi.reasoner with parameters of type OWLClassExpression

Constructor	Description
ClassExpressionNotInProfileException(OWLClassExpression classExpression, IRI profile)

Uses of OWLClassExpression in org.semanticweb.owlapi.reasoner.impl

Methods in org.semanticweb.owlapi.reasoner.impl that return OWLClassExpression

Modifier and Type	Method	Description
OWLClassExpression	SatisfiabilityReducer.visit(OWLClassAssertionAxiom axiom)
OWLClassExpression	SatisfiabilityReducer.visit(OWLDataPropertyAssertionAxiom axiom)
OWLClassExpression	SatisfiabilityReducer.visit(OWLDataPropertyDomainAxiom axiom)
OWLClassExpression	SatisfiabilityReducer.visit(OWLDataPropertyRangeAxiom axiom)
OWLClassExpression	SatisfiabilityReducer.visit(OWLFunctionalDataPropertyAxiom axiom)
OWLClassExpression	SatisfiabilityReducer.visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLClassExpression	SatisfiabilityReducer.visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLClassExpression	SatisfiabilityReducer.visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLClassExpression	SatisfiabilityReducer.visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLClassExpression	SatisfiabilityReducer.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLClassExpression	SatisfiabilityReducer.visit(OWLObjectPropertyAssertionAxiom axiom)
OWLClassExpression	SatisfiabilityReducer.visit(OWLObjectPropertyDomainAxiom axiom)
OWLClassExpression	SatisfiabilityReducer.visit(OWLObjectPropertyRangeAxiom axiom)
OWLClassExpression	SatisfiabilityReducer.visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLClassExpression	SatisfiabilityReducer.visit(OWLSubClassOfAxiom axiom)

Uses of OWLClassExpression in org.semanticweb.owlapi.reasoner.knowledgeexploration

Methods in org.semanticweb.owlapi.reasoner.knowledgeexploration that return types with arguments of type OWLClassExpression

Modifier and Type	Method	Description
Node<? extends OWLClassExpression>	OWLKnowledgeExplorerReasoner.getObjectLabel(OWLKnowledgeExplorerReasoner.RootNode node, boolean deterministicOnly)

Methods in org.semanticweb.owlapi.reasoner.knowledgeexploration with parameters of type OWLClassExpression

Modifier and Type	Method	Description
OWLKnowledgeExplorerReasoner.RootNode	OWLKnowledgeExplorerReasoner.getRoot(OWLClassExpression expression)

Uses of OWLClassExpression in org.semanticweb.owlapi.reasoner.structural

Methods in org.semanticweb.owlapi.reasoner.structural with parameters of type OWLClassExpression

Modifier and Type	Method	Description
NodeSet<OWLClass>	StructuralReasoner.getDisjointClasses(OWLClassExpression ce)
Node<OWLClass>	StructuralReasoner.getEquivalentClasses(OWLClassExpression ce)
NodeSet<OWLNamedIndividual>	StructuralReasoner.getInstances(OWLClassExpression ce, boolean direct)
NodeSet<OWLClass>	StructuralReasoner.getSubClasses(OWLClassExpression ce, boolean direct)
NodeSet<OWLClass>	StructuralReasoner.getSuperClasses(OWLClassExpression ce, boolean direct)
boolean	StructuralReasoner.isSatisfiable(OWLClassExpression classExpression)

Uses of OWLClassExpression in org.semanticweb.owlapi.search

Methods in org.semanticweb.owlapi.search that return types with arguments of type OWLClassExpression

Modifier and Type	Method	Description
static Collection<OWLClassExpression>	EntitySearcher.getDisjointClasses(OWLClass e, Iterable<OWLOntology> ontologies)	Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontologies.
static Collection<OWLClassExpression>	EntitySearcher.getDisjointClasses(OWLClass e, OWLOntology ontology)	Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontology.
static Collection<OWLClassExpression>	EntitySearcher.getDomains(OWLDataProperty e, Iterable<OWLOntology> ontologies)	Gets the asserted domains of this property by examining the axioms in the specified ontologies.
static Collection<OWLClassExpression>	EntitySearcher.getDomains(OWLDataProperty e, OWLOntology ontology)	Gets the asserted domains of this property.
static Collection<OWLClassExpression>	EntitySearcher.getDomains(OWLObjectPropertyExpression e, Iterable<OWLOntology> ontologies)	Gets the asserted domains of this property by examining the axioms in the specified ontologies.
static Collection<OWLClassExpression>	EntitySearcher.getDomains(OWLObjectPropertyExpression e, OWLOntology ontology)	Gets the asserted domains of this property.
static Collection<OWLClassExpression>	EntitySearcher.getEquivalentClasses(OWLClass e, Iterable<OWLOntology> ontologies)	A convenience method that examines the axioms in the specified ontologies and returns the class expressions corresponding to equivalent classes of this class.
static Collection<OWLClassExpression>	EntitySearcher.getEquivalentClasses(OWLClass e, OWLOntology ontology)	A convenience method that examines the axioms in the specified ontology and returns the class expressions corresponding to equivalent classes of this class.
static Collection<OWLClassExpression>	EntitySearcher.getRanges(OWLObjectPropertyExpression e, Iterable<OWLOntology> ontologies)	Gets the asserted ranges of this property by examining the axioms in the specified ontologies.
static Collection<OWLClassExpression>	EntitySearcher.getRanges(OWLObjectPropertyExpression e, OWLOntology ontology)	Gets the ranges of this property that have been asserted in the specified ontology.
static Collection<OWLClassExpression>	EntitySearcher.getSubClasses(OWLClass e, Iterable<OWLOntology> ontologies)	Gets the classes which have been asserted to be subclasses of this class in the specified ontologies.
static Collection<OWLClassExpression>	EntitySearcher.getSubClasses(OWLClass e, OWLOntology ontology)	Gets the classes which have been asserted to be subclasses of this class in the specified ontology.
static Collection<OWLClassExpression>	EntitySearcher.getSuperClasses(OWLClass e, Iterable<OWLOntology> ontologies)	A convenience method that examines the axioms in the specified ontologies and returns the class expression corresponding to the asserted super classes of this class.
static Collection<OWLClassExpression>	EntitySearcher.getSuperClasses(OWLClass e, OWLOntology ontology)	A convenience method that examines the axioms in the specified ontology and return the class expressions corresponding to super classes of this class.
static Collection<OWLClassExpression>	EntitySearcher.getTypes(OWLIndividual e, Iterable<OWLOntology> ontologies)
static Collection<OWLClassExpression>	EntitySearcher.getTypes(OWLIndividual e, OWLOntology ontology)
static Collection<OWLClassExpression>	Searcher.types(Collection<OWLClassAssertionAxiom> axioms)	Retrieve classes from class assertions.

Methods in org.semanticweb.owlapi.search with parameters of type OWLClassExpression

Modifier and Type	Method	Description
static Collection<OWLIndividual>	EntitySearcher.getInstances(OWLClassExpression e, Iterable<OWLOntology> ontologies)
static Collection<OWLIndividual>	EntitySearcher.getInstances(OWLClassExpression e, OWLOntology ontology)

Uses of OWLClassExpression in org.semanticweb.owlapi.util

Methods in org.semanticweb.owlapi.util that return OWLClassExpression

Modifier and Type	Method	Description
OWLClassExpression	NNF.visit(OWLClass ce)
OWLClassExpression	NNF.visit(OWLDataAllValuesFrom ce)
OWLClassExpression	NNF.visit(OWLDataExactCardinality ce)
OWLClassExpression	NNF.visit(OWLDataHasValue ce)
OWLClassExpression	NNF.visit(OWLDataMaxCardinality ce)
OWLClassExpression	NNF.visit(OWLDataMinCardinality ce)
OWLClassExpression	NNF.visit(OWLDataSomeValuesFrom ce)
OWLClassExpression	NNF.visit(OWLObjectAllValuesFrom ce)
OWLClassExpression	NNF.visit(OWLObjectComplementOf ce)
OWLClassExpression	NNF.visit(OWLObjectExactCardinality ce)
OWLClassExpression	NNF.visit(OWLObjectHasSelf ce)
OWLClassExpression	NNF.visit(OWLObjectHasValue ce)
OWLClassExpression	NNF.visit(OWLObjectIntersectionOf ce)
OWLClassExpression	NNF.visit(OWLObjectMaxCardinality ce)
OWLClassExpression	NNF.visit(OWLObjectMinCardinality ce)
OWLClassExpression	NNF.visit(OWLObjectOneOf ce)
OWLClassExpression	NNF.visit(OWLObjectSomeValuesFrom ce)
OWLClassExpression	NNF.visit(OWLObjectUnionOf ce)

Methods in org.semanticweb.owlapi.util that return types with arguments of type OWLClassExpression

Modifier and Type	Method	Description
List<OWLClassExpression>	OWLObjectWalker.getClassExpressionPath()	Gets the current class expression path.
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLClass ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLClassAssertionAxiom axiom)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDataAllValuesFrom ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDataExactCardinality ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDataHasValue ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDataMaxCardinality ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDataMinCardinality ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDataPropertyDomainAxiom axiom)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDataSomeValuesFrom ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDeclarationAxiom axiom)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDisjointClassesAxiom axiom)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDisjointUnionAxiom axiom)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLEquivalentClassesAxiom axiom)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLHasKeyAxiom axiom)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectAllValuesFrom ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectComplementOf ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectExactCardinality ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectHasSelf ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectHasValue ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectIntersectionOf ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectMaxCardinality ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectMinCardinality ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectOneOf ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectPropertyDomainAxiom axiom)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectPropertyRangeAxiom axiom)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectSomeValuesFrom ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectUnionOf ce)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLOntology ontology)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLSubClassOfAxiom axiom)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(SWRLClassAtom node)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(SWRLRule rule)

Methods in org.semanticweb.owlapi.util with parameters of type OWLClassExpression

Modifier and Type	Method	Description
Set<OWLClass>	NamedConjunctChecker.getNamedConjuncts(OWLClassExpression classExpression)	Gets the named conjuncts for the specified expression.
boolean	NamedConjunctChecker.hasNamedConjunct(OWLClassExpression classExpression)	Checks whether the specified expression has a named conjunct.
boolean	OWLObjectWalker.isFirstClassExpressionInPath(OWLClassExpression classExpression)	Determines if a particular class expression is the first (or root) class expression in the current class expression path.
boolean	NamedConjunctChecker.isNamedConjunct(OWLClass conj, OWLClassExpression classExpression)

Uses of OWLClassExpression in org.semanticweb.owlapi.util.mansyntax

Methods in org.semanticweb.owlapi.util.mansyntax that return OWLClassExpression

Modifier and Type	Method	Description
OWLClassExpression	ManchesterOWLSyntaxParser.parseClassExpression()	Parses an OWL class expression that is represented in Manchester OWL Syntax.
OWLClassExpression	ManchesterOWLSyntaxParser.parseClassExpression(String s)	Convenience method equivalent to setStringToParse("string"; parseClassexpression();}

Methods in org.semanticweb.owlapi.util.mansyntax that return types with arguments of type OWLClassExpression

Modifier and Type	Method	Description
Set<OWLClassExpression>	ManchesterOWLSyntaxParser.parseClassExpressionList()

Uses of OWLClassExpression in org.semanticweb.owlapitools.builders

Methods in org.semanticweb.owlapitools.builders that return OWLClassExpression

Modifier and Type	Method	Description
OWLClassExpression	BuilderClassAssertion.getClassExpression()
OWLClassExpression	BuilderComplementOf.getClassExpression()
OWLClassExpression	BuilderHasKey.getClassExpression()
OWLClassExpression	BaseDomainBuilder.getDomain()
OWLClassExpression	BuilderSWRLClassAtom.getPredicate()
OWLClassExpression	BaseObjectBuilder.getRange()

Methods in org.semanticweb.owlapitools.builders with parameters of type OWLClassExpression

Modifier and Type	Method	Description
BuilderSWRLClassAtom	BuilderSWRLClassAtom.with(OWLClassExpression arg)
BuilderClassAssertion	BuilderClassAssertion.withClass(OWLClassExpression arg)
BuilderComplementOf	BuilderComplementOf.withClass(OWLClassExpression arg)
BuilderHasKey	BuilderHasKey.withClass(OWLClassExpression arg)
B	BaseDomainBuilder.withDomain(OWLClassExpression arg)
B	BaseObjectBuilder.withRange(OWLClassExpression arg)

Uses of OWLClassExpression in uk.ac.manchester.cs.owl.owlapi

Classes in uk.ac.manchester.cs.owl.owlapi that implement OWLClassExpression

Modifier and Type	Class	Description
class	OWLAnonymousClassExpressionImpl
class	OWLCardinalityRestrictionImpl<F extends OWLPropertyRange>
class	OWLClassExpressionImpl
class	OWLClassImpl
class	OWLDataAllValuesFromImpl
class	OWLDataCardinalityRestrictionImpl
class	OWLDataExactCardinalityImpl
class	OWLDataHasValueImpl
class	OWLDataMaxCardinalityImpl
class	OWLDataMinCardinalityImpl
class	OWLDataSomeValuesFromImpl
class	OWLNaryBooleanClassExpressionImpl
class	OWLObjectAllValuesFromImpl
class	OWLObjectCardinalityRestrictionImpl
class	OWLObjectComplementOfImpl
class	OWLObjectExactCardinalityImpl
class	OWLObjectHasSelfImpl
class	OWLObjectHasValueImpl
class	OWLObjectIntersectionOfImpl
class	OWLObjectMaxCardinalityImpl
class	OWLObjectMinCardinalityImpl
class	OWLObjectOneOfImpl
class	OWLObjectSomeValuesFromImpl
class	OWLObjectUnionOfImpl
class	OWLQuantifiedDataRestrictionImpl	quantified data restriction
class	OWLQuantifiedObjectRestrictionImpl	quantified object restriction
class	OWLQuantifiedRestrictionImpl<F extends OWLPropertyRange>
class	OWLRestrictionImpl
class	OWLValueRestrictionImpl<V extends OWLObject>

Methods in uk.ac.manchester.cs.owl.owlapi that return OWLClassExpression

Modifier and Type	Method	Description
OWLClassExpression	OWLDataExactCardinalityImpl.asIntersectionOfMinMax()
OWLClassExpression	OWLObjectExactCardinalityImpl.asIntersectionOfMinMax()
OWLClassExpression	OWLObjectOneOfImpl.asObjectUnionOf()
OWLClassExpression	OWLDataHasValueImpl.asSomeValuesFrom()
OWLClassExpression	OWLObjectHasValueImpl.asSomeValuesFrom()	Deprecated.
OWLClassExpression	OWLClassAssertionAxiomImpl.getClassExpression()
OWLClassExpression	OWLHasKeyAxiomImpl.getClassExpression()
OWLClassExpression	OWLAnonymousClassExpressionImpl.getComplementNNF()
OWLClassExpression	OWLClassImpl.getComplementNNF()
OWLClassExpression	OWLPropertyDomainAxiomImpl.getDomain()
OWLClassExpression	OWLAnonymousClassExpressionImpl.getNNF()
OWLClassExpression	OWLClassImpl.getNNF()
OWLClassExpression	OWLAnonymousClassExpressionImpl.getObjectComplementOf()
OWLClassExpression	OWLClassImpl.getObjectComplementOf()
OWLClassExpression	OWLObjectComplementOfImpl.getOperand()
OWLClassExpression	SWRLClassAtomImpl.getPredicate()
OWLClassExpression	OWLSubClassOfAxiomImpl.getSubClass()
OWLClassExpression	OWLSubClassOfAxiomImpl.getSuperClass()

Methods in uk.ac.manchester.cs.owl.owlapi that return types with arguments of type OWLClassExpression

Modifier and Type	Method	Description
Set<OWLClassExpression>	OWLAnonymousClassExpressionImpl.asConjunctSet()
Set<OWLClassExpression>	OWLClassImpl.asConjunctSet()
Set<OWLClassExpression>	OWLObjectIntersectionOfImpl.asConjunctSet()
Set<OWLClassExpression>	OWLAnonymousClassExpressionImpl.asDisjunctSet()
Set<OWLClassExpression>	OWLClassImpl.asDisjunctSet()
Set<OWLClassExpression>	OWLObjectUnionOfImpl.asDisjunctSet()
Set<OWLClassExpression>	SWRLRuleImpl.getClassAtomPredicates()
Set<OWLClassExpression>	OWLDisjointUnionAxiomImpl.getClassExpressions()
Set<OWLClassExpression>	OWLNaryClassAxiomImpl.getClassExpressions()
List<OWLClassExpression>	OWLNaryClassAxiomImpl.getClassExpressionsAsList()
Set<OWLClassExpression>	OWLNaryClassAxiomImpl.getClassExpressionsMinus(OWLClassExpression... desc)
Set<OWLClassExpression>	OWL2DatatypeImpl.getNestedClassExpressions()
Set<OWLClassExpression>	OWLLiteralImplString.getNestedClassExpressions()
Set<OWLClassExpression>	OWLObjectImplWithEntityAndAnonCaching.getNestedClassExpressions()
Set<OWLClassExpression>	OWLObjectImplWithoutEntityAndAnonCaching.getNestedClassExpressions()
Set<OWLClassExpression>	OWLNaryBooleanClassExpressionImpl.getOperands()
List<OWLClassExpression>	OWLNaryBooleanClassExpressionImpl.getOperandsAsList()

Methods in uk.ac.manchester.cs.owl.owlapi with parameters of type OWLClassExpression

Modifier and Type	Method	Description
boolean	OWLNaryClassAxiomImpl.contains(OWLClassExpression ce)
boolean	OWLAnonymousClassExpressionImpl.containsConjunct(OWLClassExpression ce)
boolean	OWLClassImpl.containsConjunct(OWLClassExpression ce)
boolean	OWLObjectIntersectionOfImpl.containsConjunct(OWLClassExpression ce)
Set<OWLClassAssertionAxiom>	OWLAxiomIndexImpl.getClassAssertionAxioms(OWLClassExpression ce)
Set<OWLClassExpression>	OWLNaryClassAxiomImpl.getClassExpressionsMinus(OWLClassExpression... desc)
OWLClassAssertionAxiom	OWLDataFactoryImpl.getOWLClassAssertionAxiom(OWLClassExpression classExpression, OWLIndividual individual)
OWLClassAssertionAxiom	OWLDataFactoryImpl.getOWLClassAssertionAxiom(OWLClassExpression classExpression, OWLIndividual individual, Set<? extends OWLAnnotation> annotations)
OWLDataPropertyDomainAxiom	OWLDataFactoryImpl.getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property, OWLClassExpression domain)
OWLDataPropertyDomainAxiom	OWLDataFactoryImpl.getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property, OWLClassExpression domain, Set<? extends OWLAnnotation> annotations)
OWLDisjointClassesAxiom	OWLDataFactoryImpl.getOWLDisjointClassesAxiom(OWLClassExpression... classExpressions)
OWLEquivalentClassesAxiom	OWLDataFactoryImpl.getOWLEquivalentClassesAxiom(OWLClassExpression... classExpressions)
OWLEquivalentClassesAxiom	OWLDataFactoryImpl.getOWLEquivalentClassesAxiom(OWLClassExpression clsA, OWLClassExpression clsB)
OWLEquivalentClassesAxiom	OWLDataFactoryImpl.getOWLEquivalentClassesAxiom(OWLClassExpression clsA, OWLClassExpression clsB, Set<? extends OWLAnnotation> annotations)
OWLHasKeyAxiom	OWLDataFactoryImpl.getOWLHasKeyAxiom(OWLClassExpression ce, Set<? extends OWLPropertyExpression> properties)
OWLHasKeyAxiom	OWLDataFactoryImpl.getOWLHasKeyAxiom(OWLClassExpression ce, Set<? extends OWLPropertyExpression> objectProperties, Set<? extends OWLAnnotation> annotations)
OWLHasKeyAxiom	OWLDataFactoryImpl.getOWLHasKeyAxiom(OWLClassExpression ce, OWLPropertyExpression... properties)
OWLObjectAllValuesFrom	OWLDataFactoryImpl.getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectComplementOf	OWLDataFactoryImpl.getOWLObjectComplementOf(OWLClassExpression operand)
OWLObjectExactCardinality	OWLDataFactoryImpl.getOWLObjectExactCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectIntersectionOf	OWLDataFactoryImpl.getOWLObjectIntersectionOf(OWLClassExpression... operands)
OWLObjectMaxCardinality	OWLDataFactoryImpl.getOWLObjectMaxCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectMinCardinality	OWLDataFactoryImpl.getOWLObjectMinCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectPropertyDomainAxiom	OWLDataFactoryImpl.getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectPropertyDomainAxiom	OWLDataFactoryImpl.getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLClassExpression classExpression, Set<? extends OWLAnnotation> annotations)
OWLObjectPropertyRangeAxiom	OWLDataFactoryImpl.getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLClassExpression range)
OWLObjectPropertyRangeAxiom	OWLDataFactoryImpl.getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLClassExpression range, Set<? extends OWLAnnotation> annotations)
OWLObjectSomeValuesFrom	OWLDataFactoryImpl.getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectUnionOf	OWLDataFactoryImpl.getOWLObjectUnionOf(OWLClassExpression... operands)
OWLSubClassOfAxiom	OWLDataFactoryImpl.getOWLSubClassOfAxiom(OWLClassExpression subClass, OWLClassExpression superClass)
OWLSubClassOfAxiom	OWLDataFactoryImpl.getOWLSubClassOfAxiom(OWLClassExpression subClass, OWLClassExpression superClass, Set<? extends OWLAnnotation> annotations)
SWRLClassAtom	OWLDataFactoryImpl.getSWRLClassAtom(OWLClassExpression predicate, SWRLIArgument arg)

Method parameters in uk.ac.manchester.cs.owl.owlapi with type arguments of type OWLClassExpression

Modifier and Type	Method	Description
OWLDisjointClassesAxiom	OWLDataFactoryImpl.getOWLDisjointClassesAxiom(Set<? extends OWLClassExpression> classExpressions)
OWLDisjointClassesAxiom	OWLDataFactoryImpl.getOWLDisjointClassesAxiom(Set<? extends OWLClassExpression> classExpressions, Set<? extends OWLAnnotation> annotations)
OWLDisjointUnionAxiom	OWLDataFactoryImpl.getOWLDisjointUnionAxiom(OWLClass owlClass, Set<? extends OWLClassExpression> classExpressions)
OWLDisjointUnionAxiom	OWLDataFactoryImpl.getOWLDisjointUnionAxiom(OWLClass owlClass, Set<? extends OWLClassExpression> classExpressions, Set<? extends OWLAnnotation> annotations)
OWLEquivalentClassesAxiom	OWLDataFactoryImpl.getOWLEquivalentClassesAxiom(Set<? extends OWLClassExpression> classExpressions)
OWLEquivalentClassesAxiom	OWLDataFactoryImpl.getOWLEquivalentClassesAxiom(Set<? extends OWLClassExpression> classExpressions, Set<? extends OWLAnnotation> annotations)
OWLObjectIntersectionOf	OWLDataFactoryImpl.getOWLObjectIntersectionOf(Set<? extends OWLClassExpression> operands)
OWLObjectUnionOf	OWLDataFactoryImpl.getOWLObjectUnionOf(Set<? extends OWLClassExpression> operands)
<T> Collection<T>	OWLNaryClassAxiomImpl.walkPairwise(OWLPairwiseVisitor<T,OWLClassExpression> visitor)

Constructors in uk.ac.manchester.cs.owl.owlapi with parameters of type OWLClassExpression

Constructor	Description
OWLClassAssertionAxiomImpl(OWLIndividual individual, OWLClassExpression classExpression, Collection<? extends OWLAnnotation> annotations)
OWLDataPropertyDomainAxiomImpl(OWLDataPropertyExpression property, OWLClassExpression domain, Set<? extends OWLAnnotation> annotations)
OWLHasKeyAxiomImpl(OWLClassExpression expression, Set<? extends OWLPropertyExpression> propertyExpressions, Collection<? extends OWLAnnotation> annotations)
OWLObjectAllValuesFromImpl(OWLObjectPropertyExpression property, OWLClassExpression filler)
OWLObjectComplementOfImpl(OWLClassExpression operand)
OWLObjectExactCardinalityImpl(OWLObjectPropertyExpression property, int cardinality, OWLClassExpression filler)
OWLObjectMaxCardinalityImpl(OWLObjectPropertyExpression property, int cardinality, OWLClassExpression filler)
OWLObjectMinCardinalityImpl(OWLObjectPropertyExpression property, int cardinality, OWLClassExpression filler)
OWLObjectPropertyDomainAxiomImpl(OWLObjectPropertyExpression property, OWLClassExpression domain, Set<? extends OWLAnnotation> annotations)
OWLObjectPropertyRangeAxiomImpl(OWLObjectPropertyExpression property, OWLClassExpression range, Set<? extends OWLAnnotation> annotations)
OWLObjectSomeValuesFromImpl(OWLObjectPropertyExpression property, OWLClassExpression filler)
OWLPropertyDomainAxiomImpl(P property, OWLClassExpression domain, Set<? extends OWLAnnotation> annotations)
OWLQuantifiedObjectRestrictionImpl(OWLObjectPropertyExpression property, OWLClassExpression filler)
OWLSubClassOfAxiomImpl(OWLClassExpression subClass, OWLClassExpression superClass, Collection<? extends OWLAnnotation> annotations)
SWRLClassAtomImpl(OWLClassExpression predicate, SWRLIArgument arg)

Constructor parameters in uk.ac.manchester.cs.owl.owlapi with type arguments of type OWLClassExpression

Constructor	Description
OWLDisjointClassesAxiomImpl(Set<? extends OWLClassExpression> classExpressions, Set<? extends OWLAnnotation> annotations)
OWLDisjointUnionAxiomImpl(OWLClass owlClass, Set<? extends OWLClassExpression> classExpressions, Set<? extends OWLAnnotation> annotations)
OWLEquivalentClassesAxiomImpl(Set<? extends OWLClassExpression> classExpressions, Collection<? extends OWLAnnotation> annotations)
OWLNaryBooleanClassExpressionImpl(Set<? extends OWLClassExpression> operands)
OWLNaryClassAxiomImpl(Set<? extends OWLClassExpression> classExpressions, Collection<? extends OWLAnnotation> annotations)
OWLObjectIntersectionOfImpl(Set<? extends OWLClassExpression> operands)
OWLObjectUnionOfImpl(Set<? extends OWLClassExpression> operands)

Uses of OWLClassExpression in uk.ac.manchester.cs.owl.owlapi.concurrent

Methods in uk.ac.manchester.cs.owl.owlapi.concurrent that return types with arguments of type OWLClassExpression

Modifier and Type	Method	Description
Set<OWLClassExpression>	ConcurrentOWLOntologyImpl.getNestedClassExpressions()

Methods in uk.ac.manchester.cs.owl.owlapi.concurrent with parameters of type OWLClassExpression

Modifier and Type	Method	Description
Set<OWLClassAssertionAxiom>	ConcurrentOWLOntologyImpl.getClassAssertionAxioms(OWLClassExpression owlClassExpression)