org.semanticweb.owlapi.model

Interface OWLAxiomCollection

All Superinterfaces:

HasAxioms, HasAxiomsByType, HasContainsAxiom, HasImportsClosure, HasLogicalAxioms

All Known Subinterfaces:

OWLAxiomCollectionBooleanArgs, OWLMutableOntology, OWLOntology

All Known Implementing Classes:

ConcurrentOWLOntologyImpl, OWLImmutableOntologyImpl, OWLOntologyImpl

public interface OWLAxiomCollection
extends HasAxioms, HasLogicalAxioms, HasAxiomsByType, HasContainsAxiom, HasImportsClosure

Ontology methods related to it being a collection of axioms.

Since:

4.0.0

Author:

ignazio

Method Summary

Modifier and Type	Method and Description
default <T extends OWLAxiom> java.util.stream.Stream<T>	axioms(AxiomType<T> axiomType, Imports imports) Gets all axioms of the specified type.
default java.util.stream.Stream<OWLAxiom>	axioms(Imports imports)
default java.util.stream.Stream<OWLAnnotationAxiom>	axioms(OWLAnnotationProperty property) Gets the axioms that form the definition/description of an annotation property.
default java.util.stream.Stream<OWLAnnotationAxiom>	axioms(OWLAnnotationProperty property, Imports imports) Gets the axioms that form the definition/description of an annotation property.
java.util.stream.Stream<OWLClassAxiom>	axioms(OWLClass cls) Gets the axioms that form the definition/description of a class.
default java.util.stream.Stream<OWLClassAxiom>	axioms(OWLClass cls, Imports imports) Gets the axioms that form the definition/description of a class.
java.util.stream.Stream<OWLDataPropertyAxiom>	axioms(OWLDataProperty property) Gets the axioms that form the definition/description of a data property.
default java.util.stream.Stream<OWLDataPropertyAxiom>	axioms(OWLDataProperty property, Imports imports) Gets the axioms that form the definition/description of a data property.
java.util.stream.Stream<OWLDatatypeDefinitionAxiom>	axioms(OWLDatatype datatype) Gets the datatype definition axioms for the specified datatype.
default java.util.stream.Stream<OWLDatatypeDefinitionAxiom>	axioms(OWLDatatype datatype, Imports imports) Gets the datatype definition axioms for the specified datatype.
java.util.stream.Stream<OWLIndividualAxiom>	axioms(OWLIndividual individual) Gets the axioms that form the definition/description of an individual.
default java.util.stream.Stream<OWLIndividualAxiom>	axioms(OWLIndividual individual, Imports imports) Gets the axioms that form the definition/description of an individual.
java.util.stream.Stream<OWLObjectPropertyAxiom>	axioms(OWLObjectPropertyExpression property) Gets the axioms that form the definition/description of an object property.
default java.util.stream.Stream<OWLObjectPropertyAxiom>	axioms(OWLObjectPropertyExpression property, Imports imports) Gets the axioms that form the definition/description of an object property.
java.util.stream.Stream<OWLAxiom>	axiomsIgnoreAnnotations(OWLAxiom axiom) Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations.
java.util.stream.Stream<OWLAxiom>	axiomsIgnoreAnnotations(OWLAxiom axiom, Imports includeImportsClosure) Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations.
boolean	containsAxiom(OWLAxiom axiom, Imports includeImportsClosure, AxiomAnnotations ignoreAnnotations) Determines if this ontology contains the specified axiom, optionally including the imports closure.
boolean	containsAxiomIgnoreAnnotations(OWLAxiom axiom) Determines if this ontology contains the specified axiom.
int	getAxiomCount()
<T extends OWLAxiom> int	getAxiomCount(AxiomType<T> axiomType) Gets the axiom count of a specific type of axiom.
<T extends OWLAxiom> int	getAxiomCount(AxiomType<T> axiomType, Imports includeImportsClosure) Gets the axiom count of a specific type of axiom, optionally including the imports closure.
int	getAxiomCount(Imports includeImportsClosure)
default <T extends OWLAxiom> Set<T>	getAxioms(AxiomType<T> axiomType, Imports includeImportsClosure) Deprecated. use the stream method
default Set<OWLAxiom>	getAxioms(Imports includeImportsClosure) Deprecated. use the stream method
default Set<OWLAnnotationAxiom>	getAxioms(OWLAnnotationProperty property) Deprecated. use the stream method
default Set<OWLAnnotationAxiom>	getAxioms(OWLAnnotationProperty property, Imports includeImportsClosure) Deprecated. use the stream method
default Set<OWLClassAxiom>	getAxioms(OWLClass cls) Deprecated. use the stream method
default Set<OWLClassAxiom>	getAxioms(OWLClass cls, Imports includeImportsClosure) Deprecated. use the stream method
default Set<OWLDataPropertyAxiom>	getAxioms(OWLDataProperty property) Deprecated. use the stream method
default Set<OWLDataPropertyAxiom>	getAxioms(OWLDataProperty property, Imports includeImportsClosure) Deprecated. use the stream method
default Set<OWLDatatypeDefinitionAxiom>	getAxioms(OWLDatatype datatype) Deprecated. use the stream method
default Set<OWLDatatypeDefinitionAxiom>	getAxioms(OWLDatatype datatype, Imports includeImportsClosure) Deprecated. use the stream method
default Set<OWLIndividualAxiom>	getAxioms(OWLIndividual individual) Deprecated. use the stream method
default Set<OWLIndividualAxiom>	getAxioms(OWLIndividual individual, Imports includeImportsClosure) Deprecated. use the stream method
default Set<OWLObjectPropertyAxiom>	getAxioms(OWLObjectPropertyExpression property) Deprecated. use the stream method
default Set<OWLObjectPropertyAxiom>	getAxioms(OWLObjectPropertyExpression property, Imports includeImportsClosure) Deprecated. use the stream method
default Set<OWLAxiom>	getAxiomsIgnoreAnnotations(OWLAxiom axiom) Deprecated. use the stream method
default Set<OWLAxiom>	getAxiomsIgnoreAnnotations(OWLAxiom axiom, Imports includeImportsClosure) Deprecated. use the stream method
int	getLogicalAxiomCount() Gets the number of logical axioms in this collection.
int	getLogicalAxiomCount(Imports includeImportsClosure) Gets the number of logical axioms in this collection, optionally including the imports closure.
default Set<OWLLogicalAxiom>	getLogicalAxioms(Imports includeImportsClosure) Deprecated. use the stream method
default Set<OWLAxiom>	getReferencingAxioms(OWLPrimitive owlEntity) Deprecated. use the stream method
default Set<OWLAxiom>	getReferencingAxioms(OWLPrimitive owlEntity, Imports includeImportsClosure) Deprecated. use the stream method
default java.util.stream.Stream<OWLLogicalAxiom>	logicalAxioms(Imports imports) Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or declaration axioms.
java.util.stream.Stream<OWLAxiom>	referencingAxioms(OWLPrimitive owlEntity) Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom. Note that currently signatures contain OWLEntity only.
default java.util.stream.Stream<OWLAxiom>	referencingAxioms(OWLPrimitive owlEntity, Imports imports) Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom. Note that currently signatures contain OWLEntity only.

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

axioms, getAxioms

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

getLogicalAxioms, logicalAxioms

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

axioms, equalAxioms, getAxioms

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

containsAxiom

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

getImportsClosure, importsClosure

Method Detail

getAxioms

@Deprecated
default Set<OWLAxiom> getAxioms(Imports includeImportsClosure)

Deprecated. use the stream method

Parameters:

includeImportsClosure - if INCLUDED, include imports closure.

Returns:

All of the axioms in this collection, and optionally in the import closure. The set that is returned is a copy of the data.

axioms

default java.util.stream.Stream<OWLAxiom> axioms(Imports imports)

Parameters:

imports - if INCLUDED, include imports closure.

Returns:

stream of All of the axioms in this collection, and optionally in the import closure.

getAxiomCount

int getAxiomCount()

Returns:

The number of axioms in this ontology.

getAxiomCount

int getAxiomCount(Imports includeImportsClosure)

Parameters:

includeImportsClosure - if INCLUDED, include imports closure.

Returns:

The number of axioms in this ontology, and optionally in the imports closure.

getLogicalAxioms

@Deprecated
default Set<OWLLogicalAxiom> getLogicalAxioms(Imports includeImportsClosure)

Deprecated. use the stream method

Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or declaration axioms.

Parameters:

includeImportsClosure - if INCLUDED, include imports closure.

Returns:

A set of axioms which are of type OWLLogicalAxiom, optionally including the imports closure. The set that is returned is a copy of the data.

logicalAxioms

default java.util.stream.Stream<OWLLogicalAxiom> logicalAxioms(Imports imports)

Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or declaration axioms.

Parameters:

imports - if INCLUDED, include imports closure.

Returns:

A stream of axioms which are of type OWLLogicalAxiom, optionally including the imports closure.

getLogicalAxiomCount

int getLogicalAxiomCount()

Gets the number of logical axioms in this collection.

Returns:

The number of axioms in this collection.

getLogicalAxiomCount

int getLogicalAxiomCount(Imports includeImportsClosure)

Gets the number of logical axioms in this collection, optionally including the imports closure.

Parameters:

includeImportsClosure - if INCLUDED, include imports closure.

Returns:

The number of axioms in this collection, optionally including the imports closure.

getAxioms

@Deprecated
default <T extends OWLAxiom> Set<T> getAxioms(AxiomType<T> axiomType,
                                                          Imports includeImportsClosure)

Deprecated. use the stream method

Gets all axioms of the specified type.

Type Parameters:

T - axiom type

Parameters:

axiomType - The type of axioms to be retrived.

includeImportsClosure - if INCLUDED, include imports closure.

Returns:

all axioms of the specified type. The set is a copy of the data.

axioms

default <T extends OWLAxiom> java.util.stream.Stream<T> axioms(AxiomType<T> axiomType,
                                                               Imports imports)

Gets all axioms of the specified type.

Type Parameters:

T - axiom type

Parameters:

axiomType - The type of axioms to be retrived.

imports - if INCLUDED, include imports closure.

Returns:

stream of all axioms of the specified type.

getAxiomCount

<T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType)

Gets the axiom count of a specific type of axiom.

Type Parameters:

T - axiom type class

Parameters:

axiomType - The type of axiom to count

Returns:

The number of the specified types of axioms in this collection

getAxiomCount

<T extends OWLAxiom> int getAxiomCount(AxiomType<T> axiomType,
                                       Imports includeImportsClosure)

Gets the axiom count of a specific type of axiom, optionally including the imports closure.

Type Parameters:

T - axiom type

Parameters:

axiomType - The type of axiom to count

includeImportsClosure - if INCLUDED, include imports closure.

Returns:

The number of the specified types of axioms in this collection

containsAxiom

boolean containsAxiom(OWLAxiom axiom,
                      Imports includeImportsClosure,
                      AxiomAnnotations ignoreAnnotations)

Determines if this ontology contains the specified axiom, optionally including the imports closure.

Parameters:

axiom - The axiom to search.

includeImportsClosure - if INCLUDED, include imports closure.

ignoreAnnotations - if IGNORE_ANNOTATIONS, annotations are ignored when searching for the axiom. For example, if the collection contains SubClassOf(Annotation(p V) A B) then this method will return true if the ontology contains SubClassOf(A B) or SubClassOf(Annotation(q S) A B) for any annotation property q and any annotation value S.

Returns:

true if the ontology contains the specified axiom.

containsAxiomIgnoreAnnotations

boolean containsAxiomIgnoreAnnotations(OWLAxiom axiom)

Determines if this ontology contains the specified axiom.

Parameters:

axiom - The axiom to search.

Returns:

true if the ontology contains the specified axiom.

getAxiomsIgnoreAnnotations

@Deprecated
default Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom axiom)

Deprecated. use the stream method

Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations. Optionally the imports closure is included.

Parameters:

axiom - The axiom that the returned axioms must equal, ignoring annotations.

Returns:

The set of axioms such that for any two axioms, axiomA and axiomB in the set, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the set.

getAxiomsIgnoreAnnotations

@Deprecated
default Set<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom axiom,
                                                             Imports includeImportsClosure)

Deprecated. use the stream method

Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations. Optionally the imports closure is included.

Parameters:

axiom - The axiom that the returned axioms must equal, ignoring annotations.

includeImportsClosure - if INCLUDED, include imports closure.

Returns:

The set of axioms such that for any two axioms, axiomA and axiomB in the set, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the set.

axiomsIgnoreAnnotations

java.util.stream.Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom axiom)

Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations. Optionally the imports closure is included.

Parameters:

axiom - The axiom that the returned axioms must equal, ignoring annotations.

Returns:

The set of axioms such that for any two axioms, axiomA and axiomB in the set, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the set.

axiomsIgnoreAnnotations

java.util.stream.Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom axiom,
                                                          Imports includeImportsClosure)

Gets the set of axioms contained in this collection that have the same "logical structure" as the specified axiom; i.e., all axioms that equal the specified axiom, when ignoring annotations. Optionally the imports closure is included.

Parameters:

axiom - The axiom that the returned axioms must equal, ignoring annotations.

includeImportsClosure - if INCLUDED, include imports closure.

Returns:

The set of axioms such that for any two axioms, axiomA and axiomB in the set, axiomA.getAxiomWithoutAnnotations() is equal to axiomB.getAxiomWithoutAnnotations(). The specified axiom will be contained in the set.

getReferencingAxioms

@Deprecated
default Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlEntity)

Deprecated. use the stream method

Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom.
Note that currently signatures contain OWLEntity only. This method accepts OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be passed in, although they are not included in the axioms' signatures.

Parameters:

owlEntity - The entity that should be directly referred to by all axioms in the results set.

Returns:

All axioms referencing the entity. The set is a copy of the data.

referencingAxioms

java.util.stream.Stream<OWLAxiom> referencingAxioms(OWLPrimitive owlEntity)

Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom.
Note that currently signatures contain OWLEntity only. This method accepts OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be passed in, although they are not included in the axioms' signatures.

Parameters:

owlEntity - The entity that should be directly referred to by all axioms in the results set.

Returns:

Stream of all axioms referencing the entity.

getReferencingAxioms

@Deprecated
default Set<OWLAxiom> getReferencingAxioms(OWLPrimitive owlEntity,
                                                       Imports includeImportsClosure)

Deprecated. use the stream method

Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom.
Note that currently signatures contain OWLEntity only. This method accepts OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be passed in, although they are not included in the axioms' signatures.

Parameters:

owlEntity - The entity that should be directly referred to by all axioms in the results set.

includeImportsClosure - if INCLUDED, include imports closure.

Returns:

All axioms referencing the entity. The set is a copy of the data.

referencingAxioms

default java.util.stream.Stream<OWLAxiom> referencingAxioms(OWLPrimitive owlEntity,
                                                            Imports imports)

Gets the axioms where the specified OWLPrimitive appears in the signature of the axiom.
Note that currently signatures contain OWLEntity only. This method accepts OWLPrimitive so that also anonymous individuals, literals, IRIs and annotation values can be passed in, although they are not included in the axioms' signatures.

Parameters:

owlEntity - The entity that should be directly referred to by all axioms in the results set.

imports - if INCLUDED, include imports closure.

Returns:

stream of all axioms referencing the entity.

getAxioms

@Deprecated
default Set<OWLClassAxiom> getAxioms(OWLClass cls)

Deprecated. use the stream method

Gets the axioms that form the definition/description of a class.

Parameters:

cls - The class whose describing axioms are to be retrieved.

Returns:

A set of class axioms that describe the class. This set includes

• Subclass axioms where the subclass is equal to the specified class
• Equivalent class axioms where the specified class is an operand in the equivalent class axiom
• Disjoint class axioms where the specified class is an operand in the disjoint class axiom
• Disjoint union axioms, where the specified class is the named class that is equivalent to the disjoint union

The returned set is a copy of the data.

axioms

java.util.stream.Stream<OWLClassAxiom> axioms(OWLClass cls)

Gets the axioms that form the definition/description of a class.

Parameters:

cls - The class whose describing axioms are to be retrieved.

Returns:

A stream of class axioms that describe the class. This set includes

• Subclass axioms where the subclass is equal to the specified class
• Equivalent class axioms where the specified class is an operand in the equivalent class axiom
• Disjoint class axioms where the specified class is an operand in the disjoint class axiom
• Disjoint union axioms, where the specified class is the named class that is equivalent to the disjoint union

The returned set is a copy of the data.

getAxioms

@Deprecated
default Set<OWLClassAxiom> getAxioms(OWLClass cls,
                                                 Imports includeImportsClosure)

Deprecated. use the stream method

Gets the axioms that form the definition/description of a class.

Parameters:

cls - The class whose describing axioms are to be retrieved.

includeImportsClosure - if INCLUDED, include imports closure.

Returns:

A set of class axioms that describe the class. This set includes

• Subclass axioms where the subclass is equal to the specified class
• Equivalent class axioms where the specified class is an operand in the equivalent class axiom
• Disjoint class axioms where the specified class is an operand in the disjoint class axiom
• Disjoint union axioms, where the specified class is the named class that is equivalent to the disjoint union

The returned set is a copy of the data.

axioms

default java.util.stream.Stream<OWLClassAxiom> axioms(OWLClass cls,
                                                      Imports imports)

Gets the axioms that form the definition/description of a class.

Parameters:

cls - The class whose describing axioms are to be retrieved.

imports - if INCLUDED, include imports closure.

Returns:

A stream of class axioms that describe the class. This includes

• Subclass axioms where the subclass is equal to the specified class
• Equivalent class axioms where the specified class is an operand in the equivalent class axiom
• Disjoint class axioms where the specified class is an operand in the disjoint class axiom
• Disjoint union axioms, where the specified class is the named class that is equivalent to the disjoint union

getAxioms

@Deprecated
default Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression property)

Deprecated. use the stream method

Gets the axioms that form the definition/description of an object property.

Parameters:

property - The property whose defining axioms are to be retrieved.

Returns:

A set of object property axioms that includes

• Sub-property axioms where the sub property is the specified property
• Equivalent property axioms where the axiom contains the specified property
• Equivalent property axioms that contain the inverse of the specified property
• Disjoint property axioms that contain the specified property
• Domain axioms that specify a domain of the specified property
• Range axioms that specify a range of the specified property
• Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
• Inverse properties axioms that contain the specified property

The set that is returned is a copy of the data.

axioms

java.util.stream.Stream<OWLObjectPropertyAxiom> axioms(OWLObjectPropertyExpression property)

Gets the axioms that form the definition/description of an object property.

Parameters:

property - The property whose defining axioms are to be retrieved.

Returns:

A set of object property axioms that includes

• Sub-property axioms where the sub property is the specified property
• Equivalent property axioms where the axiom contains the specified property
• Equivalent property axioms that contain the inverse of the specified property
• Disjoint property axioms that contain the specified property
• Domain axioms that specify a domain of the specified property
• Range axioms that specify a range of the specified property
• Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
• Inverse properties axioms that contain the specified property

The set that is returned is a copy of the data.

getAxioms

@Deprecated
default Set<OWLObjectPropertyAxiom> getAxioms(OWLObjectPropertyExpression property,
                                                          Imports includeImportsClosure)

Deprecated. use the stream method

Gets the axioms that form the definition/description of an object property.

Parameters:

property - The property whose defining axioms are to be retrieved.

includeImportsClosure - if INCLUDED, include imports closure.

Returns:

A set of object property axioms that includes

• Sub-property axioms where the sub property is the specified property
• Equivalent property axioms where the axiom contains the specified property
• Equivalent property axioms that contain the inverse of the specified property
• Disjoint property axioms that contain the specified property
• Domain axioms that specify a domain of the specified property
• Range axioms that specify a range of the specified property
• Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
• Inverse properties axioms that contain the specified property

The set that is returned is a copy of the data.

axioms

default java.util.stream.Stream<OWLObjectPropertyAxiom> axioms(OWLObjectPropertyExpression property,
                                                               Imports imports)

Gets the axioms that form the definition/description of an object property.

Parameters:

property - The property whose defining axioms are to be retrieved.

imports - if INCLUDED, include imports closure.

Returns:

A stream of object property axioms that includes

• Sub-property axioms where the sub property is the specified property
• Equivalent property axioms where the axiom contains the specified property
• Equivalent property axioms that contain the inverse of the specified property
• Disjoint property axioms that contain the specified property
• Domain axioms that specify a domain of the specified property
• Range axioms that specify a range of the specified property
• Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property
• Inverse properties axioms that contain the specified property

getAxioms

@Deprecated
default Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty property)

Deprecated. use the stream method

Gets the axioms that form the definition/description of a data property.

Parameters:

property - The property whose defining axioms are to be retrieved.

Returns:

A set of data property axioms that includes

• Sub-property axioms where the sub property is the specified property
• Equivalent property axioms where the axiom contains the specified property
• Disjoint property axioms that contain the specified property
• Domain axioms that specify a domain of the specified property
• Range axioms that specify a range of the specified property
• Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property

The set is a copy of the data.

axioms

java.util.stream.Stream<OWLDataPropertyAxiom> axioms(OWLDataProperty property)

Gets the axioms that form the definition/description of a data property.

Parameters:

property - The property whose defining axioms are to be retrieved.

Returns:

A stream of data property axioms that includes

• Sub-property axioms where the sub property is the specified property
• Equivalent property axioms where the axiom contains the specified property
• Disjoint property axioms that contain the specified property
• Domain axioms that specify a domain of the specified property
• Range axioms that specify a range of the specified property
• Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property

The set is a copy of the data.

getAxioms

@Deprecated
default Set<OWLDataPropertyAxiom> getAxioms(OWLDataProperty property,
                                                        Imports includeImportsClosure)

Deprecated. use the stream method

Gets the axioms that form the definition/description of a data property.

Parameters:

property - The property whose defining axioms are to be retrieved.

includeImportsClosure - if INCLUDED, include imports closure.

Returns:

A set of data property axioms that includes

• Sub-property axioms where the sub property is the specified property
• Equivalent property axioms where the axiom contains the specified property
• Disjoint property axioms that contain the specified property
• Domain axioms that specify a domain of the specified property
• Range axioms that specify a range of the specified property
• Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property

The set is a copy of the data.

axioms

default java.util.stream.Stream<OWLDataPropertyAxiom> axioms(OWLDataProperty property,
                                                             Imports imports)

Gets the axioms that form the definition/description of a data property.

Parameters:

property - The property whose defining axioms are to be retrieved.

imports - if INCLUDED, include imports closure.

Returns:

A stream of data property axioms that includes

• Sub-property axioms where the sub property is the specified property
• Equivalent property axioms where the axiom contains the specified property
• Disjoint property axioms that contain the specified property
• Domain axioms that specify a domain of the specified property
• Range axioms that specify a range of the specified property
• Any property characteristic axiom (i.e. Functional, Symmetric, Reflexive etc.) whose subject is the specified property

getAxioms

@Deprecated
default Set<OWLIndividualAxiom> getAxioms(OWLIndividual individual)

Deprecated. use the stream method

Gets the axioms that form the definition/description of an individual.

Parameters:

individual - The individual whose defining axioms are to be retrieved.

Returns:

A set of individual axioms that includes

• Individual type assertions that assert the type of the specified individual
• Same individuals axioms that contain the specified individual
• Different individuals axioms that contain the specified individual
• Object property assertion axioms whose subject is the specified individual
• Data property assertion axioms whose subject is the specified individual
• Negative object property assertion axioms whose subject is the specified individual
• Negative data property assertion axioms whose subject is the specified individual

The set is a copy of the data.

axioms

java.util.stream.Stream<OWLIndividualAxiom> axioms(OWLIndividual individual)

Gets the axioms that form the definition/description of an individual.

Parameters:

individual - The individual whose defining axioms are to be retrieved.

Returns:

A set of individual axioms that includes

• Individual type assertions that assert the type of the specified individual
• Same individuals axioms that contain the specified individual
• Different individuals axioms that contain the specified individual
• Object property assertion axioms whose subject is the specified individual
• Data property assertion axioms whose subject is the specified individual
• Negative object property assertion axioms whose subject is the specified individual
• Negative data property assertion axioms whose subject is the specified individual

The set is a copy of the data.

getAxioms

@Deprecated
default Set<OWLIndividualAxiom> getAxioms(OWLIndividual individual,
                                                      Imports includeImportsClosure)

Deprecated. use the stream method

Gets the axioms that form the definition/description of an individual.

Parameters:

individual - The individual whose defining axioms are to be retrieved.

includeImportsClosure - if INCLUDED, include imports closure.

Returns:

A set of individual axioms that includes

• Individual type assertions that assert the type of the specified individual
• Same individuals axioms that contain the specified individual
• Different individuals axioms that contain the specified individual
• Object property assertion axioms whose subject is the specified individual
• Data property assertion axioms whose subject is the specified individual
• Negative object property assertion axioms whose subject is the specified individual
• Negative data property assertion axioms whose subject is the specified individual

The set is a copy of the data.

axioms

default java.util.stream.Stream<OWLIndividualAxiom> axioms(OWLIndividual individual,
                                                           Imports imports)

Gets the axioms that form the definition/description of an individual.

Parameters:

individual - The individual whose defining axioms are to be retrieved.

imports - if INCLUDED, include imports closure.

Returns:

A stream of individual axioms that includes

• Individual type assertions that assert the type of the specified individual
• Same individuals axioms that contain the specified individual
• Different individuals axioms that contain the specified individual
• Object property assertion axioms whose subject is the specified individual
• Data property assertion axioms whose subject is the specified individual
• Negative object property assertion axioms whose subject is the specified individual
• Negative data property assertion axioms whose subject is the specified individual

getAxioms

@Deprecated
default Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty property)

Deprecated. use the stream method

Gets the axioms that form the definition/description of an annotation property.

Parameters:

property - The property whose definition axioms are to be retrieved

Returns:

A set of axioms that includes

• Annotation subpropertyOf axioms where the specified property is the sub property
• Annotation property domain axioms that specify a domain for the specified property
• Annotation property range axioms that specify a range for the specified property

The set is a copy of the data.

axioms

default java.util.stream.Stream<OWLAnnotationAxiom> axioms(OWLAnnotationProperty property)

Gets the axioms that form the definition/description of an annotation property.

Parameters:

property - The property whose definition axioms are to be retrieved

Returns:

stream of axioms that includes

• Annotation subpropertyOf axioms where the specified property is the sub property
• Annotation property domain axioms that specify a domain for the specified property
• Annotation property range axioms that specify a range for the specified property

getAxioms

@Deprecated
default Set<OWLAnnotationAxiom> getAxioms(OWLAnnotationProperty property,
                                                      Imports includeImportsClosure)

Deprecated. use the stream method

Gets the axioms that form the definition/description of an annotation property.

Parameters:

property - The property whose definition axioms are to be retrieved

includeImportsClosure - if INCLUDED, include imports closure.

Returns:

A set of axioms that includes

• Annotation subpropertyOf axioms where the specified property is the sub property
• Annotation property domain axioms that specify a domain for the specified property
• Annotation property range axioms that specify a range for the specified property

The set is a copy of the data.

axioms

default java.util.stream.Stream<OWLAnnotationAxiom> axioms(OWLAnnotationProperty property,
                                                           Imports imports)

Gets the axioms that form the definition/description of an annotation property.

Parameters:

property - The property whose definition axioms are to be retrieved

imports - if INCLUDED, include imports closure.

Returns:

A stream of axioms that includes

• Annotation subpropertyOf axioms where the specified property is the sub property
• Annotation property domain axioms that specify a domain for the specified property
• Annotation property range axioms that specify a range for the specified property

getAxioms

@Deprecated
default Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype datatype)

Deprecated. use the stream method

Gets the datatype definition axioms for the specified datatype.

Parameters:

datatype - The datatype

Returns:

The set of datatype definition axioms for the specified datatype. The set is a copy of the data.

axioms

java.util.stream.Stream<OWLDatatypeDefinitionAxiom> axioms(OWLDatatype datatype)

Gets the datatype definition axioms for the specified datatype.

Parameters:

datatype - The datatype

Returns:

stream of datatype definition axioms for the specified datatype.

getAxioms

@Deprecated
default Set<OWLDatatypeDefinitionAxiom> getAxioms(OWLDatatype datatype,
                                                              Imports includeImportsClosure)

Deprecated. use the stream method

Gets the datatype definition axioms for the specified datatype.

Parameters:

datatype - The datatype

includeImportsClosure - if INCLUDED, include imports closure.

Returns:

The set of datatype definition axioms for the specified datatype. The set is a copy of the data.

axioms

default java.util.stream.Stream<OWLDatatypeDefinitionAxiom> axioms(OWLDatatype datatype,
                                                                   Imports imports)

Gets the datatype definition axioms for the specified datatype.

Parameters:

datatype - The datatype

imports - if INCLUDED, include imports closure.

Returns:

The set of datatype definition axioms for the specified datatype. The set is a copy of the data.