uk.ac.manchester.cs.owl.owlapi

Class OWLObjectCardinalityRestrictionImpl

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.OWLRestrictionImpl<R,P,F>

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

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

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, HasAnonymousIndividuals, HasCardinality, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasFiller<OWLClassExpression>, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasProperty<OWLObjectPropertyExpression>, HasSignature, OWLAnonymousClassExpression, OWLCardinalityRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>, OWLClassExpression, OWLObject, OWLObjectCardinalityRestriction, OWLPropertyRange, OWLQuantifiedRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>, OWLRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>, SWRLPredicate

Direct Known Subclasses:

OWLObjectExactCardinalityImpl, OWLObjectMaxCardinalityImpl, OWLObjectMinCardinalityImpl

public abstract class OWLObjectCardinalityRestrictionImpl
extends OWLCardinalityRestrictionImpl<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>
implements OWLObjectCardinalityRestriction

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group, Date: 26-Oct-2006

See Also:

Serialized Form

Field Summary

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

NO_ANNOTATIONS, OWL_THING

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	OWLObjectCardinalityRestrictionImpl(OWLObjectPropertyExpression property, int cardinality, OWLClassExpression filler)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
boolean	isDataRestriction() Determines if this is a data restriction.
boolean	isObjectRestriction() Determines if this is an object restriction.
boolean	isQualified() Determines if this restriction is qualified.

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

compareObjectOfSameType, getCardinality, getFiller

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

getProperty, isClassExpressionLiteral

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

asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isOWLNothing, isOWLThing

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

compareLists, compareSets, compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

getFiller

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

getProperty

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

accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing

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

accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo

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

containsEntityInSignature

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

getCardinality

Constructor Detail

OWLObjectCardinalityRestrictionImpl

protected OWLObjectCardinalityRestrictionImpl(OWLObjectPropertyExpression property,
                                              int cardinality,
                                              OWLClassExpression filler)

Method Detail

isQualified

public boolean isQualified()

Description copied from interface: OWLCardinalityRestriction

Determines if this restriction is qualified. Qualified cardinality restrictions are defined to be cardinality restrictions that have fillers which aren't TOP (owl:Thing or rdfs:Literal). An object restriction is unqualified if it has a filler that is owl:Thing. A data restriction is unqualified if it has a filler which is the top data type (rdfs:Literal).

Specified by:

isQualified in interface OWLCardinalityRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>

Returns:

true if this restriction is qualified, or false if this restriction is unqualified.

isObjectRestriction

public boolean isObjectRestriction()

Description copied from interface: OWLRestriction

Determines if this is an object restriction.

Specified by:

isObjectRestriction in interface OWLRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>

Returns:

true if this is an object restriction, otherwise false

isDataRestriction

public boolean isDataRestriction()

Description copied from interface: OWLRestriction

Determines if this is a data restriction.

Specified by:

isDataRestriction in interface OWLRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>

Returns:

true if this is a data restriction, otherwise false

equals

public boolean equals(Object obj)

Overrides:

equals in class OWLCardinalityRestrictionImpl<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>