uk.ac.manchester.cs.owl.owlapi

Class OWLAnonymousClassExpressionImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

uk.ac.manchester.cs.owl.owlapi.OWLClassExpressionImpl

uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, AsOWLClass, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasComponents, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasHashIndex, HasIndex, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, IsAnonymous, OWLAnonymousClassExpression, OWLClassExpression, OWLObject, OWLPropertyRange, SWRLPredicate, HasIncrementalSignatureGenerationSupport

Direct Known Subclasses:

OWLCardinalityRestrictionImpl, OWLNaryBooleanClassExpressionImpl, OWLObjectComplementOfImpl, OWLObjectHasSelfImpl, OWLObjectOneOfImpl, OWLQuantifiedRestrictionImpl, OWLValueRestrictionImpl

public abstract class OWLAnonymousClassExpressionImpl
extends OWLClassExpressionImpl
implements OWLAnonymousClassExpression

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OWLAnonymousClassExpressionImpl()

Method Summary

Modifier and Type	Method and Description
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.
Stream<OWLClassExpression>	conjunctSet() Interprets this expression as a conjunction and returns the conjuncts.
boolean	containsConjunct(OWLClassExpression ce) Determines if this class expression contains a particular conjunct.
Stream<OWLClassExpression>	disjunctSet() Interprets this expression as a disjunction and returns the disjuncts.
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	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 class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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

accept, accept, getClassExpressionType, isClassExpressionLiteral

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

accept, accept, getNestedClassExpressions, hashIteration, hasSharedStructure, initHashCode, isAnonymousExpression, isAxiom, isBottomEntity, isIndividual, isIRI, isOntology, isTopEntity, nestedClassExpressions

Methods inherited from interface java.lang.Comparable

compareTo

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

getSignature, signature, unsortedSignature

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

containsEntityInSignature

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

anonymousIndividuals, getAnonymousIndividuals

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

classesInSignature, getClassesInSignature

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

getObjectPropertiesInSignature, objectPropertiesInSignature

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

dataPropertiesInSignature, getDataPropertiesInSignature

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

getIndividualsInSignature, individualsInSignature

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

datatypesInSignature, getDatatypesInSignature

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

annotationPropertiesInSignature, getAnnotationPropertiesInSignature

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

typeIndex

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

hashIndex

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

components, componentsAnnotationsFirst, componentsWithoutAnnotations

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

isAnonymous, isNamed

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

asOWLClass, isOWLClass

Methods inherited from interface uk.ac.manchester.cs.owl.owlapi.HasIncrementalSignatureGenerationSupport

addAnonymousIndividualsToSet, addSignatureEntitiesToSet

Constructor Detail

OWLAnonymousClassExpressionImpl

public OWLAnonymousClassExpressionImpl()

Method Detail

isOWLThing

public boolean isOWLThing()

Description copied from interface: OWLClassExpression

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

Specified by:

isOWLThing in interface OWLClassExpression

Returns:

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

isOWLNothing

public boolean isOWLNothing()

Description copied from interface: OWLClassExpression

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

Specified by:

isOWLNothing in interface OWLClassExpression

Returns:

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

getNNF

public OWLClassExpression getNNF()

Description copied from interface: OWLClassExpression

Gets this expression in negation normal form.

Specified by:

getNNF in interface OWLClassExpression

Returns:

The expression in negation normal form.

getComplementNNF

public OWLClassExpression getComplementNNF()

Description copied from interface: OWLClassExpression

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

Specified by:

getComplementNNF in interface OWLClassExpression

Returns:

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

getObjectComplementOf

public OWLClassExpression getObjectComplementOf()

Description copied from interface: OWLClassExpression

Gets the object complement of this class expression.

Specified by:

getObjectComplementOf in interface OWLClassExpression

Returns:

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

asConjunctSet

public Set<OWLClassExpression> asConjunctSet()

Description copied from interface: OWLClassExpression

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

Specified by:

asConjunctSet in interface OWLClassExpression

Returns:

The sorted stream of 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}

conjunctSet

public Stream<OWLClassExpression> conjunctSet()

Description copied from interface: OWLClassExpression

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

Specified by:

conjunctSet in interface OWLClassExpression

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

public boolean containsConjunct(OWLClassExpression ce)

Description copied from interface: OWLClassExpression

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

Specified by:

containsConjunct in interface OWLClassExpression

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

public Set<OWLClassExpression> asDisjunctSet()

Description copied from interface: OWLClassExpression

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

Specified by:

asDisjunctSet in interface OWLClassExpression

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}

disjunctSet

public Stream<OWLClassExpression> disjunctSet()

Description copied from interface: OWLClassExpression

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

Specified by:

disjunctSet in interface OWLClassExpression

Returns:

The sorted stream of 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}