public abstract class OWLDataCardinalityRestrictionImpl extends OWLCardinalityRestrictionImpl<OWLDataRange> implements OWLDataCardinalityRestriction
Modifier and Type | Method and Description |
---|---|
OWLDataPropertyExpression |
getProperty()
Gets the property/properties that the restriction acts along depending on
R being a scalar or collection type.
|
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
components, initHashCode, isQualified
getCardinality
isDataRestriction
isObjectRestriction
accept, accept, asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing
asOWLClass, isOWLClass
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public OWLDataPropertyExpression getProperty()
OWLDataRestriction
getProperty
in interface HasProperty<OWLDataPropertyExpression>
getProperty
in interface OWLDataRestriction
getProperty
in interface OWLRestriction
Copyright © 2020 The University of Manchester. All rights reserved.