uk.ac.manchester.cs.owl.owlapi

Class OWLDataCardinalityRestrictionImpl

java.lang.Object

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

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

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

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

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

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, AsOWLClass, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasCardinality, HasClassesInSignature, HasComponents, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasFiller<OWLDataRange>, HasHashIndex, HasIndex, 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
OWLDataPropertyExpression	getProperty()

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

getCardinality, getFiller

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

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

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.OWLCardinalityRestriction

components, isQualified

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

getCardinality

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

getFiller

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

isDataRestriction

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

isObjectRestriction

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

isAnonymous

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

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

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

asOWLClass, isOWLClass

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

addAnonymousIndividualsToSet, addSignatureEntitiesToSet

Method Detail

getProperty

public OWLDataPropertyExpression getProperty()

Specified by:

getProperty in interface HasProperty<OWLDataPropertyExpression>

Specified by:

getProperty in interface OWLDataRestriction

Specified by:

getProperty in interface OWLRestriction