public abstract class OWLObjectCardinalityRestrictionImpl extends OWLCardinalityRestrictionImpl<OWLClassExpression> implements OWLObjectCardinalityRestriction
Modifier and Type | Method and Description |
---|---|
OWLObjectPropertyExpression |
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
isObjectRestriction
isDataRestriction
accept, accept, asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing
asOWLClass, isOWLClass
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public OWLObjectPropertyExpression getProperty()
OWLObjectRestriction
getProperty
in interface HasProperty<OWLObjectPropertyExpression>
getProperty
in interface OWLObjectRestriction
getProperty
in interface OWLRestriction
Copyright © 2020 The University of Manchester. All rights reserved.