public interface HasIncrementalSignatureGenerationSupport extends OWLObject
Modifier and Type | Method and Description |
---|---|
default Set<OWLAnonymousIndividual> |
addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons) |
default Set<OWLEntity> |
addSignatureEntitiesToSet(Set<OWLEntity> entities) |
accept, accept, getNestedClassExpressions, hashIteration, hasSharedStructure, initHashCode, isAnonymousExpression, isAxiom, isBottomEntity, isIndividual, isIRI, isOntology, isTopEntity, nestedClassExpressions
compareTo
getSignature, signature, unsortedSignature
containsEntityInSignature
anonymousIndividuals, getAnonymousIndividuals
classesInSignature, getClassesInSignature
getObjectPropertiesInSignature, objectPropertiesInSignature
dataPropertiesInSignature, getDataPropertiesInSignature
getIndividualsInSignature, individualsInSignature
datatypesInSignature, getDatatypesInSignature
annotationPropertiesInSignature, getAnnotationPropertiesInSignature
hashIndex
components, componentsAnnotationsFirst, componentsWithoutAnnotations
isAnonymous, isNamed
default Set<OWLEntity> addSignatureEntitiesToSet(Set<OWLEntity> entities)
entities
- entity set where entities will be addeddefault Set<OWLAnonymousIndividual> addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons)
anons
- anonymous individuals set where individuals will be addedCopyright © 2020 The University of Manchester. All rights reserved.