uk.ac.manchester.cs.owl.owlapi
Class OWLDataExactCardinalityImpl

java.lang.Object
  extended by uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
      extended by uk.ac.manchester.cs.owl.owlapi.OWLClassExpressionImpl
          extended by uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl
              extended by uk.ac.manchester.cs.owl.owlapi.OWLRestrictionImpl<R,P,F>
                  extended by uk.ac.manchester.cs.owl.owlapi.OWLCardinalityRestrictionImpl<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>
                      extended by uk.ac.manchester.cs.owl.owlapi.OWLDataCardinalityRestrictionImpl
                          extended by uk.ac.manchester.cs.owl.owlapi.OWLDataExactCardinalityImpl
All Implemented Interfaces:
java.lang.Comparable<OWLObject>, OWLAnonymousClassExpression, OWLCardinalityRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>, OWLClassExpression, OWLDataCardinalityRestriction, OWLDataExactCardinality, OWLObject, OWLPropertyRange, OWLQuantifiedRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>, OWLRestriction<OWLDataRange,OWLDataPropertyExpression,OWLDataRange>, SWRLPredicate

public class OWLDataExactCardinalityImpl
extends OWLDataCardinalityRestrictionImpl
implements OWLDataExactCardinality

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


Constructor Summary
OWLDataExactCardinalityImpl(OWLDataFactory dataFactory, OWLDataPropertyExpression property, int cardinality, OWLDataRange filler)
           
 
Method Summary
 void accept(OWLClassExpressionVisitor visitor)
          Accepts a visit from an OWLExpressionVisitor
<O> O
accept(OWLClassExpressionVisitorEx<O> visitor)
           
 void accept(OWLObjectVisitor visitor)
           
<O> O
accept(OWLObjectVisitorEx<O> visitor)
           
 OWLClassExpression asIntersectionOfMinMax()
          Obtains an equivalent form that is a conjunction of a min cardinality and max cardinality restriction.
 boolean equals(java.lang.Object obj)
           
 ClassExpressionType getClassExpressionType()
          Gets the class expression type for this class expression
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLDataCardinalityRestrictionImpl
isDataRestriction, isObjectRestriction, isQualified
 
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, isQualified
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLQuantifiedRestriction
getFiller
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLRestriction
getProperty, isDataRestriction, isObjectRestriction
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLClassExpression
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing
 

Constructor Detail

OWLDataExactCardinalityImpl

public OWLDataExactCardinalityImpl(OWLDataFactory dataFactory,
                                   OWLDataPropertyExpression property,
                                   int cardinality,
                                   OWLDataRange filler)
Method Detail

getClassExpressionType

public ClassExpressionType getClassExpressionType()
Gets the class expression type for this class expression

Specified by:
getClassExpressionType in interface OWLClassExpression
Returns:
The class expression type

equals

public boolean equals(java.lang.Object obj)
Overrides:
equals in class OWLDataCardinalityRestrictionImpl

accept

public void accept(OWLClassExpressionVisitor visitor)
Description copied from interface: OWLClassExpression
Accepts a visit from an OWLExpressionVisitor

Specified by:
accept in interface OWLClassExpression
Parameters:
visitor - The visitor that wants to visit

accept

public void accept(OWLObjectVisitor visitor)
Specified by:
accept in interface OWLObject

accept

public <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
Specified by:
accept in interface OWLClassExpression

accept

public <O> O accept(OWLObjectVisitorEx<O> visitor)
Specified by:
accept in interface OWLObject

asIntersectionOfMinMax

public OWLClassExpression asIntersectionOfMinMax()
Description copied from interface: OWLDataExactCardinality
Obtains an equivalent form that is a conjunction of a min cardinality and max cardinality restriction.

Specified by:
asIntersectionOfMinMax in interface OWLDataExactCardinality
Returns:
The semantically equivalent but structurally simpler form simp(= 1 R C) = >= 1 R C and <= 1 R C