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, componentsWithoutAnnotationsequalAxiomsapplyChangesremove@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 java.util.stream.Stream<IRI> directImportsDocuments()
directImportsDocuments in interface HasDirectImportspublic Set<OWLOntology> getDirectImports()
getDirectImports in interface HasDirectImportspublic java.util.stream.Stream<OWLOntology> directImports()
directImports in interface HasDirectImportspublic Set<OWLOntology> getImports()
getImports in interface OWLOntologypublic java.util.stream.Stream<OWLOntology> imports()
imports in interface OWLOntologypublic Set<OWLOntology> getImportsClosure()
getImportsClosure in interface HasImportsClosurepublic java.util.stream.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 java.util.stream.Stream<OWLAxiom> tboxAxioms(Imports imports)
tboxAxioms in interface OWLOntologypublic java.util.stream.Stream<OWLAxiom> aboxAxioms(Imports imports)
aboxAxioms in interface OWLOntologypublic java.util.stream.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 java.util.stream.Stream<OWLClassAxiom> generalClassAxioms()
generalClassAxioms in interface OWLOntologypublic java.util.stream.Stream<OWLEntity> signature()
signature in interface HasSignaturepublic java.util.stream.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> java.util.stream.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 java.util.stream.Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom owlAxiom, Imports imports)
axiomsIgnoreAnnotations in interface OWLAxiomCollectionpublic Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlPrimitive, Imports imports)
getReferencingAxioms in interface OWLAxiomCollectionpublic java.util.stream.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 java.util.stream.Stream<OWLAxiom> axioms()
public Set<OWLLogicalAxiom> getLogicalAxioms()
getLogicalAxioms in interface HasLogicalAxiomspublic java.util.stream.Stream<OWLLogicalAxiom> logicalAxioms()
logicalAxioms in interface HasLogicalAxiomspublic <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType)
getAxioms in interface HasAxiomsByTypepublic <T extends OWLAxiom> java.util.stream.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 java.util.stream.Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom owlAxiom)
axiomsIgnoreAnnotations in interface OWLAxiomCollectionpublic Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlPrimitive)
getReferencingAxioms in interface OWLAxiomCollectionpublic java.util.stream.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 java.util.stream.Stream<OWLClassAxiom> axioms(OWLClass owlClass)
axioms in interface OWLAxiomCollectionpublic java.util.stream.Stream<OWLObjectPropertyAxiom> axioms(OWLObjectPropertyExpression owlObjectPropertyExpression)
axioms in interface OWLAxiomCollectionpublic java.util.stream.Stream<OWLDataPropertyAxiom> axioms(OWLDataProperty owlDataProperty)
axioms in interface OWLAxiomCollectionpublic java.util.stream.Stream<OWLIndividualAxiom> axioms(OWLIndividual owlIndividual)
axioms in interface OWLAxiomCollectionpublic java.util.stream.Stream<OWLAnnotationAxiom> axioms(OWLAnnotationProperty owlAnnotationProperty)
axioms in interface OWLAxiomCollectionpublic java.util.stream.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 java.util.stream.Stream<OWLAnonymousIndividual> referencedAnonymousIndividuals(Imports imports)
referencedAnonymousIndividuals in interface OWLSignaturepublic java.util.stream.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 java.util.stream.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> java.util.stream.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> java.util.stream.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 java.util.stream.Stream<OWLAnnotationPropertyDomainAxiom> annotationPropertyDomainAxioms(OWLAnnotationProperty owlAnnotationProperty)
annotationPropertyDomainAxioms in interface OWLAxiomIndexpublic java.util.stream.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 ChangeApplied applyChanges(List<? extends OWLOntologyChange> list)
applyChanges in interface HasApplyChangesapplyChanges 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 java.util.stream.Stream<OWLImportsDeclaration> importsDeclarations()
importsDeclarations in interface OWLOntologypublic <T extends OWLAxiom> java.util.stream.Stream<T> axioms(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure)
axioms in interface OWLAxiomIndexpublic <T extends OWLAxiom> java.util.stream.Stream<T> axioms(OWLAxiomSearchFilter filter, Object key)
axioms in interface OWLAxiomIndexpublic <T extends OWLAxiom> java.util.stream.Stream<T> axioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition)
axioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLSubAnnotationPropertyOfAxiom> subAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
subAnnotationPropertyOfAxioms in interface OWLAxiomIndexpublic java.util.stream.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 java.util.stream.Stream<OWLDisjointObjectPropertiesAxiom> disjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
disjointObjectPropertiesAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLObjectProperty> objectPropertiesInSignature()
objectPropertiesInSignature in interface HasObjectPropertiesInSignaturepublic java.util.stream.Stream<OWLAnnotationAssertionAxiom> annotationAssertionAxioms(OWLAnnotationSubject entity)
annotationAssertionAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLAnnotationAssertionAxiom> annotationAssertionAxioms(OWLAnnotationSubject entity, Imports imports)
annotationAssertionAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLAnnotationProperty> annotationPropertiesInSignature()
annotationPropertiesInSignature in interface HasAnnotationPropertiesInSignaturepublic java.util.stream.Stream<OWLAnnotationProperty> annotationPropertiesInSignature(Imports imports)
annotationPropertiesInSignature in interface OWLSignaturepublic java.util.stream.Stream<OWLAnnotation> annotations()
annotations in interface HasAnnotationspublic java.util.stream.Stream<OWLAnnotation> annotations(OWLAnnotationProperty p)
annotations in interface HasAnnotationspublic java.util.stream.Stream<OWLAnnotation> annotations(java.util.function.Predicate<OWLAnnotation> p)
annotations in interface HasAnnotationspublic java.util.stream.Stream<OWLAnonymousIndividual> anonymousIndividuals()
anonymousIndividuals in interface HasAnonymousIndividualspublic java.util.stream.Stream<OWLAsymmetricObjectPropertyAxiom> asymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
asymmetricObjectPropertyAxioms in interface OWLAxiomIndexpublic <T extends OWLAxiom> java.util.stream.Stream<T> axioms(Class<T> type, OWLObject entity, Navigation forSubPosition)
axioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLAxiom> axioms(Imports imports)
axioms in interface OWLAxiomCollectionpublic java.util.stream.Stream<OWLAnnotationAxiom> axioms(OWLAnnotationProperty property, Imports imports)
axioms in interface OWLAxiomCollectionpublic java.util.stream.Stream<OWLClassAxiom> axioms(OWLClass cls, Imports imports)
axioms in interface OWLAxiomCollectionpublic java.util.stream.Stream<OWLDataPropertyAxiom> axioms(OWLDataProperty property, Imports imports)
axioms in interface OWLAxiomCollectionpublic java.util.stream.Stream<OWLDatatypeDefinitionAxiom> axioms(OWLDatatype datatype, Imports imports)
axioms in interface OWLAxiomCollectionpublic java.util.stream.Stream<OWLIndividualAxiom> axioms(OWLIndividual individual, Imports imports)
axioms in interface OWLAxiomCollectionpublic java.util.stream.Stream<OWLObjectPropertyAxiom> axioms(OWLObjectPropertyExpression property, Imports imports)
axioms in interface OWLAxiomCollectionpublic java.util.stream.Stream<OWLClassAssertionAxiom> classAssertionAxioms(OWLClassExpression ce)
classAssertionAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLClassAssertionAxiom> classAssertionAxioms(OWLIndividual individual)
classAssertionAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLClass> classesInSignature()
classesInSignature in interface HasClassesInSignaturepublic java.util.stream.Stream<OWLClass> classesInSignature(Imports imports)
classesInSignature in interface OWLSignaturepublic java.util.stream.Stream<OWLDataProperty> dataPropertiesInSignature()
dataPropertiesInSignature in interface HasDataPropertiesInSignaturepublic java.util.stream.Stream<OWLDataProperty> dataPropertiesInSignature(Imports imports)
dataPropertiesInSignature in interface OWLSignaturepublic java.util.stream.Stream<OWLDataPropertyAssertionAxiom> dataPropertyAssertionAxioms(OWLIndividual individual)
dataPropertyAssertionAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLDataPropertyDomainAxiom> dataPropertyDomainAxioms(OWLDataProperty property)
dataPropertyDomainAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLDataPropertyRangeAxiom> dataPropertyRangeAxioms(OWLDataProperty property)
dataPropertyRangeAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLSubDataPropertyOfAxiom> dataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
dataSubPropertyAxiomsForSubProperty in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLSubDataPropertyOfAxiom> dataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
dataSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLDatatype> datatypesInSignature()
datatypesInSignature in interface HasDatatypesInSignaturepublic java.util.stream.Stream<OWLDatatype> datatypesInSignature(Imports imports)
datatypesInSignature in interface OWLSignaturepublic java.util.stream.Stream<OWLDeclarationAxiom> declarationAxioms(OWLEntity subject)
declarationAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLDifferentIndividualsAxiom> differentIndividualAxioms(OWLIndividual individual)
differentIndividualAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLDisjointClassesAxiom> disjointClassesAxioms(OWLClass cls)
disjointClassesAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLDisjointDataPropertiesAxiom> disjointDataPropertiesAxioms(OWLDataProperty property)
disjointDataPropertiesAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLDisjointUnionAxiom> disjointUnionAxioms(OWLClass owlClass)
disjointUnionAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLEntity> entitiesInSignature(IRI iri, Imports imports)
entitiesInSignature in interface OWLSignaturepublic java.util.stream.Stream<OWLEquivalentClassesAxiom> equivalentClassesAxioms(OWLClass cls)
equivalentClassesAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLEquivalentDataPropertiesAxiom> equivalentDataPropertiesAxioms(OWLDataProperty property)
equivalentDataPropertiesAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLEquivalentObjectPropertiesAxiom> equivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
equivalentObjectPropertiesAxioms in interface OWLAxiomIndexpublic <T extends OWLAxiom> Collection<T> filterAxioms(OWLAxiomSearchFilter filter, Object key)
filterAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLFunctionalDataPropertyAxiom> functionalDataPropertyAxioms(OWLDataPropertyExpression property)
functionalDataPropertyAxioms in interface OWLAxiomIndexpublic java.util.stream.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 java.util.stream.Stream<OWLHasKeyAxiom> hasKeyAxioms(OWLClass cls)
hasKeyAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLNamedIndividual> individualsInSignature()
individualsInSignature in interface HasIndividualsInSignaturepublic java.util.stream.Stream<OWLNamedIndividual> individualsInSignature(Imports imports)
individualsInSignature in interface OWLSignaturepublic java.util.stream.Stream<OWLInverseFunctionalObjectPropertyAxiom> inverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
inverseFunctionalObjectPropertyAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLInverseObjectPropertiesAxiom> inverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
inverseObjectPropertyAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLIrreflexiveObjectPropertyAxiom> irreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
irreflexiveObjectPropertyAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLLogicalAxiom> logicalAxioms(Imports imports)
logicalAxioms in interface OWLAxiomCollectionpublic java.util.stream.Stream<OWLNegativeDataPropertyAssertionAxiom> negativeDataPropertyAssertionAxioms(OWLIndividual individual)
negativeDataPropertyAssertionAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLNegativeObjectPropertyAssertionAxiom> negativeObjectPropertyAssertionAxioms(OWLIndividual individual)
negativeObjectPropertyAssertionAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLClassExpression> nestedClassExpressions()
nestedClassExpressions in interface OWLObjectpublic java.util.stream.Stream<OWLObjectProperty> objectPropertiesInSignature(Imports imports)
objectPropertiesInSignature in interface OWLSignaturepublic java.util.stream.Stream<OWLObjectPropertyAssertionAxiom> objectPropertyAssertionAxioms(OWLIndividual individual)
objectPropertyAssertionAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLObjectPropertyDomainAxiom> objectPropertyDomainAxioms(OWLObjectPropertyExpression property)
objectPropertyDomainAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLObjectPropertyRangeAxiom> objectPropertyRangeAxioms(OWLObjectPropertyExpression property)
objectPropertyRangeAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLSubObjectPropertyOfAxiom> objectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
objectSubPropertyAxiomsForSubProperty in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLSubObjectPropertyOfAxiom> objectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
objectSubPropertyAxiomsForSuperProperty in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLReflexiveObjectPropertyAxiom> reflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
reflexiveObjectPropertyAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLSameIndividualAxiom> sameIndividualAxioms(OWLIndividual individual)
sameIndividualAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLSubClassOfAxiom> subClassAxiomsForSubClass(OWLClass cls)
subClassAxiomsForSubClass in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLSubClassOfAxiom> subClassAxiomsForSuperClass(OWLClass cls)
subClassAxiomsForSuperClass in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLSymmetricObjectPropertyAxiom> symmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
symmetricObjectPropertyAxioms in interface OWLAxiomIndexpublic java.util.stream.Stream<OWLTransitiveObjectPropertyAxiom> transitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
transitiveObjectPropertyAxioms in interface OWLAxiomIndexCopyright © 2017 The University of Manchester. All Rights Reserved.