org.semanticweb.owlapi.model
Interface OWLDisjointClassesAxiom
- All Superinterfaces:
- java.lang.Comparable<OWLObject>, OWLAxiom, OWLClassAxiom, OWLLogicalAxiom, OWLNaryClassAxiom, OWLObject
- All Known Implementing Classes:
- OWLDisjointClassesAxiomImpl
public interface OWLDisjointClassesAxiom
- extends OWLNaryClassAxiom
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 24-Oct-2006
Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom |
accept, accept, getAnnotatedAxiom, getAnnotations, getAxiomType, getNNF, getReferencedEntities, isAnnotated, isLogicalAxiom, isOfType, isOfType |
Methods inherited from interface java.lang.Comparable |
compareTo |
asOWLSubClassOfAxioms
java.util.Set<OWLSubClassOfAxiom> asOWLSubClassOfAxioms()
getAxiomWithoutAnnotations
OWLDisjointClassesAxiom getAxiomWithoutAnnotations()
- Description copied from interface:
OWLAxiom
- Gets an axiom that is structurally equivalent to this axiom without annotations. This essentially
returns a version of this axiom stripped of any annotations
- Specified by:
getAxiomWithoutAnnotations
in interface OWLAxiom
- Returns:
- The annotationless version of this axiom