uk.ac.manchester.cs.owl.owlapi
Class OWLNaryClassAxiomImpl
java.lang.Object
uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl
uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl
uk.ac.manchester.cs.owl.owlapi.OWLClassAxiomImpl
uk.ac.manchester.cs.owl.owlapi.OWLNaryClassAxiomImpl
- All Implemented Interfaces:
- java.lang.Comparable<OWLObject>, OWLAxiom, OWLClassAxiom, OWLLogicalAxiom, OWLNaryAxiom, OWLNaryClassAxiom, OWLObject, OWLSubClassOfAxiomSetShortCut
- Direct Known Subclasses:
- OWLDisjointClassesAxiomImpl, OWLEquivalentClassesAxiomImpl
public abstract class OWLNaryClassAxiomImpl
- extends OWLClassAxiomImpl
- implements OWLNaryClassAxiom
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl |
compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, toString |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom |
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isLogicalAxiom, isOfType, isOfType |
Methods inherited from interface org.semanticweb.owlapi.model.OWLObject |
accept, accept, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity |
Methods inherited from interface java.lang.Comparable |
compareTo |
OWLNaryClassAxiomImpl
public OWLNaryClassAxiomImpl(OWLDataFactory dataFactory,
java.util.Set<? extends OWLClassExpression> classExpressions,
java.util.Collection<? extends OWLAnnotation> annotations)
getClassExpressions
public java.util.Set<OWLClassExpression> getClassExpressions()
- Description copied from interface:
OWLNaryClassAxiom
- Gets all of the top level class expressions that appear in this
axiom.
- Specified by:
getClassExpressions
in interface OWLNaryClassAxiom
- Returns:
- A
Set
of class expressions that appear in the
axiom.
getClassExpressionsAsList
public java.util.List<OWLClassExpression> getClassExpressionsAsList()
- Description copied from interface:
OWLNaryClassAxiom
- A convenience method that obtains the class expression returned by the
OWLNaryClassAxiom.getClassExpressions()
method
as a list of class expressions.
- Specified by:
getClassExpressionsAsList
in interface OWLNaryClassAxiom
- Returns:
- A list of the class expressions in this axiom.
contains
public boolean contains(OWLClassExpression ce)
- Description copied from interface:
OWLNaryClassAxiom
- Determines if this class axiom contains the specified class expression as an operand
- Specified by:
contains
in interface OWLNaryClassAxiom
- Parameters:
ce
- The class expression to test for
- Returns:
true
if this axiom contains the specified class expression as an operand,
otherwise false
.
getClassExpressionsMinus
public java.util.Set<OWLClassExpression> getClassExpressionsMinus(OWLClassExpression... descs)
- Description copied from interface:
OWLNaryClassAxiom
- Gets the set of class expressions that appear in this axiom minus the specfied
class expressions.
- Specified by:
getClassExpressionsMinus
in interface OWLNaryClassAxiom
- Parameters:
descs
- 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
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in class OWLAxiomImpl
compareObjectOfSameType
protected int compareObjectOfSameType(OWLObject object)
- Specified by:
compareObjectOfSameType
in class OWLObjectImpl