public abstract class OWLNaryClassAxiomImpl extends OWLClassAxiomImpl implements OWLNaryClassAxiom
Constructor and Description |
---|
OWLNaryClassAxiomImpl(java.util.Set<? extends OWLClassExpression> classExpressions,
java.util.Collection<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
protected int |
compareObjectOfSameType(OWLObject object) |
boolean |
contains(OWLClassExpression ce)
Determines if this class axiom contains the specified class expression as an operand
|
boolean |
equals(java.lang.Object obj) |
java.util.Set<OWLClassExpression> |
getClassExpressions()
Gets all of the top level class expressions that appear in this
axiom.
|
java.util.List<OWLClassExpression> |
getClassExpressionsAsList()
A convenience method that obtains the class expression returned by the
OWLNaryClassAxiom.getClassExpressions() method
as a list of class expressions. |
java.util.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, mergeAnnos
compareLists, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, setOWLDataFactory, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
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
asPairwiseAxioms
asOWLSubClassOfAxioms
public OWLNaryClassAxiomImpl(java.util.Set<? extends OWLClassExpression> classExpressions, java.util.Collection<? extends OWLAnnotation> annotations)
public java.util.Set<OWLClassExpression> getClassExpressions()
OWLNaryClassAxiom
getClassExpressions
in interface OWLNaryClassAxiom
Set
of class expressions that appear in the
axiom.public java.util.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 java.util.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(java.lang.Object obj)
equals
in class OWLAxiomImpl
protected int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType
in class OWLObjectImpl