Package 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

Constructor Summary

Constructors

Constructor	Description
EntitySearcher()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

EntitySearcher

public EntitySearcher()

Method Detail

getAnnotations

@Nonnull
public static Collection<OWLAnnotation> getAnnotations(@Nonnull
                                                       OWLEntity e,
                                                       @Nonnull
                                                       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

@Nonnull
public static Collection<OWLAnnotation> getAnnotations(@Nonnull
                                                       OWLAnnotationSubject e,
                                                       @Nonnull
                                                       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

@Nonnull
public static Collection<OWLAnnotation> getAnnotations(@Nonnull
                                                       OWLEntity e,
                                                       @Nonnull
                                                       OWLOntology ontology,
                                                       @Nonnull
                                                       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

@Nonnull
public static Collection<OWLAnnotation> getAnnotations(@Nonnull
                                                       OWLAnnotationSubject e,
                                                       @Nonnull
                                                       OWLOntology ontology,
                                                       @Nonnull
                                                       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

@Nonnull
public static Collection<OWLAnnotation> getAnnotations(@Nonnull
                                                       OWLAnnotationSubject e,
                                                       @Nonnull
                                                       Iterable<OWLOntology> ontologies,
                                                       @Nonnull
                                                       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

@Nonnull
public static Collection<OWLAnnotation> getAnnotations(@Nonnull
                                                       OWLEntity e,
                                                       @Nonnull
                                                       Iterable<OWLOntology> ontologies,
                                                       @Nonnull
                                                       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.

getAnnotationObjects

@Nonnull
public static Collection<OWLAnnotation> getAnnotationObjects(@Nonnull
                                                             OWLEntity e,
                                                             @Nonnull
                                                             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

@Nonnull
public static Collection<OWLAnnotation> getAnnotationObjects(@Nonnull
                                                             OWLEntity e,
                                                             @Nonnull
                                                             OWLOntology ontology)

Obtains the annotations on this entity; 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

@Nonnull
public static Collection<OWLAnnotation> getAnnotationObjects(@Nonnull
                                                             OWLEntity e,
                                                             @Nonnull
                                                             Iterable<OWLOntology> ontologies)

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

Parameters:

e - entity

ontologies - The ontologies to examine for annotation axioms

Returns:

A set of OWLAnnotation objects that have the specified URI.

getAnnotationObjects

@Nonnull
public static Collection<OWLAnnotation> getAnnotationObjects(@Nonnull
                                                             OWLAnnotationSubject e,
                                                             @Nonnull
                                                             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

@Nonnull
public static Collection<OWLAnnotation> getAnnotationObjects(@Nonnull
                                                             OWLAnnotationSubject e,
                                                             @Nonnull
                                                             Iterable<OWLOntology> ontologies,
                                                             @Nonnull
                                                             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

@Nonnull
public static Collection<OWLAnnotation> getAnnotationObjects(@Nonnull
                                                             OWLEntity e,
                                                             @Nonnull
                                                             Iterable<OWLOntology> ontologies,
                                                             @Nonnull
                                                             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.

getAnnotationAssertionAxioms

@Nonnull
public static Collection<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(@Nonnull
                                                                                   OWLEntity e,
                                                                                   @Nonnull
                                                                                   OWLOntology ontology)

Parameters:

e - entity

ontology - the ontology to use

Returns:

the annotation assertion axioms about this entity in the provided ontology

getAnnotationAssertionAxioms

@Nonnull
public static Collection<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(@Nonnull
                                                                                   OWLAnnotationSubject e,
                                                                                   @Nonnull
                                                                                   OWLOntology ontology)

Parameters:

e - entity

ontology - the ontology to use

Returns:

the annotation assertion axioms about this entity in the provided ontology

getSubProperties

@Nonnull
public static Collection<OWLAnnotationProperty> getSubProperties(@Nonnull
                                                                 OWLAnnotationProperty e,
                                                                 @Nonnull
                                                                 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 SubAnnotationPropertyOf 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

@Nonnull
public static Collection<OWLAnnotationProperty> getSubProperties(@Nonnull
                                                                 OWLAnnotationProperty e,
                                                                 @Nonnull
                                                                 OWLOntology ontology,
                                                                 boolean imports)

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 SubAnnotationPropertyOf axioms.

imports - if true include imports closure

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

@Nonnull
public static Collection<OWLAnnotationProperty> getSubProperties(@Nonnull
                                                                 OWLAnnotationProperty e,
                                                                 @Nonnull
                                                                 Iterable<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 SubAnnotationPropertyOf 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

@Nonnull
public static Collection<OWLAnnotationProperty> getSuperProperties(@Nonnull
                                                                   OWLAnnotationProperty e,
                                                                   @Nonnull
                                                                   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 SubAnnotationPropertyOf 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

@Nonnull
public static Collection<OWLAnnotationProperty> getSuperProperties(@Nonnull
                                                                   OWLAnnotationProperty e,
                                                                   @Nonnull
                                                                   OWLOntology ontology,
                                                                   boolean imports)

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 SubAnnotationPropertyOf axioms.

imports - if true include imports closure

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

@Nonnull
public static Collection<OWLAnnotationProperty> getSuperProperties(@Nonnull
                                                                   OWLAnnotationProperty e,
                                                                   @Nonnull
                                                                   Iterable<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 SubAnnotationPropertyOf 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

@Nonnull
public static Collection<OWLObjectPropertyExpression> getSubProperties(@Nonnull
                                                                       OWLObjectPropertyExpression e,
                                                                       @Nonnull
                                                                       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 SubAnnotationPropertyOf 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

@Nonnull
public static Collection<OWLObjectPropertyExpression> getSubProperties(@Nonnull
                                                                       OWLObjectPropertyExpression e,
                                                                       @Nonnull
                                                                       OWLOntology ontology,
                                                                       boolean imports)

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 SubAnnotationPropertyOf axioms.

imports - if true include imports closure

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

@Nonnull
public static Collection<OWLObjectPropertyExpression> getSubProperties(@Nonnull
                                                                       OWLObjectPropertyExpression e,
                                                                       @Nonnull
                                                                       Iterable<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 SubAnnotationPropertyOf 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

@Nonnull
public static <P extends OWLPropertyExpression> Collection<P> getSubProperties(@Nonnull
                                                                               P e,
                                                                               @Nonnull
                                                                               OWLOntology ontology)

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

Type Parameters:

P - type of property

Parameters:

e - entity

ontology - The ontology to be examined for SubAnnotationPropertyOf 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

@Nonnull
public static <P extends OWLPropertyExpression> Collection<P> getSubProperties(@Nonnull
                                                                               P e,
                                                                               @Nonnull
                                                                               OWLOntology ontology,
                                                                               boolean imports)

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

Type Parameters:

P - type of property

Parameters:

e - entity

ontology - The ontology to be examined for SubAnnotationPropertyOf axioms.

imports - if true include imports closure

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

@Nonnull
public static <P extends OWLPropertyExpression> Collection<P> getSubProperties(@Nonnull
                                                                               P e,
                                                                               @Nonnull
                                                                               Iterable<OWLOntology> ontologies)

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

Type Parameters:

P - type of property

Parameters:

e - entity

ontologies - The ontologies to be examined for SubAnnotationPropertyOf 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

@Nonnull
public static <P extends OWLPropertyExpression> Collection<P> getSuperProperties(@Nonnull
                                                                                 P e,
                                                                                 @Nonnull
                                                                                 OWLOntology ontology)

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

Type Parameters:

P - type of property

Parameters:

e - entity

ontology - The ontology to be examined for SubAnnotationPropertyOf 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

@Nonnull
public static <P extends OWLPropertyExpression> Collection<P> getSuperProperties(@Nonnull
                                                                                 P e,
                                                                                 @Nonnull
                                                                                 OWLOntology ontology,
                                                                                 boolean imports)

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

Type Parameters:

P - type of property

Parameters:

e - entity

ontology - The ontology to be examined for SubAnnotationPropertyOf axioms.

imports - if true include imports closure

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

@Nonnull
public static <P extends OWLPropertyExpression> Collection<P> getSuperProperties(@Nonnull
                                                                                 P e,
                                                                                 @Nonnull
                                                                                 Iterable<OWLOntology> ontologies)

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

Type Parameters:

P - type of property

Parameters:

e - entity

ontologies - The ontologies to be examined for SubAnnotationPropertyOf 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

@Nonnull
public static Collection<OWLObjectPropertyExpression> getSuperProperties(@Nonnull
                                                                         OWLObjectPropertyExpression e,
                                                                         @Nonnull
                                                                         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 SubAnnotationPropertyOf 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

@Nonnull
public static Collection<OWLObjectPropertyExpression> getSuperProperties(@Nonnull
                                                                         OWLObjectPropertyExpression e,
                                                                         @Nonnull
                                                                         OWLOntology ontology,
                                                                         boolean imports)

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 SubAnnotationPropertyOf axioms.

imports - if true include imports closure

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

@Nonnull
public static Collection<OWLObjectPropertyExpression> getSuperProperties(@Nonnull
                                                                         OWLObjectPropertyExpression e,
                                                                         @Nonnull
                                                                         Iterable<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 SubAnnotationPropertyOf 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

@Nonnull
public static Collection<OWLDataPropertyExpression> getSubProperties(@Nonnull
                                                                     OWLDataPropertyExpression e,
                                                                     @Nonnull
                                                                     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 SubAnnotationPropertyOf 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

@Nonnull
public static Collection<OWLDataPropertyExpression> getSubProperties(@Nonnull
                                                                     OWLDataPropertyExpression e,
                                                                     @Nonnull
                                                                     OWLOntology ontology,
                                                                     boolean imports)

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 SubAnnotationPropertyOf axioms.

imports - if true include imports closure

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

@Nonnull
public static Collection<OWLDataPropertyExpression> getSubProperties(@Nonnull
                                                                     OWLDataPropertyExpression e,
                                                                     @Nonnull
                                                                     Iterable<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 SubAnnotationPropertyOf 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

@Nonnull
public static Collection<OWLDataPropertyExpression> getSuperProperties(@Nonnull
                                                                       OWLDataPropertyExpression e,
                                                                       @Nonnull
                                                                       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 SubAnnotationPropertyOf 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

@Nonnull
public static Collection<OWLDataPropertyExpression> getSuperProperties(@Nonnull
                                                                       OWLDataPropertyExpression e,
                                                                       @Nonnull
                                                                       OWLOntology ontology,
                                                                       boolean imports)

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 SubAnnotationPropertyOf axioms.

imports - if true include imports closure

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

@Nonnull
public static Collection<OWLDataPropertyExpression> getSuperProperties(@Nonnull
                                                                       OWLDataPropertyExpression e,
                                                                       @Nonnull
                                                                       Iterable<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 SubAnnotationPropertyOf 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

@Nonnull
public static Collection<OWLClassExpression> getSuperClasses(@Nonnull
                                                             OWLClass e,
                                                             @Nonnull
                                                             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

@Nonnull
public static Collection<OWLClassExpression> getSuperClasses(@Nonnull
                                                             OWLClass e,
                                                             @Nonnull
                                                             Iterable<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

@Nonnull
public static Collection<OWLClassExpression> getSubClasses(@Nonnull
                                                           OWLClass e,
                                                           @Nonnull
                                                           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

@Nonnull
public static Collection<OWLClassExpression> getSubClasses(@Nonnull
                                                           OWLClass e,
                                                           @Nonnull
                                                           Iterable<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

@Nonnull
public static Collection<OWLClassExpression> getEquivalentClasses(@Nonnull
                                                                  OWLClass e,
                                                                  @Nonnull
                                                                  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

@Nonnull
public static Collection<OWLClassExpression> getEquivalentClasses(@Nonnull
                                                                  OWLClass e,
                                                                  @Nonnull
                                                                  Iterable<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

@Nonnull
public static Collection<OWLClassExpression> getDisjointClasses(@Nonnull
                                                                OWLClass e,
                                                                @Nonnull
                                                                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

@Nonnull
public static Collection<OWLClassExpression> getDisjointClasses(@Nonnull
                                                                OWLClass e,
                                                                @Nonnull
                                                                Iterable<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

@Nonnull
public static Collection<OWLIndividual> getDifferentIndividuals(@Nonnull
                                                                OWLIndividual e,
                                                                @Nonnull
                                                                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

@Nonnull
public static Collection<OWLIndividual> getDifferentIndividuals(@Nonnull
                                                                OWLIndividual e,
                                                                @Nonnull
                                                                Iterable<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

@Nonnull
public static Collection<OWLIndividual> getSameIndividuals(@Nonnull
                                                           OWLIndividual e,
                                                           @Nonnull
                                                           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

@Nonnull
public static Collection<OWLIndividual> getSameIndividuals(@Nonnull
                                                           OWLIndividual e,
                                                           @Nonnull
                                                           Iterable<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

@Nonnull
public static Collection<OWLDataPropertyExpression> getEquivalentProperties(@Nonnull
                                                                            OWLDataProperty e,
                                                                            @Nonnull
                                                                            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

@Nonnull
public static Collection<OWLDataPropertyExpression> getEquivalentProperties(@Nonnull
                                                                            OWLDataProperty e,
                                                                            @Nonnull
                                                                            Iterable<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.

getEquivalentProperties

@Nonnull
public static <P extends OWLPropertyExpression> Collection<P> getEquivalentProperties(@Nonnull
                                                                                      P e,
                                                                                      @Nonnull
                                                                                      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.

Type Parameters:

P - type of property

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

@Nonnull
public static <P extends OWLPropertyExpression> Collection<P> getEquivalentProperties(@Nonnull
                                                                                      P e,
                                                                                      @Nonnull
                                                                                      Iterable<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.

Type Parameters:

P - type of property

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

@Nonnull
public static Collection<OWLDataPropertyExpression> getDisjointProperties(@Nonnull
                                                                          OWLDataProperty e,
                                                                          @Nonnull
                                                                          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

@Nonnull
public static Collection<OWLDataPropertyExpression> getDisjointProperties(@Nonnull
                                                                          OWLDataProperty e,
                                                                          @Nonnull
                                                                          Iterable<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.

getDisjointProperties

@Nonnull
public static <P extends OWLPropertyExpression> Collection<P> getDisjointProperties(@Nonnull
                                                                                    P e,
                                                                                    @Nonnull
                                                                                    OWLOntology ontology)

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

Type Parameters:

P - type of property

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

@Nonnull
public static <P extends OWLPropertyExpression> Collection<P> getDisjointProperties(@Nonnull
                                                                                    P e,
                                                                                    @Nonnull
                                                                                    Iterable<OWLOntology> ontologies)

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

Type Parameters:

P - type of property

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

@Nonnull
public static Collection<OWLObjectPropertyExpression> getEquivalentProperties(@Nonnull
                                                                              OWLObjectPropertyExpression e,
                                                                              @Nonnull
                                                                              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

@Nonnull
public static Collection<OWLObjectPropertyExpression> getEquivalentProperties(@Nonnull
                                                                              OWLObjectPropertyExpression e,
                                                                              @Nonnull
                                                                              Iterable<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

@Nonnull
public static Collection<OWLObjectPropertyExpression> getDisjointProperties(@Nonnull
                                                                            OWLObjectPropertyExpression e,
                                                                            @Nonnull
                                                                            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

@Nonnull
public static Collection<OWLObjectPropertyExpression> getDisjointProperties(@Nonnull
                                                                            OWLObjectPropertyExpression e,
                                                                            @Nonnull
                                                                            Iterable<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.

getIndividuals

@Nonnull
public static Collection<OWLIndividual> getIndividuals(@Nonnull
                                                       OWLClass e,
                                                       @Nonnull
                                                       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

@Nonnull
public static Collection<OWLIndividual> getIndividuals(@Nonnull
                                                       OWLClass e,
                                                       @Nonnull
                                                       Iterable<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

@Nonnull
public static Collection<OWLAxiom> getReferencingAxioms(@Nonnull
                                                        OWLEntity e,
                                                        @Nonnull
                                                        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

@Nonnull
public static Collection<OWLAxiom> getReferencingAxioms(@Nonnull
                                                        OWLEntity e,
                                                        @Nonnull
                                                        OWLOntology ontology,
                                                        boolean 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

@Nonnull
public static Collection<OWLClassExpression> getDomains(@Nonnull
                                                        OWLDataProperty e,
                                                        @Nonnull
                                                        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

@Nonnull
public static Collection<OWLClassExpression> getDomains(@Nonnull
                                                        OWLDataProperty e,
                                                        @Nonnull
                                                        Iterable<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

@Nonnull
public static Collection<OWLClassExpression> getDomains(@Nonnull
                                                        OWLObjectPropertyExpression e,
                                                        @Nonnull
                                                        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

@Nonnull
public static Collection<OWLDataRange> getRanges(@Nonnull
                                                 OWLDataProperty e,
                                                 @Nonnull
                                                 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

@Nonnull
public static Collection<OWLDataRange> getRanges(@Nonnull
                                                 OWLDataProperty e,
                                                 @Nonnull
                                                 Iterable<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

@Nonnull
public static Collection<OWLClassExpression> getDomains(@Nonnull
                                                        OWLObjectPropertyExpression e,
                                                        @Nonnull
                                                        Iterable<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

@Nonnull
public static Collection<OWLClassExpression> getRanges(@Nonnull
                                                       OWLObjectPropertyExpression e,
                                                       @Nonnull
                                                       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

@Nonnull
public static Collection<OWLClassExpression> getRanges(@Nonnull
                                                       OWLObjectPropertyExpression e,
                                                       @Nonnull
                                                       Iterable<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

@Nonnull
public static Collection<IRI> getDomains(@Nonnull
                                         OWLAnnotationProperty e,
                                         @Nonnull
                                         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

@Nonnull
public static Collection<IRI> getDomains(@Nonnull
                                         OWLAnnotationProperty e,
                                         @Nonnull
                                         Iterable<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

@Nonnull
public static Collection<IRI> getRanges(@Nonnull
                                        OWLAnnotationProperty e,
                                        @Nonnull
                                        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

@Nonnull
public static Collection<IRI> getRanges(@Nonnull
                                        OWLAnnotationProperty e,
                                        @Nonnull
                                        Iterable<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(@Nonnull
                                   OWLObjectPropertyExpression e,
                                   @Nonnull
                                   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(@Nonnull
                                   OWLObjectPropertyExpression e,
                                   @Nonnull
                                   Iterable<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(@Nonnull
                                  OWLObjectPropertyExpression e,
                                  @Nonnull
                                  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(@Nonnull
                                  OWLObjectPropertyExpression e,
                                  @Nonnull
                                  Iterable<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(@Nonnull
                                   OWLObjectPropertyExpression e,
                                   @Nonnull
                                   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(@Nonnull
                                   OWLObjectPropertyExpression e,
                                   @Nonnull
                                   Iterable<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(@Nonnull
                                  OWLObjectPropertyExpression e,
                                  @Nonnull
                                  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(@Nonnull
                                  OWLObjectPropertyExpression e,
                                  @Nonnull
                                  Iterable<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(@Nonnull
                                    OWLObjectPropertyExpression e,
                                    @Nonnull
                                    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(@Nonnull
                                    OWLObjectPropertyExpression e,
                                    @Nonnull
                                    Iterable<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(@Nonnull
                                          OWLObjectPropertyExpression e,
                                          @Nonnull
                                          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(@Nonnull
                                          OWLObjectPropertyExpression e,
                                          @Nonnull
                                          Iterable<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(@Nonnull
                                   OWLObjectPropertyExpression e,
                                   @Nonnull
                                   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(@Nonnull
                                   OWLObjectPropertyExpression e,
                                   @Nonnull
                                   Iterable<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(@Nonnull
                                   OWLDataProperty e,
                                   @Nonnull
                                   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(@Nonnull
                                   OWLDataProperty e,
                                   @Nonnull
                                   Iterable<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(@Nonnull
                                OWLClass c,
                                @Nonnull
                                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(@Nonnull
                                OWLClass c,
                                @Nonnull
                                Iterable<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(@Nonnull
                                    OWLAxiom a,
                                    @Nonnull
                                    OWLOntology o,
                                    boolean 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(@Nonnull
                                    OWLAxiom a,
                                    @Nonnull
                                    Iterable<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 @return true if a is contained

Returns:

true if a is contained

containsAxiomIgnoreAnnotations

public static boolean containsAxiomIgnoreAnnotations(@Nonnull
                                                     OWLAxiom a,
                                                     @Nonnull
                                                     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(@Nonnull
                                                     OWLAxiom a,
                                                     @Nonnull
                                                     Iterable<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 @return true if a is contained

Returns:

true if a is contained

getAxiomsIgnoreAnnotations

public static Collection<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull
                                                              OWLAxiom a,
                                                              @Nonnull
                                                              OWLOntology o,
                                                              boolean imports)

Get matching axioms for a, ignoring annotations.

Parameters:

o - ontology

a - axiom

imports - true if imports closure is included

Returns:

matching axioms

getDataPropertyValues

@Nonnull
public static Collection<OWLLiteral> getDataPropertyValues(@Nonnull
                                                           OWLIndividual i,
                                                           @Nonnull
                                                           OWLDataPropertyExpression p,
                                                           @Nonnull
                                                           OWLOntology ontology)

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

literal values

getDataPropertyValues

@Nonnull
public static Collection<OWLLiteral> getDataPropertyValues(@Nonnull
                                                           OWLIndividual i,
                                                           @Nonnull
                                                           OWLDataPropertyExpression p,
                                                           @Nonnull
                                                           Iterable<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

literal values

getObjectPropertyValues

@Nonnull
public static Collection<OWLIndividual> getObjectPropertyValues(@Nonnull
                                                                OWLIndividual i,
                                                                @Nonnull
                                                                OWLObjectPropertyExpression p,
                                                                @Nonnull
                                                                OWLOntology ontology)

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

property values

getObjectPropertyValues

@Nonnull
public static Collection<OWLIndividual> getObjectPropertyValues(@Nonnull
                                                                OWLIndividual i,
                                                                @Nonnull
                                                                OWLObjectPropertyExpression p,
                                                                @Nonnull
                                                                Iterable<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

property values

getNegativeDataPropertyValues

@Nonnull
public static Collection<OWLLiteral> getNegativeDataPropertyValues(@Nonnull
                                                                   OWLIndividual i,
                                                                   @Nonnull
                                                                   OWLDataPropertyExpression p,
                                                                   @Nonnull
                                                                   OWLOntology ontology)

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

property values

getNegativeDataPropertyValues

@Nonnull
public static Collection<OWLLiteral> getNegativeDataPropertyValues(@Nonnull
                                                                   OWLIndividual i,
                                                                   @Nonnull
                                                                   OWLDataPropertyExpression p,
                                                                   @Nonnull
                                                                   Iterable<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

property values

getNegativeObjectPropertyValues

@Nonnull
public static Collection<OWLIndividual> getNegativeObjectPropertyValues(@Nonnull
                                                                        OWLIndividual i,
                                                                        @Nonnull
                                                                        OWLObjectPropertyExpression p,
                                                                        @Nonnull
                                                                        OWLOntology ontology)

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

property values

getNegativeObjectPropertyValues

@Nonnull
public static Collection<OWLIndividual> getNegativeObjectPropertyValues(@Nonnull
                                                                        OWLIndividual i,
                                                                        @Nonnull
                                                                        OWLObjectPropertyExpression p,
                                                                        @Nonnull
                                                                        Iterable<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

property values

hasDataPropertyValues

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

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

true if values are present

hasDataPropertyValues

public static boolean hasDataPropertyValues(@Nonnull
                                            OWLIndividual i,
                                            @Nonnull
                                            OWLDataPropertyExpression p,
                                            @Nonnull
                                            Iterable<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

true if value present

hasObjectPropertyValues

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

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

true if value present

hasObjectPropertyValues

public static boolean hasObjectPropertyValues(@Nonnull
                                              OWLIndividual i,
                                              @Nonnull
                                              OWLObjectPropertyExpression p,
                                              @Nonnull
                                              Iterable<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

true if value present

hasNegativeDataPropertyValues

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

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

true if value present

hasNegativeDataPropertyValues

public static boolean hasNegativeDataPropertyValues(@Nonnull
                                                    OWLIndividual i,
                                                    @Nonnull
                                                    OWLDataPropertyExpression p,
                                                    @Nonnull
                                                    Iterable<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

true if value present

hasNegativeObjectPropertyValues

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

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

true if value present

hasNegativeObjectPropertyValues

public static boolean hasNegativeObjectPropertyValues(@Nonnull
                                                      OWLIndividual i,
                                                      @Nonnull
                                                      OWLObjectPropertyExpression p,
                                                      @Nonnull
                                                      Iterable<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

true if value present

hasDataPropertyValue

public static boolean hasDataPropertyValue(@Nonnull
                                           OWLIndividual i,
                                           @Nonnull
                                           OWLDataPropertyExpression p,
                                           @Nonnull
                                           OWLLiteral lit,
                                           @Nonnull
                                           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(@Nonnull
                                           OWLIndividual i,
                                           @Nonnull
                                           OWLDataPropertyExpression p,
                                           @Nonnull
                                           OWLLiteral lit,
                                           @Nonnull
                                           Iterable<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(@Nonnull
                                             OWLIndividual i,
                                             @Nonnull
                                             OWLObjectPropertyExpression p,
                                             @Nonnull
                                             OWLIndividual j,
                                             @Nonnull
                                             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(@Nonnull
                                             OWLIndividual i,
                                             @Nonnull
                                             OWLObjectPropertyExpression p,
                                             @Nonnull
                                             OWLIndividual j,
                                             @Nonnull
                                             Iterable<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(@Nonnull
                                                   OWLIndividual i,
                                                   @Nonnull
                                                   OWLDataPropertyExpression p,
                                                   @Nonnull
                                                   OWLLiteral lit,
                                                   @Nonnull
                                                   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(@Nonnull
                                                   OWLIndividual i,
                                                   @Nonnull
                                                   OWLDataPropertyExpression p,
                                                   @Nonnull
                                                   OWLLiteral lit,
                                                   @Nonnull
                                                   Iterable<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(@Nonnull
                                                     OWLIndividual i,
                                                     @Nonnull
                                                     OWLObjectPropertyExpression p,
                                                     @Nonnull
                                                     OWLIndividual j,
                                                     @Nonnull
                                                     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(@Nonnull
                                                     OWLIndividual i,
                                                     @Nonnull
                                                     OWLObjectPropertyExpression p,
                                                     @Nonnull
                                                     OWLIndividual j,
                                                     @Nonnull
                                                     Iterable<OWLOntology> ontologies)

Parameters:

i - individual

p - property to search

j - individual to search

ontologies - ontologies to search

Returns:

true if value present

getDataPropertyValues

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

Parameters:

i - individual

ontology - ontology to search

Returns:

property values

getDataPropertyValues

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

Parameters:

i - individual

ontologies - ontologies to search

Returns:

literal values

getObjectPropertyValues

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

Parameters:

i - individual

ontology - ontology to search

Returns:

property values

getObjectPropertyValues

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

Parameters:

i - individual

ontologies - ontologies to search

Returns:

property values

getNegativeObjectPropertyValues

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

Parameters:

i - individual

ontology - ontology to search

Returns:

property values

getNegativeDataPropertyValues

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

Parameters:

i - individual

ontology - ontology to search

Returns:

property values

getNegativeObjectPropertyValues

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

Parameters:

i - individual

ontologies - ontologies to search

Returns:

property values

getNegativeDataPropertyValues

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

Parameters:

i - individual

ontologies - ontologies to search

Returns:

property values

getInverses

@Nonnull
public static Collection<OWLObjectPropertyExpression> getInverses(@Nonnull
                                                                  OWLObjectPropertyExpression e,
                                                                  @Nonnull
                                                                  OWLOntology ontology)

Parameters:

e - object property

ontology - ontology to search

Returns:

property inverses

getInverses

@Nonnull
public static Collection<OWLObjectPropertyExpression> getInverses(@Nonnull
                                                                  OWLObjectPropertyExpression e,
                                                                  @Nonnull
                                                                  Iterable<OWLOntology> ontologies)

Parameters:

e - object property

ontologies - ontologies to search

Returns:

property inverses

getInstances

@Nonnull
public static Collection<OWLIndividual> getInstances(@Nonnull
                                                     OWLClassExpression e,
                                                     @Nonnull
                                                     OWLOntology ontology)

Parameters:

e - class

ontology - ontology to search

Returns:

instances of class

getInstances

@Nonnull
public static Collection<OWLIndividual> getInstances(@Nonnull
                                                     OWLClassExpression e,
                                                     @Nonnull
                                                     Iterable<OWLOntology> ontologies)

Parameters:

e - class

ontologies - ontologies to search

Returns:

instances of class

getTypes

@Nonnull
public static Collection<OWLClassExpression> getTypes(@Nonnull
                                                      OWLIndividual e,
                                                      @Nonnull
                                                      OWLOntology ontology)

Parameters:

e - individual

ontology - ontology to search

Returns:

types for individual

getTypes

@Nonnull
public static Collection<OWLClassExpression> getTypes(@Nonnull
                                                      OWLIndividual e,
                                                      @Nonnull
                                                      Iterable<OWLOntology> ontologies)

Parameters:

e - individual

ontologies - ontologies to search

Returns:

types for individual