uk.ac.manchester.cs.owl.owlapi

Class OWLDataCardinalityRestrictionImpl

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<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>

uk.ac.manchester.cs.owl.owlapi.OWLDataCardinalityRestrictionImpl

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, OWLAnonymousClassExpression, OWLCardinalityRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>, OWLClassExpression, OWLDataCardinalityRestriction, OWLObject, OWLPropertyRange, OWLQuantifiedRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>, OWLRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>, SWRLPredicate

Direct Known Subclasses:

OWLDataExactCardinalityImpl, OWLDataMaxCardinalityImpl, OWLDataMinCardinalityImpl

public abstract class OWLDataCardinalityRestrictionImpl
extends OWLCardinalityRestrictionImpl<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>
implements OWLDataCardinalityRestriction

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	OWLDataCardinalityRestrictionImpl(OWLDataPropertyExpression property, int cardinality, OWLDataRange filler)

Method Summary

Methods

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, 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.OWLCardinalityRestriction

getCardinality

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

Constructor Detail

OWLDataCardinalityRestrictionImpl

protected OWLDataCardinalityRestrictionImpl(OWLDataPropertyExpression property,
                                 int cardinality,
                                 OWLDataRange 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<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>

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<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>

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<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>

Returns:

true if this is a data restriction, otherwise false

equals

public boolean equals(Object obj)

Overrides:

equals in class OWLCardinalityRestrictionImpl<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>