uk.ac.manchester.cs.owl.owlapi
Class OWLObjectExactCardinalityImpl
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
uk.ac.manchester.cs.owl.owlapi.OWLObjectExactCardinalityImpl
- All Implemented Interfaces:
- java.lang.Comparable<OWLObject>, OWLAnonymousClassExpression, OWLCardinalityRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>, OWLClassExpression, OWLObject, OWLObjectCardinalityRestriction, OWLObjectExactCardinality, OWLPropertyRange, OWLQuantifiedRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>, OWLRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>, SWRLPredicate
public class OWLObjectExactCardinalityImpl
- extends OWLObjectCardinalityRestrictionImpl
- implements OWLObjectExactCardinality
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
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.OWLClassExpression |
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing |
OWLObjectExactCardinalityImpl
public OWLObjectExactCardinalityImpl(OWLDataFactory dataFactory,
OWLObjectPropertyExpression property,
int cardinality,
OWLClassExpression filler)
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 OWLObjectCardinalityRestrictionImpl
asIntersectionOfMinMax
public OWLClassExpression asIntersectionOfMinMax()
- Description copied from interface:
OWLObjectExactCardinality
- Obtains an equivalent form that is a conjunction of a min cardinality
and max cardinality restriction.
- Specified by:
asIntersectionOfMinMax
in interface OWLObjectExactCardinality
- Returns:
- The semantically equivalent but structurally simpler form
simp(= 1 R C) = >= 1 R C and <= 1 R C
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