public abstract class OWLNaryClassAxiomImpl extends OWLClassAxiomImpl implements OWLNaryClassAxiom
| Constructor and Description |
|---|
OWLNaryClassAxiomImpl(Set<? extends OWLClassExpression> classExpressions,
Collection<? extends OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
contains(OWLClassExpression ce)
Determines if this class axiom contains the specified class expression as
an operand
|
boolean |
equals(Object obj) |
Set<OWLClassExpression> |
getClassExpressions()
Gets all of the top level class expressions that appear in this axiom.
|
List<OWLClassExpression> |
getClassExpressionsAsList()
A convenience method that obtains the class expression returned by the
OWLNaryClassAxiom.getClassExpressions() method as a list of class expressions. |
Set<OWLClassExpression> |
getClassExpressionsMinus(OWLClassExpression... desc)
Gets the set of class expressions that appear in this axiom minus the
specfied class expressions.
|
<T> Collection<T> |
walkPairwise(OWLPairwiseVisitor<T,OWLClassExpression> visitor) |
isAnnotationAxiom, isLogicalAxiomaccept, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfTypecompareTo, containsEntityInSignature, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toStringaccept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfTypeaccept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toStringcompareTogetSignaturecontainsEntityInSignaturegetAnonymousIndividualsgetClassesInSignaturegetObjectPropertiesInSignaturegetDataPropertiesInSignaturegetIndividualsInSignaturegetDatatypesInSignaturegetAnnotationPropertiesInSignatureisAnonymous, isNamedasPairwiseAxioms, splitToAnnotatedPairsasOWLSubClassOfAxiomspublic OWLNaryClassAxiomImpl(@Nonnull Set<? extends OWLClassExpression> classExpressions, @Nonnull Collection<? extends OWLAnnotation> annotations)
classExpressions - classesannotations - annotationspublic Set<OWLClassExpression> getClassExpressions()
OWLNaryClassAxiomgetClassExpressions in interface OWLNaryClassAxiomSet of class expressions that appear in the axiom.public List<OWLClassExpression> getClassExpressionsAsList()
OWLNaryClassAxiomOWLNaryClassAxiom.getClassExpressions() method as a list of class expressions.getClassExpressionsAsList in interface OWLNaryClassAxiompublic boolean contains(OWLClassExpression ce)
OWLNaryClassAxiomcontains in interface OWLNaryClassAxiomce - The class expression to test fortrue if this axiom contains the specified class
expression as an operand, otherwise false.public Set<OWLClassExpression> getClassExpressionsMinus(OWLClassExpression... desc)
OWLNaryClassAxiomgetClassExpressionsMinus in interface OWLNaryClassAxiomdesc - The class expressions to subtract from the class expressions in
this axiompublic boolean equals(Object obj)
equals in class OWLAxiomImplWithEntityAndAnonCachingpublic <T> Collection<T> walkPairwise(OWLPairwiseVisitor<T,OWLClassExpression> visitor)
walkPairwise in interface OWLNaryAxiom<OWLClassExpression>T - type returned by visitorvisitor - visitor to apply to all pairwise elements in this axiomCopyright © 2020 The University of Manchester. All rights reserved.