F
- filler typepublic abstract class OWLCardinalityRestrictionImpl<F extends OWLPropertyRange> extends OWLRestrictionImpl implements OWLCardinalityRestriction<F>
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
int |
getCardinality()
Gets the cardinality of this restriction
|
F |
getFiller() |
isClassExpressionLiteral
asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isOWLNothing, isOWLThing
compareTo, containsEntityInSignature, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
isQualified
getProperty, isDataRestriction, isObjectRestriction
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing
accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
compareTo
getSignature
containsEntityInSignature
getAnonymousIndividuals
getClassesInSignature
getObjectPropertiesInSignature
getDataPropertiesInSignature
getIndividualsInSignature
getDatatypesInSignature
getAnnotationPropertiesInSignature
isAnonymous, isNamed
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public int getCardinality()
OWLCardinalityRestriction
getCardinality
in interface HasCardinality
getCardinality
in interface OWLCardinalityRestriction<F extends OWLPropertyRange>
public F getFiller()
getFiller
in interface HasFiller<F extends OWLPropertyRange>
getFiller
in interface OWLQuantifiedRestriction<F extends OWLPropertyRange>
public boolean equals(Object obj)
equals
in class OWLRestrictionImpl
Copyright © 2020 The University of Manchester. All rights reserved.