org.semanticweb.owlapi.model

Interface OWLAxiomIndex

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

Modifier and Type	Method and Description
default java.util.stream.Stream<OWLAnnotationAssertionAxiom>	annotationAssertionAxioms(OWLAnnotationSubject entity) Gets the axioms that annotate the specified entity.
default java.util.stream.Stream<OWLAnnotationAssertionAxiom>	annotationAssertionAxioms(OWLAnnotationSubject entity, Imports imports) Gets the axioms that annotate the specified entity.
java.util.stream.Stream<OWLAnnotationPropertyDomainAxiom>	annotationPropertyDomainAxioms(OWLAnnotationProperty property) Gets the OWLAnnotationPropertyDomainAxioms where the specified property is the property in the domain axiom.
java.util.stream.Stream<OWLAnnotationPropertyRangeAxiom>	annotationPropertyRangeAxioms(OWLAnnotationProperty property) Gets the OWLAnnotationPropertyRangeAxioms where the specified property is the property in the range axiom.
default java.util.stream.Stream<OWLAsymmetricObjectPropertyAxiom>	asymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLAsymmetricObjectPropertyAxioms contained in this ontology that make the specified object property asymmetric.
default <T extends OWLAxiom> java.util.stream.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> java.util.stream.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> java.util.stream.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> java.util.stream.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> java.util.stream.Stream<T>	axioms(OWLAxiomSearchFilter filter, Object key) Generic filter type for further refining search by axiom type.
<T extends OWLAxiom> java.util.stream.Stream<T>	axioms(OWLAxiomSearchFilter filter, Object key, Imports includeImportsClosure) Generic filter type for further refining search by axiom type.
default java.util.stream.Stream<OWLClassAssertionAxiom>	classAssertionAxioms(OWLClassExpression ce) Gets the OWLClassAssertionAxioms contained in this ontology that make the specified class expression, ce, a type for some individual.
default java.util.stream.Stream<OWLClassAssertionAxiom>	classAssertionAxioms(OWLIndividual individual) Gets the OWLClassAssertionAxioms 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 java.util.stream.Stream<OWLDataPropertyAssertionAxiom>	dataPropertyAssertionAxioms(OWLIndividual individual) Gets the OWLDataPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.
default java.util.stream.Stream<OWLDataPropertyDomainAxiom>	dataPropertyDomainAxioms(OWLDataProperty property) Gets the OWLDataPropertyDomainAxioms where the property is equal to the specified property.
default java.util.stream.Stream<OWLDataPropertyRangeAxiom>	dataPropertyRangeAxioms(OWLDataProperty property) Gets the OWLDataPropertyRangeAxioms where the property is equal to the specified property.
default java.util.stream.Stream<OWLSubDataPropertyOfAxiom>	dataSubPropertyAxiomsForSubProperty(OWLDataProperty subProperty) Gets the OWLSubDataPropertyOfAxioms where the sub-property is equal to the specified property.
default java.util.stream.Stream<OWLSubDataPropertyOfAxiom>	dataSubPropertyAxiomsForSuperProperty(OWLDataPropertyExpression superProperty) Gets the OWLSubDataPropertyOfAxioms where the super-property is equal to the specified property.
java.util.stream.Stream<OWLDatatypeDefinitionAxiom>	datatypeDefinitions(OWLDatatype datatype) Gets the OWLDatatypeDefinitionAxioms contained in this ontology that provide a definition for the specified datatype.
default java.util.stream.Stream<OWLDeclarationAxiom>	declarationAxioms(OWLEntity subject) Gets the declaration axioms for specified entity.
default java.util.stream.Stream<OWLDifferentIndividualsAxiom>	differentIndividualAxioms(OWLIndividual individual) Gets the OWLDifferentIndividualsAxioms contained in this ontology that make the specified individual different to some other individual.
default java.util.stream.Stream<OWLDisjointClassesAxiom>	disjointClassesAxioms(OWLClass cls) Gets the set of disjoint class axioms that contain the specified class as an operand.
default java.util.stream.Stream<OWLDisjointDataPropertiesAxiom>	disjointDataPropertiesAxioms(OWLDataProperty property) Gets the OWLDisjointDataPropertiesAxioms that make the specified property disjoint with some other data property expression(s).
default java.util.stream.Stream<OWLDisjointObjectPropertiesAxiom>	disjointObjectPropertiesAxioms(OWLObjectPropertyExpression property) Gets the OWLDisjointObjectPropertiesAxioms that make the specified property disjoint with some other object property expression(s).
default java.util.stream.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 java.util.stream.Stream<OWLEquivalentClassesAxiom>	equivalentClassesAxioms(OWLClass cls) Gets all of the equivalent axioms in this ontology that contain the specified class as an operand.
default java.util.stream.Stream<OWLEquivalentDataPropertiesAxiom>	equivalentDataPropertiesAxioms(OWLDataProperty property) Gets the OWLEquivalentDataPropertiesAxioms that make the specified property equivalent to some other data property expression(s).
default java.util.stream.Stream<OWLEquivalentObjectPropertiesAxiom>	equivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property) Gets the OWLEquivalentObjectPropertiesAxioms 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 java.util.stream.Stream<OWLFunctionalDataPropertyAxiom>	functionalDataPropertyAxioms(OWLDataPropertyExpression property) Gets the OWLFunctionalDataPropertyAxioms contained in this ontology that make the specified data property functional.
default java.util.stream.Stream<OWLFunctionalObjectPropertyAxiom>	functionalObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLFunctionalObjectPropertyAxioms 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 java.util.stream.Stream<OWLHasKeyAxiom>	hasKeyAxioms(OWLClass cls) Gets the has key axioms that have the specified class as their subject.
default java.util.stream.Stream<OWLInverseFunctionalObjectPropertyAxiom>	inverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLInverseFunctionalObjectPropertyAxioms contained in this ontology that make the specified object property inverse functional.
default java.util.stream.Stream<OWLInverseObjectPropertiesAxiom>	inverseObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLInverseObjectPropertiesAxioms where the specified property is contained in the set returned by OWLNaryPropertyAxiom.properties() .
default java.util.stream.Stream<OWLIrreflexiveObjectPropertyAxiom>	irreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLIrreflexiveObjectPropertyAxioms contained in this ontology that make the specified object property irreflexive.
default java.util.stream.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 java.util.stream.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 java.util.stream.Stream<OWLObjectPropertyAssertionAxiom>	objectPropertyAssertionAxioms(OWLIndividual individual) Gets the OWLObjectPropertyAssertionAxioms contained in this ontology that have the specified individual as the subject of the axiom.
default java.util.stream.Stream<OWLObjectPropertyDomainAxiom>	objectPropertyDomainAxioms(OWLObjectPropertyExpression property) Gets the OWLObjectPropertyDomainAxioms where the property is equal to the specified property.
default java.util.stream.Stream<OWLObjectPropertyRangeAxiom>	objectPropertyRangeAxioms(OWLObjectPropertyExpression property) Gets the OWLObjectPropertyRangeAxiom s where the property is equal to the specified property.
default java.util.stream.Stream<OWLSubObjectPropertyOfAxiom>	objectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty) Gets the OWLSubObjectPropertyOfAxiom s where the sub-property is equal to the specified property.
default java.util.stream.Stream<OWLSubObjectPropertyOfAxiom>	objectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty) Gets the OWLSubObjectPropertyOfAxiom s where the super-property is equal to the specified property.
default java.util.stream.Stream<OWLReflexiveObjectPropertyAxiom>	reflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLReflexiveObjectPropertyAxioms contained in this ontology that make the specified object property reflexive.
default java.util.stream.Stream<OWLSameIndividualAxiom>	sameIndividualAxioms(OWLIndividual individual) Gets the OWLSameIndividualAxioms contained in this ontology that make the specified individual the same as some other individual.
java.util.stream.Stream<OWLSubAnnotationPropertyOfAxiom>	subAnnotationPropertyOfAxioms(OWLAnnotationProperty subProperty) Gets the SubAnnotationPropertyOfAxioms where the specified property is the sub-property.
default java.util.stream.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 java.util.stream.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 java.util.stream.Stream<OWLSymmetricObjectPropertyAxiom>	symmetricObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLSymmetricObjectPropertyAxioms contained in this ontology that make the specified object property symmetric.
default java.util.stream.Stream<OWLTransitiveObjectPropertyAxiom>	transitiveObjectPropertyAxioms(OWLObjectPropertyExpression property) Gets the OWLTransitiveObjectPropertyAxioms 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> java.util.stream.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> java.util.stream.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> java.util.stream.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> java.util.stream.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> java.util.stream.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> java.util.stream.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

java.util.stream.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

java.util.stream.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

java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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 java.util.stream.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

java.util.stream.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.