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... descs)
Gets the set of class expressions that appear in this axiom minus the
specfied class expressions.
|
isAnnotationAxiom, isLogicalAxiom
accept, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType
compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
asPairwiseAxioms
asOWLSubClassOfAxioms
public OWLNaryClassAxiomImpl(Set<? extends OWLClassExpression> classExpressions, Collection<? extends OWLAnnotation> annotations)
classExpressions
- classesannotations
- annotationspublic Set<OWLClassExpression> getClassExpressions()
OWLNaryClassAxiom
getClassExpressions
in interface OWLNaryClassAxiom
Set
of class expressions that appear in the axiom.public List<OWLClassExpression> getClassExpressionsAsList()
OWLNaryClassAxiom
OWLNaryClassAxiom.getClassExpressions()
method as a list of class expressions.getClassExpressionsAsList
in interface OWLNaryClassAxiom
public boolean contains(OWLClassExpression ce)
OWLNaryClassAxiom
contains
in interface OWLNaryClassAxiom
ce
- The class expression to test fortrue
if this axiom contains the specified class
expression as an operand, otherwise false
.public Set<OWLClassExpression> getClassExpressionsMinus(OWLClassExpression... descs)
OWLNaryClassAxiom
getClassExpressionsMinus
in interface OWLNaryClassAxiom
descs
- The class expressions to subtract from the class expressions in
this axiompublic boolean equals(Object obj)
equals
in class OWLAxiomImpl
Copyright © 2017 The University of Manchester. All Rights Reserved.