org.semanticweb.owlapi.model
Interface OWLSubClassOfAxiom
- All Superinterfaces:
- java.lang.Comparable<OWLObject>, OWLAxiom, OWLClassAxiom, OWLLogicalAxiom, OWLNaryClassAxiom, OWLObject
- All Known Implementing Classes:
- OWLSubClassOfAxiomImpl
public interface OWLSubClassOfAxiom
- 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 |
getSubClass
OWLClassExpression getSubClass()
getSuperClass
OWLClassExpression getSuperClass()
isGCI
boolean isGCI()
- Determines if this subclass axiom has a subclass that is anonymous.
(if the subclass is anonymous then the subclass axiom is known as
a General Concept Inclusion - GCI).
- Returns:
true
if this axiom is a GCI, other wise false
.
getAxiomWithoutAnnotations
OWLSubClassOfAxiom 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