public interface OWLNaryClassAxiom extends OWLClassAxiom, OWLNaryAxiom, OWLSubClassOfAxiomSetShortCut
Modifier and Type | Method and Description |
---|---|
boolean |
contains(OWLClassExpression ce)
Determines if this class axiom contains the specified class expression as an operand
|
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
getClassExpressions() method
as a list of class expressions. |
java.util.Set<OWLClassExpression> |
getClassExpressionsMinus(OWLClassExpression... desc)
Gets the set of class expressions that appear in this axiom minus the specfied
class expressions.
|
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
java.util.Set<OWLClassExpression> getClassExpressions()
Set
of class expressions that appear in the
axiom.java.util.List<OWLClassExpression> getClassExpressionsAsList()
getClassExpressions()
method
as a list of class expressions.boolean contains(OWLClassExpression ce)
ce
- The class expression to test fortrue
if this axiom contains the specified class expression as an operand,
otherwise false
.java.util.Set<OWLClassExpression> getClassExpressionsMinus(OWLClassExpression... desc)
desc
- The class expressions to subtract from the class expressions in this axiom