Uses of Interface
org.semanticweb.elk.owl.interfaces.ElkClassExpression

Packages that use ElkClassExpression

Package	Description
org.semanticweb.elk.owl.interfaces
org.semanticweb.elk.owl.predefined

Uses of ElkClassExpression in org.semanticweb.elk.owl.interfaces

Subinterfaces of ElkClassExpression in org.semanticweb.elk.owl.interfaces

Modifier and Type	Interface and Description
interface	ElkCardinalityRestriction<P> A generic interface on property restrictions with cardinality constraints.
interface	ElkCardinalityRestrictionQualified<P,F> A generic interface for restrictions on properties with fillers (qualifiers) and cardinality constraints.
interface	ElkClass Corresponds to a Class in the OWL 2 specification.
interface	ElkDataAllValuesFrom Corresponds to an Universal Quantification Data Property Restriction in the OWL 2 specification.
interface	ElkDataExactCardinality Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified data range is empty.
interface	ElkDataExactCardinalityQualified Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified data range is not empty.
interface	ElkDataHasValue Corresponds to an Literal Value Restriction for Data Properties in the OWL 2 specification.
interface	ElkDataMaxCardinality Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified data range is empty.
interface	ElkDataMaxCardinalityQualified Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified data range is not empty.
interface	ElkDataMinCardinality Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified data range is empty.
interface	ElkDataMinCardinalityQualified Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified data range is not empty.
interface	ElkDataPropertyListRestrictionQualified Common interface for DataSomeValuesFrom and DataAllValuesFrom restrictions which can be based on a list of data (not object) property expression.
interface	ElkDataSomeValuesFrom Corresponds to an Existential Quantification Data Property Restriction in the OWL 2 specification.
interface	ElkObjectAllValuesFrom Corresponds to an Universal Quantification Object Property Restriction in the OWL 2 specification.
interface	ElkObjectComplementOf Corresponds to the complement of a class expression in the OWL 2 specification.
interface	ElkObjectExactCardinality Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified class expression is not specified.
interface	ElkObjectExactCardinalityQualified Corresponds to an exact cardinality restriction in the OWL 2 specification in the case the qualified class expression is specified.
interface	ElkObjectHasSelf Corresponds to a Self-Restriction in the OWL 2 specification.
interface	ElkObjectHasValue Corresponds to an Individual Value Restriction for Object Properties in the OWL 2 specification.
interface	ElkObjectIntersectionOf Corresponds to an Intersection of Class Expressions in the OWL 2 specification.
interface	ElkObjectMaxCardinality Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified class expression is not specified.
interface	ElkObjectMaxCardinalityQualified Corresponds to an maximum cardinality restriction in the OWL 2 specification in the case the qualified class expression is specified.
interface	ElkObjectMinCardinality Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified class expression is not specified.
interface	ElkObjectMinCardinalityQualified Corresponds to an minimum cardinality restriction in the OWL 2 specification in the case the qualified class expression is specified.
interface	ElkObjectOneOf Corresponds to an Enumeration of Individuals in the OWL 2 specification.
interface	ElkObjectSomeValuesFrom Corresponds to an Existential Quantification Object Property Restriction in the OWL 2 specification.
interface	ElkObjectUnionOf Corresponds to a Union of Class Expressions in the OWL 2 specification.
interface	ElkPropertyRestriction<P> A generic interface for class expressions with data properties or object properties.
interface	ElkPropertyRestrictionQualified<P,F> A generic interface for restrictions on properties with fillers (qualifiers).

Methods in org.semanticweb.elk.owl.interfaces that return ElkClassExpression

Modifier and Type	Method and Description
ElkClassExpression	ElkHasKeyAxiom.getClassExpression()
ElkClassExpression	ElkClassAssertionAxiom.getClassExpression() Get the class expression that this axiom refers to.
ElkClassExpression	ElkObjectComplementOf.getClassExpression() Get the class expression that this expression refers to.
ElkClassExpression	ElkSubClassOfAxiom.getSubClassExpression() Get the sub class expression of this axiom.
ElkClassExpression	ElkSubClassOfAxiom.getSuperClassExpression() Get the super class expression of this axiom.

Methods in org.semanticweb.elk.owl.interfaces that return types with arguments of type ElkClassExpression

Modifier and Type	Method and Description
List<? extends ElkClassExpression>	ElkObjectUnionOf.getClassExpressions() Get the list of class expressions that this expression refers to.
List<? extends ElkClassExpression>	ElkDisjointClassesAxiom.getClassExpressions() Get the list of disjoint class expressions that this axiom refers to.
List<? extends ElkClassExpression>	ElkDisjointUnionAxiom.getClassExpressions() Get the list of disjoint class expressions that this axiom refers to.
List<? extends ElkClassExpression>	ElkObjectIntersectionOf.getClassExpressions() Get the list of class expressions that this expression refers to.
List<? extends ElkClassExpression>	ElkEquivalentClassesAxiom.getClassExpressions() Get the list of equivalent class expressions that this axiom refers to.

Methods in org.semanticweb.elk.owl.interfaces with parameters of type ElkClassExpression

Modifier and Type	Method and Description
ElkClassAssertionAxiom	ElkObjectFactory.getClassAssertionAxiom(ElkClassExpression classExpression, ElkIndividual individual) Create an ElkClassAssertionAxiom.
ElkDataPropertyDomainAxiom	ElkObjectFactory.getDataPropertyDomainAxiom(ElkDataPropertyExpression dataPropertyExpression, ElkClassExpression classExpression) Create an ElkDataPropertyDomainAxiom.
ElkDisjointClassesAxiom	ElkObjectFactory.getDisjointClassesAxiom(ElkClassExpression firstClassExpression, ElkClassExpression secondClassExpression, ElkClassExpression... otherClassExpressions) Create an ElkDisjointClassesAxiom.
ElkDisjointClassesAxiom	ElkObjectFactory.getDisjointClassesAxiom(ElkClassExpression firstClassExpression, ElkClassExpression secondClassExpression, ElkClassExpression... otherClassExpressions) Create an ElkDisjointClassesAxiom.
ElkDisjointUnionAxiom	ElkObjectFactory.getDisjointUnionAxiom(ElkClass definedClass, ElkClassExpression firstClassExpression, ElkClassExpression secondClassExpression, ElkClassExpression... otherClassExpressions) Create an ElkDisjointUnionAxiom.
ElkDisjointUnionAxiom	ElkObjectFactory.getDisjointUnionAxiom(ElkClass definedClass, ElkClassExpression firstClassExpression, ElkClassExpression secondClassExpression, ElkClassExpression... otherClassExpressions) Create an ElkDisjointUnionAxiom.
ElkEquivalentClassesAxiom	ElkObjectFactory.getEquivalentClassesAxiom(ElkClassExpression firstClassExpression, ElkClassExpression secondClassExpression, ElkClassExpression... otherClassExpressions) Create an ElkEquivalentClassesAxiom.
ElkEquivalentClassesAxiom	ElkObjectFactory.getEquivalentClassesAxiom(ElkClassExpression firstClassExpression, ElkClassExpression secondClassExpression, ElkClassExpression... otherClassExpressions) Create an ElkEquivalentClassesAxiom.
ElkHasKeyAxiom	ElkObjectFactory.getHasKeyAxiom(ElkClassExpression classExpr, Set<ElkObjectPropertyExpression> objectPEs, Set<ElkDataPropertyExpression> dataPEs) Create an ElkHasKeyAxiom
ElkObjectAllValuesFrom	ElkObjectFactory.getObjectAllValuesFrom(ElkObjectPropertyExpression objectPropertyExpression, ElkClassExpression classExpression) Create an ElkObjectAllValuesFrom.
ElkObjectComplementOf	ElkObjectFactory.getObjectComplementOf(ElkClassExpression classExpression) Create an ElkObjectComplementOf.
ElkObjectExactCardinalityQualified	ElkObjectFactory.getObjectExactCardinalityQualified(ElkObjectPropertyExpression objectPropertyExpression, int cardinality, ElkClassExpression classExpression) Create an ElkObjectExactCardinalityQualified.
ElkObjectIntersectionOf	ElkObjectFactory.getObjectIntersectionOf(ElkClassExpression firstClassExpression, ElkClassExpression secondClassExpression, ElkClassExpression... otherClassExpressions) Create an ElkObjectIntersectionOf.
ElkObjectIntersectionOf	ElkObjectFactory.getObjectIntersectionOf(ElkClassExpression firstClassExpression, ElkClassExpression secondClassExpression, ElkClassExpression... otherClassExpressions) Create an ElkObjectIntersectionOf.
ElkObjectMaxCardinalityQualified	ElkObjectFactory.getObjectMaxCardinalityQualified(ElkObjectPropertyExpression objectPropertyExpression, int cardinality, ElkClassExpression classExpression) Create an ElkObjectMaxCardinalityQualified.
ElkObjectMinCardinalityQualified	ElkObjectFactory.getObjectMinCardinalityQualified(ElkObjectPropertyExpression objectPropertyExpression, int cardinality, ElkClassExpression classExpression) Create an ElkObjectMinCardinalityQualified.
ElkObjectPropertyDomainAxiom	ElkObjectFactory.getObjectPropertyDomainAxiom(ElkObjectPropertyExpression objectPropertyExpression, ElkClassExpression classExpression) Create an ElkObjectPropertyDomainAxiom.
ElkObjectPropertyRangeAxiom	ElkObjectFactory.getObjectPropertyRangeAxiom(ElkObjectPropertyExpression objectPropertyExpression, ElkClassExpression classExpression) Create an ElkObjectPropertyRangeAxiom.
ElkObjectSomeValuesFrom	ElkObjectFactory.getObjectSomeValuesFrom(ElkObjectPropertyExpression objectPropertyExpression, ElkClassExpression classExpression) Create an ElkObjectSomeValuesFrom.
ElkObjectUnionOf	ElkObjectFactory.getObjectUnionOf(ElkClassExpression firstClassExpression, ElkClassExpression secondClassExpression, ElkClassExpression... otherClassExpressions) Create an ElkObjectUnionOf.
ElkObjectUnionOf	ElkObjectFactory.getObjectUnionOf(ElkClassExpression firstClassExpression, ElkClassExpression secondClassExpression, ElkClassExpression... otherClassExpressions) Create an ElkObjectUnionOf.
ElkSubClassOfAxiom	ElkObjectFactory.getSubClassOfAxiom(ElkClassExpression subClassExpression, ElkClassExpression superClassExpression) Create an ElkSubClassOfAxiom.

Method parameters in org.semanticweb.elk.owl.interfaces with type arguments of type ElkClassExpression

Modifier and Type	Method and Description
ElkDisjointClassesAxiom	ElkObjectFactory.getDisjointClassesAxiom(List<? extends ElkClassExpression> disjointClassExpressions) Create an ElkDisjointClassesAxiom.
ElkDisjointUnionAxiom	ElkObjectFactory.getDisjointUnionAxiom(ElkClass definedClass, List<? extends ElkClassExpression> disjointClassExpressions) Create an ElkDisjointUnionAxiom.
ElkEquivalentClassesAxiom	ElkObjectFactory.getEquivalentClassesAxiom(List<? extends ElkClassExpression> equivalentClassExpressions) Create an ElkEquivalentClassesAxiom.
ElkObjectIntersectionOf	ElkObjectFactory.getObjectIntersectionOf(List<? extends ElkClassExpression> classExpressions) Create an ElkObjectIntersectionOf.
ElkObjectUnionOf	ElkObjectFactory.getObjectUnionOf(List<? extends ElkClassExpression> classExpressions) Create an ElkObjectUnionOf.

Uses of ElkClassExpression in org.semanticweb.elk.owl.predefined

Classes in org.semanticweb.elk.owl.predefined that implement ElkClassExpression

Modifier and Type	Class and Description
class	PredefinedElkClass Corresponds to predefined classes in the OWL 2 specification, such as owl:Thing and owl:Nothing.