public class ConcurrentOWLOntologyImpl extends Object implements OWLMutableOntology, HasTrimToSize
| Constructor and Description |
|---|
ConcurrentOWLOntologyImpl(OWLOntology delegate,
ReadWriteLock readWriteLock)
Constructs a ConcurrentOWLOntology that provides concurrent access to a
delegate
OWLOntology. |
addAxioms, components, getNonnullFormat, hashIndex, isAxiom, isIndividual, isOntology, removeAxiomshasSharedStructure, isAnonymousExpression, isIRIcomponentsAnnotationsFirst, componentsWithoutAnnotationsequalAxiomsapplyChanges, applyChanges, applyChangesAndGetDetailsremove@Inject public ConcurrentOWLOntologyImpl(OWLOntology delegate, ReadWriteLock readWriteLock)
OWLOntology.delegate - The delegate OWLOntology.readWriteLock - The ReadWriteLock that will provide
the locking.NullPointerException - if any parameters are null.public int typeIndex()
typeIndex in interface HasIndextypeIndex in interface OWLOntologypublic void trimToSize()
HasTrimToSizetrimToSize in interface HasTrimToSizepublic void accept(OWLNamedObjectVisitor owlNamedObjectVisitor)
accept in interface OWLOntologypublic <O> O accept(OWLNamedObjectVisitorEx<O> owlNamedObjectVisitorEx)
accept in interface OWLOntologypublic OWLOntologyManager getOWLOntologyManager()
getOWLOntologyManager in interface OWLOntologypublic void setOWLOntologyManager(@Nullable OWLOntologyManager owlOntologyManager)
setOWLOntologyManager in interface OWLOntologypublic OWLOntologyID getOntologyID()
getOntologyID in interface HasOntologyIDpublic boolean isAnonymous()
isAnonymous in interface IsAnonymouspublic Set<OWLAnnotation> getAnnotations()
getAnnotations in interface HasAnnotationspublic Set<IRI> getDirectImportsDocuments()
getDirectImportsDocuments in interface HasDirectImportspublic Stream<IRI> directImportsDocuments()
directImportsDocuments in interface HasDirectImportspublic Set<OWLOntology> getDirectImports()
getDirectImports in interface HasDirectImportspublic Stream<OWLOntology> directImports()
directImports in interface HasDirectImportspublic Set<OWLOntology> getImports()
getImports in interface OWLOntologypublic Stream<OWLOntology> imports()
imports in interface OWLOntologypublic Set<OWLOntology> getImportsClosure()
getImportsClosure in interface HasImportsClosurepublic Stream<OWLOntology> importsClosure()
importsClosure in interface HasImportsClosurepublic Set<OWLImportsDeclaration> getImportsDeclarations()
getImportsDeclarations in interface OWLOntologypublic boolean isEmpty()
isEmpty in interface OWLOntologypublic Set<OWLAxiom> getTBoxAxioms(Imports imports)
getTBoxAxioms in interface OWLOntologypublic Set<OWLAxiom> getABoxAxioms(Imports imports)
getABoxAxioms in interface OWLOntologypublic Set<OWLAxiom> getRBoxAxioms(Imports imports)
getRBoxAxioms in interface OWLOntologypublic Stream<OWLAxiom> tboxAxioms(Imports imports)
tboxAxioms in interface OWLOntologypublic Stream<OWLAxiom> aboxAxioms(Imports imports)
aboxAxioms in interface OWLOntologypublic Stream<OWLAxiom> rboxAxioms(Imports imports)
rboxAxioms in interface OWLOntologypublic Set<OWLClassAxiom> getGeneralClassAxioms()
getGeneralClassAxioms in interface OWLOntologypublic Set<OWLEntity> getSignature()
getSignature in interface HasSignaturepublic Set<OWLEntity> getSignature(Imports imports)
getSignature in interface OWLOntologypublic Stream<OWLClassAxiom> generalClassAxioms()
generalClassAxioms in interface OWLOntologypublic Stream<OWLEntity> signature()
signature in interface HasSignaturepublic Stream<OWLEntity> signature(Imports imports)
signature in interface OWLOntologypublic boolean isDeclared(OWLEntity owlEntity)
isDeclared in interface OWLOntologypublic boolean isDeclared(OWLEntity owlEntity, Imports imports)
isDeclared in interface OWLOntologypublic void saveOntology()
throws OWLOntologyStorageException
saveOntology in interface OWLOntologyOWLOntologyStorageExceptionpublic void saveOntology(IRI iri) throws OWLOntologyStorageException
saveOntology in interface OWLOntologyOWLOntologyStorageExceptionpublic void saveOntology(OutputStream outputStream) throws OWLOntologyStorageException
saveOntology in interface OWLOntologyOWLOntologyStorageExceptionpublic void saveOntology(OWLDocumentFormat owlDocumentFormat) throws OWLOntologyStorageException
saveOntology in interface OWLOntologyOWLOntologyStorageExceptionpublic void saveOntology(OWLDocumentFormat owlDocumentFormat, IRI iri) throws OWLOntologyStorageException
saveOntology in interface OWLOntologyOWLOntologyStorageExceptionpublic void saveOntology(OWLDocumentFormat owlDocumentFormat, OutputStream outputStream) throws OWLOntologyStorageException
saveOntology in interface OWLOntologyOWLOntologyStorageExceptionpublic void saveOntology(OWLOntologyDocumentTarget owlOntologyDocumentTarget) throws OWLOntologyStorageException
saveOntology in interface OWLOntologyOWLOntologyStorageExceptionpublic void saveOntology(OWLDocumentFormat owlDocumentFormat, OWLOntologyDocumentTarget owlOntologyDocumentTarget) throws OWLOntologyStorageException
saveOntology in interface OWLOntologyOWLOntologyStorageExceptionpublic Set<OWLClassExpression> getNestedClassExpressions()
getNestedClassExpressions in interface OWLObjectpublic void accept(OWLObjectVisitor owlObjectVisitor)
accept in interface OWLObjectaccept in interface OWLOntologypublic <O> O accept(OWLObjectVisitorEx<O> owlObjectVisitorEx)
accept in interface OWLObjectaccept in interface OWLOntologypublic boolean isTopEntity()
isTopEntity in interface OWLObjectpublic boolean isBottomEntity()
isBottomEntity in interface OWLObjectpublic int compareTo(@Nullable OWLObject o)
compareTo in interface Comparable<OWLObject>public boolean containsEntityInSignature(OWLEntity owlEntity)
containsEntityInSignature in interface HasContainsEntityInSignaturepublic Set<OWLAnonymousIndividual> getAnonymousIndividuals()
getAnonymousIndividuals in interface HasAnonymousIndividualspublic Set<OWLClass> getClassesInSignature()
getClassesInSignature in interface HasClassesInSignaturepublic Set<OWLObjectProperty> getObjectPropertiesInSignature()
getObjectPropertiesInSignature in interface HasObjectPropertiesInSignaturepublic Set<OWLDataProperty> getDataPropertiesInSignature()
getDataPropertiesInSignature in interface HasDataPropertiesInSignaturepublic Set<OWLNamedIndividual> getIndividualsInSignature()
getIndividualsInSignature in interface HasIndividualsInSignaturepublic Set<OWLDatatype> getDatatypesInSignature()
getDatatypesInSignature in interface HasDatatypesInSignaturepublic Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature()
getAnnotationPropertiesInSignature in interface HasAnnotationPropertiesInSignaturepublic Set<OWLAxiom> getAxioms(Imports imports)
getAxioms in interface OWLAxiomCollectionpublic int getAxiomCount(Imports imports)
getAxiomCount in interface OWLAxiomCollectionpublic Set<OWLLogicalAxiom> getLogicalAxioms(Imports imports)
getLogicalAxioms in interface OWLAxiomCollectionpublic int getLogicalAxiomCount(Imports imports)
getLogicalAxiomCount in interface OWLAxiomCollectionpublic <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType, Imports imports)
getAxioms in interface OWLAxiomCollectionpublic <T extends OWLAxiom> Stream<T> axioms(AxiomType<T> axiomType, Imports imports)
axioms in interface OWLAxiomCollectionpublic <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType, Imports imports)
getAxiomCount in interface OWLAxiomCollectionpublic boolean containsAxiom(OWLAxiom owlAxiom, Imports imports, AxiomAnnotations axiomAnnotations)
containsAxiom in interface OWLAxiomCollectionpublic Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom, Imports imports)
getAxiomsIgnoreAnnotations in interface OWLAxiomCollectionpublic Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom owlAxiom, Imports imports)
axiomsIgnoreAnnotations in interface OWLAxiomCollectionpublic Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlPrimitive, Imports imports)
getReferencingAxioms in interface OWLAxiomCollectionpublic Stream<OWLAxiom> referencingAxioms(OWLPrimitive owlPrimitive, Imports imports)
referencingAxioms in interface OWLAxiomCollectionpublic Set<OWLClassAxiom> getAxioms(OWLClass owlClass, Imports imports)
getAxioms in interface OWLAxiomCollectionpublic Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression, Imports imports)
getAxioms in interface OWLAxiomCollectionpublic Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty owlDataProperty, Imports imports)
getAxioms in interface OWLAxiomCollectionpublic Set<OWLIndividualAxiom> getAxioms(OWLIndividual owlIndividual, Imports imports)
getAxioms in interface OWLAxiomCollectionpublic Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty owlAnnotationProperty, Imports imports)
getAxioms in interface OWLAxiomCollectionpublic Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype owlDatatype, Imports imports)
getAxioms in interface OWLAxiomCollectionpublic Set<OWLLogicalAxiom> getLogicalAxioms()
getLogicalAxioms in interface HasLogicalAxiomspublic Stream<OWLLogicalAxiom> logicalAxioms()
logicalAxioms in interface HasLogicalAxiomspublic <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType)
getAxioms in interface HasAxiomsByTypepublic <T extends OWLAxiom> Stream<T> axioms(AxiomType<T> axiomType)
axioms in interface HasAxiomsByTypepublic boolean containsAxiom(OWLAxiom owlAxiom)
containsAxiom in interface HasContainsAxiompublic Set<OWLAxiom> getAxioms(boolean b)
getAxioms in interface OWLAxiomCollectionBooleanArgspublic int getAxiomCount(boolean b)
getAxiomCount in interface OWLAxiomCollectionBooleanArgspublic Set<OWLLogicalAxiom> getLogicalAxioms(boolean b)
getLogicalAxioms in interface OWLAxiomCollectionBooleanArgspublic int getLogicalAxiomCount(boolean b)
getLogicalAxiomCount in interface OWLAxiomCollectionBooleanArgspublic <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType, boolean b)
getAxioms in interface OWLAxiomCollectionBooleanArgspublic <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType, boolean b)
getAxiomCount in interface OWLAxiomCollectionBooleanArgspublic boolean containsAxiom(OWLAxiom owlAxiom, boolean b)
containsAxiom in interface OWLAxiomCollectionBooleanArgspublic boolean containsAxiomIgnoreAnnotations(OWLAxiom owlAxiom, boolean b)
containsAxiomIgnoreAnnotations in interface OWLAxiomCollectionBooleanArgspublic Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom, boolean b)
getAxiomsIgnoreAnnotations in interface OWLAxiomCollectionBooleanArgspublic Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlPrimitive, boolean b)
getReferencingAxioms in interface OWLAxiomCollectionBooleanArgspublic Set<OWLClassAxiom> getAxioms(OWLClass owlClass, boolean b)
getAxioms in interface OWLAxiomCollectionBooleanArgspublic Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression, boolean b)
getAxioms in interface OWLAxiomCollectionBooleanArgspublic Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty owlDataProperty, boolean b)
getAxioms in interface OWLAxiomCollectionBooleanArgspublic Set<OWLIndividualAxiom> getAxioms(OWLIndividual owlIndividual, boolean b)
getAxioms in interface OWLAxiomCollectionBooleanArgspublic Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty owlAnnotationProperty, boolean b)
getAxioms in interface OWLAxiomCollectionBooleanArgspublic Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype owlDatatype, boolean b)
getAxioms in interface OWLAxiomCollectionBooleanArgspublic int getAxiomCount()
getAxiomCount in interface OWLAxiomCollectionpublic int getLogicalAxiomCount()
getLogicalAxiomCount in interface OWLAxiomCollectionpublic <T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType)
getAxiomCount in interface OWLAxiomCollectionpublic boolean containsAxiomIgnoreAnnotations(OWLAxiom owlAxiom)
containsAxiomIgnoreAnnotations in interface OWLAxiomCollectionpublic Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom)
getAxiomsIgnoreAnnotations in interface OWLAxiomCollectionpublic Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom owlAxiom)
axiomsIgnoreAnnotations in interface OWLAxiomCollectionpublic Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlPrimitive)
getReferencingAxioms in interface OWLAxiomCollectionpublic Stream<OWLAxiom> referencingAxioms(OWLPrimitive owlPrimitive)
referencingAxioms in interface OWLAxiomCollectionpublic Set<OWLClassAxiom> getAxioms(OWLClass owlClass)
getAxioms in interface OWLAxiomCollectionpublic Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
getAxioms in interface OWLAxiomCollectionpublic Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty owlDataProperty)
getAxioms in interface OWLAxiomCollectionpublic Set<OWLIndividualAxiom> getAxioms(OWLIndividual owlIndividual)
getAxioms in interface OWLAxiomCollectionpublic Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty owlAnnotationProperty)
getAxioms in interface OWLAxiomCollectionpublic Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype owlDatatype)
getAxioms in interface OWLAxiomCollectionpublic Stream<OWLClassAxiom> axioms(OWLClass owlClass)
axioms in interface OWLAxiomCollectionpublic Stream<OWLObjectPropertyAxiom> axioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
axioms in interface OWLAxiomCollectionpublic Stream<OWLDataPropertyAxiom> axioms(OWLDataProperty owlDataProperty)
axioms in interface OWLAxiomCollectionpublic Stream<OWLIndividualAxiom> axioms(OWLIndividual owlIndividual)
axioms in interface OWLAxiomCollectionpublic Stream<OWLAnnotationAxiom> axioms(OWLAnnotationProperty owlAnnotationProperty)
axioms in interface OWLAxiomCollectionpublic Stream<OWLDatatypeDefinitionAxiom> axioms(OWLDatatype owlDatatype)
axioms in interface OWLAxiomCollectionpublic Set<OWLClass> getClassesInSignature(Imports imports)
getClassesInSignature in interface OWLSignaturepublic Set<OWLObjectProperty> getObjectPropertiesInSignature(Imports imports)
getObjectPropertiesInSignature in interface OWLSignaturepublic Set<OWLDataProperty> getDataPropertiesInSignature(Imports imports)
getDataPropertiesInSignature in interface OWLSignaturepublic Set<OWLNamedIndividual> getIndividualsInSignature(Imports imports)
getIndividualsInSignature in interface OWLSignaturepublic Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals(Imports imports)
getReferencedAnonymousIndividuals in interface OWLSignaturepublic Stream<OWLAnonymousIndividual> referencedAnonymousIndividuals(Imports imports)
referencedAnonymousIndividuals in interface OWLSignaturepublic Stream<OWLAnonymousIndividual> referencedAnonymousIndividuals()
referencedAnonymousIndividuals in interface OWLSignaturepublic Set<OWLDatatype> getDatatypesInSignature(Imports imports)
getDatatypesInSignature in interface OWLSignaturepublic Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature(Imports imports)
getAnnotationPropertiesInSignature in interface OWLSignaturepublic boolean containsEntityInSignature(OWLEntity owlEntity, Imports imports)
containsEntityInSignature in interface OWLSignaturepublic boolean containsEntityInSignature(IRI iri, Imports imports)
containsEntityInSignature in interface OWLSignaturepublic boolean containsClassInSignature(IRI iri, Imports imports)
containsClassInSignature in interface OWLSignaturepublic boolean containsObjectPropertyInSignature(IRI iri, Imports imports)
containsObjectPropertyInSignature in interface OWLSignaturepublic boolean containsDataPropertyInSignature(IRI iri, Imports imports)
containsDataPropertyInSignature in interface OWLSignaturepublic boolean containsAnnotationPropertyInSignature(IRI iri, Imports imports)
containsAnnotationPropertyInSignature in interface OWLSignaturepublic boolean containsDatatypeInSignature(IRI iri, Imports imports)
containsDatatypeInSignature in interface OWLSignaturepublic boolean containsIndividualInSignature(IRI iri, Imports imports)
containsIndividualInSignature in interface OWLSignaturepublic boolean containsDatatypeInSignature(IRI iri)
containsDatatypeInSignature in interface OWLSignaturepublic boolean containsEntityInSignature(IRI iri)
containsEntityInSignature in interface OWLSignaturepublic boolean containsClassInSignature(IRI iri)
containsClassInSignature in interface OWLSignaturepublic boolean containsObjectPropertyInSignature(IRI iri)
containsObjectPropertyInSignature in interface OWLSignaturepublic boolean containsDataPropertyInSignature(IRI iri)
containsDataPropertyInSignature in interface OWLSignaturepublic boolean containsAnnotationPropertyInSignature(IRI iri)
containsAnnotationPropertyInSignature in interface OWLSignaturepublic boolean containsIndividualInSignature(IRI iri)
containsIndividualInSignature in interface OWLSignaturepublic Set<OWLEntity> getEntitiesInSignature(IRI iri, Imports imports)
getEntitiesInSignature in interface OWLSignaturepublic Set<IRI> getPunnedIRIs(Imports imports)
getPunnedIRIs in interface OWLSignaturepublic boolean containsReference(OWLEntity owlEntity, Imports imports)
containsReference in interface OWLSignaturepublic boolean containsReference(OWLEntity owlEntity)
containsReference in interface OWLSignaturepublic Set<OWLEntity> getEntitiesInSignature(IRI iri)
getEntitiesInSignature in interface HasGetEntitiesInSignaturepublic Stream<OWLEntity> entitiesInSignature(IRI iri)
entitiesInSignature in interface HasGetEntitiesInSignaturepublic Set<OWLClass> getClassesInSignature(boolean b)
getClassesInSignature in interface OWLSignatureBooleanArgspublic Set<OWLObjectProperty> getObjectPropertiesInSignature(boolean b)
getObjectPropertiesInSignature in interface OWLSignatureBooleanArgspublic Set<OWLDataProperty> getDataPropertiesInSignature(boolean b)
getDataPropertiesInSignature in interface OWLSignatureBooleanArgspublic Set<OWLNamedIndividual> getIndividualsInSignature(boolean b)
getIndividualsInSignature in interface OWLSignatureBooleanArgspublic Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals(boolean b)
getReferencedAnonymousIndividuals in interface OWLSignatureBooleanArgspublic Set<OWLDatatype> getDatatypesInSignature(boolean b)
getDatatypesInSignature in interface OWLSignatureBooleanArgspublic Set<OWLAnnotationProperty> getAnnotationPropertiesInSignature(boolean b)
getAnnotationPropertiesInSignature in interface OWLSignatureBooleanArgspublic boolean containsEntityInSignature(OWLEntity owlEntity, boolean b)
containsEntityInSignature in interface OWLSignatureBooleanArgspublic boolean containsEntityInSignature(IRI iri, boolean b)
containsEntityInSignature in interface OWLSignatureBooleanArgspublic boolean containsClassInSignature(IRI iri, boolean b)
containsClassInSignature in interface OWLSignatureBooleanArgspublic boolean containsObjectPropertyInSignature(IRI iri, boolean b)
containsObjectPropertyInSignature in interface OWLSignatureBooleanArgspublic boolean containsDataPropertyInSignature(IRI iri, boolean b)
containsDataPropertyInSignature in interface OWLSignatureBooleanArgspublic boolean containsAnnotationPropertyInSignature(IRI iri, boolean b)
containsAnnotationPropertyInSignature in interface OWLSignatureBooleanArgspublic boolean containsDatatypeInSignature(IRI iri, boolean b)
containsDatatypeInSignature in interface OWLSignatureBooleanArgspublic boolean containsIndividualInSignature(IRI iri, boolean b)
containsIndividualInSignature in interface OWLSignatureBooleanArgspublic Set<OWLEntity> getEntitiesInSignature(IRI iri, boolean b)
getEntitiesInSignature in interface OWLSignatureBooleanArgspublic boolean containsReference(OWLEntity owlEntity, boolean b)
containsReference in interface OWLSignatureBooleanArgspublic <T extends OWLAxiom> Set<T> getAxioms(Class<T> aClass, OWLObject owlObject, Imports imports, Navigation navigation)
getAxioms in interface OWLAxiomIndexpublic <T extends OWLAxiom> Stream<T> axioms(Class<T> aClass, OWLObject owlObject, Imports imports, Navigation navigation)
axioms in interface OWLAxiomIndexpublic <T extends OWLAxiom> Collection<T> filterAxioms(OWLAxiomSearchFilter owlAxiomSearchFilter, Object o, Imports imports)
filterAxioms in interface OWLAxiomIndexpublic boolean contains(OWLAxiomSearchFilter owlAxiomSearchFilter, Object o, Imports imports)
contains in interface OWLAxiomIndexpublic boolean contains(OWLAxiomSearchFilter owlAxiomSearchFilter, Object o)
contains in interface OWLAxiomIndexpublic <T extends OWLAxiom> Set<T> getAxioms(Class<T> aClass, Class<? extends OWLObject> aClass1, OWLObject owlObject, Imports imports, Navigation navigation)
getAxioms in interface OWLAxiomIndexpublic <T extends OWLAxiom> Stream<T> axioms(Class<T> aClass, Class<? extends OWLObject> aClass1, OWLObject owlObject, Imports imports, Navigation navigation)
axioms in interface OWLAxiomIndexpublic Set<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty owlAnnotationProperty)
getSubAnnotationPropertyOfAxioms in interface OWLAxiomIndexpublic Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(OWLAnnotationProperty owlAnnotationProperty)
getAnnotationPropertyDomainAxioms in interface OWLAxiomIndexpublic Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(OWLAnnotationProperty owlAnnotationProperty)
getAnnotationPropertyRangeAxioms in interface OWLAxiomIndexpublic Stream<OWLAnnotationPropertyDomainAxiom> annotationPropertyDomainAxioms(OWLAnnotationProperty owlAnnotationProperty)
annotationPropertyDomainAxioms in interface OWLAxiomIndexpublic Stream<OWLAnnotationPropertyRangeAxiom> annotationPropertyRangeAxioms(OWLAnnotationProperty owlAnnotationProperty)
annotationPropertyRangeAxioms in interface OWLAxiomIndexpublic Set<OWLDeclarationAxiom> getDeclarationAxioms(OWLEntity owlEntity)
getDeclarationAxioms in interface OWLAxiomIndexpublic Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject owlAnnotationSubject)
getAnnotationAssertionAxioms in interface OWLAxiomIndexpublic Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass owlClass)
getSubClassAxiomsForSubClass in interface OWLAxiomIndexpublic Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(OWLClass owlClass)
getSubClassAxiomsForSuperClass in interface OWLAxiomIndexpublic Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass owlClass)
getEquivalentClassesAxioms in interface OWLAxiomIndexpublic Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass owlClass)
getDisjointClassesAxioms in interface OWLAxiomIndexpublic Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLClass owlClass)
getDisjointUnionAxioms in interface OWLAxiomIndexpublic Set<OWLHasKeyAxiom> getHasKeyAxioms(OWLClass owlClass)
getHasKeyAxioms in interface OWLAxiomIndexpublic Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression owlObjectPropertyExpression)
getObjectSubPropertyAxiomsForSubProperty in interface OWLAxiomIndexpublic Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression owlObjectPropertyExpression)
getObjectSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndexpublic Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
getObjectPropertyDomainAxioms in interface OWLAxiomIndexpublic Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
getObjectPropertyRangeAxioms in interface OWLAxiomIndexpublic Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
getInverseObjectPropertyAxioms in interface OWLAxiomIndexpublic Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
getEquivalentObjectPropertiesAxioms in interface OWLAxiomIndexpublic Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
getDisjointObjectPropertiesAxioms in interface OWLAxiomIndexpublic Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
getFunctionalObjectPropertyAxioms in interface OWLAxiomIndexpublic Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
getInverseFunctionalObjectPropertyAxioms in interface OWLAxiomIndexpublic Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
getSymmetricObjectPropertyAxioms in interface OWLAxiomIndexpublic Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
getAsymmetricObjectPropertyAxioms in interface OWLAxiomIndexpublic Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
getReflexiveObjectPropertyAxioms in interface OWLAxiomIndexpublic Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
getIrreflexiveObjectPropertyAxioms in interface OWLAxiomIndexpublic Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
getTransitiveObjectPropertyAxioms in interface OWLAxiomIndexpublic Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty owlDataProperty)
getDataSubPropertyAxiomsForSubProperty in interface OWLAxiomIndexpublic Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression owlDataPropertyExpression)
getDataSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndexpublic Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty owlDataProperty)
getDataPropertyDomainAxioms in interface OWLAxiomIndexpublic Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty owlDataProperty)
getDataPropertyRangeAxioms in interface OWLAxiomIndexpublic Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty owlDataProperty)
getEquivalentDataPropertiesAxioms in interface OWLAxiomIndexpublic Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty owlDataProperty)
getDisjointDataPropertiesAxioms in interface OWLAxiomIndexpublic Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression owlDataPropertyExpression)
getFunctionalDataPropertyAxioms in interface OWLAxiomIndexpublic Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual owlIndividual)
getClassAssertionAxioms in interface OWLAxiomIndexpublic Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClassExpression owlClassExpression)
getClassAssertionAxioms in interface OWLAxiomIndexpublic Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual owlIndividual)
getDataPropertyAssertionAxioms in interface OWLAxiomIndexpublic Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual owlIndividual)
getObjectPropertyAssertionAxioms in interface OWLAxiomIndexpublic Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual owlIndividual)
getNegativeObjectPropertyAssertionAxioms in interface OWLAxiomIndexpublic Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual owlIndividual)
getNegativeDataPropertyAssertionAxioms in interface OWLAxiomIndexpublic Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual owlIndividual)
getSameIndividualAxioms in interface OWLAxiomIndexpublic Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual owlIndividual)
getDifferentIndividualAxioms in interface OWLAxiomIndexpublic Set<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(OWLDatatype owlDatatype)
getDatatypeDefinitions in interface OWLAxiomIndexpublic ChangeApplied applyChange(OWLOntologyChange owlOntologyChange)
applyChange in interface HasApplyChangeapplyChange in interface OWLOntologypublic ChangeDetails applyChangesAndGetDetails(List<? extends OWLOntologyChange> list)
applyChangesAndGetDetails in interface HasApplyChangesapplyChangesAndGetDetails in interface OWLOntologypublic ChangeApplied addAxiom(OWLAxiom owlAxiom)
addAxiom in interface HasDirectAddAxiomaddAxiom in interface OWLOntologypublic ChangeApplied addAxioms(Collection<? extends OWLAxiom> set)
addAxioms in interface HasDirectAddAxiomsaddAxioms in interface OWLOntologypublic ChangeApplied addAxioms(OWLAxiom... set)
addAxioms in interface HasDirectAddAxiomsaddAxioms in interface OWLOntologypublic ChangeApplied add(OWLAxiom owlAxiom)
add in interface HasDirectAddAxiompublic ChangeApplied add(Collection<? extends OWLAxiom> set)
add in interface HasDirectAddAxiomspublic ChangeApplied add(OWLAxiom... set)
add in interface HasDirectAddAxiomspublic Stream<OWLImportsDeclaration> importsDeclarations()
importsDeclarations in interface OWLOntologypublic <T extends OWLAxiom> Stream<T> axioms(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure)
axioms in interface OWLAxiomIndexpublic <T extends OWLAxiom> Stream<T> axioms(OWLAxiomSearchFilter filter, Object key)
axioms in interface OWLAxiomIndexpublic <T extends OWLAxiom> Stream<T> axioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition)
axioms in interface OWLAxiomIndexpublic Stream<OWLSubAnnotationPropertyOfAxiom> subAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
subAnnotationPropertyOfAxioms in interface OWLAxiomIndexpublic Stream<OWLDatatypeDefinitionAxiom> datatypeDefinitions(OWLDatatype datatype)
datatypeDefinitions in interface OWLAxiomIndexpublic ChangeApplied removeAxiom(OWLAxiom axiom)
removeAxiom in interface HasDirectRemoveAxiomremoveAxiom in interface OWLOntologypublic ChangeApplied removeAxioms(Collection<? extends OWLAxiom> axioms)
removeAxioms in interface HasDirectRemoveAxiomsremoveAxioms in interface OWLOntologypublic ChangeApplied removeAxioms(OWLAxiom... axioms)
removeAxioms in interface HasDirectRemoveAxiomsremoveAxioms in interface OWLOntologypublic ChangeApplied remove(OWLAxiom axiom)
remove in interface HasDirectRemoveAxiompublic ChangeApplied remove(Collection<? extends OWLAxiom> axioms)
remove in interface HasDirectRemoveAxiomspublic ChangeApplied remove(OWLAxiom... axioms)
remove in interface HasDirectRemoveAxiomspublic ChangeApplied applyDirectChange(OWLOntologyChange change)
applyDirectChange in interface HasApplyDirectChangeapplyDirectChange in interface OWLOntologypublic Stream<OWLDisjointObjectPropertiesAxiom> disjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
disjointObjectPropertiesAxioms in interface OWLAxiomIndexpublic Stream<OWLObjectProperty> objectPropertiesInSignature()
objectPropertiesInSignature in interface HasObjectPropertiesInSignaturepublic Stream<OWLAnnotationAssertionAxiom> annotationAssertionAxioms(OWLAnnotationSubject entity)
annotationAssertionAxioms in interface OWLAxiomIndexpublic Stream<OWLAnnotationAssertionAxiom> annotationAssertionAxioms(OWLAnnotationSubject entity, Imports imports)
annotationAssertionAxioms in interface OWLAxiomIndexpublic Stream<OWLAnnotationProperty> annotationPropertiesInSignature()
annotationPropertiesInSignature in interface HasAnnotationPropertiesInSignaturepublic Stream<OWLAnnotationProperty> annotationPropertiesInSignature(Imports imports)
annotationPropertiesInSignature in interface OWLSignaturepublic Stream<OWLAnnotation> annotations()
annotations in interface HasAnnotationspublic Stream<OWLAnnotation> annotations(OWLAnnotationProperty p)
annotations in interface HasAnnotationspublic Stream<OWLAnnotation> annotations(Predicate<OWLAnnotation> p)
annotations in interface HasAnnotationspublic Stream<OWLAnonymousIndividual> anonymousIndividuals()
anonymousIndividuals in interface HasAnonymousIndividualspublic Stream<OWLAsymmetricObjectPropertyAxiom> asymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
asymmetricObjectPropertyAxioms in interface OWLAxiomIndexpublic <T extends OWLAxiom> Stream<T> axioms(Class<T> type, OWLObject entity, Navigation forSubPosition)
axioms in interface OWLAxiomIndexpublic Stream<OWLAxiom> axioms(Imports imports)
axioms in interface OWLAxiomCollectionpublic Stream<OWLAnnotationAxiom> axioms(OWLAnnotationProperty property, Imports imports)
axioms in interface OWLAxiomCollectionpublic Stream<OWLClassAxiom> axioms(OWLClass cls, Imports imports)
axioms in interface OWLAxiomCollectionpublic Stream<OWLDataPropertyAxiom> axioms(OWLDataProperty property, Imports imports)
axioms in interface OWLAxiomCollectionpublic Stream<OWLDatatypeDefinitionAxiom> axioms(OWLDatatype datatype, Imports imports)
axioms in interface OWLAxiomCollectionpublic Stream<OWLIndividualAxiom> axioms(OWLIndividual individual, Imports imports)
axioms in interface OWLAxiomCollectionpublic Stream<OWLObjectPropertyAxiom> axioms(OWLObjectPropertyExpression property, Imports imports)
axioms in interface OWLAxiomCollectionpublic Stream<OWLClassAssertionAxiom> classAssertionAxioms(OWLClassExpression ce)
classAssertionAxioms in interface OWLAxiomIndexpublic Stream<OWLClassAssertionAxiom> classAssertionAxioms(OWLIndividual individual)
classAssertionAxioms in interface OWLAxiomIndexpublic Stream<OWLClass> classesInSignature()
classesInSignature in interface HasClassesInSignaturepublic Stream<OWLClass> classesInSignature(Imports imports)
classesInSignature in interface OWLSignaturepublic Stream<OWLDataProperty> dataPropertiesInSignature()
dataPropertiesInSignature in interface HasDataPropertiesInSignaturepublic Stream<OWLDataProperty> dataPropertiesInSignature(Imports imports)
dataPropertiesInSignature in interface OWLSignaturepublic Stream<OWLDataPropertyAssertionAxiom> dataPropertyAssertionAxioms(OWLIndividual individual)
dataPropertyAssertionAxioms in interface OWLAxiomIndexpublic Stream<OWLDataPropertyDomainAxiom> dataPropertyDomainAxioms(OWLDataProperty property)
dataPropertyDomainAxioms in interface OWLAxiomIndexpublic Stream<OWLDataPropertyRangeAxiom> dataPropertyRangeAxioms(OWLDataProperty property)
dataPropertyRangeAxioms in interface OWLAxiomIndexpublic Stream<OWLSubDataPropertyOfAxiom> dataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
dataSubPropertyAxiomsForSubProperty in interface OWLAxiomIndexpublic Stream<OWLSubDataPropertyOfAxiom> dataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
dataSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndexpublic Stream<OWLDatatype> datatypesInSignature()
datatypesInSignature in interface HasDatatypesInSignaturepublic Stream<OWLDatatype> datatypesInSignature(Imports imports)
datatypesInSignature in interface OWLSignaturepublic Stream<OWLDeclarationAxiom> declarationAxioms(OWLEntity subject)
declarationAxioms in interface OWLAxiomIndexpublic Stream<OWLDifferentIndividualsAxiom> differentIndividualAxioms(OWLIndividual individual)
differentIndividualAxioms in interface OWLAxiomIndexpublic Stream<OWLDisjointClassesAxiom> disjointClassesAxioms(OWLClass cls)
disjointClassesAxioms in interface OWLAxiomIndexpublic Stream<OWLDisjointDataPropertiesAxiom> disjointDataPropertiesAxioms(OWLDataProperty property)
disjointDataPropertiesAxioms in interface OWLAxiomIndexpublic Stream<OWLDisjointUnionAxiom> disjointUnionAxioms(OWLClass owlClass)
disjointUnionAxioms in interface OWLAxiomIndexpublic Stream<OWLEntity> entitiesInSignature(IRI iri, Imports imports)
entitiesInSignature in interface OWLSignaturepublic Stream<OWLEquivalentClassesAxiom> equivalentClassesAxioms(OWLClass cls)
equivalentClassesAxioms in interface OWLAxiomIndexpublic Stream<OWLEquivalentDataPropertiesAxiom> equivalentDataPropertiesAxioms(OWLDataProperty property)
equivalentDataPropertiesAxioms in interface OWLAxiomIndexpublic Stream<OWLEquivalentObjectPropertiesAxiom> equivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
equivalentObjectPropertiesAxioms in interface OWLAxiomIndexpublic <T extends OWLAxiom> Collection<T> filterAxioms(OWLAxiomSearchFilter filter, Object key)
filterAxioms in interface OWLAxiomIndexpublic Stream<OWLFunctionalDataPropertyAxiom> functionalDataPropertyAxioms(OWLDataPropertyExpression property)
functionalDataPropertyAxioms in interface OWLAxiomIndexpublic Stream<OWLFunctionalObjectPropertyAxiom> functionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
functionalObjectPropertyAxioms in interface OWLAxiomIndexpublic Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject entity, Imports imports)
getAnnotationAssertionAxioms in interface OWLAxiomIndexpublic Set<OWLAnnotation> getAnnotations(OWLAnnotationProperty annotationProperty)
getAnnotations in interface HasAnnotationspublic <T extends OWLAxiom> Set<T> getAxioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition)
getAxioms in interface OWLAxiomIndexpublic <T extends OWLAxiom> Set<T> getAxioms(Class<T> type, OWLObject entity, Navigation forSubPosition)
getAxioms in interface OWLAxiomIndex@Nullable public OWLDocumentFormat getFormat()
getFormat in interface OWLOntologypublic Set<OWLAnonymousIndividual> getReferencedAnonymousIndividuals()
getReferencedAnonymousIndividuals in interface OWLSignaturepublic Stream<OWLHasKeyAxiom> hasKeyAxioms(OWLClass cls)
hasKeyAxioms in interface OWLAxiomIndexpublic Stream<OWLNamedIndividual> individualsInSignature()
individualsInSignature in interface HasIndividualsInSignaturepublic Stream<OWLNamedIndividual> individualsInSignature(Imports imports)
individualsInSignature in interface OWLSignaturepublic Stream<OWLInverseFunctionalObjectPropertyAxiom> inverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
inverseFunctionalObjectPropertyAxioms in interface OWLAxiomIndexpublic Stream<OWLInverseObjectPropertiesAxiom> inverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
inverseObjectPropertyAxioms in interface OWLAxiomIndexpublic Stream<OWLIrreflexiveObjectPropertyAxiom> irreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
irreflexiveObjectPropertyAxioms in interface OWLAxiomIndexpublic Stream<OWLLogicalAxiom> logicalAxioms(Imports imports)
logicalAxioms in interface OWLAxiomCollectionpublic Stream<OWLNegativeDataPropertyAssertionAxiom> negativeDataPropertyAssertionAxioms(OWLIndividual individual)
negativeDataPropertyAssertionAxioms in interface OWLAxiomIndexpublic Stream<OWLNegativeObjectPropertyAssertionAxiom> negativeObjectPropertyAssertionAxioms(OWLIndividual individual)
negativeObjectPropertyAssertionAxioms in interface OWLAxiomIndexpublic Stream<OWLClassExpression> nestedClassExpressions()
nestedClassExpressions in interface OWLObjectpublic Stream<OWLObjectProperty> objectPropertiesInSignature(Imports imports)
objectPropertiesInSignature in interface OWLSignaturepublic Stream<OWLObjectPropertyAssertionAxiom> objectPropertyAssertionAxioms(OWLIndividual individual)
objectPropertyAssertionAxioms in interface OWLAxiomIndexpublic Stream<OWLObjectPropertyDomainAxiom> objectPropertyDomainAxioms(OWLObjectPropertyExpression property)
objectPropertyDomainAxioms in interface OWLAxiomIndexpublic Stream<OWLObjectPropertyRangeAxiom> objectPropertyRangeAxioms(OWLObjectPropertyExpression property)
objectPropertyRangeAxioms in interface OWLAxiomIndexpublic Stream<OWLSubObjectPropertyOfAxiom> objectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
objectSubPropertyAxiomsForSubProperty in interface OWLAxiomIndexpublic Stream<OWLSubObjectPropertyOfAxiom> objectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
objectSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndexpublic Stream<OWLReflexiveObjectPropertyAxiom> reflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
reflexiveObjectPropertyAxioms in interface OWLAxiomIndexpublic Stream<OWLSameIndividualAxiom> sameIndividualAxioms(OWLIndividual individual)
sameIndividualAxioms in interface OWLAxiomIndexpublic Stream<OWLSubClassOfAxiom> subClassAxiomsForSubClass(OWLClass cls)
subClassAxiomsForSubClass in interface OWLAxiomIndexpublic Stream<OWLSubClassOfAxiom> subClassAxiomsForSuperClass(OWLClass cls)
subClassAxiomsForSuperClass in interface OWLAxiomIndexpublic Stream<OWLSymmetricObjectPropertyAxiom> symmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
symmetricObjectPropertyAxioms in interface OWLAxiomIndexpublic Stream<OWLTransitiveObjectPropertyAxiom> transitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
transitiveObjectPropertyAxioms in interface OWLAxiomIndexCopyright © 2017 The University of Manchester. All rights reserved.