org.semanticweb.owlapi.model

Interface HasAxiomsByType

All Known Subinterfaces:

OWLAxiomCollection, OWLAxiomCollectionBooleanArgs, OWLMutableOntology, OWLOntology

All Known Implementing Classes:

ConcurrentOWLOntologyImpl, OWLImmutableOntologyImpl, OWLOntologyImpl

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface HasAxiomsByType

An interface to an object that contains axioms and can provide subsets of these axioms by the type of axiom.

Since:

3.4.6

Author:

Matthew Horridge, Stanford University, Bio-Medical Informatics Research Group

Method Summary

Modifier and Type	Method and Description
<T extends OWLAxiom> Stream<T>	axioms(AxiomType<T> axiomType) Filter axioms according to the specified type.
default boolean	equalAxioms(HasAxiomsByType o) Compare the axioms inside this object with the axioms inside the other object, shortcutting by type - won't merge all axioms in a large lump for comparisons only
default <T extends OWLAxiom> Set<T>	getAxioms(AxiomType<T> axiomType) Deprecated. use the stream method

Method Detail

equalAxioms

default boolean equalAxioms(HasAxiomsByType o)

Compare the axioms inside this object with the axioms inside the other object, shortcutting by type - won't merge all axioms in a large lump for comparisons only

Parameters:

o - other object to compare

Returns:

true if the two objects contain the same axioms

getAxioms

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

Deprecated. use the stream method

Gets the axioms which are of the specified type.

Type Parameters:

T - axiom type

Parameters:

axiomType - The type of axioms to be retrieved.

Returns:

A set containing the axioms which are of the specified type. The set that is returned is a copy of the axioms in this object. Modifications to the returned set will not be reflected in this object.

axioms

<T extends OWLAxiom> Stream<T> axioms(AxiomType<T> axiomType)

Filter axioms according to the specified type.

Type Parameters:

T - axiom type

Parameters:

axiomType - The type of axioms to be retrieved.

Returns:

Stream of axioms of the specified type.