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
|
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
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.
|
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
Set<OWLClassExpression> getClassExpressions()
Set
of class expressions that appear in the axiom.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
.Set<OWLClassExpression> getClassExpressionsMinus(OWLClassExpression... desc)
desc
- The class expressions to subtract from the class expressions in
this axiomCopyright © 2017 The University of Manchester. All Rights Reserved.