public interface OWLClassAssertionAxiom extends OWLIndividualAxiom, OWLSubClassOfAxiomShortCut
Modifier and Type | Method and Description |
---|---|
OWLClassAssertionAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
OWLClassExpression |
getClassExpression()
Gets the class expression that is asserted to be a type for an individual by this axiom.
|
OWLIndividual |
getIndividual()
Gets the individual that is asserted to be an instance of a class expression by this axiom.
|
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
asOWLSubClassOfAxiom
OWLIndividual getIndividual()
OWLClassExpression getClassExpression()
OWLClassAssertionAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom