org.semanticweb.owlapi.model
Interface OWLObjectCardinalityRestriction

All Superinterfaces:

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

All Known Subinterfaces:

OWLObjectExactCardinality, OWLObjectMaxCardinality, OWLObjectMinCardinality

All Known Implementing Classes:

OWLObjectCardinalityRestrictionImpl, OWLObjectExactCardinalityImpl, OWLObjectMaxCardinalityImpl, OWLObjectMinCardinalityImpl

public interface OWLObjectCardinalityRestriction
extends OWLCardinalityRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>

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

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