org.semanticweb.owlapi.search

Class Searcher

java.lang.Object

org.semanticweb.owlapi.search.Searcher

public final class Searcher
extends Object

A collection of static search utilities.

Author:

ignazio

Method Summary

Modifier and Type	Method and Description
static Stream<OWLAnnotation>	annotationObject(OWLAnnotationAssertionAxiom axiom, OWLAnnotationProperty p) Retrieve the annotation from an annotation assertion axiom.
static Stream<OWLAnnotation>	annotationObjects(Stream<OWLAnnotationAssertionAxiom> axioms) Retrieve annotations from a collection of annotation assertion axioms.
static Stream<OWLAnnotation>	annotationObjects(Stream<OWLAnnotationAssertionAxiom> axioms, OWLAnnotationProperty p) Retrieve annotations from a collection of annotation assertion axioms.
static Stream<OWLAnnotation>	annotations(OWLAxiom axiom, OWLAnnotationProperty p) Retrieve annotations from an axiom.
static Stream<OWLAnnotation>	annotations(Stream<? extends OWLAxiom> axioms) Retrieve annotations from a collection of axioms.
static Stream<OWLAnnotation>	annotations(Stream<? extends OWLAxiom> axioms, OWLAnnotationProperty p) Retrieve annotations from a collection of axioms.
static <C extends OWLObject> Stream<C>	different(OWLAxiom axiom) Retrieve disjoint entities from an axiom, including individuals from differentFrom axioms.
static <C extends OWLObject> Stream<C>	different(OWLAxiom axiom, Class<C> type) Retrieve disjoint entities from an axiom, including individuals from differentFrom axioms.
static <C extends OWLObject> Stream<C>	different(Stream<? extends OWLAxiom> axioms) Retrieve disjoint entities from axioms, including individuals from differentFrom axioms.
static <C extends OWLObject> Stream<C>	different(Stream<? extends OWLAxiom> axioms, Class<C> type) Retrieve disjoint entities from axioms, including individuals from differentFrom axioms.
static <C extends OWLObject> C	domain(OWLAxiom axiom) Retrieve the domains from domain axioms.
static <C extends OWLObject> C	domain(OWLAxiom axiom, Class<C> type) Retrieve the domains from domain axioms.
static <C extends OWLObject> Stream<C>	domain(Stream<? extends OWLAxiom> axioms) Retrieve the domains from domain axioms.
static <C extends OWLObject> Stream<C>	domain(Stream<? extends OWLAxiom> axioms, Class<C> type) Retrieve the domains from domain axioms.
static <C extends OWLObject> Stream<C>	equivalent(OWLAxiom axiom) Retrieve equivalent entities from an axiom, including individuals from sameAs axioms.
static <C extends OWLObject> Stream<C>	equivalent(OWLAxiom axiom, Class<C> type) Retrieve equivalent entities from an axiom, including individuals from sameAs axioms.
static <C extends OWLObject> Stream<C>	equivalent(Stream<? extends OWLAxiom> axioms) Retrieve equivalent entities from axioms, including individuals from sameAs axioms.
static <C extends OWLObject> Stream<C>	equivalent(Stream<? extends OWLAxiom> axioms, Class<C> type) Retrieve equivalent entities from axioms, including individuals from sameAs axioms.
static Stream<OWLIndividual>	instances(Stream<OWLClassAssertionAxiom> axioms) Retrieve individuals from class assertions.
static Stream<OWLObjectPropertyExpression>	inverse(Stream<OWLInverseObjectPropertiesAxiom> axioms, OWLObjectPropertyExpression p) Retrieve inverses from a collection of inverse axioms.
static Stream<OWLLiteral>	negValues(Stream<OWLNegativeDataPropertyAssertionAxiom> axioms, OWLDataPropertyExpression p) Retrieve literals from a collection of negative assertions.
static Stream<OWLIndividual>	negValues(Stream<OWLNegativeObjectPropertyAssertionAxiom> axioms, OWLObjectPropertyExpression p) Retrieve objects from a collection of negative assertions.
static Stream<IRI>	ontologiesIRIs(Stream<OWLOntology> ontologies) Transform a collection of ontologies to a collection of IRIs of those ontologies.
static Stream<IRI>	ontologyIRIs(Stream<OWLOntologyID> ids) Transform a collection of ontology ids to a collection of IRIs of those ontology ids.
static <C extends OWLObject> C	range(OWLAxiom axiom) Retrieve the ranges from a range axiom.
static <C extends OWLObject> C	range(OWLAxiom axiom, Class<C> type) Retrieve the ranges from a range axiom.
static <C extends OWLObject> Stream<C>	range(Stream<? extends OWLAxiom> axioms) Retrieve the ranges from range axioms.
static <C extends OWLObject> Stream<C>	range(Stream<? extends OWLAxiom> axioms, Class<C> type) Retrieve the ranges from range axioms.
static <C extends OWLObject> C	sub(OWLAxiom axiom) Retrieve the sub part of an axiom, i.e., subclass or subproperty.
static <C extends OWLObject> C	sub(OWLAxiom axiom, Class<C> type) Retrieve the sub part of an axiom, i.e., subclass or subproperty.
static <C extends OWLObject> Stream<C>	sub(Stream<? extends OWLAxiom> axioms) Retrieve the sub part of axioms, i.e., subclass or subproperty.
static <C extends OWLObject> Stream<C>	sub(Stream<? extends OWLAxiom> axioms, Class<C> type) Retrieve the sub part of axioms, i.e., subclass or subproperty.
static <C extends OWLObject> C	sup(OWLAxiom axiom) Retrieve the super part of an axiom, i.e., superclass or super property.
static <C extends OWLObject> C	sup(OWLAxiom axiom, Class<C> type) Retrieve the super part of an axiom, i.e., superclass or super property.
static <C extends OWLObject> Stream<C>	sup(Stream<? extends OWLAxiom> axioms) Retrieve the super part of axioms, i.e., superclass or super property.
static <C extends OWLObject> Stream<C>	sup(Stream<? extends OWLAxiom> axioms, Class<C> type) Retrieve the super part of axioms, i.e., superclass or super property.
static Stream<OWLClassExpression>	types(Stream<OWLClassAssertionAxiom> axioms) Retrieve classes from class assertions.
static Stream<OWLAnnotationValue>	values(Stream<OWLAnnotation> annotations) Retrieve annotation values from annotations.
static Stream<OWLAnnotationValue>	values(Stream<OWLAnnotation> annotations, OWLAnnotationProperty p) Retrieve annotation values from annotations.
static Stream<OWLLiteral>	values(Stream<OWLDataPropertyAssertionAxiom> axioms, OWLDataPropertyExpression p) Retrieve literals from a collection of assertions.
static Stream<OWLIndividual>	values(Stream<OWLObjectPropertyAssertionAxiom> axioms, OWLObjectPropertyExpression p) Retrieve objects from a collection of assertions.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

values

public static Stream<OWLLiteral> values(Stream<OWLDataPropertyAssertionAxiom> axioms,
                                        @Nullable
                                        OWLDataPropertyExpression p)

Retrieve literals from a collection of assertions.

Parameters:

axioms - axioms

p - optional property to match. Null means all.

Returns:

literals

values

public static Stream<OWLIndividual> values(Stream<OWLObjectPropertyAssertionAxiom> axioms,
                                           @Nullable
                                           OWLObjectPropertyExpression p)

Retrieve objects from a collection of assertions.

Parameters:

axioms - axioms

p - optional property to match. Null means all.

Returns:

objects

negValues

public static Stream<OWLLiteral> negValues(Stream<OWLNegativeDataPropertyAssertionAxiom> axioms,
                                           @Nullable
                                           OWLDataPropertyExpression p)

Retrieve literals from a collection of negative assertions.

Parameters:

axioms - axioms

p - optional property to match. Null means all.

Returns:

literals

negValues

public static Stream<OWLIndividual> negValues(Stream<OWLNegativeObjectPropertyAssertionAxiom> axioms,
                                              @Nullable
                                              OWLObjectPropertyExpression p)

Retrieve objects from a collection of negative assertions.

Parameters:

axioms - axioms

p - optional property to match. Null means all.

Returns:

objects

types

public static Stream<OWLClassExpression> types(Stream<OWLClassAssertionAxiom> axioms)

Retrieve classes from class assertions.

Parameters:

axioms - axioms

Returns:

classes

instances

public static Stream<OWLIndividual> instances(Stream<OWLClassAssertionAxiom> axioms)

Retrieve individuals from class assertions.

Parameters:

axioms - axioms

Returns:

individuals

inverse

public static Stream<OWLObjectPropertyExpression> inverse(Stream<OWLInverseObjectPropertiesAxiom> axioms,
                                                          OWLObjectPropertyExpression p)

Retrieve inverses from a collection of inverse axioms.

Parameters:

axioms - axioms to check

p - property to match; not returned in the set

Returns:

inverses of p

values

public static Stream<OWLAnnotationValue> values(Stream<OWLAnnotation> annotations)

Retrieve annotation values from annotations.

Parameters:

annotations - annotations

Returns:

annotation values

values

public static Stream<OWLAnnotationValue> values(Stream<OWLAnnotation> annotations,
                                                @Nullable
                                                OWLAnnotationProperty p)

Retrieve annotation values from annotations.

Parameters:

annotations - annotations

p - optional annotation property to filter. Null means all.

Returns:

annotation values

annotations

public static Stream<OWLAnnotation> annotations(Stream<? extends OWLAxiom> axioms)

Retrieve annotations from a collection of axioms. For regular axioms, their annotations are retrieved; for annotation assertion axioms, their asserted annotation is retrieved as well.

Parameters:

axioms - axioms

Returns:

annotations

annotationObjects

public static Stream<OWLAnnotation> annotationObjects(Stream<OWLAnnotationAssertionAxiom> axioms,
                                                      @Nullable
                                                      OWLAnnotationProperty p)

Retrieve annotations from a collection of annotation assertion axioms.

Parameters:

axioms - axioms

p - optional annotation property to filter. Null means all.

Returns:

annotations

annotationObject

public static Stream<OWLAnnotation> annotationObject(OWLAnnotationAssertionAxiom axiom,
                                                     @Nullable
                                                     OWLAnnotationProperty p)

Retrieve the annotation from an annotation assertion axiom.

Parameters:

axiom - axiom

p - optional annotation property to filter. Null means all.

Returns:

annotations

annotationObjects

public static Stream<OWLAnnotation> annotationObjects(Stream<OWLAnnotationAssertionAxiom> axioms)

Retrieve annotations from a collection of annotation assertion axioms. This is limited to the annotation object and excludes annotations on the axiom itself.

Parameters:

axioms - axioms

Returns:

annotations

annotations

public static Stream<OWLAnnotation> annotations(Stream<? extends OWLAxiom> axioms,
                                                @Nullable
                                                OWLAnnotationProperty p)

Retrieve annotations from a collection of axioms. For regular axioms, their annotations are retrieved; for annotation assertion axioms, their asserted annotation is retrieved as well.

Parameters:

axioms - axioms

p - optional annotation property to filter. Null means all.

Returns:

annotations

annotations

public static Stream<OWLAnnotation> annotations(OWLAxiom axiom,
                                                @Nullable
                                                OWLAnnotationProperty p)

Retrieve annotations from an axiom. For regular axioms, their annotations are retrieved; for annotation assertion axioms, their asserted annotation is retrieved as well.

Parameters:

axiom - axiom

p - optional annotation property to filter. Null means all.

Returns:

annotations

equivalent

public static <C extends OWLObject> Stream<C> equivalent(Stream<? extends OWLAxiom> axioms)

Retrieve equivalent entities from axioms, including individuals from sameAs axioms. A mixture of axiom types can be passed in, as long as the entity type they contain is compatible with the return type for the collection.

Type Parameters:

C - returned type

Parameters:

axioms - axioms

Returns:

equivalent entities

equivalent

public static <C extends OWLObject> Stream<C> equivalent(Stream<? extends OWLAxiom> axioms,
                                                         Class<C> type)

Retrieve equivalent entities from axioms, including individuals from sameAs axioms. A mixture of axiom types can be passed in, as long as the entity type they contain is compatible with the return type for the collection.

Type Parameters:

C - returned type

Parameters:

axioms - axioms

type - type contained in the returned collection

Returns:

equivalent entities

equivalent

public static <C extends OWLObject> Stream<C> equivalent(OWLAxiom axiom)

Retrieve equivalent entities from an axiom, including individuals from sameAs axioms.

Type Parameters:

C - type contained in the returned collection

Parameters:

axiom - axiom

Returns:

equivalent entities

equivalent

public static <C extends OWLObject> Stream<C> equivalent(OWLAxiom axiom,
                                                         Class<C> type)

Retrieve equivalent entities from an axiom, including individuals from sameAs axioms.

Type Parameters:

C - type contained in the returned collection

Parameters:

axiom - axiom

type - type returned

Returns:

equivalent entities

different

public static <C extends OWLObject> Stream<C> different(Stream<? extends OWLAxiom> axioms)

Retrieve disjoint entities from axioms, including individuals from differentFrom axioms. A mixture of axiom types can be passed in, as long as the entity type they contain is compatible with the return type for the collection.

Type Parameters:

C - returned type

Parameters:

axioms - axioms

Returns:

disjoint entities

different

public static <C extends OWLObject> Stream<C> different(Stream<? extends OWLAxiom> axioms,
                                                        Class<C> type)

Retrieve disjoint entities from axioms, including individuals from differentFrom axioms. A mixture of axiom types can be passed in, as long as the entity type they contain is compatible with the return type for the collection.

Type Parameters:

C - returned type

Parameters:

axioms - axioms

type - type contained in the returned collection

Returns:

disjoint entities

different

public static <C extends OWLObject> Stream<C> different(OWLAxiom axiom)

Retrieve disjoint entities from an axiom, including individuals from differentFrom axioms.

Type Parameters:

C - returned type

Parameters:

axiom - axiom

Returns:

disjoint entities

different

public static <C extends OWLObject> Stream<C> different(OWLAxiom axiom,
                                                        Class<C> type)

Retrieve disjoint entities from an axiom, including individuals from differentFrom axioms.

Type Parameters:

C - returned type

Parameters:

axiom - axiom

type - witness for returned type

Returns:

disjoint entities

sub

public static <C extends OWLObject> Stream<C> sub(Stream<? extends OWLAxiom> axioms)

Retrieve the sub part of axioms, i.e., subclass or subproperty. A mixture of axiom types can be passed in, as long as the entity type they contain is compatible with the return type for the collection.

Type Parameters:

C - returned type

Parameters:

axioms - axioms

Returns:

sub expressions

sub

public static <C extends OWLObject> Stream<C> sub(Stream<? extends OWLAxiom> axioms,
                                                  Class<C> type)

Retrieve the sub part of axioms, i.e., subclass or subproperty. A mixture of axiom types can be passed in, as long as the entity type they contain is compatible with the return type for the collection.

Type Parameters:

C - returned type

Parameters:

axioms - axioms

type - type contained in the returned collection

Returns:

sub expressions

sub

public static <C extends OWLObject> C sub(OWLAxiom axiom)

Retrieve the sub part of an axiom, i.e., subclass or subproperty. A mixture of axiom types can be passed in, as long as the entity type they contain is compatible with the return type for the collection.

Type Parameters:

C - returned type

Parameters:

axiom - axiom

Returns:

sub expressions

sub

public static <C extends OWLObject> C sub(OWLAxiom axiom,
                                          Class<C> type)

Retrieve the sub part of an axiom, i.e., subclass or subproperty. A mixture of axiom types can be passed in, as long as the entity type they contain is compatible with the return type for the collection.

Type Parameters:

C - returned type

Parameters:

axiom - axiom

type - witness for returned type

Returns:

sub expressions

sup

public static <C extends OWLObject> Stream<C> sup(Stream<? extends OWLAxiom> axioms,
                                                  Class<C> type)

Retrieve the super part of axioms, i.e., superclass or super property. A mixture of axiom types can be passed in, as long as the entity type they contain is compatible with the return type for the collection.

Type Parameters:

C - returned type

Parameters:

axioms - axioms

type - type contained in the returned collection

Returns:

sub expressions

sup

public static <C extends OWLObject> Stream<C> sup(Stream<? extends OWLAxiom> axioms)

Retrieve the super part of axioms, i.e., superclass or super property. A mixture of axiom types can be passed in, as long as the entity type they contain is compatible with the return type for the collection.

Type Parameters:

C - returned type

Parameters:

axioms - axioms

Returns:

sub expressions

sup

public static <C extends OWLObject> C sup(OWLAxiom axiom)

Retrieve the super part of an axiom, i.e., superclass or super property. A mixture of axiom types can be passed in, as long as the entity type they contain is compatible with the return type for the collection.

Type Parameters:

C - returned type

Parameters:

axiom - axiom

Returns:

sub expressions

sup

public static <C extends OWLObject> C sup(OWLAxiom axiom,
                                          Class<C> type)

Retrieve the super part of an axiom, i.e., superclass or super property. A mixture of axiom types can be passed in, as long as the entity type they contain is compatible with the return type for the collection.

Type Parameters:

C - returned type

Parameters:

axiom - axiom

type - witness for returned type

Returns:

sub expressions

domain

public static <C extends OWLObject> Stream<C> domain(Stream<? extends OWLAxiom> axioms)

Retrieve the domains from domain axioms. A mixture of axiom types can be passed in.

Type Parameters:

C - returned type

Parameters:

axioms - axioms

Returns:

sub expressions

domain

public static <C extends OWLObject> Stream<C> domain(Stream<? extends OWLAxiom> axioms,
                                                     Class<C> type)

Retrieve the domains from domain axioms. A mixture of axiom types can be passed in.

Type Parameters:

C - returned type

Parameters:

axioms - axioms

type - type contained in the returned collection

Returns:

sub expressions

domain

public static <C extends OWLObject> C domain(OWLAxiom axiom)

Retrieve the domains from domain axioms. A mixture of axiom types can be passed in.

Type Parameters:

C - returned type

Parameters:

axiom - axiom

Returns:

sub expressions

domain

public static <C extends OWLObject> C domain(OWLAxiom axiom,
                                             Class<C> type)

Retrieve the domains from domain axioms. A mixture of axiom types can be passed in.

Type Parameters:

C - returned type

Parameters:

axiom - axiom

type - witness for returned type

Returns:

sub expressions

range

public static <C extends OWLObject> Stream<C> range(Stream<? extends OWLAxiom> axioms)

Retrieve the ranges from range axioms. A mixture of axiom types can be passed in.

Type Parameters:

C - returned type

Parameters:

axioms - axioms

Returns:

sub expressions

range

public static <C extends OWLObject> Stream<C> range(Stream<? extends OWLAxiom> axioms,
                                                    Class<C> type)

Retrieve the ranges from range axioms. A mixture of axiom types can be passed in.

Type Parameters:

C - returned type

Parameters:

axioms - axioms

type - type contained in the returned collection

Returns:

sub expressions

range

public static <C extends OWLObject> C range(OWLAxiom axiom)

Retrieve the ranges from a range axiom. A mixture of axiom types can be passed in.

Type Parameters:

C - returned type

Parameters:

axiom - axiom

Returns:

sub expressions

range

public static <C extends OWLObject> C range(OWLAxiom axiom,
                                            Class<C> type)

Retrieve the ranges from a range axiom. A mixture of axiom types can be passed in.

Type Parameters:

C - returned type

Parameters:

axiom - axiom

type - witness for returned type

Returns:

sub expressions

ontologiesIRIs

public static Stream<IRI> ontologiesIRIs(Stream<OWLOntology> ontologies)

Transform a collection of ontologies to a collection of IRIs of those ontologies. Anonymous ontologies are skipped.

Parameters:

ontologies - ontologies to transform

Returns:

collection of IRIs for the ontologies.

ontologyIRIs

public static Stream<IRI> ontologyIRIs(Stream<OWLOntologyID> ids)

Transform a collection of ontology ids to a collection of IRIs of those ontology ids. Anonymous ontology ids are skipped.

Parameters:

ids - ontology ids to transform

Returns:

collection of IRIs for the ontology ids.