org.semanticweb.owlapi.model

Interface OWLObjectCardinalityRestriction

All Superinterfaces:

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

All Known Subinterfaces:

OWLObjectExactCardinality, OWLObjectMaxCardinality, OWLObjectMinCardinality

All Known Implementing Classes:

OWLObjectCardinalityRestrictionImpl, OWLObjectExactCardinalityImpl, OWLObjectMaxCardinalityImpl, OWLObjectMinCardinalityImpl

public interface OWLObjectCardinalityRestriction
extends OWLCardinalityRestriction<OWLClassExpression>, OWLQuantifiedObjectRestriction, OWLObjectRestriction

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.OWLObjectRestriction

getProperty, isObjectRestriction

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

isDataRestriction

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