org.semanticweb.owlapi.search

Class EntitySearcher

java.lang.Object

org.semanticweb.owlapi.search.EntitySearcher

public class EntitySearcher
extends Object

Convenience methods moved from OWLEntity and its subinterfaces.

Author:

ignazio

Method Summary

Modifier and Type	Method and Description
static Stream<OWLAxiom>	axiomsIgnoreAnnotations(OWLAxiom a, OWLOntology o, Imports imports) Get matching axioms for a, ignoring annotations.
static boolean	containsAxiom(OWLAxiom a, OWLOntology o, Imports imports) Checks if o contains axiom a, with or without imports closure.
static boolean	containsAxiom(OWLAxiom a, Stream<OWLOntology> ontologies, Imports imports) Checks if any of the ontologies contains axiom a, with or without imports closure.
static boolean	containsAxiomIgnoreAnnotations(OWLAxiom a, OWLOntology o, boolean imports) Checks if o contains axiom a, with or without imports closure, ignoring annotations.
static boolean	containsAxiomIgnoreAnnotations(OWLAxiom a, Stream<OWLOntology> ontologies, boolean imports) Checks if any of the ontologies contains axiom a, with or without imports closure.
static Stream<OWLAnnotationAssertionAxiom>	getAnnotationAssertionAxioms(OWLAnnotationSubject e, OWLOntology ontology)
static Stream<OWLAnnotationAssertionAxiom>	getAnnotationAssertionAxioms(OWLEntity e, OWLOntology ontology)
static Stream<OWLAnnotation>	getAnnotationObjects(OWLAnnotationSubject e, OWLOntology ontology, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property; this is restricted to the object of annotation assertion axioms.
static Stream<OWLAnnotation>	getAnnotationObjects(OWLAnnotationSubject e, Stream<OWLOntology> ontologies, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property; this is restricted to the object of annotation assertion axioms.
static Stream<OWLAnnotation>	getAnnotationObjects(OWLEntity e, OWLOntology ontology) Obtains the annotations on this entity where the annotation has the specified annotation property; this is restricted to the object of annotation assertion axioms.
static Stream<OWLAnnotation>	getAnnotationObjects(OWLEntity e, OWLOntology ontology, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property; this is restricted to the object of annotation assertion axioms.
static Stream<OWLAnnotation>	getAnnotationObjects(OWLEntity e, Stream<OWLOntology> ontologies, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property; this is restricted to the object of annotation assertion axioms.
static Stream<OWLAnnotation>	getAnnotations(OWLAnnotationSubject e, OWLOntology ontology) Gets the annotations for this entity.
static Stream<OWLAnnotation>	getAnnotations(OWLAnnotationSubject e, OWLOntology ontology, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property.
static Stream<OWLAnnotation>	getAnnotations(OWLAnnotationSubject e, Stream<OWLOntology> ontologies, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property.
static Stream<OWLAnnotation>	getAnnotations(OWLEntity e, OWLOntology ontology) Gets the annotations for this entity.
static Stream<OWLAnnotation>	getAnnotations(OWLEntity e, OWLOntology ontology, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property.
static Stream<OWLAnnotation>	getAnnotations(OWLEntity e, Stream<OWLOntology> ontologies, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property.
static Collection<OWLAxiom>	getAxiomsIgnoreAnnotations(OWLAxiom a, OWLOntology o, Imports imports) Get matching axioms for a, ignoring annotations.
static Stream<OWLLiteral>	getDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, OWLOntology ontology)
static Stream<OWLLiteral>	getDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, Stream<OWLOntology> ontologies)
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral>	getDataPropertyValues(OWLIndividual i, OWLOntology ontology)
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral>	getDataPropertyValues(OWLIndividual i, Stream<OWLOntology> ontologies)
static Stream<OWLIndividual>	getDifferentIndividuals(OWLIndividual e, OWLOntology ontology) Gets the different individuals in the specified ontology.
static Stream<OWLIndividual>	getDifferentIndividuals(OWLIndividual e, Stream<OWLOntology> ontologies) Gets the different individuals in the specified ontologies.
static Stream<OWLClassExpression>	getDisjointClasses(OWLClass e, OWLOntology ontology) Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontology.
static Stream<OWLClassExpression>	getDisjointClasses(OWLClass e, Stream<OWLOntology> ontologies) Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontologies.
static <P extends OWLPropertyExpression> Stream<P>	getDisjointProperties(P e, OWLOntology ontology) Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontology.
static <P extends OWLPropertyExpression> Stream<P>	getDisjointProperties(P e, Stream<OWLOntology> ontologies) Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontologies.
static Stream<IRI>	getDomains(OWLAnnotationProperty e, OWLOntology ontology) Gets the asserted domains of this property.
static Stream<IRI>	getDomains(OWLAnnotationProperty e, Stream<OWLOntology> ontologies) Gets the asserted domains of this property by examining the axioms in the specified ontologies.
static Stream<OWLClassExpression>	getDomains(OWLDataProperty e, OWLOntology ontology) Gets the asserted domains of this property.
static Stream<OWLClassExpression>	getDomains(OWLDataProperty e, Stream<OWLOntology> ontologies) Gets the asserted domains of this property by examining the axioms in the specified ontologies.
static Stream<OWLClassExpression>	getDomains(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the asserted domains of this property.
static Stream<OWLClassExpression>	getDomains(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Gets the asserted domains of this property by examining the axioms in the specified ontologies.
static Stream<OWLClassExpression>	getEquivalentClasses(OWLClass e, OWLOntology ontology) A convenience method that examines the axioms in the specified ontology and returns the class expressions corresponding to equivalent classes of this class.
static Stream<OWLClassExpression>	getEquivalentClasses(OWLClass e, Stream<OWLOntology> ontologies) A convenience method that examines the axioms in the specified ontologies and returns the class expressions corresponding to equivalent classes of this class.
static Stream<OWLDataPropertyExpression>	getEquivalentProperties(OWLDataProperty e, OWLOntology ontology) A convenience method that examines the axioms in the specified ontology and returns the class expressions corresponding to equivalent classes of this class.
static Stream<OWLDataPropertyExpression>	getEquivalentProperties(OWLDataProperty e, Stream<OWLOntology> ontologies) A convenience method that examines the axioms in the specified ontologies and returns the class expressions corresponding to equivalent classes of this class.
static Stream<OWLObjectPropertyExpression>	getEquivalentProperties(OWLObjectPropertyExpression e, OWLOntology ontology) A convenience method that examines the axioms in the specified ontology and returns the class expressions corresponding to equivalent classes of this class.
static Stream<OWLObjectPropertyExpression>	getEquivalentProperties(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) A convenience method that examines the axioms in the specified ontologies and returns the class expressions corresponding to equivalent classes of this class.
static Stream<OWLIndividual>	getIndividuals(OWLClass e, OWLOntology ontology) Gets the individuals that have been asserted to be an instance of this class by axioms in the specified ontology.
static Stream<OWLIndividual>	getIndividuals(OWLClass e, Stream<OWLOntology> ontologies) Gets the individuals that have been asserted to be an instance of this class by axioms in the speficied ontologies.
static Stream<OWLIndividual>	getInstances(OWLClassExpression e, OWLOntology ontology)
static Stream<OWLIndividual>	getInstances(OWLClassExpression e, Stream<OWLOntology> ontologies)
static Stream<OWLObjectPropertyExpression>	getInverses(OWLObjectPropertyExpression e, OWLOntology ontology)
static Stream<OWLObjectPropertyExpression>	getInverses(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies)
static Stream<OWLLiteral>	getNegativeDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, OWLOntology ontology)
static Stream<OWLLiteral>	getNegativeDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, Stream<OWLOntology> ontologies)
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral>	getNegativeDataPropertyValues(OWLIndividual i, OWLOntology ontology)
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral>	getNegativeDataPropertyValues(OWLIndividual i, Stream<OWLOntology> ontologies)
static Stream<OWLIndividual>	getNegativeObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, OWLOntology ontology)
static Stream<OWLIndividual>	getNegativeObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, Stream<OWLOntology> ontologies)
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual>	getNegativeObjectPropertyValues(OWLIndividual i, OWLOntology ontology)
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual>	getNegativeObjectPropertyValues(OWLIndividual i, Stream<OWLOntology> ontologies)
static Stream<OWLIndividual>	getObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, OWLOntology ontology)
static Stream<OWLIndividual>	getObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, Stream<OWLOntology> ontologies)
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual>	getObjectPropertyValues(OWLIndividual i, OWLOntology ontology)
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual>	getObjectPropertyValues(OWLIndividual i, Stream<OWLOntology> ontologies)
static Stream<IRI>	getRanges(OWLAnnotationProperty e, OWLOntology ontology) Gets the ranges of this property that have been asserted in the specified ontology.
static Stream<IRI>	getRanges(OWLAnnotationProperty e, Stream<OWLOntology> ontologies) Gets the asserted ranges of this property by examining the axioms in the specified ontologies.
static Stream<OWLDataRange>	getRanges(OWLDataProperty e, OWLOntology ontology) Gets the ranges of this property that have been asserted in the specified ontology.
static Stream<OWLDataRange>	getRanges(OWLDataProperty e, Stream<OWLOntology> ontologies) Gets the asserted ranges of this property by examining the axioms in the specified ontologies.
static Stream<OWLClassExpression>	getRanges(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the ranges of this property that have been asserted in the specified ontology.
static Stream<OWLClassExpression>	getRanges(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Gets the asserted ranges of this property by examining the axioms in the specified ontologies.
static Stream<OWLAxiom>	getReferencingAxioms(OWLEntity e, OWLOntology ontology) Gets the axioms in the specified ontology that contain this entity in their signature.
static Stream<OWLAxiom>	getReferencingAxioms(OWLEntity e, OWLOntology ontology, Imports includeImports) Gets the axioms in the specified ontology and possibly its imports closure that contain this entity in their signature.
static Stream<OWLIndividual>	getSameIndividuals(OWLIndividual e, OWLOntology ontology) Gets the same individuals in the specified ontology.
static Stream<OWLIndividual>	getSameIndividuals(OWLIndividual e, Stream<OWLOntology> ontologies) Gets the same individuals in the specified ontologies.
static Stream<OWLClassExpression>	getSubClasses(OWLClass e, OWLOntology ontology) Gets the classes which have been asserted to be subclasses of this class in the specified ontology.
static Stream<OWLClassExpression>	getSubClasses(OWLClass e, Stream<OWLOntology> ontologies) Gets the classes which have been asserted to be subclasses of this class in the specified ontologies.
static <P extends OWLPropertyExpression> Stream<P>	getSubProperties(P e, OWLOntology ontology) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static <P extends OWLPropertyExpression> Stream<P>	getSubProperties(P e, Stream<OWLOntology> ontologies) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Stream<OWLClassExpression>	getSuperClasses(OWLClass e, OWLOntology ontology) A convenience method that examines the axioms in the specified ontology and return the class expressions corresponding to super classes of this class.
static Stream<OWLClassExpression>	getSuperClasses(OWLClass e, Stream<OWLOntology> ontologies) A convenience method that examines the axioms in the specified ontologies and returns the class expression corresponding to the asserted super classes of this class.
static <P extends OWLPropertyExpression> Stream<P>	getSuperProperties(P e, OWLOntology ontology) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static <P extends OWLPropertyExpression> Stream<P>	getSuperProperties(P e, Stream<OWLOntology> ontologies) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Stream<OWLClassExpression>	getTypes(OWLIndividual e, OWLOntology ontology)
static Stream<OWLClassExpression>	getTypes(OWLIndividual e, Stream<OWLOntology> ontologies)
static boolean	hasDataPropertyValue(OWLIndividual i, OWLDataPropertyExpression p, OWLLiteral lit, OWLOntology ontology)
static boolean	hasDataPropertyValue(OWLIndividual i, OWLDataPropertyExpression p, OWLLiteral lit, Stream<OWLOntology> ontologies)
static boolean	hasDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, OWLOntology ontology)
static boolean	hasDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, Stream<OWLOntology> ontologies)
static boolean	hasNegativeDataPropertyValue(OWLIndividual i, OWLDataPropertyExpression p, OWLLiteral lit, OWLOntology ontology)
static boolean	hasNegativeDataPropertyValue(OWLIndividual i, OWLDataPropertyExpression p, OWLLiteral lit, Stream<OWLOntology> ontologies)
static boolean	hasNegativeDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, OWLOntology ontology)
static boolean	hasNegativeDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, Stream<OWLOntology> ontologies)
static boolean	hasNegativeObjectPropertyValue(OWLIndividual i, OWLObjectPropertyExpression p, OWLIndividual j, OWLOntology ontology)
static boolean	hasNegativeObjectPropertyValue(OWLIndividual i, OWLObjectPropertyExpression p, OWLIndividual j, Stream<OWLOntology> ontologies)
static boolean	hasNegativeObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, OWLOntology ontology)
static boolean	hasNegativeObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, Stream<OWLOntology> ontologies)
static boolean	hasObjectPropertyValue(OWLIndividual i, OWLObjectPropertyExpression p, OWLIndividual j, OWLOntology ontology)
static boolean	hasObjectPropertyValue(OWLIndividual i, OWLObjectPropertyExpression p, OWLIndividual j, Stream<OWLOntology> ontologies)
static boolean	hasObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, OWLOntology ontology)
static boolean	hasObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, Stream<OWLOntology> ontologies)
static boolean	isAsymmetric(OWLObjectPropertyExpression e, OWLOntology o) Checks if e is declared asymmetric in o.
static boolean	isAsymmetric(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Checks if e is declared asymmetric in a collection of ontologies.
static boolean	isDefined(OWLClass c, OWLOntology o) Checks if c is defined (is included in equivalent axioms) in o.
static boolean	isDefined(OWLClass c, Stream<OWLOntology> ontologies) Checks if c is defined (is included in equivalent axioms) in a collection of ontologies.
static boolean	isFunctional(OWLDataProperty e, OWLOntology o) Checks if e is declared functional in o.
static boolean	isFunctional(OWLDataProperty e, Stream<OWLOntology> ontologies) Checks if e is declared functional in a collection of ontologies.
static boolean	isFunctional(OWLObjectPropertyExpression e, OWLOntology o) Checks if e is declared functional in o.
static boolean	isFunctional(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Checks if e is declared functional in a collection of ontologies.
static boolean	isInverseFunctional(OWLObjectPropertyExpression e, OWLOntology o) Checks if e is declared inverse functional in o.
static boolean	isInverseFunctional(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Checks if e is declared inverse functional in a collection of ontologies.
static boolean	isIrreflexive(OWLObjectPropertyExpression e, OWLOntology o) Checks if e is declared irreflexive in o.
static boolean	isIrreflexive(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Checks if e is declared irreflexive in a collection of ontologies.
static boolean	isReflexive(OWLObjectPropertyExpression e, OWLOntology o) Checks if e is declared reflexive in o.
static boolean	isReflexive(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Checks if e is declared reflexive in a collection of ontologies.
static boolean	isSymmetric(OWLObjectPropertyExpression e, OWLOntology o) Checks if e is declared symmetric in o.
static boolean	isSymmetric(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Checks if e is declared symmetric in a collection of ontologies.
static boolean	isTransitive(OWLObjectPropertyExpression e, OWLOntology o) Checks if e is declared transitive in o.
static boolean	isTransitive(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Checks if e is declared transitive in a collection of ontologies.

Methods inherited from class java.lang.Object

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

Method Detail

getAnnotations

public static Stream<OWLAnnotation> getAnnotations(OWLEntity e,
                                                   OWLOntology ontology)

Gets the annotations for this entity. These are deemed to be annotations in annotation assertion axioms that have a subject that is an IRI that is equal to the IRI of this entity, and it also includes annotations on the annotation assertion axioms whose annotation property matches

Parameters:

e - entity

ontology - The ontology to be examined for annotation assertion axioms

Returns:

The annotations that participate directly in an annotation assertion whose subject is an IRI corresponding to the IRI of this entity.

getAnnotations

public static Stream<OWLAnnotation> getAnnotations(OWLAnnotationSubject e,
                                                   OWLOntology ontology)

Gets the annotations for this entity. These are deemed to be annotations in annotation assertion axioms that have a subject that is an IRI that is equal to the IRI of this entity, and it also includes annotations on the annotation assertion axioms whose annotation property matches.

Parameters:

e - entity

ontology - The ontology to be examined for annotation assertion axioms

Returns:

The annotations that participate directly in an annotation assertion whose subject is an IRI corresponding to the IRI of this entity.

getAnnotations

public static Stream<OWLAnnotation> getAnnotations(OWLEntity e,
                                                   OWLOntology ontology,
                                                   OWLAnnotationProperty annotationProperty)

Obtains the annotations on this entity where the annotation has the specified annotation property. This includes the annotations on annotation assertion axioms with matching annotation property.

Parameters:

e - entity

ontology - The ontology to examine for annotation axioms

annotationProperty - The annotation property

Returns:

A set of OWLAnnotation objects that have the specified URI.

getAnnotationObjects

public static Stream<OWLAnnotation> getAnnotationObjects(OWLEntity e,
                                                         OWLOntology ontology,
                                                         @Nullable
                                                         OWLAnnotationProperty annotationProperty)

Obtains the annotations on this entity where the annotation has the specified annotation property; this is restricted to the object of annotation assertion axioms.

Parameters:

e - entity

ontology - The ontology to examine for annotation axioms

annotationProperty - The annotation property

Returns:

A set of OWLAnnotation objects that have the specified URI.

getAnnotationObjects

public static Stream<OWLAnnotation> getAnnotationObjects(OWLEntity e,
                                                         OWLOntology ontology)

Obtains the annotations on this entity where the annotation has the specified annotation property; this is restricted to the object of annotation assertion axioms.

Parameters:

e - entity

ontology - The ontology to examine for annotation axioms

Returns:

A set of OWLAnnotation objects that have the specified URI.

getAnnotationObjects

public static Stream<OWLAnnotation> getAnnotationObjects(OWLAnnotationSubject e,
                                                         OWLOntology ontology,
                                                         @Nullable
                                                         OWLAnnotationProperty annotationProperty)

Obtains the annotations on this entity where the annotation has the specified annotation property; this is restricted to the object of annotation assertion axioms.

Parameters:

e - entity

ontology - The ontology to examine for annotation axioms

annotationProperty - The annotation property

Returns:

A set of OWLAnnotation objects that have the specified URI.

getAnnotationObjects

public static Stream<OWLAnnotation> getAnnotationObjects(OWLAnnotationSubject e,
                                                         Stream<OWLOntology> ontologies,
                                                         @Nullable
                                                         OWLAnnotationProperty annotationProperty)

Obtains the annotations on this entity where the annotation has the specified annotation property; this is restricted to the object of annotation assertion axioms.

Parameters:

e - entity

ontologies - The ontologies to examine for annotation axioms

annotationProperty - The annotation property

Returns:

A set of OWLAnnotation objects that have the specified URI.

getAnnotationObjects

public static Stream<OWLAnnotation> getAnnotationObjects(OWLEntity e,
                                                         Stream<OWLOntology> ontologies,
                                                         @Nullable
                                                         OWLAnnotationProperty annotationProperty)

Obtains the annotations on this entity where the annotation has the specified annotation property; this is restricted to the object of annotation assertion axioms.

Parameters:

e - entity

ontologies - The ontologies to examine for annotation axioms

annotationProperty - The annotation property

Returns:

A set of OWLAnnotation objects that have the specified URI.

getAnnotations

public static Stream<OWLAnnotation> getAnnotations(OWLAnnotationSubject e,
                                                   OWLOntology ontology,
                                                   OWLAnnotationProperty annotationProperty)

Obtains the annotations on this entity where the annotation has the specified annotation property. This includes the annotations on annotation assertion axioms with matching annotation property.

Parameters:

e - entity

ontology - The ontology to examine for annotation axioms

annotationProperty - The annotation property

Returns:

A set of OWLAnnotation objects that have the specified URI.

getAnnotations

public static Stream<OWLAnnotation> getAnnotations(OWLAnnotationSubject e,
                                                   Stream<OWLOntology> ontologies,
                                                   OWLAnnotationProperty annotationProperty)

Obtains the annotations on this entity where the annotation has the specified annotation property. This includes the annotations on annotation assertion axioms with matching annotation property.

Parameters:

e - entity

ontologies - The ontologies to examine for annotation axioms

annotationProperty - The annotation property

Returns:

A set of OWLAnnotation objects that have the specified URI.

getAnnotations

public static Stream<OWLAnnotation> getAnnotations(OWLEntity e,
                                                   Stream<OWLOntology> ontologies,
                                                   OWLAnnotationProperty annotationProperty)

Obtains the annotations on this entity where the annotation has the specified annotation property. This includes the annotations on annotation assertion axioms with matching annotation property.

Parameters:

e - entity

ontologies - The ontologies to examine for annotation axioms

annotationProperty - The annotation property

Returns:

A set of OWLAnnotation objects that have the specified URI.

getAnnotationAssertionAxioms

public static Stream<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLEntity e,
                                                                               OWLOntology ontology)

Parameters:

e - entity

ontology - the ontology to use

Returns:

the annotation assertion axioms about this entity in the provided ontology

getAnnotationAssertionAxioms

public static Stream<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject e,
                                                                               OWLOntology ontology)

Parameters:

e - entity

ontology - the ontology to use

Returns:

the annotation assertion axioms about this entity in the provided ontology

getSubProperties

public static <P extends OWLPropertyExpression> Stream<P> getSubProperties(P e,
                                                                           OWLOntology ontology)

Gets the properties which are asserted to be sub-properties of this property in the specified ontology.

Parameters:

e - entity

ontology - The ontology to be examined for SubProperty axioms.

Returns:

A set of properties such that for each property p in the set, it is the case that ontology contains an SubPropertyOf(p, this) axiom where this refers to this property.

Since:

3.2

getSubProperties

public static <P extends OWLPropertyExpression> Stream<P> getSubProperties(P e,
                                                                           Stream<OWLOntology> ontologies)

Gets the properties which are asserted to be sub-properties of this property in the specified ontology.

Parameters:

e - entity

ontologies - The ontologies to be examined for SubProperty axioms.

Returns:

A set of properties such that for each property p in the set, it is the case that ontology contains an SubPropertyOf(p, this) axiom where this refers to this property.

Since:

3.2

getSuperProperties

public static <P extends OWLPropertyExpression> Stream<P> getSuperProperties(P e,
                                                                             OWLOntology ontology)

Gets the properties which are asserted to be sub-properties of this property in the specified ontology.

Parameters:

e - entity

ontology - The ontology to be examined for SubProperty axioms.

Returns:

A set of properties such that for each property p in the set, it is the case that ontology contains an SubPropertyOf(p, this) axiom where this refers to this property.

Since:

3.2

getSuperProperties

public static <P extends OWLPropertyExpression> Stream<P> getSuperProperties(P e,
                                                                             Stream<OWLOntology> ontologies)

Gets the properties which are asserted to be sub-properties of this property in the specified ontology.

Parameters:

e - entity

ontologies - The ontologies to be examined for SubPropertyOf axioms.

Returns:

A set of properties such that for each property p in the set, it is the case that ontology contains an SubPropertyOf(p, this) axiom where this refers to this property.

Since:

3.2

getSuperClasses

public static Stream<OWLClassExpression> getSuperClasses(OWLClass e,
                                                         OWLOntology ontology)

A convenience method that examines the axioms in the specified ontology and return the class expressions corresponding to super classes of this class.

Parameters:

e - entity

ontology - The ontology to be examined

Returns:

A Set of OWLClassExpressions that represent the superclasses of this class, which have been asserted in the specified ontology.

getSuperClasses

public static Stream<OWLClassExpression> getSuperClasses(OWLClass e,
                                                         Stream<OWLOntology> ontologies)

A convenience method that examines the axioms in the specified ontologies and returns the class expression corresponding to the asserted super classes of this class.

Parameters:

e - entity

ontologies - The set of ontologies to be examined.

Returns:

A set of OWLClassExpressionss that represent the super classes of this class

getSubClasses

public static Stream<OWLClassExpression> getSubClasses(OWLClass e,
                                                       OWLOntology ontology)

Gets the classes which have been asserted to be subclasses of this class in the specified ontology.

Parameters:

e - entity

ontology - The ontology which should be examined for subclass axioms.

Returns:

A Set of OWLClassExpressions that represet the asserted subclasses of this class.

getSubClasses

public static Stream<OWLClassExpression> getSubClasses(OWLClass e,
                                                       Stream<OWLOntology> ontologies)

Gets the classes which have been asserted to be subclasses of this class in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies which should be examined for subclass axioms.

Returns:

A Set of OWLClassExpressions that represet the asserted subclasses of this class.

getEquivalentClasses

public static Stream<OWLClassExpression> getEquivalentClasses(OWLClass e,
                                                              OWLOntology ontology)

A convenience method that examines the axioms in the specified ontology and returns the class expressions corresponding to equivalent classes of this class.

Parameters:

e - entity

ontology - The ontology to be examined for axioms

Returns:

A Set of OWLClassExpressions that represent the equivalent classes of this class, that have been asserted in the specified ontology.

getEquivalentClasses

public static Stream<OWLClassExpression> getEquivalentClasses(OWLClass e,
                                                              Stream<OWLOntology> ontologies)

A convenience method that examines the axioms in the specified ontologies and returns the class expressions corresponding to equivalent classes of this class.

Parameters:

e - entity

ontologies - The ontologies to be examined for axioms

Returns:

A Set of OWLClassExpressions that represent the equivalent classes of this class, that have been asserted in the specified ontologies.

getDisjointClasses

public static Stream<OWLClassExpression> getDisjointClasses(OWLClass e,
                                                            OWLOntology ontology)

Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontology.

Parameters:

e - entity

ontology - The ontology to search for disjoint class axioms

Returns:

A Set of OWLClassExpressions that represent the disjoint classes of this class.

getDisjointClasses

public static Stream<OWLClassExpression> getDisjointClasses(OWLClass e,
                                                            Stream<OWLOntology> ontologies)

Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to search for disjoint class axioms

Returns:

A Set of OWLClassExpressions that represent the disjoint classes of this class.

getDifferentIndividuals

public static Stream<OWLIndividual> getDifferentIndividuals(OWLIndividual e,
                                                            OWLOntology ontology)

Gets the different individuals in the specified ontology.

Parameters:

e - individual

ontology - The ontology to search for different individuals

Returns:

A Set of different OWLIndividuals.

getDifferentIndividuals

public static Stream<OWLIndividual> getDifferentIndividuals(OWLIndividual e,
                                                            Stream<OWLOntology> ontologies)

Gets the different individuals in the specified ontologies.

Parameters:

e - individual

ontologies - The ontologies to search for different individuals

Returns:

A Set of different OWLIndividuals.

getSameIndividuals

public static Stream<OWLIndividual> getSameIndividuals(OWLIndividual e,
                                                       OWLOntology ontology)

Gets the same individuals in the specified ontology.

Parameters:

e - individual

ontology - The ontology to search for same individuals

Returns:

A Set of same OWLIndividuals.

getSameIndividuals

public static Stream<OWLIndividual> getSameIndividuals(OWLIndividual e,
                                                       Stream<OWLOntology> ontologies)

Gets the same individuals in the specified ontologies.

Parameters:

e - individual

ontologies - The ontologies to search for same individuals

Returns:

A Set of same OWLIndividuals.

getEquivalentProperties

public static Stream<OWLDataPropertyExpression> getEquivalentProperties(OWLDataProperty e,
                                                                        OWLOntology ontology)

A convenience method that examines the axioms in the specified ontology and returns the class expressions corresponding to equivalent classes of this class.

Parameters:

e - entity

ontology - The ontology to be examined for axioms

Returns:

A Set of OWLClassExpressions that represent the equivalent classes of this class, that have been asserted in the specified ontology.

getEquivalentProperties

public static Stream<OWLDataPropertyExpression> getEquivalentProperties(OWLDataProperty e,
                                                                        Stream<OWLOntology> ontologies)

A convenience method that examines the axioms in the specified ontologies and returns the class expressions corresponding to equivalent classes of this class.

Parameters:

e - entity

ontologies - The ontologies to be examined for axioms

Returns:

A Set of OWLClassExpressions that represent the equivalent classes of this class, that have been asserted in the specified ontologies.

getDisjointProperties

public static <P extends OWLPropertyExpression> Stream<P> getDisjointProperties(P e,
                                                                                OWLOntology ontology)

Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontology.

Parameters:

e - entity

ontology - The ontology to search for disjoint class axioms

Returns:

A Set of OWLClassExpressions that represent the disjoint classes of this class.

getDisjointProperties

public static <P extends OWLPropertyExpression> Stream<P> getDisjointProperties(P e,
                                                                                Stream<OWLOntology> ontologies)

Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to search for disjoint class axioms

Returns:

A Set of OWLClassExpressions that represent the disjoint classes of this class.

getEquivalentProperties

public static Stream<OWLObjectPropertyExpression> getEquivalentProperties(OWLObjectPropertyExpression e,
                                                                          OWLOntology ontology)

A convenience method that examines the axioms in the specified ontology and returns the class expressions corresponding to equivalent classes of this class.

Parameters:

e - entity

ontology - The ontology to be examined for axioms

Returns:

A Set of OWLClassExpressions that represent the equivalent classes of this class, that have been asserted in the specified ontology.

getEquivalentProperties

public static Stream<OWLObjectPropertyExpression> getEquivalentProperties(OWLObjectPropertyExpression e,
                                                                          Stream<OWLOntology> ontologies)

A convenience method that examines the axioms in the specified ontologies and returns the class expressions corresponding to equivalent classes of this class.

Parameters:

e - entity

ontologies - The ontologies to be examined for axioms

Returns:

A Set of OWLClassExpressions that represent the equivalent classes of this class, that have been asserted in the specified ontologies.

getIndividuals

public static Stream<OWLIndividual> getIndividuals(OWLClass e,
                                                   OWLOntology ontology)

Gets the individuals that have been asserted to be an instance of this class by axioms in the specified ontology.

Parameters:

e - entity

ontology - The ontology to be examined for class assertion axioms that assert an individual to be an instance of this class.

Returns:

A Set of OWLIndividuals that represent the individual that have been asserted to be an instance of this class.

getIndividuals

public static Stream<OWLIndividual> getIndividuals(OWLClass e,
                                                   Stream<OWLOntology> ontologies)

Gets the individuals that have been asserted to be an instance of this class by axioms in the speficied ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined for class assertion axioms that assert an individual to be an instance of this class.

Returns:

A Set of OWLIndividuals that represent the individual that have been asserted to be an instance of this class.

getReferencingAxioms

public static Stream<OWLAxiom> getReferencingAxioms(OWLEntity e,
                                                    OWLOntology ontology)

Gets the axioms in the specified ontology that contain this entity in their signature.

Parameters:

e - entity

ontology - The ontology that will be searched for axioms

Returns:

The axioms in the specified ontology whose signature contains this entity.

getReferencingAxioms

public static Stream<OWLAxiom> getReferencingAxioms(OWLEntity e,
                                                    OWLOntology ontology,
                                                    Imports includeImports)

Gets the axioms in the specified ontology and possibly its imports closure that contain this entity in their signature.

Parameters:

e - entity

ontology - The ontology that will be searched for axioms

includeImports - If true then axioms in the imports closure will also be returned, if false then only the axioms in the specified ontology will be returned.

Returns:

The axioms in the specified ontology whose signature contains this entity.

getDomains

public static Stream<OWLClassExpression> getDomains(OWLDataProperty e,
                                                    OWLOntology ontology)

Gets the asserted domains of this property.

Parameters:

e - entity

ontology - The ontology that should be examined for axioms which assert a domain of this property

Returns:

A set of OWLClassExpressions corresponding to the domains of this property (the domain of the property is essentially the intersection of these class expressions).

getDomains

public static Stream<OWLClassExpression> getDomains(OWLDataProperty e,
                                                    Stream<OWLOntology> ontologies)

Gets the asserted domains of this property by examining the axioms in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined.

Returns:

A set of OWLClassExpressions that represent the asserted domains of this property.

getDomains

public static Stream<OWLClassExpression> getDomains(OWLObjectPropertyExpression e,
                                                    OWLOntology ontology)

Gets the asserted domains of this property.

Parameters:

e - entity

ontology - The ontology that should be examined for axioms which assert a domain of this property

Returns:

A set of OWLClassExpressions corresponding to the domains of this property (the domain of the property is essentially the intersection of these class expressions).

getRanges

public static Stream<OWLDataRange> getRanges(OWLDataProperty e,
                                             OWLOntology ontology)

Gets the ranges of this property that have been asserted in the specified ontology.

Parameters:

e - entity

ontology - The ontology to be searched for axioms which assert a range for this property.

Returns:

A set of ranges for this property.

getRanges

public static Stream<OWLDataRange> getRanges(OWLDataProperty e,
                                             Stream<OWLOntology> ontologies)

Gets the asserted ranges of this property by examining the axioms in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined for range axioms.

Returns:

A set of ranges for this property, which have been asserted by axioms in the specified ontologies.

getDomains

public static Stream<OWLClassExpression> getDomains(OWLObjectPropertyExpression e,
                                                    Stream<OWLOntology> ontologies)

Gets the asserted domains of this property by examining the axioms in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined.

Returns:

A set of OWLClassExpressions that represent the asserted domains of this property.

getRanges

public static Stream<OWLClassExpression> getRanges(OWLObjectPropertyExpression e,
                                                   OWLOntology ontology)

Gets the ranges of this property that have been asserted in the specified ontology.

Parameters:

e - entity

ontology - The ontology to be searched for axioms which assert a range for this property.

Returns:

A set of ranges for this property.

getRanges

public static Stream<OWLClassExpression> getRanges(OWLObjectPropertyExpression e,
                                                   Stream<OWLOntology> ontologies)

Gets the asserted ranges of this property by examining the axioms in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined for range axioms.

Returns:

A set of ranges for this property, which have been asserted by axioms in the specified ontologies.

getDomains

public static Stream<IRI> getDomains(OWLAnnotationProperty e,
                                     OWLOntology ontology)

Gets the asserted domains of this property.

Parameters:

e - entity

ontology - The ontology that should be examined for axioms which assert a domain of this property

Returns:

A set of OWLClassExpressions corresponding to the domains of this property (the domain of the property is essentially the intersection of these class expressions).

getDomains

public static Stream<IRI> getDomains(OWLAnnotationProperty e,
                                     Stream<OWLOntology> ontologies)

Gets the asserted domains of this property by examining the axioms in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined.

Returns:

A set of OWLClassExpressions that represent the asserted domains of this property.

getRanges

public static Stream<IRI> getRanges(OWLAnnotationProperty e,
                                    OWLOntology ontology)

Gets the ranges of this property that have been asserted in the specified ontology.

Parameters:

e - entity

ontology - The ontology to be searched for axioms which assert a range for this property.

Returns:

A set of ranges for this property.

getRanges

public static Stream<IRI> getRanges(OWLAnnotationProperty e,
                                    Stream<OWLOntology> ontologies)

Gets the asserted ranges of this property by examining the axioms in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined for range axioms.

Returns:

A set of ranges for this property, which have been asserted by axioms in the specified ontologies.

isTransitive

public static boolean isTransitive(OWLObjectPropertyExpression e,
                                   OWLOntology o)

Checks if e is declared transitive in o.

Parameters:

o - ontology

e - property

Returns:

true for transitive properties

isTransitive

public static boolean isTransitive(OWLObjectPropertyExpression e,
                                   Stream<OWLOntology> ontologies)

Checks if e is declared transitive in a collection of ontologies.

Parameters:

ontologies - ontologies

e - property

Returns:

true for transitive properties

isSymmetric

public static boolean isSymmetric(OWLObjectPropertyExpression e,
                                  OWLOntology o)

Checks if e is declared symmetric in o.

Parameters:

o - ontology

e - property

Returns:

true for symmetric properties

isSymmetric

public static boolean isSymmetric(OWLObjectPropertyExpression e,
                                  Stream<OWLOntology> ontologies)

Checks if e is declared symmetric in a collection of ontologies.

Parameters:

ontologies - ontologies

e - property

Returns:

true for symmetric properties

isAsymmetric

public static boolean isAsymmetric(OWLObjectPropertyExpression e,
                                   OWLOntology o)

Checks if e is declared asymmetric in o.

Parameters:

o - ontology

e - property

Returns:

true for asymmetric properties

isAsymmetric

public static boolean isAsymmetric(OWLObjectPropertyExpression e,
                                   Stream<OWLOntology> ontologies)

Checks if e is declared asymmetric in a collection of ontologies.

Parameters:

ontologies - ontologies

e - property

Returns:

true for asymmetric properties

isReflexive

public static boolean isReflexive(OWLObjectPropertyExpression e,
                                  OWLOntology o)

Checks if e is declared reflexive in o.

Parameters:

o - ontology

e - property

Returns:

true for reflexive properties

isReflexive

public static boolean isReflexive(OWLObjectPropertyExpression e,
                                  Stream<OWLOntology> ontologies)

Checks if e is declared reflexive in a collection of ontologies.

Parameters:

ontologies - ontologies

e - property

Returns:

true for reflexive properties

isIrreflexive

public static boolean isIrreflexive(OWLObjectPropertyExpression e,
                                    OWLOntology o)

Checks if e is declared irreflexive in o.

Parameters:

o - ontology

e - property

Returns:

true for irreflexive properties

isIrreflexive

public static boolean isIrreflexive(OWLObjectPropertyExpression e,
                                    Stream<OWLOntology> ontologies)

Checks if e is declared irreflexive in a collection of ontologies.

Parameters:

ontologies - ontologies

e - property

Returns:

true for irreflexive properties

isInverseFunctional

public static boolean isInverseFunctional(OWLObjectPropertyExpression e,
                                          OWLOntology o)

Checks if e is declared inverse functional in o.

Parameters:

o - ontology

e - property

Returns:

true for inverse functional properties

isInverseFunctional

public static boolean isInverseFunctional(OWLObjectPropertyExpression e,
                                          Stream<OWLOntology> ontologies)

Checks if e is declared inverse functional in a collection of ontologies.

Parameters:

ontologies - ontologies

e - property

Returns:

true for inverse functional properties

isFunctional

public static boolean isFunctional(OWLObjectPropertyExpression e,
                                   OWLOntology o)

Checks if e is declared functional in o.

Parameters:

o - ontology

e - property

Returns:

true for functional object properties

isFunctional

public static boolean isFunctional(OWLObjectPropertyExpression e,
                                   Stream<OWLOntology> ontologies)

Checks if e is declared functional in a collection of ontologies.

Parameters:

ontologies - ontologies

e - property

Returns:

true for functional object properties

isFunctional

public static boolean isFunctional(OWLDataProperty e,
                                   OWLOntology o)

Checks if e is declared functional in o.

Parameters:

o - ontology

e - property

Returns:

true for functional data properties

isFunctional

public static boolean isFunctional(OWLDataProperty e,
                                   Stream<OWLOntology> ontologies)

Checks if e is declared functional in a collection of ontologies.

Parameters:

ontologies - ontologies

e - property

Returns:

true for functional data properties

isDefined

public static boolean isDefined(OWLClass c,
                                OWLOntology o)

Checks if c is defined (is included in equivalent axioms) in o.

Parameters:

o - ontology

c - class

Returns:

true for defined classes

isDefined

public static boolean isDefined(OWLClass c,
                                Stream<OWLOntology> ontologies)

Checks if c is defined (is included in equivalent axioms) in a collection of ontologies.

Parameters:

ontologies - ontologies

c - class

Returns:

true for defined classes

containsAxiom

public static boolean containsAxiom(OWLAxiom a,
                                    OWLOntology o,
                                    Imports imports)

Checks if o contains axiom a, with or without imports closure.

Parameters:

o - ontology

a - axiom

imports - true if imports closure is included

Returns:

true if a is contained

containsAxiom

public static boolean containsAxiom(OWLAxiom a,
                                    Stream<OWLOntology> ontologies,
                                    Imports imports)

Checks if any of the ontologies contains axiom a, with or without imports closure.

Parameters:

ontologies - ontologies

a - axiom

imports - true if imports closure is included

Returns:

true if a is contained

containsAxiomIgnoreAnnotations

public static boolean containsAxiomIgnoreAnnotations(OWLAxiom a,
                                                     OWLOntology o,
                                                     boolean imports)

Checks if o contains axiom a, with or without imports closure, ignoring annotations.

Parameters:

o - ontology

a - axiom

imports - true if imports closure is included

Returns:

true if a is contained

containsAxiomIgnoreAnnotations

public static boolean containsAxiomIgnoreAnnotations(OWLAxiom a,
                                                     Stream<OWLOntology> ontologies,
                                                     boolean imports)

Checks if any of the ontologies contains axiom a, with or without imports closure.

Parameters:

ontologies - ontologies

a - axiom

imports - true if imports closure is included

Returns:

true if a is contained

getAxiomsIgnoreAnnotations

public static Collection<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom a,
                                                              OWLOntology o,
                                                              Imports imports)

Get matching axioms for a, ignoring annotations.

Parameters:

o - ontology

a - axiom

imports - true if imports closure is included

Returns:

matching axioms

axiomsIgnoreAnnotations

public static Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom a,
                                                       OWLOntology o,
                                                       Imports imports)

Get matching axioms for a, ignoring annotations.

Parameters:

o - ontology

a - axiom

imports - true if imports closure is included

Returns:

matching axioms

getDataPropertyValues

public static Stream<OWLLiteral> getDataPropertyValues(OWLIndividual i,
                                                       OWLDataPropertyExpression p,
                                                       OWLOntology ontology)

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

literal values

getDataPropertyValues

public static Stream<OWLLiteral> getDataPropertyValues(OWLIndividual i,
                                                       OWLDataPropertyExpression p,
                                                       Stream<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

literal values

getObjectPropertyValues

public static Stream<OWLIndividual> getObjectPropertyValues(OWLIndividual i,
                                                            OWLObjectPropertyExpression p,
                                                            OWLOntology ontology)

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

property values

getObjectPropertyValues

public static Stream<OWLIndividual> getObjectPropertyValues(OWLIndividual i,
                                                            OWLObjectPropertyExpression p,
                                                            Stream<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

property values

getNegativeDataPropertyValues

public static Stream<OWLLiteral> getNegativeDataPropertyValues(OWLIndividual i,
                                                               OWLDataPropertyExpression p,
                                                               OWLOntology ontology)

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

property values

getNegativeDataPropertyValues

public static Stream<OWLLiteral> getNegativeDataPropertyValues(OWLIndividual i,
                                                               OWLDataPropertyExpression p,
                                                               Stream<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

property values

getNegativeObjectPropertyValues

public static Stream<OWLIndividual> getNegativeObjectPropertyValues(OWLIndividual i,
                                                                    OWLObjectPropertyExpression p,
                                                                    OWLOntology ontology)

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

property values

getNegativeObjectPropertyValues

public static Stream<OWLIndividual> getNegativeObjectPropertyValues(OWLIndividual i,
                                                                    OWLObjectPropertyExpression p,
                                                                    Stream<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

property values

hasDataPropertyValues

public static boolean hasDataPropertyValues(OWLIndividual i,
                                            OWLDataPropertyExpression p,
                                            OWLOntology ontology)

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

true if values are present

hasDataPropertyValues

public static boolean hasDataPropertyValues(OWLIndividual i,
                                            OWLDataPropertyExpression p,
                                            Stream<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

true if value present

hasObjectPropertyValues

public static boolean hasObjectPropertyValues(OWLIndividual i,
                                              OWLObjectPropertyExpression p,
                                              OWLOntology ontology)

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

true if value present

hasObjectPropertyValues

public static boolean hasObjectPropertyValues(OWLIndividual i,
                                              OWLObjectPropertyExpression p,
                                              Stream<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

true if value present

hasNegativeDataPropertyValues

public static boolean hasNegativeDataPropertyValues(OWLIndividual i,
                                                    OWLDataPropertyExpression p,
                                                    OWLOntology ontology)

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

true if value present

hasNegativeDataPropertyValues

public static boolean hasNegativeDataPropertyValues(OWLIndividual i,
                                                    OWLDataPropertyExpression p,
                                                    Stream<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

true if value present

hasNegativeObjectPropertyValues

public static boolean hasNegativeObjectPropertyValues(OWLIndividual i,
                                                      OWLObjectPropertyExpression p,
                                                      OWLOntology ontology)

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

true if value present

hasNegativeObjectPropertyValues

public static boolean hasNegativeObjectPropertyValues(OWLIndividual i,
                                                      OWLObjectPropertyExpression p,
                                                      Stream<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

true if value present

hasDataPropertyValue

public static boolean hasDataPropertyValue(OWLIndividual i,
                                           OWLDataPropertyExpression p,
                                           OWLLiteral lit,
                                           OWLOntology ontology)

Parameters:

i - individual

p - property to search

lit - literal to search

ontology - ontology to search

Returns:

true if value present

hasDataPropertyValue

public static boolean hasDataPropertyValue(OWLIndividual i,
                                           OWLDataPropertyExpression p,
                                           OWLLiteral lit,
                                           Stream<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

lit - literal to search

ontologies - ontologies to search

Returns:

true if value present

hasObjectPropertyValue

public static boolean hasObjectPropertyValue(OWLIndividual i,
                                             OWLObjectPropertyExpression p,
                                             OWLIndividual j,
                                             OWLOntology ontology)

Parameters:

i - individual

p - property to search

j - individual to search

ontology - ontology to search

Returns:

true if value present

hasObjectPropertyValue

public static boolean hasObjectPropertyValue(OWLIndividual i,
                                             OWLObjectPropertyExpression p,
                                             OWLIndividual j,
                                             Stream<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

j - individual to search

ontologies - ontologies to search

Returns:

true if value present

hasNegativeDataPropertyValue

public static boolean hasNegativeDataPropertyValue(OWLIndividual i,
                                                   OWLDataPropertyExpression p,
                                                   OWLLiteral lit,
                                                   OWLOntology ontology)

Parameters:

i - individual

p - property to search

lit - literal to search

ontology - ontology to search

Returns:

true if value present

hasNegativeDataPropertyValue

public static boolean hasNegativeDataPropertyValue(OWLIndividual i,
                                                   OWLDataPropertyExpression p,
                                                   OWLLiteral lit,
                                                   Stream<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

lit - literal to search

ontologies - ontologies to search

Returns:

true if value present

hasNegativeObjectPropertyValue

public static boolean hasNegativeObjectPropertyValue(OWLIndividual i,
                                                     OWLObjectPropertyExpression p,
                                                     OWLIndividual j,
                                                     OWLOntology ontology)

Parameters:

i - individual

p - property to search

j - individual to search

ontology - ontology to search

Returns:

true if value present

hasNegativeObjectPropertyValue

public static boolean hasNegativeObjectPropertyValue(OWLIndividual i,
                                                     OWLObjectPropertyExpression p,
                                                     OWLIndividual j,
                                                     Stream<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

j - individual to search

ontologies - ontologies to search

Returns:

true if value present

getDataPropertyValues

public static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> getDataPropertyValues(OWLIndividual i,
                                                                                                             OWLOntology ontology)

Parameters:

i - individual

ontology - ontology to search

Returns:

property values

getDataPropertyValues

public static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> getDataPropertyValues(OWLIndividual i,
                                                                                                             Stream<OWLOntology> ontologies)

Parameters:

i - individual

ontologies - ontologies to search

Returns:

literal values

getObjectPropertyValues

public static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> getObjectPropertyValues(OWLIndividual i,
                                                                                                                    OWLOntology ontology)

Parameters:

i - individual

ontology - ontology to search

Returns:

property values

getObjectPropertyValues

public static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> getObjectPropertyValues(OWLIndividual i,
                                                                                                                    Stream<OWLOntology> ontologies)

Parameters:

i - individual

ontologies - ontologies to search

Returns:

property values

getNegativeObjectPropertyValues

public static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> getNegativeObjectPropertyValues(OWLIndividual i,
                                                                                                                            OWLOntology ontology)

Parameters:

i - individual

ontology - ontology to search

Returns:

property values

getNegativeDataPropertyValues

public static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> getNegativeDataPropertyValues(OWLIndividual i,
                                                                                                                     OWLOntology ontology)

Parameters:

i - individual

ontology - ontology to search

Returns:

property values

getNegativeObjectPropertyValues

public static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> getNegativeObjectPropertyValues(OWLIndividual i,
                                                                                                                            Stream<OWLOntology> ontologies)

Parameters:

i - individual

ontologies - ontologies to search

Returns:

property values

getNegativeDataPropertyValues

public static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> getNegativeDataPropertyValues(OWLIndividual i,
                                                                                                                     Stream<OWLOntology> ontologies)

Parameters:

i - individual

ontologies - ontologies to search

Returns:

property values

getInverses

public static Stream<OWLObjectPropertyExpression> getInverses(OWLObjectPropertyExpression e,
                                                              OWLOntology ontology)

Parameters:

e - object property

ontology - ontology to search

Returns:

property inverses

getInverses

public static Stream<OWLObjectPropertyExpression> getInverses(OWLObjectPropertyExpression e,
                                                              Stream<OWLOntology> ontologies)

Parameters:

e - object property

ontologies - ontologies to search

Returns:

property inverses

getInstances

public static Stream<OWLIndividual> getInstances(OWLClassExpression e,
                                                 OWLOntology ontology)

Parameters:

e - class

ontology - ontology to search

Returns:

instances of class

getInstances

public static Stream<OWLIndividual> getInstances(OWLClassExpression e,
                                                 Stream<OWLOntology> ontologies)

Parameters:

e - class

ontologies - ontologies to search

Returns:

instances of class

getTypes

public static Stream<OWLClassExpression> getTypes(OWLIndividual e,
                                                  OWLOntology ontology)

Parameters:

e - individual

ontology - ontology to search

Returns:

types for individual

getTypes

public static Stream<OWLClassExpression> getTypes(OWLIndividual e,
                                                  Stream<OWLOntology> ontologies)

Parameters:

e - individual

ontologies - ontologies to search

Returns:

types for individual