public class OWLClassAssertionAxiomImpl extends OWLIndividualAxiomImpl implements OWLClassAssertionAxiom
Constructor and Description |
---|
OWLClassAssertionAxiomImpl(OWLIndividual individual,
OWLClassExpression classExpression,
Collection<OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
OWLSubClassOfAxiom |
asOWLSubClassOfAxiom()
Gets this axiom as an
OWLSubClassOfAxiom . |
<T extends OWLAxiom> |
getAnnotatedAxiom(Stream<OWLAnnotation> anns)
Gets a copy of this axiom that is annotated with the specified annotations.
|
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.
|
annotations, annotationsAsList, getNNF, isAnnotated
annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString
accept, accept, accept, accept, components, componentsAnnotationsFirst, componentsWithoutAnnotations, getAxiomType, hashIndex, initHashCode
isLogicalAxiom
equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAxiom, isIndividual, isOfType, isOfType, isOfType, typeIndex
getNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressions
compareTo
getSignature, signature, unsortedSignature
containsEntityInSignature
anonymousIndividuals, getAnonymousIndividuals
classesInSignature, getClassesInSignature
getObjectPropertiesInSignature, objectPropertiesInSignature
dataPropertiesInSignature, getDataPropertiesInSignature
getIndividualsInSignature, individualsInSignature
datatypesInSignature, getDatatypesInSignature
annotationPropertiesInSignature, getAnnotationPropertiesInSignature
isAnonymous, isNamed
annotations, annotations, annotations, annotationsAsList, getAnnotations, getAnnotations
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public OWLClassAssertionAxiomImpl(OWLIndividual individual, OWLClassExpression classExpression, Collection<OWLAnnotation> annotations)
individual
- individualclassExpression
- classannotations
- annotations on the axiompublic OWLClassAssertionAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
getAxiomWithoutAnnotations
in interface OWLClassAssertionAxiom
public <T extends OWLAxiom> T getAnnotatedAxiom(Stream<OWLAnnotation> anns)
OWLAxiom
getAnnotatedAxiom
in interface OWLAxiom
T
- typeanns
- The annotations that will be added to existing annotations to annotate the
copy of this axiomOWLAxiom#getAnnotations()
method.public OWLClassExpression getClassExpression()
OWLClassAssertionAxiom
getClassExpression
in interface OWLClassAssertionAxiom
public OWLIndividual getIndividual()
OWLClassAssertionAxiom
getIndividual
in interface OWLClassAssertionAxiom
public OWLSubClassOfAxiom asOWLSubClassOfAxiom()
OWLSubClassOfAxiomShortCut
OWLSubClassOfAxiom
.asOWLSubClassOfAxiom
in interface OWLSubClassOfAxiomShortCut
OWLSubClassOfAxiom
that is equivalent to this
axiom. Note that annotations are not copied to the returned OWLSubClassOfAxiom
axiom.Copyright © 2020 The University of Manchester. All rights reserved.