P - the property expressionpublic abstract class OWLNaryPropertyAxiomImpl<P extends OWLPropertyExpression> extends OWLPropertyAxiomImplWithoutEntityAndAnonCaching implements OWLNaryPropertyAxiom<P>
| Constructor and Description |
|---|
OWLNaryPropertyAxiomImpl(Set<? extends P> properties,
Collection<? extends OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
void |
addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons) |
void |
addSignatureEntitiesToSet(Set<OWLEntity> entities) |
boolean |
equals(Object obj) |
Set<P> |
getProperties() |
Set<P> |
getPropertiesMinus(P property) |
<T> Collection<T> |
walkPairwise(OWLPairwiseVisitor<T,P> visitor) |
isAnnotationAxiom, isLogicalAxiomaccept, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getAnonymousIndividuals, getNNF, getSignature, isAnnotated, isOfType, isOfTypecompareTo, containsEntityInSignature, getAnnotationPropertiesInSignature, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, hashCode, isBottomEntity, isTopEntity, toStringaccept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfTypeaccept, accept, getNestedClassExpressions, isBottomEntity, isTopEntity, toStringcompareTogetSignaturecontainsEntityInSignaturegetAnonymousIndividualsgetClassesInSignaturegetObjectPropertiesInSignaturegetDataPropertiesInSignaturegetIndividualsInSignaturegetDatatypesInSignaturegetAnnotationPropertiesInSignatureasPairwiseAxioms, splitToAnnotatedPairspublic OWLNaryPropertyAxiomImpl(@Nonnull Set<? extends P> properties, @Nonnull Collection<? extends OWLAnnotation> annotations)
properties - propertiesannotations - annotationspublic void addSignatureEntitiesToSet(Set<OWLEntity> entities)
addSignatureEntitiesToSet in interface HasIncrementalSignatureGenerationSupportentities - entity set where entities will be addedpublic void addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons)
addAnonymousIndividualsToSet in interface HasIncrementalSignatureGenerationSupportanons - anonymous individuals set where individuals will be addedpublic Set<P> getProperties()
getProperties in interface OWLNaryPropertyAxiom<P extends OWLPropertyExpression>public Set<P> getPropertiesMinus(P property)
getPropertiesMinus in interface OWLNaryPropertyAxiom<P extends OWLPropertyExpression>property - the property to skippublic boolean equals(Object obj)
equals in class OWLAxiomImplWithoutEntityAndAnonCachingpublic <T> Collection<T> walkPairwise(OWLPairwiseVisitor<T,P> visitor)
walkPairwise in interface OWLNaryAxiom<P extends OWLPropertyExpression>T - type returned by visitorvisitor - visitor to apply to all pairwise elements in this axiomCopyright © 2016 The University of Manchester. All Rights Reserved.