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

@Nonnull
public static Collection<OWLLiteral> values(@Nonnull
                                                     Collection<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

@Nonnull
public static Collection<OWLIndividual> values(@Nonnull
                                                        Collection<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

@Nonnull
public static Collection<OWLLiteral> negValues(@Nonnull
                                                        Collection<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

@Nonnull
public static Collection<OWLIndividual> negValues(@Nonnull
                                                           Collection<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

@Nonnull
public static Collection<OWLClassExpression> types(@Nonnull
                                                            Collection<OWLClassAssertionAxiom> axioms)

Retrieve classes from class assertions.

Parameters:

axioms - axioms

Returns:

classes

instances

@Nonnull
public static Collection<OWLIndividual> instances(@Nonnull
                                                           Collection<OWLClassAssertionAxiom> axioms)

Retrieve individuals from class assertions.

Parameters:

axioms - axioms

Returns:

individuals

inverse

@Nonnull
public static Collection<OWLObjectPropertyExpression> inverse(@Nonnull
                                                                       Collection<OWLInverseObjectPropertiesAxiom> axioms,
                                                                       @Nonnull
                                                                       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

@Nonnull
public static Collection<OWLAnnotationValue> values(@Nonnull
                                                             Collection<OWLAnnotation> annotations)

Retrieve annotation values from annotations

Parameters:

annotations - annotations

Returns:

annotation values

values

@Nonnull
public static Collection<OWLAnnotationValue> values(@Nonnull
                                                             Collection<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

@Nonnull
public static Collection<OWLAnnotation> annotations(@Nonnull
                                                             Collection<? 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

@Nonnull
public static Collection<OWLAnnotation> annotationObjects(@Nonnull
                                                                   Collection<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

annotationObjects

@Nonnull
public static Collection<OWLAnnotation> annotationObjects(@Nonnull
                                                                   Collection<OWLAnnotationAssertionAxiom> axioms)

Retrieve annotations from a collection of annotation assertion axioms.

Parameters:

axioms - axioms

Returns:

annotations

annotationObject

public static OWLAnnotation annotationObject(@Nonnull
                                             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

annotations

@Nonnull
public static Collection<OWLAnnotation> annotations(@Nonnull
                                                             Collection<? 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

@Nonnull
public static Set<OWLAnnotation> annotations(@Nonnull
                                                      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

@Nonnull
public static <C extends OWLObject> Collection<C> equivalent(@Nonnull
                                                                      Collection<? 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

@Nonnull
public static <C extends OWLObject> Collection<C> equivalent(@Nonnull
                                                                      Collection<? extends OWLAxiom> axioms,
                                                                      @Nonnull
                                                                      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

@Nonnull
public static <C extends OWLObject> Set<C> equivalent(@Nonnull
                                                               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

different

@Nonnull
public static <C extends OWLObject> Collection<C> different(@Nonnull
                                                                     Collection<? 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

@Nonnull
public static <C extends OWLObject> Collection<C> different(@Nonnull
                                                                     Collection<? extends OWLAxiom> axioms,
                                                                     @Nonnull
                                                                     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

@Nonnull
public static <C extends OWLObject> Set<C> different(@Nonnull
                                                              OWLAxiom axiom)

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

Type Parameters:

C - returned type

Parameters:

axiom - axiom

Returns:

disjoint entities

sub

@Nonnull
public static <C extends OWLObject> Collection<C> sub(@Nonnull
                                                               Collection<? 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

@Nonnull
public static <C extends OWLObject> Collection<C> sub(@Nonnull
                                                               Collection<? extends OWLAxiom> axioms,
                                                               @Nonnull
                                                               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

@Nonnull
public static <C extends OWLObject> C sub(@Nonnull
                                                   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

sup

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

Retrieve the super part of axioms, i.e., superclass or superproperty. 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

@Nonnull
public static <C extends OWLObject> Collection<C> sup(@Nonnull
                                                               Collection<? extends OWLAxiom> axioms)

Retrieve the super part of axioms, i.e., superclass or superproperty. 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

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

Retrieve the super part of an axiom, i.e., superclass or superproperty. 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

domain

@Nonnull
public static <C extends OWLObject> Collection<C> domain(@Nonnull
                                                                  Collection<? 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

@Nonnull
public static <C extends OWLObject> Collection<C> domain(@Nonnull
                                                                  Collection<? extends OWLAxiom> axioms,
                                                                  @Nonnull
                                                                  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

@Nonnull
public static <C extends OWLObject> C domain(@Nonnull
                                                      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

range

@Nonnull
public static <C extends OWLObject> Collection<C> range(@Nonnull
                                                                 Collection<? 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

@Nonnull
public static <C extends OWLObject> Collection<C> range(@Nonnull
                                                                 Collection<? extends OWLAxiom> axioms,
                                                                 @Nonnull
                                                                 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

@Nonnull
public static <C extends OWLObject> C range(@Nonnull
                                                     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

ontologyIRIs

@Nonnull
public static Collection<IRI> ontologyIRIs(Iterable<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

@Nonnull
public static Collection<IRI> ontologyIRIs(Collection<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.