public interface OWLSubClassOfAxiom extends OWLClassAxiom
Modifier and Type | Method and Description |
---|---|
OWLSubClassOfAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without
annotations.
|
OWLClassExpression |
getSubClass()
Gets the subclass in this axiom.
|
OWLClassExpression |
getSuperClass()
Gets the superclass in this axiom.
|
boolean |
isGCI()
Determines if this subclass axiom has a subclass that is anonymous.
|
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
OWLClassExpression getSubClass()
OWLClassExpression getSuperClass()
boolean isGCI()
true
if this axiom is a GCI, other wise false
.OWLSubClassOfAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
Copyright © 2017 The University of Manchester. All Rights Reserved.