uk.ac.manchester.cs.owl.owlapi

Class OWLDataCardinalityRestrictionImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImplWithoutEntityAndAnonCaching

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

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

uk.ac.manchester.cs.owl.owlapi.OWLRestrictionImpl

uk.ac.manchester.cs.owl.owlapi.OWLCardinalityRestrictionImpl<OWLDataRange>

uk.ac.manchester.cs.owl.owlapi.OWLDataCardinalityRestrictionImpl

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasCardinality, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasFiller<OWLDataRange>, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasProperty<OWLDataPropertyExpression>, HasSignature, IsAnonymous, OWLAnonymousClassExpression, OWLCardinalityRestriction<OWLDataRange>, OWLClassExpression, OWLDataCardinalityRestriction, OWLDataRestriction, OWLObject, OWLPropertyRange, OWLQuantifiedDataRestriction, OWLQuantifiedRestriction<OWLDataRange>, OWLRestriction, SWRLPredicate, HasIncrementalSignatureGenerationSupport

Direct Known Subclasses:

OWLDataExactCardinalityImpl, OWLDataMaxCardinalityImpl, OWLDataMinCardinalityImpl

public abstract class OWLDataCardinalityRestrictionImpl
extends OWLCardinalityRestrictionImpl<OWLDataRange>
implements OWLDataCardinalityRestriction

Since:

2.0.0

Author:

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

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
void	addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons)
void	addSignatureEntitiesToSet(Set<OWLEntity> entities)
boolean	equals(Object obj)
OWLDataPropertyExpression	getProperty() Gets the property/properties that the restriction acts along depending on R being a scalar or collection type.
boolean	isDataRestriction() Determines if this is a data restriction.
boolean	isObjectRestriction() Determines if this is an object restriction.
boolean	isQualified() Determines if this restriction is qualified.

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLCardinalityRestrictionImpl

getCardinality, getFiller

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLRestrictionImpl

isClassExpressionLiteral

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl

asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isOWLNothing, isOWLThing

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImplWithoutEntityAndAnonCaching

compareTo, containsEntityInSignature, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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

getCardinality

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

getFiller

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

accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing

Method Detail

addSignatureEntitiesToSet

public void addSignatureEntitiesToSet(Set<OWLEntity> entities)

Specified by:

addSignatureEntitiesToSet in interface HasIncrementalSignatureGenerationSupport

Parameters:

entities - entity set where entities will be added

addAnonymousIndividualsToSet

public void addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons)

Specified by:

addAnonymousIndividualsToSet in interface HasIncrementalSignatureGenerationSupport

Parameters:

anons - anonymous individuals set where individuals will be added

getProperty

public OWLDataPropertyExpression getProperty()

Description copied from interface: OWLDataRestriction

Gets the property/properties that the restriction acts along depending on R being a scalar or collection type.

Specified by:

getProperty in interface HasProperty<OWLDataPropertyExpression>

Specified by:

getProperty in interface OWLDataRestriction

Specified by:

getProperty in interface OWLRestriction

Returns:

property being restricted

isQualified

public boolean isQualified()

Description copied from interface: OWLCardinalityRestriction

Determines if this restriction is qualified. Qualified cardinality restrictions are defined to be cardinality restrictions that have fillers which aren't TOP (owl:Thing or rdfs:Literal). An object restriction is unqualified if it has a filler that is owl:Thing. A data restriction is unqualified if it has a filler which is the top data type (rdfs:Literal).

Specified by:

isQualified in interface OWLCardinalityRestriction<OWLDataRange>

Returns:

true if this restriction is qualified, or false if this restriction is unqualified.

isObjectRestriction

public boolean isObjectRestriction()

Description copied from interface: OWLRestriction

Determines if this is an object restriction.

Specified by:

isObjectRestriction in interface OWLRestriction

Returns:

true if this is an object restriction, otherwise false

isDataRestriction

public boolean isDataRestriction()

Description copied from interface: OWLRestriction

Determines if this is a data restriction.

Specified by:

isDataRestriction in interface OWLRestriction

Returns:

true if this is a data restriction, otherwise false

equals

public boolean equals(Object obj)

Overrides:

equals in class OWLCardinalityRestrictionImpl<OWLDataRange>