public class OWLObjectMinCardinalityImpl extends OWLObjectCardinalityRestrictionImpl implements OWLObjectMinCardinality
Constructor and Description |
---|
OWLObjectMinCardinalityImpl(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 OWLObjectMinCardinalityImpl(OWLObjectPropertyExpression property, int cardinality, OWLClassExpression filler)
property
- propertycardinality
- cardinalityfiller
- fillerCopyright © 2020 The University of Manchester. All rights reserved.