org.semanticweb.owlapi.model
Interface OWLObjectMaxCardinality

All Superinterfaces:
java.lang.Comparable<OWLObject>, OWLAnonymousClassExpression, OWLCardinalityRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>, OWLClassExpression, OWLObject, OWLObjectCardinalityRestriction, OWLPropertyRange, OWLQuantifiedRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>, OWLRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>, SWRLPredicate
All Known Implementing Classes:
OWLObjectMaxCardinalityImpl

public interface OWLObjectMaxCardinality
extends OWLObjectCardinalityRestriction

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

Represents an ObjectMaxCardinality restriction 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