uk.ac.manchester.cs.owl.owlapi

Class OWLObjectMaxCardinalityImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

uk.ac.manchester.cs.owl.owlapi.OWLClassExpressionImpl

uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl

uk.ac.manchester.cs.owl.owlapi.OWLCardinalityRestrictionImpl<OWLClassExpression>

uk.ac.manchester.cs.owl.owlapi.OWLObjectCardinalityRestrictionImpl

uk.ac.manchester.cs.owl.owlapi.OWLObjectMaxCardinalityImpl

All Implemented Interfaces:

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

public class OWLObjectMaxCardinalityImpl
extends OWLObjectCardinalityRestrictionImpl
implements OWLObjectMaxCardinality

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OWLObjectMaxCardinalityImpl(OWLObjectPropertyExpression property, int cardinality, OWLClassExpression filler)

Method Summary

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectCardinalityRestrictionImpl

getProperty

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLCardinalityRestrictionImpl

getCardinality, getFiller

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl

asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getComplementNNF, getNNF, getObjectComplementOf, isOWLNothing, isOWLThing

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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

accept, accept, accept, accept, getClassExpressionType, hashIndex, typeIndex

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

asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing

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

asOWLClass, isOWLClass

Methods inherited from interface uk.ac.manchester.cs.owl.owlapi.HasIncrementalSignatureGenerationSupport

addAnonymousIndividualsToSet, addSignatureEntitiesToSet

Constructor Detail

OWLObjectMaxCardinalityImpl

public OWLObjectMaxCardinalityImpl(OWLObjectPropertyExpression property,
                                   int cardinality,
                                   OWLClassExpression filler)

Parameters:

property - property

cardinality - cardinality

filler - filler