org.semanticweb.owl.model
Interface OWLDataCardinalityRestriction

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAnonymousDescription, OWLCardinalityRestriction<OWLDataPropertyExpression,OWLDataRange>, OWLDescription, OWLObject, OWLPropertyRange, OWLQuantifiedRestriction<OWLDataPropertyExpression,OWLDataRange>, OWLRestriction<OWLDataPropertyExpression>

All Known Subinterfaces:

OWLDataExactCardinalityRestriction, OWLDataMaxCardinalityRestriction, OWLDataMinCardinalityRestriction

All Known Implementing Classes:

OWLDataCardinalityRestrictionImpl, OWLDataExactCardinalityRestrictionImpl, OWLDataMaxCardinalityRestrictionImpl, OWLDataMinCardinalityRestrictionImpl

public interface OWLDataCardinalityRestriction
extends OWLCardinalityRestriction<OWLDataPropertyExpression,OWLDataRange>

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

Method Summary

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

getCardinality, isQualified

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

getFiller

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

getProperty

Methods inherited from interface org.semanticweb.owl.model.OWLDescription

accept, accept, asOWLClass, getComplementNNF, getNNF, isAnonymous, isLiteral, isOWLNothing, isOWLThing

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

accept, accept, getSignature

Methods inherited from interface java.lang.Comparable

compareTo