OWLAxiomIndex (OWLAPI :: OSGi and Compatibility Distribution 5.1.0 API)

All Superinterfaces:

HasImportsClosure

All Known Subinterfaces:

OWLMutableOntology, OWLOntology

All Known Implementing Classes:

ConcurrentOWLOntologyImpl, OWLAxiomIndexImpl, OWLImmutableOntologyImpl, OWLOntologyImpl
```
public interface OWLAxiomIndex
extends HasImportsClosure
```
Axiom accessor methods - all OWLOntology methods that return sets of axioms of a certain type or with a certain entity referred.

Since:

4.0.0

Author:

ignazio

Method Summary

All Methods Instance Methods Abstract Methods Default Methods Deprecated Methods
Modifier and Type	Method and Description
`default Stream<OWLAnnotationAssertionAxiom>`	`annotationAssertionAxioms(OWLAnnotationSubject entity)` Gets the axioms that annotate the specified entity.
`default Stream<OWLAnnotationAssertionAxiom>`	`annotationAssertionAxioms(OWLAnnotationSubject entity, Imports imports)` Gets the axioms that annotate the specified entity.
`Stream<OWLAnnotationPropertyDomainAxiom>`	`annotationPropertyDomainAxioms(OWLAnnotationProperty property)` Gets the `OWLAnnotationPropertyDomainAxiom`s where the specified property is the property in the domain axiom.
`Stream<OWLAnnotationPropertyRangeAxiom>`	`annotationPropertyRangeAxioms(OWLAnnotationProperty property)` Gets the `OWLAnnotationPropertyRangeAxiom`s where the specified property is the property in the range axiom.
`default Stream<OWLAsymmetricObjectPropertyAxiom>`	`asymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)` Gets the `OWLAsymmetricObjectPropertyAxiom`s contained in this ontology that make the specified object property asymmetric.
`default <T extends OWLAxiom> Stream<T>`	`axioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Imports imports, Navigation forSubPosition)` Generic search method: resutns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
`<T extends OWLAxiom> Stream<T>`	`axioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition)` Generic search method: resutns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
`default <T extends OWLAxiom> Stream<T>`	`axioms(Class<T> type, OWLObject entity, Imports imports, Navigation forSubPosition)` Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
`default <T extends OWLAxiom> Stream<T>`	`axioms(Class<T> type, OWLObject entity, Navigation forSubPosition)` Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
`<T extends OWLAxiom> Stream<T>`	`axioms(OWLAxiomSearchFilter filter, Object key)` Generic filter type for further refining search by axiom type.
`<T extends OWLAxiom> Stream<T>`	`axioms(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure)` Generic filter type for further refining search by axiom type.
`default Stream<OWLClassAssertionAxiom>`	`classAssertionAxioms(OWLClassExpression ce)` Gets the `OWLClassAssertionAxiom`s contained in this ontology that make the specified class expression, `ce`, a type for some individual.
`default Stream<OWLClassAssertionAxiom>`	`classAssertionAxioms(OWLIndividual individual)` Gets the `OWLClassAssertionAxiom`s contained in this ontology that make the specified `individual` an instance of some class expression.
`boolean`	`contains(OWLAxiomSearchFilter filter, Object key)` Generic containment check type for further refining search by axiom type.
`boolean`	`contains(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure)` Generic containment check type for further refining search by axiom type.
`default Stream<OWLDataPropertyAssertionAxiom>`	`dataPropertyAssertionAxioms(OWLIndividual individual)` Gets the `OWLDataPropertyAssertionAxiom`s contained in this ontology that have the specified `individual` as the subject of the axiom.
`default Stream<OWLDataPropertyDomainAxiom>`	`dataPropertyDomainAxioms(OWLDataProperty property)` Gets the `OWLDataPropertyDomainAxiom`s where the property is equal to the specified property.
`default Stream<OWLDataPropertyRangeAxiom>`	`dataPropertyRangeAxioms(OWLDataProperty property)` Gets the `OWLDataPropertyRangeAxiom`s where the property is equal to the specified property.
`default Stream<OWLSubDataPropertyOfAxiom>`	`dataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)` Gets the `OWLSubDataPropertyOfAxiom`s where the sub-property is equal to the specified property.
`default Stream<OWLSubDataPropertyOfAxiom>`	`dataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)` Gets the `OWLSubDataPropertyOfAxiom`s where the super-property is equal to the specified property.
`Stream<OWLDatatypeDefinitionAxiom>`	`datatypeDefinitions(OWLDatatype datatype)` Gets the `OWLDatatypeDefinitionAxiom`s contained in this ontology that provide a definition for the specified datatype.
`default Stream<OWLDeclarationAxiom>`	`declarationAxioms(OWLEntity subject)` Gets the declaration axioms for specified entity.
`default Stream<OWLDifferentIndividualsAxiom>`	`differentIndividualAxioms(OWLIndividual individual)` Gets the `OWLDifferentIndividualsAxiom`s contained in this ontology that make the specified `individual` different to some other individual.
`default Stream<OWLDisjointClassesAxiom>`	`disjointClassesAxioms(OWLClass cls)` Gets the set of disjoint class axioms that contain the specified class as an operand.
`default Stream<OWLDisjointDataPropertiesAxiom>`	`disjointDataPropertiesAxioms(OWLDataProperty property)` Gets the `OWLDisjointDataPropertiesAxiom`s that make the specified property disjoint with some other data property expression(s).
`default Stream<OWLDisjointObjectPropertiesAxiom>`	`disjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)` Gets the `OWLDisjointObjectPropertiesAxiom`s that make the specified property disjoint with some other object property expression(s).
`default Stream<OWLDisjointUnionAxiom>`	`disjointUnionAxioms(OWLClass owlClass)` Gets the set of disjoint union axioms that have the specified class as the named class that is equivalent to the disjoint union of operands.
`default Stream<OWLEquivalentClassesAxiom>`	`equivalentClassesAxioms(OWLClass cls)` Gets all of the equivalent axioms in this ontology that contain the specified class as an operand.
`default Stream<OWLEquivalentDataPropertiesAxiom>`	`equivalentDataPropertiesAxioms(OWLDataProperty property)` Gets the `OWLEquivalentDataPropertiesAxiom`s that make the specified property equivalent to some other data property expression(s).
`default Stream<OWLEquivalentObjectPropertiesAxiom>`	`equivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)` Gets the `OWLEquivalentObjectPropertiesAxiom`s that make the specified property equivalent to some other object property expression(s).
`default <T extends OWLAxiom> Collection<T>`	`filterAxioms(OWLAxiomSearchFilter filter, Object key)` Deprecated. use the stream method
`default <T extends OWLAxiom> Collection<T>`	`filterAxioms(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure)` Deprecated. use the stream method
`default Stream<OWLFunctionalDataPropertyAxiom>`	`functionalDataPropertyAxioms(OWLDataPropertyExpression property)` Gets the `OWLFunctionalDataPropertyAxiom`s contained in this ontology that make the specified data property functional.
`default Stream<OWLFunctionalObjectPropertyAxiom>`	`functionalObjectPropertyAxioms(OWLObjectPropertyExpression property)` Gets the `OWLFunctionalObjectPropertyAxiom`s contained in this ontology that make the specified object property functional.
`default Set<OWLAnnotationAssertionAxiom>`	`getAnnotationAssertionAxioms(OWLAnnotationSubject entity)` Deprecated. use the stream method
`default Set<OWLAnnotationAssertionAxiom>`	`getAnnotationAssertionAxioms(OWLAnnotationSubject entity, Imports imports)` Deprecated. use the stream method
`default Set<OWLAnnotationPropertyDomainAxiom>`	`getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)` Deprecated. use the stream method
`default Set<OWLAnnotationPropertyRangeAxiom>`	`getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)` Deprecated. use the stream method
`default Set<OWLAsymmetricObjectPropertyAxiom>`	`getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)` Deprecated. use the stream method
`default <T extends OWLAxiom> Set<T>`	`getAxioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Imports includeImports, Navigation forSubPosition)` Deprecated. use the stream method
`default <T extends OWLAxiom> Set<T>`	`getAxioms(Class<T> type, Class<? extends OWLObject> explicitClass, OWLObject entity, Navigation forSubPosition)` Deprecated. use the stream method
`default <T extends OWLAxiom> Set<T>`	`getAxioms(Class<T> type, OWLObject entity, Imports includeImports, Navigation forSubPosition)` Deprecated. use the stream method
`default <T extends OWLAxiom> Set<T>`	`getAxioms(Class<T> type, OWLObject entity, Navigation forSubPosition)` Deprecated. use the stream method
`default Set<OWLClassAssertionAxiom>`	`getClassAssertionAxioms(OWLClassExpression ce)` Deprecated. use the stream method
`default Set<OWLClassAssertionAxiom>`	`getClassAssertionAxioms(OWLIndividual individual)` Deprecated. use the stream method
`default Set<OWLDataPropertyAssertionAxiom>`	`getDataPropertyAssertionAxioms(OWLIndividual individual)` Deprecated. use the stream method
`default Set<OWLDataPropertyDomainAxiom>`	`getDataPropertyDomainAxioms(OWLDataProperty property)` Deprecated. use the stream method
`default Set<OWLDataPropertyRangeAxiom>`	`getDataPropertyRangeAxioms(OWLDataProperty property)` Deprecated. use the stream method
`default Set<OWLSubDataPropertyOfAxiom>`	`getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)` Deprecated. use the stream method
`default Set<OWLSubDataPropertyOfAxiom>`	`getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)` Deprecated. use the stream method
`default Set<OWLDatatypeDefinitionAxiom>`	`getDatatypeDefinitions(OWLDatatype datatype)` Deprecated. use the stream method
`default Set<OWLDeclarationAxiom>`	`getDeclarationAxioms(OWLEntity subject)` Deprecated. use the stream method
`default Set<OWLDifferentIndividualsAxiom>`	`getDifferentIndividualAxioms(OWLIndividual individual)` Deprecated. use the stream method
`default Set<OWLDisjointClassesAxiom>`	`getDisjointClassesAxioms(OWLClass cls)` Deprecated. use the stream method
`default Set<OWLDisjointDataPropertiesAxiom>`	`getDisjointDataPropertiesAxioms(OWLDataProperty property)` Deprecated. use the stream method
`default Set<OWLDisjointObjectPropertiesAxiom>`	`getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)` Deprecated. use the stream method
`default Set<OWLDisjointUnionAxiom>`	`getDisjointUnionAxioms(OWLClass owlClass)` Deprecated. use the stream method
`default Set<OWLEquivalentClassesAxiom>`	`getEquivalentClassesAxioms(OWLClass cls)` Deprecated. use the stream method
`default Set<OWLEquivalentDataPropertiesAxiom>`	`getEquivalentDataPropertiesAxioms(OWLDataProperty property)` Deprecated. use equivalentDataPropertiesAxioms
`default Set<OWLEquivalentObjectPropertiesAxiom>`	`getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)` Deprecated. use the stream method
`default Set<OWLFunctionalDataPropertyAxiom>`	`getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)` Deprecated. use the stream method
`default Set<OWLFunctionalObjectPropertyAxiom>`	`getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)` Deprecated. use the stream method
`default Set<OWLHasKeyAxiom>`	`getHasKeyAxioms(OWLClass cls)` Deprecated. use the stream method
`default Set<OWLInverseFunctionalObjectPropertyAxiom>`	`getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)` Deprecated. use the stream method
`default Set<OWLInverseObjectPropertiesAxiom>`	`getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)` Deprecated. use the stream method
`default Set<OWLIrreflexiveObjectPropertyAxiom>`	`getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)` Deprecated. use the stream method
`default Set<OWLNegativeDataPropertyAssertionAxiom>`	`getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)` Deprecated. use the stream method
`default Set<OWLNegativeObjectPropertyAssertionAxiom>`	`getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)` Deprecated. use the stream method
`default Set<OWLObjectPropertyAssertionAxiom>`	`getObjectPropertyAssertionAxioms(OWLIndividual individual)` Deprecated. use the stream method
`default Set<OWLObjectPropertyDomainAxiom>`	`getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)` Deprecated. use the stream method
`default Set<OWLObjectPropertyRangeAxiom>`	`getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)` Deprecated. use the stream method
`default Set<OWLSubObjectPropertyOfAxiom>`	`getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)` Deprecated. use the stream method
`default Set<OWLSubObjectPropertyOfAxiom>`	`getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)` Deprecated. use the stream method
`default Set<OWLReflexiveObjectPropertyAxiom>`	`getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)` Deprecated. use the stream method
`default Set<OWLSameIndividualAxiom>`	`getSameIndividualAxioms(OWLIndividual individual)` Deprecated. use the stream method
`default Set<OWLSubAnnotationPropertyOfAxiom>`	`getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)` Deprecated. use the stream method
`default Set<OWLSubClassOfAxiom>`	`getSubClassAxiomsForSubClass(OWLClass cls)` Deprecated. use the stream method
`default Set<OWLSubClassOfAxiom>`	`getSubClassAxiomsForSuperClass(OWLClass cls)` Deprecated. use the stream method
`default Set<OWLSymmetricObjectPropertyAxiom>`	`getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)` Deprecated. use the stream method
`default Set<OWLTransitiveObjectPropertyAxiom>`	`getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)` Deprecated. use the stream method
`default Stream<OWLHasKeyAxiom>`	`hasKeyAxioms(OWLClass cls)` Gets the has key axioms that have the specified class as their subject.
`default Stream<OWLInverseFunctionalObjectPropertyAxiom>`	`inverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)` Gets the `OWLInverseFunctionalObjectPropertyAxiom`s contained in this ontology that make the specified object property inverse functional.
`default Stream<OWLInverseObjectPropertiesAxiom>`	`inverseObjectPropertyAxioms(OWLObjectPropertyExpression property)` Gets the `OWLInverseObjectPropertiesAxiom`s where the specified property is contained in the set returned by `OWLNaryPropertyAxiom.properties()` .
`default Stream<OWLIrreflexiveObjectPropertyAxiom>`	`irreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)` Gets the `OWLIrreflexiveObjectPropertyAxiom`s contained in this ontology that make the specified object property irreflexive.
`default Stream<OWLNegativeDataPropertyAssertionAxiom>`	`negativeDataPropertyAssertionAxioms(OWLIndividual individual)` Gets the `OWLNegativeDataPropertyAssertionAxiom` s contained in this ontology that have the specified `individual` as the subject of the axiom.
`default Stream<OWLNegativeObjectPropertyAssertionAxiom>`	`negativeObjectPropertyAssertionAxioms(OWLIndividual individual)` Gets the `OWLNegativeObjectPropertyAssertionAxiom` s contained in this ontology that have the specified `individual` as the subject of the axiom.
`default Stream<OWLObjectPropertyAssertionAxiom>`	`objectPropertyAssertionAxioms(OWLIndividual individual)` Gets the `OWLObjectPropertyAssertionAxiom`s contained in this ontology that have the specified `individual` as the subject of the axiom.
`default Stream<OWLObjectPropertyDomainAxiom>`	`objectPropertyDomainAxioms(OWLObjectPropertyExpression property)` Gets the `OWLObjectPropertyDomainAxiom`s where the property is equal to the specified property.
`default Stream<OWLObjectPropertyRangeAxiom>`	`objectPropertyRangeAxioms(OWLObjectPropertyExpression property)` Gets the `OWLObjectPropertyRangeAxiom` s where the property is equal to the specified property.
`default Stream<OWLSubObjectPropertyOfAxiom>`	`objectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)` Gets the `OWLSubObjectPropertyOfAxiom` s where the sub-property is equal to the specified property.
`default Stream<OWLSubObjectPropertyOfAxiom>`	`objectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)` Gets the `OWLSubObjectPropertyOfAxiom` s where the super-property is equal to the specified property.
`default Stream<OWLReflexiveObjectPropertyAxiom>`	`reflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)` Gets the `OWLReflexiveObjectPropertyAxiom`s contained in this ontology that make the specified object property reflexive.
`default Stream<OWLSameIndividualAxiom>`	`sameIndividualAxioms(OWLIndividual individual)` Gets the `OWLSameIndividualAxiom`s contained in this ontology that make the specified `individual` the same as some other individual.
`Stream<OWLSubAnnotationPropertyOfAxiom>`	`subAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)` Gets the `SubAnnotationPropertyOfAxiom`s where the specified property is the sub-property.
`default Stream<OWLSubClassOfAxiom>`	`subClassAxiomsForSubClass(OWLClass cls)` Gets all of the subclass axioms where the left hand side (the subclass) is equal to the specified class.
`default Stream<OWLSubClassOfAxiom>`	`subClassAxiomsForSuperClass(OWLClass cls)` Gets all of the subclass axioms where the right hand side (the superclass) is equal to the specified class.
`default Stream<OWLSymmetricObjectPropertyAxiom>`	`symmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)` Gets the `OWLSymmetricObjectPropertyAxiom`s contained in this ontology that make the specified object property symmetric.
`default Stream<OWLTransitiveObjectPropertyAxiom>`	`transitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)` Gets the `OWLTransitiveObjectPropertyAxiom`s contained in this ontology that make the specified object property transitive.

Methods inherited from interface org.semanticweb.owlapi.model.HasImportsClosure
getImportsClosure, importsClosure

- Method Detail
  - getAxioms
```
@Deprecated
default <T extends OWLAxiom> Set<T> getAxioms(Class<T> type,
                                                          OWLObject entity,
                                                          Imports includeImports,
                                                          Navigation forSubPosition)
```
    Deprecated. use the stream method
    
    Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    type - type of axioms
    
    entity - referred entity (OWLPrimitive or property/class expression)
    
    includeImports - if INCLUDED, include imports closure.
    
    forSubPosition - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entites, this parameter is ignored.
    
    Returns:
    
    set of axioms satisfying the conditions. The set is a copy of the data.
  - axioms
```
default <T extends OWLAxiom> Stream<T> axioms(Class<T> type,
                                              OWLObject entity,
                                              Imports imports,
                                              Navigation forSubPosition)
```
    Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    type - type of axioms
    
    entity - referred entity (OWLPrimitive or property/class expression)
    
    imports - if INCLUDED, include imports closure.
    
    forSubPosition - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entites, this parameter is ignored.
    
    Returns:
    
    set of axioms satisfying the conditions. The set is a copy of the data.
  - getAxioms
```
@Deprecated
default <T extends OWLAxiom> Set<T> getAxioms(Class<T> type,
                                                          OWLObject entity,
                                                          Navigation forSubPosition)
```
    Deprecated. use the stream method
    
    Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    type - type of axioms
    
    entity - referred entity (OWLPrimitive or property/class expression)
    
    forSubPosition - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entites, this parameter is ignored.
    
    Returns:
    
    set of axioms satisfying the conditions. The set is a copy of the data.
  - axioms
```
default <T extends OWLAxiom> Stream<T> axioms(Class<T> type,
                                              OWLObject entity,
                                              Navigation forSubPosition)
```
    Generic search method: returns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    type - type of axioms
    
    entity - referred entity (OWLPrimitive or property/class expression)
    
    forSubPosition - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entites, this parameter is ignored.
    
    Returns:
    
    set of axioms satisfying the conditions. The set is a copy of the data.
  - filterAxioms
```
@Deprecated
default <T extends OWLAxiom> Collection<T> filterAxioms(OWLAxiomSearchFilter filter,
                                                                    Object key,
                                                                    Imports includeImportsClosure)
```
    Deprecated. use the stream method
    
    Generic filter type for further refining search by axiom type. The returned axioms are both belonging to one of the types listed by the filter and satisfying its pass condition.
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    filter - the filter to match
    
    key - the key. Its type is generic and it is used only by the filter.
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    a collection of axioms matching the request. The axioms are collected from a set, therefore the collection contains no duplicates. It is a copy of the data.
  - axioms
```
<T extends OWLAxiom> Stream<T> axioms(OWLAxiomSearchFilter filter,
                                      Object key,
                                      Imports includeImportsClosure)
```
    Generic filter type for further refining search by axiom type. The returned axioms are both belonging to one of the types listed by the filter and satisfying its pass condition.
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    filter - the filter to match
    
    key - the key. Its type is generic and it is used only by the filter.
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    a collection of axioms matching the request. The axioms are collected from a set, therefore the collection contains no duplicates. It is a copy of the data.
  - filterAxioms
```
@Deprecated
default <T extends OWLAxiom> Collection<T> filterAxioms(OWLAxiomSearchFilter filter,
                                                                    Object key)
```
    Deprecated. use the stream method
    
    Generic filter type for further refining search by axiom type. The returned axioms are both belonging to one of the types listed by the filter and satisfying its pass condition.
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    filter - the filter to match
    
    key - the key. Its type is generic and it is used only by the filter.
    
    Returns:
    
    a collection of axioms matching the request. The axioms are collected from a set, therefore the collection contains no duplicates. It is a copy of the data.
  - axioms
```
<T extends OWLAxiom> Stream<T> axioms(OWLAxiomSearchFilter filter,
                                      Object key)
```
    Generic filter type for further refining search by axiom type. The returned axioms are both belonging to one of the types listed by the filter and satisfying its pass condition.
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    filter - the filter to match
    
    key - the key. Its type is generic and it is used only by the filter.
    
    Returns:
    
    a collection of axioms matching the request. The axioms are collected from a set, therefore the collection contains no duplicates. It is a copy of the data.
  - contains
```
boolean contains(OWLAxiomSearchFilter filter,
                 Object key)
```
    Generic containment check type for further refining search by axiom type. The method returns true if there is at least one result matching the filter.
    
    Parameters:
    
    filter - the filter to match
    
    key - the key. Its type is generic and it is used only by the filter.
    
    Returns:
    
    true if there is at least one result matching the filter.
  - contains
```
boolean contains(OWLAxiomSearchFilter filter,
                 Object key,
                 Imports includeImportsClosure)
```
    Generic containment check type for further refining search by axiom type. The method returns true if there is at least one result matching the filter.
    
    Parameters:
    
    filter - the filter to match
    
    key - the key. Its type is generic and it is used only by the filter.
    
    includeImportsClosure - if INCLUDED, include imports closure.
    
    Returns:
    
    true if there is at least one result matching the filter.
  - getAxioms
```
@Deprecated
default <T extends OWLAxiom> Set<T> getAxioms(Class<T> type,
                                                          Class<? extends OWLObject> explicitClass,
                                                          OWLObject entity,
                                                          Navigation forSubPosition)
```
    Deprecated. use the stream method
    
    Generic search method: resutns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    type - type of axioms
    
    explicitClass - for overlapping indexes in the ontology internals, an explicit class rathet than the entity class might be necessary
    
    entity - referred entity (OWLPrimitive or property/class expression)
    
    forSubPosition - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entites, this parameter is ignored.
    
    Returns:
    
    set of axioms satisfying the conditions. The set is a copy of the data.
  - axioms
```
<T extends OWLAxiom> Stream<T> axioms(Class<T> type,
                                      Class<? extends OWLObject> explicitClass,
                                      OWLObject entity,
                                      Navigation forSubPosition)
```
    Generic search method: resutns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    type - type of axioms
    
    explicitClass - for overlapping indexes in the ontology internals, an explicit class rathet than the entity class might be necessary
    
    entity - referred entity (OWLPrimitive or property/class expression)
    
    forSubPosition - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entites, this parameter is ignored.
    
    Returns:
    
    set of axioms satisfying the conditions. The set is a copy of the data.
  - getAxioms
```
@Deprecated
default <T extends OWLAxiom> Set<T> getAxioms(Class<T> type,
                                                          Class<? extends OWLObject> explicitClass,
                                                          OWLObject entity,
                                                          Imports includeImports,
                                                          Navigation forSubPosition)
```
    Deprecated. use the stream method
    
    Generic search method: resutns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    type - type of axioms
    
    explicitClass - for overlapping indexes in the ontology internals, an explicit class rathet than the entity class might be necessary
    
    entity - referred entity (OWLPrimitive or property/class expression)
    
    includeImports - if INCLUDED, include imports closure.
    
    forSubPosition - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entites, this parameter is ignored.
    
    Returns:
    
    set of axioms satisfying the conditions. The set is a copy of the data.
  - axioms
```
default <T extends OWLAxiom> Stream<T> axioms(Class<T> type,
                                              Class<? extends OWLObject> explicitClass,
                                              OWLObject entity,
                                              Imports imports,
                                              Navigation forSubPosition)
```
    Generic search method: resutns all axioms which refer entity, are instances of type, optionally including the imports closure in the results.
    
    Type Parameters:
    
    T - type of returned axioms
    
    Parameters:
    
    type - type of axioms
    
    explicitClass - for overlapping indexes in the ontology internals, an explicit class rathet than the entity class might be necessary
    
    entity - referred entity (OWLPrimitive or property/class expression)
    
    imports - if INCLUDED, include imports closure.
    
    forSubPosition - for sub axioms (subclass, subproperty), the value specifies whether entity should appear as sub or super entity in the axioms returned. For axiom types that have no sub/super entites, this parameter is ignored.
    
    Returns:
    
    set of axioms satisfying the conditions. The set is a copy of the data.
  - getSubAnnotationPropertyOfAxioms
```
@Deprecated
default Set<OWLSubAnnotationPropertyOfAxiom> getSubAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
```
    Deprecated. use the stream method
    
    Gets the SubAnnotationPropertyOfAxioms where the specified property is the sub-property.
    
    Parameters:
    
    subProperty - The sub-property of the axioms to be retrieved.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - subAnnotationPropertyOfAxioms
```
Stream<OWLSubAnnotationPropertyOfAxiom> subAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty)
```
    Gets the SubAnnotationPropertyOfAxioms where the specified property is the sub-property.
    
    Parameters:
    
    subProperty - The sub-property of the axioms to be retrieved.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getAnnotationPropertyDomainAxioms
```
@Deprecated
default Set<OWLAnnotationPropertyDomainAxiom> getAnnotationPropertyDomainAxioms(OWLAnnotationProperty property)
```
    Deprecated. use the stream method
    
    Gets the OWLAnnotationPropertyDomainAxioms where the specified property is the property in the domain axiom.
    
    Parameters:
    
    property - The property that the axiom specifies a domain for.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - annotationPropertyDomainAxioms
```
Stream<OWLAnnotationPropertyDomainAxiom> annotationPropertyDomainAxioms(OWLAnnotationProperty property)
```
    Gets the OWLAnnotationPropertyDomainAxioms where the specified property is the property in the domain axiom.
    
    Parameters:
    
    property - The property that the axiom specifies a domain for.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getAnnotationPropertyRangeAxioms
```
@Deprecated
default Set<OWLAnnotationPropertyRangeAxiom> getAnnotationPropertyRangeAxioms(OWLAnnotationProperty property)
```
    Deprecated. use the stream method
    
    Gets the OWLAnnotationPropertyRangeAxioms where the specified property is the property in the range axiom.
    
    Parameters:
    
    property - The property that the axiom specifies a range for.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - annotationPropertyRangeAxioms
```
Stream<OWLAnnotationPropertyRangeAxiom> annotationPropertyRangeAxioms(OWLAnnotationProperty property)
```
    Gets the OWLAnnotationPropertyRangeAxioms where the specified property is the property in the range axiom.
    
    Parameters:
    
    property - The property that the axiom specifies a range for.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getDeclarationAxioms
```
@Deprecated
default Set<OWLDeclarationAxiom> getDeclarationAxioms(OWLEntity subject)
```
    Deprecated. use the stream method
    
    Gets the declaration axioms for specified entity.
    
    Parameters:
    
    subject - The entity that is the subject of the set of returned axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - declarationAxioms
```
default Stream<OWLDeclarationAxiom> declarationAxioms(OWLEntity subject)
```
    Gets the declaration axioms for specified entity.
    
    Parameters:
    
    subject - The entity that is the subject of the set of returned axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getAnnotationAssertionAxioms
```
@Deprecated
default Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject entity)
```
    Deprecated. use the stream method
    
    Gets the axioms that annotate the specified entity.
    
    Parameters:
    
    entity - The entity whose annotations are to be retrieved.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getAnnotationAssertionAxioms
```
@Deprecated
default Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject entity,
                                                                                  Imports imports)
```
    Deprecated. use the stream method
    
    Gets the axioms that annotate the specified entity.
    
    Parameters:
    
    entity - The entity whose annotations are to be retrieved.
    
    imports - imports included or excluded
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - annotationAssertionAxioms
```
default Stream<OWLAnnotationAssertionAxiom> annotationAssertionAxioms(OWLAnnotationSubject entity)
```
    Gets the axioms that annotate the specified entity.
    
    Parameters:
    
    entity - The entity whose annotations are to be retrieved.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - annotationAssertionAxioms
```
default Stream<OWLAnnotationAssertionAxiom> annotationAssertionAxioms(OWLAnnotationSubject entity,
                                                                      Imports imports)
```
    Gets the axioms that annotate the specified entity.
    
    Parameters:
    
    entity - The entity whose annotations are to be retrieved.
    
    imports - imports included or excluded
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getSubClassAxiomsForSubClass
```
@Deprecated
default Set<OWLSubClassOfAxiom> getSubClassAxiomsForSubClass(OWLClass cls)
```
    Deprecated. use the stream method
    
    Gets all of the subclass axioms where the left hand side (the subclass) is equal to the specified class.
    
    Parameters:
    
    cls - The class that is equal to the left hand side of the axiom (subclass).
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - subClassAxiomsForSubClass
```
default Stream<OWLSubClassOfAxiom> subClassAxiomsForSubClass(OWLClass cls)
```
    Gets all of the subclass axioms where the left hand side (the subclass) is equal to the specified class.
    
    Parameters:
    
    cls - The class that is equal to the left hand side of the axiom (subclass).
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getSubClassAxiomsForSuperClass
```
@Deprecated
default Set<OWLSubClassOfAxiom> getSubClassAxiomsForSuperClass(OWLClass cls)
```
    Deprecated. use the stream method
    
    Gets all of the subclass axioms where the right hand side (the superclass) is equal to the specified class.
    
    Parameters:
    
    cls - The class
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - subClassAxiomsForSuperClass
```
default Stream<OWLSubClassOfAxiom> subClassAxiomsForSuperClass(OWLClass cls)
```
    Gets all of the subclass axioms where the right hand side (the superclass) is equal to the specified class.
    
    Parameters:
    
    cls - The class
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getEquivalentClassesAxioms
```
@Deprecated
default Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLClass cls)
```
    Deprecated. use the stream method
    
    Gets all of the equivalent axioms in this ontology that contain the specified class as an operand.
    
    Parameters:
    
    cls - The class to search
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - equivalentClassesAxioms
```
default Stream<OWLEquivalentClassesAxiom> equivalentClassesAxioms(OWLClass cls)
```
    Gets all of the equivalent axioms in this ontology that contain the specified class as an operand.
    
    Parameters:
    
    cls - The class to search
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getDisjointClassesAxioms
```
@Deprecated
default Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLClass cls)
```
    Deprecated. use the stream method
    
    Gets the set of disjoint class axioms that contain the specified class as an operand.
    
    Parameters:
    
    cls - The class to search
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - disjointClassesAxioms
```
default Stream<OWLDisjointClassesAxiom> disjointClassesAxioms(OWLClass cls)
```
    Gets the set of disjoint class axioms that contain the specified class as an operand.
    
    Parameters:
    
    cls - The class to search
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getDisjointUnionAxioms
```
@Deprecated
default Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLClass owlClass)
```
    Deprecated. use the stream method
    
    Gets the set of disjoint union axioms that have the specified class as the named class that is equivalent to the disjoint union of operands. For example, if the ontology contained the axiom DisjointUnion(A, propP some C, D, E) this axiom would be returned for class A (but not for D or E).
    
    Parameters:
    
    owlClass - The class that indexes the axioms to be retrieved.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - disjointUnionAxioms
```
default Stream<OWLDisjointUnionAxiom> disjointUnionAxioms(OWLClass owlClass)
```
    Gets the set of disjoint union axioms that have the specified class as the named class that is equivalent to the disjoint union of operands. For example, if the ontology contained the axiom DisjointUnion(A, propP some C, D, E) this axiom would be returned for class A (but not for D or E).
    
    Parameters:
    
    owlClass - The class that indexes the axioms to be retrieved.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getHasKeyAxioms
```
@Deprecated
default Set<OWLHasKeyAxiom> getHasKeyAxioms(OWLClass cls)
```
    Deprecated. use the stream method
    
    Gets the has key axioms that have the specified class as their subject.
    
    Parameters:
    
    cls - The subject of the has key axioms
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - hasKeyAxioms
```
default Stream<OWLHasKeyAxiom> hasKeyAxioms(OWLClass cls)
```
    Gets the has key axioms that have the specified class as their subject.
    
    Parameters:
    
    cls - The subject of the has key axioms
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getObjectSubPropertyAxiomsForSubProperty
```
@Deprecated
default Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
```
    Deprecated. use the stream method
    
    Gets the OWLSubObjectPropertyOfAxiom s where the sub-property is equal to the specified property.
    
    Parameters:
    
    subProperty - The property which is equal to the sub property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - objectSubPropertyAxiomsForSubProperty
```
default Stream<OWLSubObjectPropertyOfAxiom> objectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
```
    Gets the OWLSubObjectPropertyOfAxiom s where the sub-property is equal to the specified property.
    
    Parameters:
    
    subProperty - The property which is equal to the sub property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getObjectSubPropertyAxiomsForSuperProperty
```
@Deprecated
default Set<OWLSubObjectPropertyOfAxiom> getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
```
    Deprecated. use the stream method
    
    Gets the OWLSubObjectPropertyOfAxiom s where the super-property is equal to the specified property.
    
    Parameters:
    
    superProperty - The property which is equal to the super-property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - objectSubPropertyAxiomsForSuperProperty
```
default Stream<OWLSubObjectPropertyOfAxiom> objectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
```
    Gets the OWLSubObjectPropertyOfAxiom s where the super-property is equal to the specified property.
    
    Parameters:
    
    superProperty - The property which is equal to the super-property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getObjectPropertyDomainAxioms
```
@Deprecated
default Set<OWLObjectPropertyDomainAxiom> getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
```
    Deprecated. use the stream method
    
    Gets the OWLObjectPropertyDomainAxioms where the property is equal to the specified property.
    
    Parameters:
    
    property - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - objectPropertyDomainAxioms
```
default Stream<OWLObjectPropertyDomainAxiom> objectPropertyDomainAxioms(OWLObjectPropertyExpression property)
```
    Gets the OWLObjectPropertyDomainAxioms where the property is equal to the specified property.
    
    Parameters:
    
    property - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getObjectPropertyRangeAxioms
```
@Deprecated
default Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
```
    Deprecated. use the stream method
    
    Gets the OWLObjectPropertyRangeAxiom s where the property is equal to the specified property.
    
    Parameters:
    
    property - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - objectPropertyRangeAxioms
```
default Stream<OWLObjectPropertyRangeAxiom> objectPropertyRangeAxioms(OWLObjectPropertyExpression property)
```
    Gets the OWLObjectPropertyRangeAxiom s where the property is equal to the specified property.
    
    Parameters:
    
    property - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getInverseObjectPropertyAxioms
```
@Deprecated
default Set<OWLInverseObjectPropertiesAxiom> getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Deprecated. use the stream method
    
    Gets the OWLInverseObjectPropertiesAxioms where the specified property is contained in the set returned by OWLNaryPropertyAxiom.getProperties() .
    
    Parameters:
    
    property - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - inverseObjectPropertyAxioms
```
default Stream<OWLInverseObjectPropertiesAxiom> inverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Gets the OWLInverseObjectPropertiesAxioms where the specified property is contained in the set returned by OWLNaryPropertyAxiom.properties() .
    
    Parameters:
    
    property - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getEquivalentObjectPropertiesAxioms
```
@Deprecated
default Set<OWLEquivalentObjectPropertiesAxiom> getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
```
    Deprecated. use the stream method
    
    Gets the OWLEquivalentObjectPropertiesAxioms that make the specified property equivalent to some other object property expression(s).
    
    Parameters:
    
    property - The property that the retrieved axioms make equivalent to some other property expressions.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - equivalentObjectPropertiesAxioms
```
default Stream<OWLEquivalentObjectPropertiesAxiom> equivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
```
    Gets the OWLEquivalentObjectPropertiesAxioms that make the specified property equivalent to some other object property expression(s).
    
    Parameters:
    
    property - The property that the retrieved axioms make equivalent to some other property expressions.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getDisjointObjectPropertiesAxioms
```
@Deprecated
default Set<OWLDisjointObjectPropertiesAxiom> getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
```
    Deprecated. use the stream method
    
    Gets the OWLDisjointObjectPropertiesAxioms that make the specified property disjoint with some other object property expression(s).
    
    Parameters:
    
    property - The property that the retrieved axioms makes disjoint to some other property expressions.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - disjointObjectPropertiesAxioms
```
default Stream<OWLDisjointObjectPropertiesAxiom> disjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
```
    Gets the OWLDisjointObjectPropertiesAxioms that make the specified property disjoint with some other object property expression(s).
    
    Parameters:
    
    property - The property that the retrieved axioms makes disjoint to some other property expressions.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getFunctionalObjectPropertyAxioms
```
@Deprecated
default Set<OWLFunctionalObjectPropertyAxiom> getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Deprecated. use the stream method
    
    Gets the OWLFunctionalObjectPropertyAxioms contained in this ontology that make the specified object property functional.
    
    Parameters:
    
    property - The property that is made functional by the axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - functionalObjectPropertyAxioms
```
default Stream<OWLFunctionalObjectPropertyAxiom> functionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Gets the OWLFunctionalObjectPropertyAxioms contained in this ontology that make the specified object property functional.
    
    Parameters:
    
    property - The property that is made functional by the axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getInverseFunctionalObjectPropertyAxioms
```
@Deprecated
default Set<OWLInverseFunctionalObjectPropertyAxiom> getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Deprecated. use the stream method
    
    Gets the OWLInverseFunctionalObjectPropertyAxioms contained in this ontology that make the specified object property inverse functional.
    
    Parameters:
    
    property - The property that is made inverse functional by the axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - inverseFunctionalObjectPropertyAxioms
```
default Stream<OWLInverseFunctionalObjectPropertyAxiom> inverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Gets the OWLInverseFunctionalObjectPropertyAxioms contained in this ontology that make the specified object property inverse functional.
    
    Parameters:
    
    property - The property that is made inverse functional by the axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getSymmetricObjectPropertyAxioms
```
@Deprecated
default Set<OWLSymmetricObjectPropertyAxiom> getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Deprecated. use the stream method
    
    Gets the OWLSymmetricObjectPropertyAxioms contained in this ontology that make the specified object property symmetric.
    
    Parameters:
    
    property - The property that is made symmetric by the axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - symmetricObjectPropertyAxioms
```
default Stream<OWLSymmetricObjectPropertyAxiom> symmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Gets the OWLSymmetricObjectPropertyAxioms contained in this ontology that make the specified object property symmetric.
    
    Parameters:
    
    property - The property that is made symmetric by the axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getAsymmetricObjectPropertyAxioms
```
@Deprecated
default Set<OWLAsymmetricObjectPropertyAxiom> getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Deprecated. use the stream method
    
    Gets the OWLAsymmetricObjectPropertyAxioms contained in this ontology that make the specified object property asymmetric.
    
    Parameters:
    
    property - The property that is made asymmetric by the axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - asymmetricObjectPropertyAxioms
```
default Stream<OWLAsymmetricObjectPropertyAxiom> asymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Gets the OWLAsymmetricObjectPropertyAxioms contained in this ontology that make the specified object property asymmetric.
    
    Parameters:
    
    property - The property that is made asymmetric by the axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getReflexiveObjectPropertyAxioms
```
@Deprecated
default Set<OWLReflexiveObjectPropertyAxiom> getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Deprecated. use the stream method
    
    Gets the OWLReflexiveObjectPropertyAxioms contained in this ontology that make the specified object property reflexive.
    
    Parameters:
    
    property - The property that is made reflexive by the axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - reflexiveObjectPropertyAxioms
```
default Stream<OWLReflexiveObjectPropertyAxiom> reflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Gets the OWLReflexiveObjectPropertyAxioms contained in this ontology that make the specified object property reflexive.
    
    Parameters:
    
    property - The property that is made reflexive by the axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getIrreflexiveObjectPropertyAxioms
```
@Deprecated
default Set<OWLIrreflexiveObjectPropertyAxiom> getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Deprecated. use the stream method
    
    Gets the OWLIrreflexiveObjectPropertyAxioms contained in this ontology that make the specified object property irreflexive.
    
    Parameters:
    
    property - The property that is made irreflexive by the axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - irreflexiveObjectPropertyAxioms
```
default Stream<OWLIrreflexiveObjectPropertyAxiom> irreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Gets the OWLIrreflexiveObjectPropertyAxioms contained in this ontology that make the specified object property irreflexive.
    
    Parameters:
    
    property - The property that is made irreflexive by the axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getTransitiveObjectPropertyAxioms
```
@Deprecated
default Set<OWLTransitiveObjectPropertyAxiom> getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Deprecated. use the stream method
    
    Gets the OWLTransitiveObjectPropertyAxioms contained in this ontology that make the specified object property transitive.
    
    Parameters:
    
    property - The property that is made transitive by the axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - transitiveObjectPropertyAxioms
```
default Stream<OWLTransitiveObjectPropertyAxiom> transitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
```
    Gets the OWLTransitiveObjectPropertyAxioms contained in this ontology that make the specified object property transitive.
    
    Parameters:
    
    property - The property that is made transitive by the axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getDataSubPropertyAxiomsForSubProperty
```
@Deprecated
default Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
```
    Deprecated. use the stream method
    
    Gets the OWLSubDataPropertyOfAxioms where the sub-property is equal to the specified property.
    
    Parameters:
    
    subProperty - The property which is equal to the sub property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - dataSubPropertyAxiomsForSubProperty
```
default Stream<OWLSubDataPropertyOfAxiom> dataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty)
```
    Gets the OWLSubDataPropertyOfAxioms where the sub-property is equal to the specified property.
    
    Parameters:
    
    subProperty - The property which is equal to the sub property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getDataSubPropertyAxiomsForSuperProperty
```
@Deprecated
default Set<OWLSubDataPropertyOfAxiom> getDataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
```
    Deprecated. use the stream method
    
    Gets the OWLSubDataPropertyOfAxioms where the super-property is equal to the specified property.
    
    Parameters:
    
    superProperty - The property which is equal to the super-property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - dataSubPropertyAxiomsForSuperProperty
```
default Stream<OWLSubDataPropertyOfAxiom> dataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty)
```
    Gets the OWLSubDataPropertyOfAxioms where the super-property is equal to the specified property.
    
    Parameters:
    
    superProperty - The property which is equal to the super-property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getDataPropertyDomainAxioms
```
@Deprecated
default Set<OWLDataPropertyDomainAxiom> getDataPropertyDomainAxioms(OWLDataProperty property)
```
    Deprecated. use the stream method
    
    Gets the OWLDataPropertyDomainAxioms where the property is equal to the specified property.
    
    Parameters:
    
    property - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - dataPropertyDomainAxioms
```
default Stream<OWLDataPropertyDomainAxiom> dataPropertyDomainAxioms(OWLDataProperty property)
```
    Gets the OWLDataPropertyDomainAxioms where the property is equal to the specified property.
    
    Parameters:
    
    property - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getDataPropertyRangeAxioms
```
@Deprecated
default Set<OWLDataPropertyRangeAxiom> getDataPropertyRangeAxioms(OWLDataProperty property)
```
    Deprecated. use the stream method
    
    Gets the OWLDataPropertyRangeAxioms where the property is equal to the specified property.
    
    Parameters:
    
    property - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - dataPropertyRangeAxioms
```
default Stream<OWLDataPropertyRangeAxiom> dataPropertyRangeAxioms(OWLDataProperty property)
```
    Gets the OWLDataPropertyRangeAxioms where the property is equal to the specified property.
    
    Parameters:
    
    property - The property which is equal to the property of the retrieved axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getEquivalentDataPropertiesAxioms
```
@Deprecated
default Set<OWLEquivalentDataPropertiesAxiom> getEquivalentDataPropertiesAxioms(OWLDataProperty property)
```
    Deprecated. use equivalentDataPropertiesAxioms
    
    Gets the OWLEquivalentDataPropertiesAxioms that make the specified property equivalent to some other data property expression(s).
    
    Parameters:
    
    property - The property that the retrieved axioms make equivalent to some other property expressions.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - equivalentDataPropertiesAxioms
```
default Stream<OWLEquivalentDataPropertiesAxiom> equivalentDataPropertiesAxioms(OWLDataProperty property)
```
    Gets the OWLEquivalentDataPropertiesAxioms that make the specified property equivalent to some other data property expression(s).
    
    Parameters:
    
    property - The property that the retrieved axioms make equivalent to some other property expressions.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getDisjointDataPropertiesAxioms
```
@Deprecated
default Set<OWLDisjointDataPropertiesAxiom> getDisjointDataPropertiesAxioms(OWLDataProperty property)
```
    Deprecated. use the stream method
    
    Gets the OWLDisjointDataPropertiesAxioms that make the specified property disjoint with some other data property expression(s).
    
    Parameters:
    
    property - The property that the retrieved axioms makes disjoint to some other property expressions.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - disjointDataPropertiesAxioms
```
default Stream<OWLDisjointDataPropertiesAxiom> disjointDataPropertiesAxioms(OWLDataProperty property)
```
    Gets the OWLDisjointDataPropertiesAxioms that make the specified property disjoint with some other data property expression(s).
    
    Parameters:
    
    property - The property that the retrieved axioms makes disjoint to some other property expressions.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getFunctionalDataPropertyAxioms
```
@Deprecated
default Set<OWLFunctionalDataPropertyAxiom> getFunctionalDataPropertyAxioms(OWLDataPropertyExpression property)
```
    Deprecated. use the stream method
    
    Gets the OWLFunctionalDataPropertyAxioms contained in this ontology that make the specified data property functional.
    
    Parameters:
    
    property - The property that is made functional by the axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - functionalDataPropertyAxioms
```
default Stream<OWLFunctionalDataPropertyAxiom> functionalDataPropertyAxioms(OWLDataPropertyExpression property)
```
    Gets the OWLFunctionalDataPropertyAxioms contained in this ontology that make the specified data property functional.
    
    Parameters:
    
    property - The property that is made functional by the axioms.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getClassAssertionAxioms
```
@Deprecated
default Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLIndividual individual)
```
    Deprecated. use the stream method
    
    Gets the OWLClassAssertionAxioms contained in this ontology that make the specified individual an instance of some class expression.
    
    Parameters:
    
    individual - The individual that the returned axioms make an instance of some class expression.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - classAssertionAxioms
```
default Stream<OWLClassAssertionAxiom> classAssertionAxioms(OWLIndividual individual)
```
    Gets the OWLClassAssertionAxioms contained in this ontology that make the specified individual an instance of some class expression.
    
    Parameters:
    
    individual - The individual that the returned axioms make an instance of some class expression.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getClassAssertionAxioms
```
@Deprecated
default Set<OWLClassAssertionAxiom> getClassAssertionAxioms(OWLClassExpression ce)
```
    Deprecated. use the stream method
    
    Gets the OWLClassAssertionAxioms contained in this ontology that make the specified class expression, ce, a type for some individual.
    
    Parameters:
    
    ce - The class expression that the returned axioms make a type for some individual.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - classAssertionAxioms
```
default Stream<OWLClassAssertionAxiom> classAssertionAxioms(OWLClassExpression ce)
```
    Gets the OWLClassAssertionAxioms contained in this ontology that make the specified class expression, ce, a type for some individual.
    
    Parameters:
    
    ce - The class expression that the returned axioms make a type for some individual.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getDataPropertyAssertionAxioms
```
@Deprecated
default Set<OWLDataPropertyAssertionAxiom> getDataPropertyAssertionAxioms(OWLIndividual individual)
```
    Deprecated. use the stream method
    
    Gets the OWLDataPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.
    
    Parameters:
    
    individual - The individual that the returned axioms have as a subject.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - dataPropertyAssertionAxioms
```
default Stream<OWLDataPropertyAssertionAxiom> dataPropertyAssertionAxioms(OWLIndividual individual)
```
    Gets the OWLDataPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.
    
    Parameters:
    
    individual - The individual that the returned axioms have as a subject.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getObjectPropertyAssertionAxioms
```
@Deprecated
default Set<OWLObjectPropertyAssertionAxiom> getObjectPropertyAssertionAxioms(OWLIndividual individual)
```
    Deprecated. use the stream method
    
    Gets the OWLObjectPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.
    
    Parameters:
    
    individual - The individual that the returned axioms have as a subject.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - objectPropertyAssertionAxioms
```
default Stream<OWLObjectPropertyAssertionAxiom> objectPropertyAssertionAxioms(OWLIndividual individual)
```
    Gets the OWLObjectPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.
    
    Parameters:
    
    individual - The individual that the returned axioms have as a subject.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getNegativeObjectPropertyAssertionAxioms
```
@Deprecated
default Set<OWLNegativeObjectPropertyAssertionAxiom> getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
```
    Deprecated. use the stream method
    
    Gets the OWLNegativeObjectPropertyAssertionAxiom s contained in this ontology that have the specified individual as the subject of the axiom.
    
    Parameters:
    
    individual - The individual that the returned axioms have as a subject.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - negativeObjectPropertyAssertionAxioms
```
default Stream<OWLNegativeObjectPropertyAssertionAxiom> negativeObjectPropertyAssertionAxioms(OWLIndividual individual)
```
    Gets the OWLNegativeObjectPropertyAssertionAxiom s contained in this ontology that have the specified individual as the subject of the axiom.
    
    Parameters:
    
    individual - The individual that the returned axioms have as a subject.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getNegativeDataPropertyAssertionAxioms
```
@Deprecated
default Set<OWLNegativeDataPropertyAssertionAxiom> getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
```
    Deprecated. use the stream method
    
    Gets the OWLNegativeDataPropertyAssertionAxiom s contained in this ontology that have the specified individual as the subject of the axiom.
    
    Parameters:
    
    individual - The individual that the returned axioms have as a subject.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - negativeDataPropertyAssertionAxioms
```
default Stream<OWLNegativeDataPropertyAssertionAxiom> negativeDataPropertyAssertionAxioms(OWLIndividual individual)
```
    Gets the OWLNegativeDataPropertyAssertionAxiom s contained in this ontology that have the specified individual as the subject of the axiom.
    
    Parameters:
    
    individual - The individual that the returned axioms have as a subject.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getSameIndividualAxioms
```
@Deprecated
default Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual individual)
```
    Deprecated. use the stream method
    
    Gets the OWLSameIndividualAxioms contained in this ontology that make the specified individual the same as some other individual.
    
    Parameters:
    
    individual - The individual that the returned axioms make the same as some other individual.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - sameIndividualAxioms
```
default Stream<OWLSameIndividualAxiom> sameIndividualAxioms(OWLIndividual individual)
```
    Gets the OWLSameIndividualAxioms contained in this ontology that make the specified individual the same as some other individual.
    
    Parameters:
    
    individual - The individual that the returned axioms make the same as some other individual.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getDifferentIndividualAxioms
```
@Deprecated
default Set<OWLDifferentIndividualsAxiom> getDifferentIndividualAxioms(OWLIndividual individual)
```
    Deprecated. use the stream method
    
    Gets the OWLDifferentIndividualsAxioms contained in this ontology that make the specified individual different to some other individual.
    
    Parameters:
    
    individual - The individual that the returned axioms make the different as some other individual.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - differentIndividualAxioms
```
default Stream<OWLDifferentIndividualsAxiom> differentIndividualAxioms(OWLIndividual individual)
```
    Gets the OWLDifferentIndividualsAxioms contained in this ontology that make the specified individual different to some other individual.
    
    Parameters:
    
    individual - The individual that the returned axioms make the different as some other individual.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - getDatatypeDefinitions
```
@Deprecated
default Set<OWLDatatypeDefinitionAxiom> getDatatypeDefinitions(OWLDatatype datatype)
```
    Deprecated. use the stream method
    
    Gets the OWLDatatypeDefinitionAxioms contained in this ontology that provide a definition for the specified datatype.
    
    Parameters:
    
    datatype - The datatype for which the returned axioms provide a definition.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.
  - datatypeDefinitions
```
Stream<OWLDatatypeDefinitionAxiom> datatypeDefinitions(OWLDatatype datatype)
```
    Gets the OWLDatatypeDefinitionAxioms contained in this ontology that provide a definition for the specified datatype.
    
    Parameters:
    
    datatype - The datatype for which the returned axioms provide a definition.
    
    Returns:
    
    the axioms matching the search. The set is a copy of the data.

Interface OWLAxiomIndex

Method Summary

Methods inherited from interface org.semanticweb.owlapi.model.HasImportsClosure

Method Detail

getAxioms

axioms

getAxioms

axioms

filterAxioms

axioms

filterAxioms

axioms

contains

contains

getAxioms

axioms

getAxioms

axioms

getSubAnnotationPropertyOfAxioms

subAnnotationPropertyOfAxioms

getAnnotationPropertyDomainAxioms

annotationPropertyDomainAxioms

getAnnotationPropertyRangeAxioms

annotationPropertyRangeAxioms

getDeclarationAxioms

declarationAxioms

getAnnotationAssertionAxioms

getAnnotationAssertionAxioms

annotationAssertionAxioms

annotationAssertionAxioms

getSubClassAxiomsForSubClass

subClassAxiomsForSubClass

getSubClassAxiomsForSuperClass

subClassAxiomsForSuperClass

getEquivalentClassesAxioms

equivalentClassesAxioms

getDisjointClassesAxioms

disjointClassesAxioms

getDisjointUnionAxioms

disjointUnionAxioms

getHasKeyAxioms

hasKeyAxioms

getObjectSubPropertyAxiomsForSubProperty

objectSubPropertyAxiomsForSubProperty

getObjectSubPropertyAxiomsForSuperProperty

objectSubPropertyAxiomsForSuperProperty

getObjectPropertyDomainAxioms

objectPropertyDomainAxioms

getObjectPropertyRangeAxioms

objectPropertyRangeAxioms

getInverseObjectPropertyAxioms

inverseObjectPropertyAxioms

getEquivalentObjectPropertiesAxioms

equivalentObjectPropertiesAxioms

getDisjointObjectPropertiesAxioms

disjointObjectPropertiesAxioms

getFunctionalObjectPropertyAxioms

functionalObjectPropertyAxioms

getInverseFunctionalObjectPropertyAxioms

inverseFunctionalObjectPropertyAxioms

getSymmetricObjectPropertyAxioms

symmetricObjectPropertyAxioms

getAsymmetricObjectPropertyAxioms

asymmetricObjectPropertyAxioms

getReflexiveObjectPropertyAxioms

reflexiveObjectPropertyAxioms

getIrreflexiveObjectPropertyAxioms

irreflexiveObjectPropertyAxioms

getTransitiveObjectPropertyAxioms

transitiveObjectPropertyAxioms

getDataSubPropertyAxiomsForSubProperty

dataSubPropertyAxiomsForSubProperty

getDataSubPropertyAxiomsForSuperProperty

dataSubPropertyAxiomsForSuperProperty

getDataPropertyDomainAxioms

dataPropertyDomainAxioms

getDataPropertyRangeAxioms

dataPropertyRangeAxioms

getEquivalentDataPropertiesAxioms

equivalentDataPropertiesAxioms