public final class Searcher extends Object
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> |
different(Collection<? extends OWLAxiom> axioms)
Retrieve disjoint entities from axioms, including individuals from differentFrom axioms.
|
static <C extends OWLObject> |
different(Collection<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve disjoint entities from axioms, including individuals from differentFrom axioms.
|
static <C extends OWLObject> |
different(OWLAxiom axiom)
Retrieve disjoint entities from an axiom, including individuals from differentFrom axioms.
|
static <C extends OWLObject> |
domain(Collection<? extends OWLAxiom> axioms)
Retrieve the domains from domain axioms.
|
static <C extends OWLObject> |
domain(Collection<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve the domains from domain axioms.
|
static <C extends OWLObject> |
domain(OWLAxiom axiom)
Retrieve the domains from domain axioms.
|
static <C extends OWLObject> |
equivalent(Collection<? extends OWLAxiom> axioms)
Retrieve equivalent entities from axioms, including individuals from sameAs axioms.
|
static <C extends OWLObject> |
equivalent(Collection<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve equivalent entities from axioms, including individuals from sameAs axioms.
|
static <C extends OWLObject> |
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> |
range(Collection<? extends OWLAxiom> axioms)
Retrieve the ranges from range axioms.
|
static <C extends OWLObject> |
range(Collection<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve the ranges from range axioms.
|
static <C extends OWLObject> |
range(OWLAxiom axiom)
Retrieve the ranges from a range axiom.
|
static <C extends OWLObject> |
sub(Collection<? extends OWLAxiom> axioms)
Retrieve the sub part of axioms, i.e., subclass or subproperty.
|
static <C extends OWLObject> |
sub(Collection<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve the sub part of axioms, i.e., subclass or subproperty.
|
static <C extends OWLObject> |
sub(OWLAxiom axiom)
Retrieve the sub part of an axiom, i.e., subclass or subproperty.
|
static <C extends OWLObject> |
sup(Collection<? extends OWLAxiom> axioms)
Retrieve the super part of axioms, i.e., superclass or super property.
|
static <C extends OWLObject> |
sup(Collection<? extends OWLAxiom> axioms,
Class<C> type)
Retrieve the super part of axioms, i.e., superclass or super property.
|
static <C extends OWLObject> |
sup(OWLAxiom axiom)
Retrieve the super part of an axiom, i.e., superclass or super property.
|
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.
|
@Nonnull public static Collection<OWLLiteral> values(@Nonnull Collection<OWLDataPropertyAssertionAxiom> axioms, @Nullable OWLDataPropertyExpression p)
axioms
- axiomsp
- optional property to match. Null means all.@Nonnull public static Collection<OWLIndividual> values(@Nonnull Collection<OWLObjectPropertyAssertionAxiom> axioms, @Nullable OWLObjectPropertyExpression p)
axioms
- axiomsp
- optional property to match. Null means all.@Nonnull public static Collection<OWLLiteral> negValues(@Nonnull Collection<OWLNegativeDataPropertyAssertionAxiom> axioms, @Nullable OWLDataPropertyExpression p)
axioms
- axiomsp
- optional property to match. Null means all.@Nonnull public static Collection<OWLIndividual> negValues(@Nonnull Collection<OWLNegativeObjectPropertyAssertionAxiom> axioms, @Nullable OWLObjectPropertyExpression p)
axioms
- axiomsp
- optional property to match. Null means all.@Nonnull public static Collection<OWLClassExpression> types(@Nonnull Collection<OWLClassAssertionAxiom> axioms)
axioms
- axioms@Nonnull public static Collection<OWLIndividual> instances(@Nonnull Collection<OWLClassAssertionAxiom> axioms)
axioms
- axioms@Nonnull public static Collection<OWLObjectPropertyExpression> inverse(@Nonnull Collection<OWLInverseObjectPropertiesAxiom> axioms, @Nonnull OWLObjectPropertyExpression p)
axioms
- axioms to checkp
- property to match; not returned in the set@Nonnull public static Collection<OWLAnnotationValue> values(@Nonnull Collection<OWLAnnotation> annotations)
annotations
- annotations@Nonnull public static Collection<OWLAnnotationValue> values(@Nonnull Collection<OWLAnnotation> annotations, @Nullable OWLAnnotationProperty p)
annotations
- annotationsp
- optional annotation property to filter. Null means all.@Nonnull public static Collection<OWLAnnotation> annotations(@Nonnull Collection<? extends OWLAxiom> axioms)
axioms
- axioms@Nonnull public static Collection<OWLAnnotation> annotationObjects(@Nonnull Collection<OWLAnnotationAssertionAxiom> axioms, @Nullable OWLAnnotationProperty p)
axioms
- axiomsp
- optional annotation property to filter. Null means all.@Nonnull public static Collection<OWLAnnotation> annotationObjects(@Nonnull Collection<OWLAnnotationAssertionAxiom> axioms)
axioms
- axiomspublic static OWLAnnotation annotationObject(@Nonnull OWLAnnotationAssertionAxiom axiom, @Nullable OWLAnnotationProperty p)
axiom
- axiomp
- optional annotation property to filter. Null means all.@Nonnull public static Collection<OWLAnnotation> annotations(@Nonnull Collection<? extends OWLAxiom> axioms, @Nullable OWLAnnotationProperty p)
axioms
- axiomsp
- optional annotation property to filter. Null means all.@Nonnull public static Set<OWLAnnotation> annotations(@Nonnull OWLAxiom axiom, @Nullable OWLAnnotationProperty p)
axiom
- axiomp
- optional annotation property to filter. Null means all.@Nonnull public static <C extends OWLObject> Collection<C> equivalent(@Nonnull Collection<? extends OWLAxiom> axioms)
C
- returned typeaxioms
- axioms@Nonnull public static <C extends OWLObject> Collection<C> equivalent(@Nonnull Collection<? extends OWLAxiom> axioms, @Nonnull Class<C> type)
C
- returned typeaxioms
- axiomstype
- type contained in the returned collection@Nonnull public static <C extends OWLObject> Set<C> equivalent(@Nonnull OWLAxiom axiom)
C
- type contained in the returned collectionaxiom
- axiom@Nonnull public static <C extends OWLObject> Collection<C> different(@Nonnull Collection<? extends OWLAxiom> axioms)
C
- returned typeaxioms
- axioms@Nonnull public static <C extends OWLObject> Collection<C> different(@Nonnull Collection<? extends OWLAxiom> axioms, @Nonnull Class<C> type)
C
- returned typeaxioms
- axiomstype
- type contained in the returned collection@Nonnull public static <C extends OWLObject> Set<C> different(@Nonnull OWLAxiom axiom)
C
- returned typeaxiom
- axiom@Nonnull public static <C extends OWLObject> Collection<C> sub(@Nonnull Collection<? extends OWLAxiom> axioms)
C
- returned typeaxioms
- axioms@Nonnull public static <C extends OWLObject> Collection<C> sub(@Nonnull Collection<? extends OWLAxiom> axioms, @Nonnull Class<C> type)
C
- returned typeaxioms
- axiomstype
- type contained in the returned collection@Nonnull public static <C extends OWLObject> C sub(@Nonnull OWLAxiom axiom)
C
- returned typeaxiom
- axiom@Nonnull public static <C extends OWLObject> Collection<C> sup(@Nonnull Collection<? extends OWLAxiom> axioms, @Nonnull Class<C> type)
C
- returned typeaxioms
- axiomstype
- type contained in the returned collection@Nonnull public static <C extends OWLObject> Collection<C> sup(@Nonnull Collection<? extends OWLAxiom> axioms)
C
- returned typeaxioms
- axioms@Nonnull public static <C extends OWLObject> C sup(@Nonnull OWLAxiom axiom)
C
- returned typeaxiom
- axiom@Nonnull public static <C extends OWLObject> Collection<C> domain(@Nonnull Collection<? extends OWLAxiom> axioms)
C
- returned typeaxioms
- axioms@Nonnull public static <C extends OWLObject> Collection<C> domain(@Nonnull Collection<? extends OWLAxiom> axioms, @Nonnull Class<C> type)
C
- returned typeaxioms
- axiomstype
- type contained in the returned collection@Nonnull public static <C extends OWLObject> C domain(@Nonnull OWLAxiom axiom)
C
- returned typeaxiom
- axiom@Nonnull public static <C extends OWLObject> Collection<C> range(@Nonnull Collection<? extends OWLAxiom> axioms)
C
- returned typeaxioms
- axioms@Nonnull public static <C extends OWLObject> Collection<C> range(@Nonnull Collection<? extends OWLAxiom> axioms, @Nonnull Class<C> type)
C
- returned typeaxioms
- axiomstype
- type contained in the returned collection@Nonnull public static <C extends OWLObject> C range(@Nonnull OWLAxiom axiom)
C
- returned typeaxiom
- axiom@Nonnull public static Collection<IRI> ontologyIRIs(Iterable<OWLOntology> ontologies)
ontologies
- ontologies to transform@Nonnull public static Collection<IRI> ontologyIRIs(Collection<OWLOntologyID> ids)
ids
- ontology ids to transformCopyright © 2020 The University of Manchester. All rights reserved.