org.semanticweb.owlapi.model
Interface OWLDataCardinalityRestriction

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAnonymousClassExpression, OWLCardinalityRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>, OWLClassExpression, OWLObject, OWLPropertyRange, OWLQuantifiedRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>, OWLRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>, SWRLPredicate

All Known Subinterfaces:

OWLDataExactCardinality, OWLDataMaxCardinality, OWLDataMinCardinality

All Known Implementing Classes:

OWLDataCardinalityRestrictionImpl, OWLDataExactCardinalityImpl, OWLDataMaxCardinalityImpl, OWLDataMinCardinalityImpl

public interface OWLDataCardinalityRestriction
extends OWLCardinalityRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

Represents Data Property Cardinality Restrictions in the OWL 2 specification.

Method Summary

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

getCardinality, isQualified

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

getFiller

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

getProperty, isDataRestriction, isObjectRestriction

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

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