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:

java.lang.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

Constructor Summary

protected

OWLDataCardinalityRestrictionImpl(OWLDataFactory dataFactory, OWLDataPropertyExpression property, int cardinality, OWLDataRange filler)

Method Summary

boolean	equals(java.lang.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

compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, 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

Constructor Detail

OWLDataCardinalityRestrictionImpl

protected OWLDataCardinalityRestrictionImpl(OWLDataFactory dataFactory,
                                            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(java.lang.Object obj)

Overrides:

equals in class OWLCardinalityRestrictionImpl<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>