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	OBO macro package.
org.obolibrary.obo2owl	OBO to OWL.
org.semanticweb.owlapi.apibinding	Binding package.
org.semanticweb.owlapi.change	Ontology change classes.
org.semanticweb.owlapi.debugging	Debugging package.
org.semanticweb.owlapi.dlsyntax.parser	DL syntax parser.
org.semanticweb.owlapi.functional.parser	Functional syntax parser and renderer.
org.semanticweb.owlapi.krss1.parser	Package structure renamed from de.uulm.ecs.ai.owlapi.krssrenderer.
org.semanticweb.owlapi.krss2.parser	Package structure renamed from de.uulm.ecs.ai.owlapi.krssrenderer.
org.semanticweb.owlapi.latex.renderer	LaTeX syntax renderer.
org.semanticweb.owlapi.manchestersyntax.parser	Manchester OWL syntax parser and renderer.
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapi.model.axiomproviders	Axiom provider classes.
org.semanticweb.owlapi.model.providers	Provider interfaces.
org.semanticweb.owlapi.normalform	Normal form package.
org.semanticweb.owlapi.profiles.violations	Violation classes.
org.semanticweb.owlapi.rdf.rdfxml.parser	RDF/XML syntax parser and renderer.
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 utilities package.
org.semanticweb.owlapi.util	Utilities package.
org.semanticweb.owlapi.util.mansyntax
org.semanticweb.owlapitools.builders	Builders package.
uk.ac.manchester.cs.owl.owlapi	OWL API reference implementation package.
uk.ac.manchester.cs.owl.owlapi.concurrent	Concurrent implementation package.

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.AbstractClassExpressionVisitorEx.visit(OWLClass ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLDataAllValuesFrom ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLDataExactCardinality ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLDataHasValue ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLDataMaxCardinality ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLDataMinCardinality ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLDataSomeValuesFrom ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectAllValuesFrom ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectComplementOf ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectExactCardinality ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectHasSelf ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectHasValue ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectIntersectionOf ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectMaxCardinality ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectMinCardinality ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectOneOf ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectSomeValuesFrom ce)
OWLClassExpression	AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.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)	Translate rel.
OWLClassExpression	OWLAPIObo2Owl.trTermFrame(Frame termFrame)	Translate 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, Collection<OWLAnnotation> a)
static OWLDataPropertyDomainAxiom	OWLFunctionalSyntaxFactory.DataPropertyDomain(OWLDataPropertyExpression property, OWLClassExpression domain)
static OWLDataPropertyDomainAxiom	OWLFunctionalSyntaxFactory.DataPropertyDomain(OWLDataPropertyExpression property, OWLClassExpression domain, Collection<OWLAnnotation> a)
static OWLDisjointClassesAxiom	OWLFunctionalSyntaxFactory.DisjointClasses(Collection<OWLAnnotation> a, OWLClassExpression... classExpressions)
static OWLDisjointClassesAxiom	OWLFunctionalSyntaxFactory.DisjointClasses(OWLClassExpression... classExpressions)
static OWLDisjointUnionAxiom	OWLFunctionalSyntaxFactory.DisjointUnion(OWLClass cls, OWLClassExpression... classExpressions)
static OWLEquivalentClassesAxiom	OWLFunctionalSyntaxFactory.EquivalentClasses(Collection<OWLAnnotation> a, OWLClassExpression... classExpressions)
static OWLEquivalentClassesAxiom	OWLFunctionalSyntaxFactory.EquivalentClasses(OWLClassExpression... classExpressions)
static OWLHasKeyAxiom	OWLFunctionalSyntaxFactory.HasKey(Collection<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, Collection<OWLAnnotation> a)
static OWLObjectPropertyRangeAxiom	OWLFunctionalSyntaxFactory.ObjectPropertyRange(OWLObjectPropertyExpression property, OWLClassExpression range)
static OWLObjectPropertyRangeAxiom	OWLFunctionalSyntaxFactory.ObjectPropertyRange(OWLObjectPropertyExpression property, OWLClassExpression range, Collection<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, Collection<OWLAnnotation> a)

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

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

Uses of OWLClassExpression in org.semanticweb.owlapi.change

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

Modifier	Constructor	Description
	MakeClassesMutuallyDisjoint(OWLDataFactory dataFactory, Collection<? 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)	Get all SOS for inconsistent class.
Set<OWLAxiom>	BlackBoxOWLDebugger.getSOSForInconsistentClass(OWLClassExpression cls)
Set<OWLAxiom>	OWLDebugger.getSOSForInconsistentClass(OWLClassExpression cls)	Gets the SOS for inconsistent class.

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

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

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

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

Modifier and Type	Method	Description
final OWLClassExpression	DLSyntaxParser.And()
final OWLClassExpression	DLSyntaxParser.NamedClassOrNestedDescription()
final OWLClassExpression	DLSyntaxParser.NestedClassDescription()
final OWLClassExpression	DLSyntaxParser.NonNaryBooleanDescription()
final OWLClassExpression	DLSyntaxParser.Or()
final OWLClassExpression	DLSyntaxParser.parseAllRestriction()
final OWLClassExpression	DLSyntaxParser.parseCardinalityRestriction()
final OWLClassExpression	DLSyntaxParser.parseClassDescription()
final OWLClassExpression	DLSyntaxParser.parseDataSomeRestriction()
final OWLClassExpression	DLSyntaxParser.parseDescription()
final OWLClassExpression	DLSyntaxParser.parseObjectComplementOf()
final OWLClassExpression	DLSyntaxParser.parseObjectOneOf()
final OWLClassExpression	DLSyntaxParser.parseRestriction()
final OWLClassExpression	DLSyntaxParser.parseSomeRestriction()

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

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

Modifier and Type	Method	Description
final OWLClassExpression	OWLFunctionalSyntaxParser.ClassExpression()
final OWLClassExpression	OWLFunctionalSyntaxParser.DataAllValuesFrom()
final OWLClassExpression	OWLFunctionalSyntaxParser.DataExactCardinality()
final OWLClassExpression	OWLFunctionalSyntaxParser.DataHasValue()
final OWLClassExpression	OWLFunctionalSyntaxParser.DataMaxCardinality()
final OWLClassExpression	OWLFunctionalSyntaxParser.DataMinCardinality()
final OWLClassExpression	OWLFunctionalSyntaxParser.DataSomeValuesFrom()
final OWLClassExpression	OWLFunctionalSyntaxParser.ObjectAllValuesFrom()
final OWLClassExpression	OWLFunctionalSyntaxParser.ObjectComplementOf()
final OWLClassExpression	OWLFunctionalSyntaxParser.ObjectExactCardinality()
final OWLClassExpression	OWLFunctionalSyntaxParser.ObjectHasValue()
final OWLClassExpression	OWLFunctionalSyntaxParser.ObjectIntersectionOf()
final OWLClassExpression	OWLFunctionalSyntaxParser.ObjectMaxCardinality()
final OWLClassExpression	OWLFunctionalSyntaxParser.ObjectMinCardinality()
final OWLClassExpression	OWLFunctionalSyntaxParser.ObjectOneOf()
final OWLClassExpression	OWLFunctionalSyntaxParser.ObjectSelf()
final OWLClassExpression	OWLFunctionalSyntaxParser.ObjectSomeValuesFrom()
final OWLClassExpression	OWLFunctionalSyntaxParser.ObjectUnionOf()

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

Modifier and Type	Method	Description
final Set<OWLClassExpression>	OWLFunctionalSyntaxParser.ClassExpressionSet()

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

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

Modifier and Type	Method	Description
final OWLClassExpression	KRSSParser.All()
final OWLClassExpression	KRSSParser.And()
final OWLClassExpression	KRSSParser.AtLeast()
final OWLClassExpression	KRSSParser.AtMost()
final OWLClassExpression	KRSSParser.ConceptExpression()
final OWLClassExpression	KRSSParser.ConceptName()
final OWLClassExpression	KRSSParser.Exactly()
final OWLClassExpression	KRSSParser.Not()
final OWLClassExpression	KRSSParser.Or()
final OWLClassExpression	KRSSParser.Some()

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

Modifier and Type	Method	Description
final Set<OWLClassExpression>	KRSSParser.ConceptSet()

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

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

Modifier and Type	Method	Description
final OWLClassExpression	KRSS2Parser.All()
final OWLClassExpression	KRSS2Parser.And()
final OWLClassExpression	KRSS2Parser.AtLeast()
final OWLClassExpression	KRSS2Parser.AtMost()
final OWLClassExpression	KRSS2Parser.ConceptExpression()
final OWLClassExpression	KRSS2Parser.ConceptName()
final OWLClassExpression	KRSS2Parser.Exactly()
final OWLClassExpression	KRSS2Parser.Not()
final OWLClassExpression	KRSS2Parser.Or()
final OWLClassExpression	KRSS2Parser.Some()

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

Modifier and Type	Method	Description
final Set<OWLClassExpression>	KRSS2Parser.ConceptSet()

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()

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 restrictions in the OWL 2 Specification.
interface	OWLDataHasValue	Represents DataHasValue restrictions in the OWL 2 Specification.
interface	OWLDataMaxCardinality	Represents DataMaxCardinality restrictions in the OWL 2 Specification.
interface	OWLDataMinCardinality	Represents DataMinCardinality restrictions 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	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.
Stream<OWLClassExpression>	SWRLRule.classAtomPredicates()	Gets the predicates of class atoms.
Stream<OWLClassExpression>	OWLDisjointUnionAxiom.classExpressions()	Gets the class expressions which are operands of the disjoint union.
Stream<OWLClassExpression>	OWLNaryClassAxiom.classExpressions()	Gets all of the top level class expressions that appear in this axiom.
default Stream<OWLClassExpression>	OWLClassExpression.conjunctSet()	Interprets this expression as a conjunction and returns the conjuncts.
default Stream<OWLClassExpression>	OWLClassExpression.disjunctSet()	Interprets this expression as a disjunction and returns the disjuncts.
default Set<OWLClassExpression>	SWRLRule.getClassAtomPredicates()	Gets the predicates of class atoms.
default Set<OWLClassExpression>	OWLDisjointUnionAxiom.getClassExpressions()	Gets the class expressions which are operands of the disjoint union.
default Set<OWLClassExpression>	OWLNaryClassAxiom.getClassExpressions()	Gets all of the top level class expressions that appear in this axiom.
default List<OWLClassExpression>	OWLNaryClassAxiom.getClassExpressionsAsList()	Deprecated. use HasOperands.getOperandsAsList()
Set<OWLClassExpression>	OWLNaryClassAxiom.getClassExpressionsMinus(OWLClassExpression... desc)	Gets the set of class expressions that appear in this axiom minus the specified class expressions.
default Set<OWLClassExpression>	OWLObject.getNestedClassExpressions()	Gets all of the nested (includes top level) class expressions (anonymous and named) that are used in this object.
default Set<OWLClassExpression>	OWLNaryBooleanClassExpression.getOperands()
default Stream<OWLClassExpression>	OWLObject.nestedClassExpressions()	Gets all of the nested (includes top level) class expressions (anonymous and named) that are used in this object.
default Stream<OWLClassExpression>	OWLNaryClassAxiom.operands()

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

Modifier and Type	Method	Description
default Stream<OWLClassAssertionAxiom>	OWLAxiomIndex.classAssertionAxioms(OWLClassExpression ce)	Gets the OWLClassAssertionAxiom objects contained in this ontology that make the specified class expression, ce, a type for some individual.
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.
default Set<OWLClassAssertionAxiom>	OWLAxiomIndex.getClassAssertionAxioms(OWLClassExpression ce)	Gets the OWLClassAssertionAxiom objects 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 specified class expressions.

Uses of OWLClassExpression in org.semanticweb.owlapi.model.axiomproviders

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

Modifier and Type	Method	Description
default OWLDataPropertyDomainAxiom	DomainAxiomProvider.getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property, OWLClassExpression domain)
OWLDataPropertyDomainAxiom	DomainAxiomProvider.getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property, OWLClassExpression domain, Collection<OWLAnnotation> annotations)
default OWLDisjointClassesAxiom	DisjointAxiomProvider.getOWLDisjointClassesAxiom(OWLClassExpression... classExpressions)
default OWLDisjointClassesAxiom	DisjointAxiomProvider.getOWLDisjointClassesAxiom(OWLClassExpression classA, OWLClassExpression classB, Collection<OWLAnnotation> annotations)
default OWLEquivalentClassesAxiom	EquivalentAxiomProvider.getOWLEquivalentClassesAxiom(OWLClassExpression... classExpressions)
default OWLEquivalentClassesAxiom	EquivalentAxiomProvider.getOWLEquivalentClassesAxiom(OWLClassExpression clsA, OWLClassExpression clsB)
default OWLEquivalentClassesAxiom	EquivalentAxiomProvider.getOWLEquivalentClassesAxiom(OWLClassExpression clsA, OWLClassExpression clsB, Collection<OWLAnnotation> annotations)
default OWLHasKeyAxiom	HasKeyAxiomProvider.getOWLHasKeyAxiom(OWLClassExpression ce, Collection<? extends OWLPropertyExpression> properties)
OWLHasKeyAxiom	HasKeyAxiomProvider.getOWLHasKeyAxiom(OWLClassExpression ce, Collection<? extends OWLPropertyExpression> objectProperties, Collection<OWLAnnotation> annotations)
default OWLHasKeyAxiom	HasKeyAxiomProvider.getOWLHasKeyAxiom(OWLClassExpression ce, OWLPropertyExpression... properties)
default OWLObjectPropertyDomainAxiom	DomainAxiomProvider.getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectPropertyDomainAxiom	DomainAxiomProvider.getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLClassExpression classExpression, Collection<OWLAnnotation> annotations)
default OWLObjectPropertyRangeAxiom	RangeAxiomProvider.getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLClassExpression range)
OWLObjectPropertyRangeAxiom	RangeAxiomProvider.getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLClassExpression range, Collection<OWLAnnotation> annotations)
default OWLSubClassOfAxiom	SubAxiomProvider.getOWLSubClassOfAxiom(OWLClassExpression subClass, OWLClassExpression superClass)
OWLSubClassOfAxiom	SubAxiomProvider.getOWLSubClassOfAxiom(OWLClassExpression subClass, OWLClassExpression superClass, Collection<OWLAnnotation> annotations)

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

Modifier and Type	Method	Description
default OWLDisjointClassesAxiom	DisjointAxiomProvider.getOWLDisjointClassesAxiom(Collection<? extends OWLClassExpression> classExpressions)
OWLDisjointClassesAxiom	DisjointAxiomProvider.getOWLDisjointClassesAxiom(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
default OWLDisjointClassesAxiom	DisjointAxiomProvider.getOWLDisjointClassesAxiom(Stream<? extends OWLClassExpression> classExpressions)
default OWLDisjointClassesAxiom	DisjointAxiomProvider.getOWLDisjointClassesAxiom(Stream<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
default OWLDisjointUnionAxiom	DisjointUnionAxiomProvider.getOWLDisjointUnionAxiom(OWLClass owlClass, Collection<? extends OWLClassExpression> classExpressions)
default OWLDisjointUnionAxiom	DisjointUnionAxiomProvider.getOWLDisjointUnionAxiom(OWLClass owlClass, Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
default OWLDisjointUnionAxiom	DisjointUnionAxiomProvider.getOWLDisjointUnionAxiom(OWLClass owlClass, Stream<? extends OWLClassExpression> classExpressions)
OWLDisjointUnionAxiom	DisjointUnionAxiomProvider.getOWLDisjointUnionAxiom(OWLClass owlClass, Stream<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
default OWLEquivalentClassesAxiom	EquivalentAxiomProvider.getOWLEquivalentClassesAxiom(Collection<? extends OWLClassExpression> classExpressions)
OWLEquivalentClassesAxiom	EquivalentAxiomProvider.getOWLEquivalentClassesAxiom(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
default OWLEquivalentClassesAxiom	EquivalentAxiomProvider.getOWLEquivalentClassesAxiom(Stream<? extends OWLClassExpression> classExpressions)

Uses of OWLClassExpression in org.semanticweb.owlapi.model.providers

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

Modifier and Type	Method	Description
default OWLClassAssertionAxiom	ClassAssertionProvider.getOWLClassAssertionAxiom(OWLClassExpression classExpression, OWLIndividual individual)
OWLClassAssertionAxiom	ClassAssertionProvider.getOWLClassAssertionAxiom(OWLClassExpression classExpression, OWLIndividual individual, Collection<OWLAnnotation> annotations)
OWLObjectAllValuesFrom	UniversalProvider.getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectComplementOf	ComplementProvider.getOWLObjectComplementOf(OWLClassExpression operand)
OWLObjectExactCardinality	CardinalityRestrictionProvider.getOWLObjectExactCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
default OWLObjectIntersectionOf	IntersectionProvider.getOWLObjectIntersectionOf(OWLClassExpression... operands)
OWLObjectMaxCardinality	CardinalityRestrictionProvider.getOWLObjectMaxCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectMinCardinality	CardinalityRestrictionProvider.getOWLObjectMinCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectSomeValuesFrom	ExistentialProvider.getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)	Gets an OWLObjectSomeValuesFrom restriction
default OWLObjectUnionOf	UnionProvider.getOWLObjectUnionOf(OWLClassExpression... operands)
SWRLClassAtom	SWRLProvider.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.providers with type arguments of type OWLClassExpression

Modifier and Type	Method	Description
default OWLObjectIntersectionOf	IntersectionProvider.getOWLObjectIntersectionOf(Collection<? extends OWLClassExpression> operands)
OWLObjectIntersectionOf	IntersectionProvider.getOWLObjectIntersectionOf(Stream<? extends OWLClassExpression> operands)
default OWLObjectUnionOf	UnionProvider.getOWLObjectUnionOf(Collection<? extends OWLClassExpression> operands)
OWLObjectUnionOf	UnionProvider.getOWLObjectUnionOf(Stream<? 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 c)
boolean	NormalFormRewriter.isInNormalForm(OWLClassExpression classExpression)	Checks if is in normal form.

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

Modifier	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 Translators.TranslatorAccessor.translateClassExpression(IRI)

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
default Stream<OWLClass>	OWLReasoner.disjointClasses(OWLClassExpression ce)	Gets the classes that are disjoint with the specified class expression ce.
default Stream<OWLClass>	OWLReasoner.equivalentClasses(OWLClassExpression ce)	Gets the stream of named classes that are equivalent to the specified class expression with respect to the set of reasoner axioms.
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.
default NodeSet<OWLNamedIndividual>	OWLReasoner.getInstances(OWLClassExpression ce)
NodeSet<OWLNamedIndividual>	OWLReasoner.getInstances(OWLClassExpression ce, boolean direct)	Gets the individuals which are instances of the specified class expression.
default NodeSet<OWLNamedIndividual>	OWLReasoner.getInstances(OWLClassExpression ce, InferenceDepth depth)
default NodeSet<OWLClass>	OWLReasoner.getSubClasses(OWLClassExpression ce)	Returns all subclasses.
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.
default NodeSet<OWLClass>	OWLReasoner.getSubClasses(OWLClassExpression ce, InferenceDepth depth)
default NodeSet<OWLClass>	OWLReasoner.getSuperClasses(OWLClassExpression ce)
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.
default NodeSet<OWLClass>	OWLReasoner.getSuperClasses(OWLClassExpression ce, InferenceDepth depth)
default Stream<OWLNamedIndividual>	OWLReasoner.instances(OWLClassExpression ce)
default Stream<OWLNamedIndividual>	OWLReasoner.instances(OWLClassExpression ce, boolean direct)	Gets the individuals which are instances of the specified class expression.
default Stream<OWLNamedIndividual>	OWLReasoner.instances(OWLClassExpression ce, InferenceDepth depth)
boolean	OWLReasoner.isSatisfiable(OWLClassExpression classExpression)	A convenience method that determines if the specified class expression is satisfiable with respect to the reasoner axioms.
default Stream<OWLNamedIndividual>	OWLReasoner.representativeInstances(OWLClassExpression ce)
default Stream<OWLNamedIndividual>	OWLReasoner.representativeInstances(OWLClassExpression ce, boolean direct)	Gets the individuals which are instances of the specified class expression.
default Stream<OWLNamedIndividual>	OWLReasoner.representativeInstances(OWLClassExpression ce, InferenceDepth depth)
default Stream<OWLClass>	OWLReasoner.subClasses(OWLClassExpression ce)	Returns all subclasses.
default Stream<OWLClass>	OWLReasoner.subClasses(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.
default Stream<OWLClass>	OWLReasoner.subClasses(OWLClassExpression ce, InferenceDepth depth)
default Stream<OWLClass>	OWLReasoner.superClasses(OWLClassExpression ce)
default Stream<OWLClass>	OWLReasoner.superClasses(OWLClassExpression ce, boolean direct)	Gets the stream 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.
default Stream<OWLClass>	OWLReasoner.superClasses(OWLClassExpression ce, InferenceDepth depth)

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

Modifier	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 types with arguments of type OWLClassExpression

Modifier and Type	Method	Description
Optional<OWLClassExpression>	SatisfiabilityReducer.doDefault(Object o)
Optional<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 Stream<OWLClassExpression>	EntitySearcher.getDisjointClasses(OWLClass e, Stream<OWLOntology> ontologies)	Gets the classes which have been asserted to be disjoint with e by axioms in the specified ontologies.
static Stream<OWLClassExpression>	EntitySearcher.getDisjointClasses(OWLClass e, OWLOntology ontology)	Gets the classes which have been asserted to be disjoint with e by axioms in the specified ontology.
static Stream<OWLClassExpression>	EntitySearcher.getDomains(OWLDataProperty e, Stream<OWLOntology> ontologies)	Gets the asserted domains of e by examining the axioms in the specified ontologies.
static Stream<OWLClassExpression>	EntitySearcher.getDomains(OWLDataProperty e, OWLOntology ontology)	Gets the asserted domains of e.
static Stream<OWLClassExpression>	EntitySearcher.getDomains(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies)	Gets the asserted domains of e by examining the axioms in the specified ontologies.
static Stream<OWLClassExpression>	EntitySearcher.getDomains(OWLObjectPropertyExpression e, OWLOntology ontology)	Gets the asserted domains of e.
static Stream<OWLClassExpression>	EntitySearcher.getEquivalentClasses(OWLClass e, Stream<OWLOntology> ontologies)	Gets the classes which have been asserted to be equivalent with e by axioms in the specified ontologies.
static Stream<OWLClassExpression>	EntitySearcher.getEquivalentClasses(OWLClass e, OWLOntology ontology)	Gets the classes which have been asserted to be equivalent with e by axioms in the specified ontology.
static Stream<OWLClassExpression>	EntitySearcher.getRanges(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies)	Gets the asserted ranges of e by examining the axioms in the specified ontologies.
static Stream<OWLClassExpression>	EntitySearcher.getRanges(OWLObjectPropertyExpression e, OWLOntology ontology)	Gets the ranges of e that have been asserted in the specified ontology.
static Stream<OWLClassExpression>	EntitySearcher.getSubClasses(OWLClass e, Stream<OWLOntology> ontologies)	Gets the classes which have been asserted to be subclasses of e in the specified ontologies.
static Stream<OWLClassExpression>	EntitySearcher.getSubClasses(OWLClass e, OWLOntology ontology)	Gets the classes which have been asserted to be subclasses of e in the specified ontology.
static Stream<OWLClassExpression>	EntitySearcher.getSuperClasses(OWLClass e, Stream<OWLOntology> ontologies)	Gets the classes which have been asserted to be superclasses of e in the specified ontologies.
static Stream<OWLClassExpression>	EntitySearcher.getSuperClasses(OWLClass e, OWLOntology ontology)	Gets the classes which have been asserted to be superclasses of e in the specified ontology.
static Stream<OWLClassExpression>	EntitySearcher.getTypes(OWLIndividual e, Stream<OWLOntology> ontologies)
static Stream<OWLClassExpression>	EntitySearcher.getTypes(OWLIndividual e, OWLOntology ontology)
static Stream<OWLClassExpression>	Searcher.types(Stream<OWLClassAssertionAxiom> axioms)	Retrieve classes from class assertions.

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

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

Uses of OWLClassExpression in org.semanticweb.owlapi.util

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.
OWLClassExpressionVisitorEx<OWLClassExpression>	NNF.getClassVisitor()
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLClass ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDataAllValuesFrom ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDataExactCardinality ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDataHasValue ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDataMaxCardinality ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDataMinCardinality ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLDataSomeValuesFrom ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectAllValuesFrom ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectComplementOf ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectExactCardinality ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectHasSelf ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectHasValue ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectIntersectionOf ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectMaxCardinality ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectMinCardinality ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectOneOf ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectSomeValuesFrom ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLObjectUnionOf ce)
Collection<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLOntology ontology)

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.
default 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	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()
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()
Stream<OWLClassExpression>	SWRLRuleImpl.classAtomPredicates()
Stream<OWLClassExpression>	OWLDisjointUnionAxiomImpl.classExpressions()
Stream<OWLClassExpression>	OWLNaryClassAxiomImpl.classExpressions()
Stream<OWLClassExpression>	OWLAnonymousClassExpressionImpl.conjunctSet()
Stream<OWLClassExpression>	OWLClassImpl.conjunctSet()
Stream<OWLClassExpression>	OWLObjectIntersectionOfImpl.conjunctSet()
Stream<OWLClassExpression>	OWLAnonymousClassExpressionImpl.disjunctSet()
Stream<OWLClassExpression>	OWLClassImpl.disjunctSet()
Stream<OWLClassExpression>	OWLObjectUnionOfImpl.disjunctSet()
Set<OWLClassExpression>	OWLNaryClassAxiomImpl.getClassExpressionsMinus(OWLClassExpression... desc)
List<OWLClassExpression>	OWLDisjointUnionAxiomImpl.getOperandsAsList()
List<OWLClassExpression>	OWLNaryBooleanClassExpressionImpl.getOperandsAsList()
List<OWLClassExpression>	OWLNaryClassAxiomImpl.getOperandsAsList()
Stream<OWLClassExpression>	OWLObjectImpl.nestedClassExpressions()
Stream<OWLClassExpression>	OWLDisjointUnionAxiomImpl.operands()
Stream<OWLClassExpression>	OWLNaryBooleanClassExpressionImpl.operands()

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

Modifier and Type	Method	Description
Stream<OWLClassAssertionAxiom>	OWLImmutableOntologyImpl.classAssertionAxioms(OWLClassExpression ce)
boolean	OWLNaryClassAxiomImpl.contains(OWLClassExpression ce)
boolean	OWLAnonymousClassExpressionImpl.containsConjunct(OWLClassExpression ce)
boolean	OWLClassImpl.containsConjunct(OWLClassExpression ce)
boolean	OWLObjectIntersectionOfImpl.containsConjunct(OWLClassExpression ce)
Set<OWLClassExpression>	OWLNaryClassAxiomImpl.getClassExpressionsMinus(OWLClassExpression... desc)
OWLClassAssertionAxiom	OWLDataFactoryImpl.getOWLClassAssertionAxiom(OWLClassExpression classExpression, OWLIndividual individual, Collection<OWLAnnotation> annotations)
OWLDataPropertyDomainAxiom	OWLDataFactoryImpl.getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property, OWLClassExpression domain, Collection<OWLAnnotation> annotations)
OWLHasKeyAxiom	OWLDataFactoryImpl.getOWLHasKeyAxiom(OWLClassExpression ce, Collection<? extends OWLPropertyExpression> objectProperties, Collection<OWLAnnotation> annotations)
OWLObjectAllValuesFrom	OWLDataFactoryImpl.getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLObjectComplementOf	OWLDataFactoryImpl.getOWLObjectComplementOf(OWLClassExpression operand)
OWLObjectExactCardinality	OWLDataFactoryImpl.getOWLObjectExactCardinality(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression)
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, Collection<OWLAnnotation> annotations)
OWLObjectPropertyRangeAxiom	OWLDataFactoryImpl.getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLClassExpression range, Collection<OWLAnnotation> annotations)
OWLObjectSomeValuesFrom	OWLDataFactoryImpl.getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
OWLSubClassOfAxiom	OWLDataFactoryImpl.getOWLSubClassOfAxiom(OWLClassExpression subClass, OWLClassExpression superClass, Collection<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(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
OWLDisjointUnionAxiom	OWLDataFactoryImpl.getOWLDisjointUnionAxiom(OWLClass owlClass, Stream<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
OWLEquivalentClassesAxiom	OWLDataFactoryImpl.getOWLEquivalentClassesAxiom(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
OWLObjectIntersectionOf	OWLDataFactoryImpl.getOWLObjectIntersectionOf(Collection<? extends OWLClassExpression> operands)
OWLObjectIntersectionOf	OWLDataFactoryImpl.getOWLObjectIntersectionOf(Stream<? extends OWLClassExpression> operands)
OWLObjectUnionOf	OWLDataFactoryImpl.getOWLObjectUnionOf(Collection<? extends OWLClassExpression> operands)
OWLObjectUnionOf	OWLDataFactoryImpl.getOWLObjectUnionOf(Stream<? extends OWLClassExpression> operands)

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

Modifier	Constructor	Description
	OWLClassAssertionAxiomImpl(OWLIndividual individual, OWLClassExpression classExpression, Collection<OWLAnnotation> annotations)
	OWLDataPropertyDomainAxiomImpl(OWLDataPropertyExpression property, OWLClassExpression domain, Collection<OWLAnnotation> annotations)
	OWLHasKeyAxiomImpl(OWLClassExpression expression, Collection<? extends OWLPropertyExpression> propertyExpressions, Collection<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, Collection<OWLAnnotation> annotations)
	OWLObjectPropertyRangeAxiomImpl(OWLObjectPropertyExpression property, OWLClassExpression range, Collection<OWLAnnotation> annotations)
	OWLObjectSomeValuesFromImpl(OWLObjectPropertyExpression property, OWLClassExpression filler)
	OWLPropertyDomainAxiomImpl(P property, OWLClassExpression domain, Collection<OWLAnnotation> annotations)
	OWLQuantifiedObjectRestrictionImpl(OWLObjectPropertyExpression property, OWLClassExpression filler)
	OWLSubClassOfAxiomImpl(OWLClassExpression subClass, OWLClassExpression superClass, Collection<OWLAnnotation> annotations)
	SWRLClassAtomImpl(OWLClassExpression predicate, SWRLIArgument arg)

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

Modifier	Constructor	Description
	OWLDisjointClassesAxiomImpl(List<OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
	OWLDisjointUnionAxiomImpl(OWLClass owlClass, List<OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
	OWLEquivalentClassesAxiomImpl(List<OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
	OWLNaryBooleanClassExpressionImpl(List<OWLClassExpression> operands)
	OWLNaryClassAxiomImpl(List<OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations)
	OWLObjectIntersectionOfImpl(List<OWLClassExpression> operands)
	OWLObjectUnionOfImpl(List<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()
Stream<OWLClassExpression>	ConcurrentOWLOntologyImpl.nestedClassExpressions()

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

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