Package org.semanticweb.owlapi.model

Interface OWLClassExpression

All Superinterfaces:

Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, IsAnonymous, OWLObject, OWLPropertyRange, Serializable, SWRLPredicate

All Known Subinterfaces:

OWLAnonymousClassExpression, OWLBooleanClassExpression, OWLCardinalityRestriction<F>, OWLClass, OWLDataAllValuesFrom, OWLDataCardinalityRestriction, OWLDataExactCardinality, OWLDataHasValue, OWLDataMaxCardinality, OWLDataMinCardinality, OWLDataRestriction, OWLDataSomeValuesFrom, OWLHasValueRestriction<V>, OWLNaryBooleanClassExpression, OWLObjectAllValuesFrom, OWLObjectCardinalityRestriction, OWLObjectComplementOf, OWLObjectExactCardinality, OWLObjectHasSelf, OWLObjectHasValue, OWLObjectIntersectionOf, OWLObjectMaxCardinality, OWLObjectMinCardinality, OWLObjectOneOf, OWLObjectRestriction, OWLObjectSomeValuesFrom, OWLObjectUnionOf, OWLQuantifiedDataRestriction, OWLQuantifiedObjectRestriction, OWLQuantifiedRestriction<F>, OWLRestriction

All Known Implementing Classes:

OWLAnonymousClassExpressionImpl, OWLCardinalityRestrictionImpl, OWLClassExpressionImpl, OWLClassImpl, OWLDataAllValuesFromImpl, OWLDataCardinalityRestrictionImpl, OWLDataExactCardinalityImpl, OWLDataHasValueImpl, OWLDataMaxCardinalityImpl, OWLDataMinCardinalityImpl, OWLDataSomeValuesFromImpl, OWLNaryBooleanClassExpressionImpl, OWLObjectAllValuesFromImpl, OWLObjectCardinalityRestrictionImpl, OWLObjectComplementOfImpl, OWLObjectExactCardinalityImpl, OWLObjectHasSelfImpl, OWLObjectHasValueImpl, OWLObjectIntersectionOfImpl, OWLObjectMaxCardinalityImpl, OWLObjectMinCardinalityImpl, OWLObjectOneOfImpl, OWLObjectSomeValuesFromImpl, OWLObjectUnionOfImpl, OWLQuantifiedDataRestrictionImpl, OWLQuantifiedObjectRestrictionImpl, OWLQuantifiedRestrictionImpl, OWLRestrictionImpl, OWLValueRestrictionImpl

public interface OWLClassExpression
extends OWLObject, OWLPropertyRange, SWRLPredicate

Represents Class Expressions in the OWL 2 specification. This interface covers named and anonymous classes.

Since:

2.0.0

Author:

Matthew Horridge The University Of Manchester Bio-Health Informatics Group

Method Summary

Modifier and Type	Method	Description
void	accept(OWLClassExpressionVisitor visitor)	Accepts a visit from an OWLExpressionVisitor
<O> O	accept(OWLClassExpressionVisitorEx<O> visitor)
Set<OWLClassExpression>	asConjunctSet()	Interprets this expression as a conjunction and returns the conjuncts.
Set<OWLClassExpression>	asDisjunctSet()	Interprets this expression as a disjunction and returns the disjuncts.
OWLClass	asOWLClass()	If this class expression is in fact a named class then this method may be used to obtain the expression as an OWLClass without the need for casting.
boolean	containsConjunct(OWLClassExpression ce)	Determines if this class expression contains a particular conjunct.
ClassExpressionType	getClassExpressionType()	Gets the class expression type for this class expression
OWLClassExpression	getComplementNNF()	Gets the negation normal form of the complement of this expression.
OWLClassExpression	getNNF()	Gets this expression in negation normal form.
OWLClassExpression	getObjectComplementOf()	Gets the object complement of this class expression.
boolean	isAnonymous()	Determines whether or not this expression represents an anonymous class expression.
boolean	isClassExpressionLiteral()	Determines if this class is a literal.
boolean	isOWLNothing()	Determines if this expression is the built in class owl:Nothing.
boolean	isOWLThing()	Determines if this expression is the built in class owl:Thing.

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.semanticweb.owlapi.model.HasAnnotationPropertiesInSignature

getAnnotationPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasAnonymousIndividuals

getAnonymousIndividuals

Methods inherited from interface org.semanticweb.owlapi.model.HasClassesInSignature

getClassesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasContainsEntityInSignature

containsEntityInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasDataPropertiesInSignature

getDataPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasDatatypesInSignature

getDatatypesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasIndividualsInSignature

getIndividualsInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasObjectPropertiesInSignature

getObjectPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasSignature

getSignature

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString

Method Detail

getClassExpressionType

@Nonnull
ClassExpressionType getClassExpressionType()

Gets the class expression type for this class expression

Returns:

The class expression type

isAnonymous

boolean isAnonymous()

Determines whether or not this expression represents an anonymous class expression.

Specified by:

isAnonymous in interface IsAnonymous

Returns:

true if this is an anonymous class expression, or false if this is a named class ( OWLClass)

isClassExpressionLiteral

boolean isClassExpressionLiteral()

Determines if this class is a literal. A literal being either a named class or the negation of a named class (i.e. A or not(A)).

Returns:

true if this is a literal, or false if this is not a literal.

asOWLClass

@Nonnull
OWLClass asOWLClass()

If this class expression is in fact a named class then this method may be used to obtain the expression as an OWLClass without the need for casting. The general pattern of use is to use the isAnonymous to first check

Returns:

This class expression as an OWLClass.

Throws:

OWLRuntimeException - if this class expression is not an OWLClass.

isOWLThing

boolean isOWLThing()

Determines if this expression is the built in class owl:Thing. This method does not determine if the class is equivalent to owl:Thing.

Returns:

true if this expression is owl:Thing, or false if this expression is not owl:Thing

isOWLNothing

boolean isOWLNothing()

Determines if this expression is the built in class owl:Nothing. This method does not determine if the class is equivalent to owl:Nothing.

Returns:

true if this expression is owl:Nothing, or false if this expression is not owl:Nothing.

getNNF

@Nonnull
OWLClassExpression getNNF()

Gets this expression in negation normal form.

Returns:

The expression in negation normal form.

getComplementNNF

@Nonnull
OWLClassExpression getComplementNNF()

Gets the negation normal form of the complement of this expression.

Returns:

A expression that represents the NNF of the complement of this expression.

getObjectComplementOf

@Nonnull
OWLClassExpression getObjectComplementOf()

Gets the object complement of this class expression.

Returns:

A class expression that is the complement of this class expression.

asConjunctSet

@Nonnull
Set<OWLClassExpression> asConjunctSet()

Interprets this expression as a conjunction and returns the conjuncts. This method does not normalise the expression (full CNF is not computed).

Returns:

The conjucts of this expression if it is a conjunction (object intersection of), or otherwise a singleton set containing this expression. Note that nested conjunctions will be flattened, for example, calling this method on (A and B) and C will return the set {A, B, C}

containsConjunct

boolean containsConjunct(@Nonnull
                         OWLClassExpression ce)

Determines if this class expression contains a particular conjunct. This method does not do any normalisation such as applying DeMorgans rules.

Parameters:

ce - The conjunct to test for

Returns:

true if this class expression is equal to ce or if this class expression is an ObjectIntersectionOf (possibly nested withing another ObjectIntersectionOf) that contains ce, otherwise false.

asDisjunctSet

@Nonnull
Set<OWLClassExpression> asDisjunctSet()

Interprets this expression as a disjunction and returns the disjuncts. This method does not normalise the expression (full DNF is not computed).

Returns:

The disjuncts of this expression if it is a disjunction (object union of), or otherwise a singleton set containing this expression. Note that nested disjunctions will be flattened, for example, calling this method on (A or B) or C will return the set {A, B, C}

accept

void accept(@Nonnull
            OWLClassExpressionVisitor visitor)

Accepts a visit from an OWLExpressionVisitor

Parameters:

visitor - The visitor that wants to visit

accept

@Nonnull
<O> O accept(@Nonnull
             OWLClassExpressionVisitorEx<O> visitor)

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor return value