uk.ac.manchester.cs.owl.owlapi

Class OWLDataExactCardinalityImpl

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.OWLCardinalityRestrictionImpl<OWLDataRange>

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

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

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, AsOWLClass, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasCardinality, HasClassesInSignature, HasComponents, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasFiller<OWLDataRange>, HasHashIndex, HasIndex, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasProperty<OWLDataPropertyExpression>, HasSignature, IsAnonymous, OWLAnonymousClassExpression, OWLCardinalityRestriction<OWLDataRange>, OWLClassExpression, OWLDataCardinalityRestriction, OWLDataExactCardinality, OWLDataRestriction, OWLObject, OWLPropertyRange, OWLQuantifiedDataRestriction, OWLQuantifiedRestriction<OWLDataRange>, OWLRestriction, SWRLPredicate, HasIncrementalSignatureGenerationSupport

public class OWLDataExactCardinalityImpl
extends OWLDataCardinalityRestrictionImpl
implements OWLDataExactCardinality

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OWLDataExactCardinalityImpl(OWLDataPropertyExpression property, int cardinality, OWLDataRange filler)

Method Summary

Modifier and Type	Method and Description
OWLClassExpression	asIntersectionOfMinMax() Obtains an equivalent form that is a conjunction of a min cardinality and max cardinality restriction.

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

getProperty

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

getCardinality, getFiller

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

asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getComplementNNF, getNNF, getObjectComplementOf, isOWLNothing, isOWLThing

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

annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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

accept, accept, accept, accept, getClassExpressionType, hashIndex, typeIndex

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

components, initHashCode, isQualified

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

getCardinality

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

getFiller

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

getProperty, isDataRestriction

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

isObjectRestriction

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

asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing

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

asOWLClass, isOWLClass

Methods inherited from interface uk.ac.manchester.cs.owl.owlapi.HasIncrementalSignatureGenerationSupport

addAnonymousIndividualsToSet, addSignatureEntitiesToSet

Constructor Detail

OWLDataExactCardinalityImpl

public OWLDataExactCardinalityImpl(OWLDataPropertyExpression property,
                                   int cardinality,
                                   OWLDataRange filler)

Parameters:

property - property

cardinality - cardinality

filler - filler

Method Detail

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