org.semanticweb.owlapi.model

Interface OWLDataCardinalityRestriction

All Superinterfaces:

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

All Known Subinterfaces:

OWLDataExactCardinality, OWLDataMaxCardinality, OWLDataMinCardinality

All Known Implementing Classes:

OWLDataCardinalityRestrictionImpl, OWLDataExactCardinalityImpl, OWLDataMaxCardinalityImpl, OWLDataMinCardinalityImpl

public interface OWLDataCardinalityRestriction
extends OWLCardinalityRestriction<OWLDataRange>, OWLQuantifiedDataRestriction, OWLDataRestriction

Represents Data Property Cardinality Restrictions in the OWL 2 specification.

Since:

2.0.0

Author:

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

Method Summary

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

components, initHashCode, 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

getProperty, isDataRestriction

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

isObjectRestriction

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