org.semanticweb.owlapi.model

Interface OWLAxiomCollectionNoArgs

All Superinterfaces:

HasAxioms, HasAxiomsByType, HasContainsAxiom, HasLogicalAxioms

All Known Subinterfaces:

OWLMutableOntology, OWLOntology

public interface OWLAxiomCollectionNoArgs
extends HasAxioms, HasLogicalAxioms, HasAxiomsByType, HasContainsAxiom

Ontology methods related to it being a collection of axioms. This interface differs from OWLAxiomCollection because its methods take no arguments for imports closure, and are equivalent to calling the corresponding method from OWLAxiomCollection with argument Imports.EXCLUDED.

Since:

4.0.0

Author:

ignazio

Method Summary

Modifier and Type	Method and Description
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.
Set<OWLAnnotationAxiom>	getAxioms(OWLAnnotationProperty property) Deprecated. use getAxioms(entity, Imports) instead
Set<OWLClassAxiom>	getAxioms(OWLClass cls) Deprecated. use getAxioms(entity, Imports) instead
Set<OWLDataPropertyAxiom>	getAxioms(OWLDataProperty property) Deprecated. use getAxioms(entity, Imports) instead
Set<OWLDatatypeDefinitionAxiom>	getAxioms(OWLDatatype datatype) Deprecated. use getAxioms(entity, Imports) instead
Set<OWLIndividualAxiom>	getAxioms(OWLIndividual individual) Deprecated. use getAxioms(entity, Imports) instead
Set<OWLObjectPropertyAxiom>	getAxioms(OWLObjectPropertyExpression property) Deprecated. use getAxioms(entity, Imports) instead
Set<OWLAxiom>	getAxiomsIgnoreAnnotations(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.
int	getLogicalAxiomCount() Gets the number of logical axioms in this collection.
Set<OWLAxiom>	getReferencingAxioms(OWLPrimitive owlEntity) 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

getAxioms

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

getLogicalAxioms

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

getAxioms

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

containsAxiom

Method Detail

getAxiomCount

int getAxiomCount()

Returns:

The number of axioms in this ontology.

getLogicalAxiomCount

int getLogicalAxiomCount()

Gets the number of logical axioms in this collection.

Returns:

The number of axioms in this collection.

getAxiomCount

<T extends OWLAxiom> int getAxiomCount(@Nonnull
                                       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

containsAxiomIgnoreAnnotations

boolean containsAxiomIgnoreAnnotations(@Nonnull
                                       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

@Nonnull
Set<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull
                                                  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.

getReferencingAxioms

@Nonnull
Set<OWLAxiom> getReferencingAxioms(@Nonnull
                                            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:

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

getAxioms

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

Deprecated. use getAxioms(entity, Imports) instead

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.

getAxioms

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

Deprecated. use getAxioms(entity, Imports) instead

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

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

Deprecated. use getAxioms(entity, Imports) instead

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.

getAxioms

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

Deprecated. use getAxioms(entity, Imports) instead

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

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

Deprecated. use getAxioms(entity, Imports) instead

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.

getAxioms

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

Deprecated. use getAxioms(entity, Imports) instead

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.