public class OWLDataExactCardinalityImpl extends OWLDataCardinalityRestrictionImpl implements OWLDataExactCardinality
Constructor and Description |
---|
OWLDataExactCardinalityImpl(OWLDataPropertyExpression property,
int cardinality,
OWLDataRange filler) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
asIntersectionOfMinMax()
Obtains an equivalent form that is a conjunction of a min cardinality and max cardinality
restriction.
|
getProperty
getCardinality, getFiller
asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getComplementNNF, getNNF, getObjectComplementOf, isOWLNothing, isOWLThing
annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString
accept, accept, accept, accept, getClassExpressionType, hashIndex, typeIndex
components, initHashCode, isQualified
getCardinality
getProperty, isDataRestriction
isObjectRestriction
asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing
asOWLClass, isOWLClass
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public OWLDataExactCardinalityImpl(OWLDataPropertyExpression property, int cardinality, OWLDataRange filler)
property
- propertycardinality
- cardinalityfiller
- fillerpublic OWLClassExpression asIntersectionOfMinMax()
OWLDataExactCardinality
asIntersectionOfMinMax
in interface OWLDataExactCardinality
Copyright © 2020 The University of Manchester. All rights reserved.