org.semanticweb.owlapi.model

Interface OWLNaryClassAxiom

All Superinterfaces:

Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnnotations, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, IsAnonymous, OWLAxiom, OWLClassAxiom, OWLLogicalAxiom, OWLNaryAxiom<OWLClassExpression>, OWLObject, OWLSubClassOfAxiomSetShortCut, Serializable

All Known Subinterfaces:

OWLDisjointClassesAxiom, OWLEquivalentClassesAxiom

All Known Implementing Classes:

OWLDisjointClassesAxiomImpl, OWLEquivalentClassesAxiomImpl, OWLNaryClassAxiomImpl

public interface OWLNaryClassAxiom
extends OWLClassAxiom, OWLNaryAxiom<OWLClassExpression>, OWLSubClassOfAxiomSetShortCut

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Method Summary

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.

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom

accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.semanticweb.owlapi.model.HasSignature

getSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasContainsEntityInSignature

containsEntityInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasAnonymousIndividuals

getAnonymousIndividuals

Methods inherited from interface org.semanticweb.owlapi.model.HasClassesInSignature

getClassesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasObjectPropertiesInSignature

getObjectPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasDataPropertiesInSignature

getDataPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasIndividualsInSignature

getIndividualsInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasDatatypesInSignature

getDatatypesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasAnnotationPropertiesInSignature

getAnnotationPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.IsAnonymous

isAnonymous, isNamed

Methods inherited from interface org.semanticweb.owlapi.model.OWLNaryAxiom

asPairwiseAxioms, splitToAnnotatedPairs, walkPairwise

Methods inherited from interface org.semanticweb.owlapi.model.OWLSubClassOfAxiomSetShortCut

asOWLSubClassOfAxioms

Method Detail

getClassExpressions

@Nonnull
Set<OWLClassExpression> getClassExpressions()

Gets all of the top level class expressions that appear in this axiom.

Returns:

A Set of class expressions that appear in the axiom.

getClassExpressionsAsList

@Nonnull
List<OWLClassExpression> getClassExpressionsAsList()

A convenience method that obtains the class expression returned by the getClassExpressions() method as a list of class expressions.

Returns:

A list of the class expressions in this axiom.

contains

boolean contains(@Nonnull
                 OWLClassExpression ce)

Determines if this class axiom contains the specified class expression as an operand

Parameters:

ce - The class expression to test for

Returns:

true if this axiom contains the specified class expression as an operand, otherwise false.

getClassExpressionsMinus

@Nonnull
Set<OWLClassExpression> getClassExpressionsMinus(@Nonnull
                                                          OWLClassExpression... desc)

Gets the set of class expressions that appear in this axiom minus the specfied class expressions.

Parameters:

desc - The class expressions to subtract from the class expressions in this axiom

Returns:

A set containing all of the class expressions in this axiom (the class expressions returned by getClassExpressions()) minus the specified list of class expressions