public class OWLObjectMaxCardinalityImpl extends OWLObjectCardinalityRestrictionImpl implements OWLObjectMaxCardinality
Constructor and Description |
---|
OWLObjectMaxCardinalityImpl(OWLObjectPropertyExpression property,
int cardinality,
OWLClassExpression filler) |
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, isObjectRestriction
isDataRestriction
asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing
asOWLClass, isOWLClass
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public OWLObjectMaxCardinalityImpl(OWLObjectPropertyExpression property, int cardinality, OWLClassExpression filler)
property
- propertycardinality
- cardinalityfiller
- fillerCopyright © 2020 The University of Manchester. All rights reserved.