org.semanticweb.owl.model
Interface OWLSubClassAxiom

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAxiom, OWLClassAxiom, OWLLogicalAxiom, OWLNaryClassAxiom, OWLObject

public interface OWLSubClassAxiom
extends OWLNaryClassAxiom

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

Method Summary

OWLDescription	getSubClass()
OWLDescription	getSuperClass()
boolean	isGCI() Determines if this subclass axiom has a subclass that is anonymous.

Methods inherited from interface org.semanticweb.owl.model.OWLNaryClassAxiom

getDescriptions

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

accept, accept, getAnnotationAxioms, getAxiomType, getNNF, getReferencedEntities, isLogicalAxiom

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

accept, accept, getSignature

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getSubClass

OWLDescription getSubClass()

getSuperClass

OWLDescription 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.