org.semanticweb.owlapi.search

Class EntitySearcher

java.lang.Object

org.semanticweb.owlapi.search.EntitySearcher

public class EntitySearcher
extends Object

Convenience methods moved from OWLEntity and its subinterfaces.

Author:

ignazio

Method Summary

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

Methods inherited from class java.lang.Object

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

Method Detail

getAnnotations

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

Gets the annotations for e. 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 e, 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 e.

getAnnotations

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

Gets the annotations for e. 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 e, 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 e.

getAnnotations

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

Obtains the annotations on e 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 Stream of OWLAnnotation objects that have the specified URI.

getAnnotationObjects

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

Obtains the annotations on e 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. If null, any annotation property will match.

Returns:

A Stream of OWLAnnotation objects that have the specified URI.

getAnnotationObjects

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

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

Parameters:

e - entity

ontology - The ontology to examine for annotation axioms

Returns:

A Stream of OWLAnnotation objects that have the specified URI.

getAnnotationObjects

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

Obtains the annotations on e 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. If null, any annotation property will match.

Returns:

A Stream of OWLAnnotation objects that have the specified URI.

getAnnotationObjects

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

Obtains the annotations on e 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. If null, any annotation property will match.

Returns:

A Stream of OWLAnnotation objects that have the specified URI.

getAnnotationObjects

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

Obtains the annotations on e 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. If null, any annotation property will match.

Returns:

A Stream of OWLAnnotation objects that have the specified URI.

getAnnotations

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

Obtains the annotations on e 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 Stream of OWLAnnotation objects that have the specified URI.

getAnnotations

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

Obtains the annotations on e 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 Stream of OWLAnnotation objects that have the specified URI.

getAnnotations

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

Obtains the annotations on e 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 Stream of OWLAnnotation objects that have the specified URI.

getAnnotationAssertionAxioms

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

Parameters:

e - entity

ontology - the ontology to use

Returns:

the annotation assertion axioms about e in the provided ontology

getAnnotationAssertionAxioms

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

Parameters:

e - entity

ontology - the ontology to use

Returns:

the annotation assertion axioms about e in the provided ontology

getSubProperties

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

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

Parameters:

e - entity

ontology - The ontology to be examined for SubProperty axioms.

Returns:

A Stream of properties such that for each property p the ontology contains an SubPropertyOf(p, e) axiom.

getSubProperties

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

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

Parameters:

e - entity

ontology - The ontology to be examined for SubProperty axioms.

Returns:

A Stream of properties such that for each property p the ontology contains an SubPropertyOf(p, e) axiom.

getSubProperties

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

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

Parameters:

e - entity

ontology - The ontology to be examined for SubProperty axioms.

Returns:

A Stream of properties such that for each property p the ontology contains an SubPropertyOf(p, e) axiom.

getSubProperties

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

Gets the properties which are asserted to be sub-properties of e in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined for SubProperty axioms.

Returns:

A Stream of properties such that for each property p one of the ontologies in ontologies contains an SubPropertyOf(p, e) axiom.

getSubProperties

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

Gets the properties which are asserted to be sub-properties of e in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined for SubProperty axioms.

Returns:

A Stream of properties such that for each property p one of the ontologies in ontologies contains an SubPropertyOf(p, e) axiom.

getSubProperties

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

Gets the properties which are asserted to be sub-properties of e in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined for SubProperty axioms.

Returns:

A Stream of properties such that for each property p one of the ontologies in ontologies contains an SubPropertyOf(p, e) axiom.

getSuperProperties

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

Gets the object property expressions (entities or inverses) which are asserted to be super-properties of e in the specified ontology.

Parameters:

e - object property expression

ontology - The ontology to be examined for SubProperty axioms.

Returns:

A Stream of properties such that for each property p ontology contains an SubPropertyOf(p, e) axiom.

getSuperProperties

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

Gets the data properties which are asserted to be super-properties of e in the specified ontology.

Parameters:

e - data property

ontology - The ontology to be examined for SubProperty axioms.

Returns:

A Stream of properties such that for each property p ontology contains an SubPropertyOf(p, e) axiom.

getSuperProperties

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

Gets the annotation properties which are asserted to be super-properties of e in the specified ontology.

Parameters:

e - annotation property

ontology - The ontology to be examined for SubProperty axioms.

Returns:

A Stream of properties such that for each property p ontology contains an SubPropertyOf(p, e) axiom.

getSuperProperties

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

Gets the properties which are asserted to be super-properties of e in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined for SubPropertyOf axioms.

Returns:

A Stream of properties such that for each property p one of the ontologies in ontologies contains an SubPropertyOf(p, e) axiom.

getSuperProperties

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

Gets the properties which are asserted to be super-properties of e in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined for SubPropertyOf axioms.

Returns:

A Stream of properties such that for each property p one of the ontologies in ontologies contains an SubPropertyOf(p, e) axiom.

getSuperProperties

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

Gets the properties which are asserted to be super-properties of e in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined for SubPropertyOf axioms.

Returns:

A Stream of properties such that for each property p one of the ontologies in ontologies contains an SubPropertyOf(p, e) axiom.

getSuperClasses

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

Gets the classes which have been asserted to be superclasses of e in the specified ontology.

Parameters:

e - entity

ontology - The ontology to be examined

Returns:

A Stream of OWLClassExpressions that represent the superclasses of e, which have been asserted in the specified ontology.

getSuperClasses

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

Gets the classes which have been asserted to be superclasses of e in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined.

Returns:

A Stream of OWLClassExpressionss that represent the super classes of e

getSubClasses

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

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

Parameters:

e - entity

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

Returns:

A Stream of OWLClassExpressions that represent the asserted subclasses of e.

getSubClasses

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

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

Parameters:

e - entity

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

Returns:

A Stream of OWLClassExpressions that represent the asserted subclasses of e.

getEquivalentClasses

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

Gets the classes which have been asserted to be equivalent with e by axioms in the specified ontology.

Parameters:

e - entity

ontology - The ontology to be examined for axioms

Returns:

A Stream of OWLClassExpressions that represent the equivalent classes of e, that have been asserted in the specified ontology.

getEquivalentClasses

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

Gets the classes which have been asserted to be equivalent with e by axioms in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined for axioms

Returns:

A Stream of OWLClassExpressions that represent the equivalent classes of e, that have been asserted in the specified ontologies.

getDisjointClasses

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

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

Parameters:

e - entity

ontology - The ontology to search for disjoint class axioms

Returns:

A Stream of OWLClassExpressions that represent the disjoint classes of e.

getDisjointClasses

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

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

Parameters:

e - entity

ontologies - The ontologies to search for disjoint class axioms

Returns:

A Stream of OWLClassExpressions that represent the disjoint classes of e.

getDifferentIndividuals

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

Gets the individuals asserted to be different to e in the specified ontology.

Parameters:

e - individual

ontology - The ontology to search for different individuals

Returns:

A Stream of different OWLIndividuals.

getDifferentIndividuals

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

Gets the individuals asserted to be different to e in the specified ontologies.

Parameters:

e - individual

ontologies - The ontologies to search for different individuals

Returns:

A Stream of different OWLIndividuals.

getSameIndividuals

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

Gets the individuals asserted to be same as e in the specified ontology.

Parameters:

e - individual

ontology - The ontology to search for same individuals

Returns:

A Stream of same OWLIndividuals.

getSameIndividuals

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

Gets the individuals asserted to be same as e in the specified ontologies.

Parameters:

e - individual

ontologies - The ontologies to search for same individuals

Returns:

A Stream of same OWLIndividuals.

getEquivalentProperties

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

Gets the data properties which have been asserted to be equivalent with e by axioms in the specified ontology.

Parameters:

e - entity

ontology - The ontology to be examined for axioms

Returns:

A Stream of OWLDataPropertyExpressions that represent the data properties equivalent to e, that have been asserted in the specified ontology.

getEquivalentProperties

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

Gets the data properties which have been asserted to be equivalent with e by axioms in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined for axioms

Returns:

A Stream of OWLDataPropertyExpressions that represent the data properties equivalent to e, that have been asserted in the specified ontologies.

getEquivalentProperties

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

Gets the annotation properties which have been asserted to be equivalent with e by axioms in the specified ontology. Note: this method is here to avoid special casing annotation properties. They cannot be asserted to be equivalent, so result is always empty.

Parameters:

e - entity

ontology - The ontology to be examined for axioms

Returns:

A Stream of OWLAnnotationPropertys that represent the annotation properties equivalent to e, that have been asserted in the specified ontology.

getEquivalentProperties

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

Gets the annotation properties which have been asserted to be equivalent with e by axioms in the specified ontologies. Note: this method is here to avoid special casing annotation properties. They cannot be asserted to be equivalent, so result is always empty.

Parameters:

e - entity

ontologies - The ontologies to be examined for axioms

Returns:

A Stream of OWLAnnotationPropertys that represent the annotation properties equivalent to e, that have been asserted in the specified ontologies.

getEquivalentProperties

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

Gets the object properties which have been asserted to be equivalent with e by axioms in the specified ontology.

Parameters:

e - entity

ontology - The ontology to be examined for axioms

Returns:

A Stream of OWLObjectPropertyExpressions that represent the object properties equivalent to e, that have been asserted in the specified ontology.

getEquivalentProperties

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

Gets the object properties which have been asserted to be equivalent with e by axioms in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to be examined for axioms

Returns:

A Stream of OWLObjectPropertyExpressions that represent the object properties equivalent to e, that have been asserted in the specified ontologies.

getDisjointProperties

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

Gets the object properties which have been asserted to be disjoint with e in the specified ontology.

Parameters:

e - entity

ontology - The ontology to search for disjoint axioms

Returns:

A Stream of OWLObjectPropertyExpressions that represent the object properties disjoint with e.

getDisjointProperties

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

Gets the object properties which have been asserted to be disjoint with e in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to search for disjoint axioms

Returns:

A Stream of OWLObjectPropertyExpressions that represent the object properties disjoint with e.

getDisjointProperties

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

Gets the data properties which have been asserted to be disjoint with e in the specified ontology.

Parameters:

e - entity

ontology - The ontology to search for disjoint axioms

Returns:

A Stream of OWLDataPropertys that represent the data properties disjoint with e.

getDisjointProperties

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

Gets the data properties which have been asserted to be disjoint with e in the specified ontologies.

Parameters:

e - entity

ontologies - The ontologies to search for disjoint axioms

Returns:

A Stream of OWLDataPropertys that represent the data properties disjoint with e.

getDisjointProperties

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

Gets the annotation properties which have been asserted to be disjoint with e in the specified ontology. Note: This method is here for backwards compatibility. No disjoint axioms for annotation properties.

Parameters:

e - entity

ontology - The ontology to search for disjoint axioms

Returns:

A Stream of OWLAnnotationPropertys that represent the properties disjoint with e.

getDisjointProperties

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

Gets the annotation properties which have been asserted to be disjoint with e in the specified ontologies. Note: This method is here for backwards compatibility. No disjoint axioms for annotation properties.

Parameters:

e - entity

ontologies - The ontologies to search for disjoint axioms

Returns:

A Stream of OWLAnnotationPropertys that represent the properties disjoint with e.

getIndividuals

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

Gets the individuals that have been asserted to be an instance of e 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 e.

Returns:

A Stream of OWLIndividuals that represent the individual that have been asserted to be an instance of e.

getIndividuals

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

Gets the individuals that have been asserted to be an instance of e by axioms in the specified ontologies.

Parameters:

e - entity

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

Returns:

A Stream of OWLIndividuals that represent the individual that have been asserted to be an instance of e.

getReferencingAxioms

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

Gets the axioms in the specified ontology that contain e 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 e.

getReferencingAxioms

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

Gets the axioms in the specified ontology and possibly its imports closure that contain e 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 e.

getDomains

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

Gets the asserted domains of e.

Parameters:

e - entity

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

Returns:

A Stream of OWLClassExpressions corresponding to the domains of e (the domain of e is essentially the intersection of these class expressions).

getDomains

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

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

Parameters:

e - entity

ontologies - The ontologies to be examined.

Returns:

A Stream of OWLClassExpressions that represent the asserted domains of e.

getDomains

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

Gets the asserted domains of e.

Parameters:

e - entity

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

Returns:

A Stream of OWLClassExpressions corresponding to the domains of e (the domain of e is essentially the intersection of these class expressions).

getRanges

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

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

Parameters:

e - entity

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

Returns:

A Stream of ranges for e.

getRanges

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

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

Parameters:

e - entity

ontologies - The ontologies to be examined for range axioms.

Returns:

A Stream of ranges for e, which have been asserted by axioms in the specified ontologies.

getDomains

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

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

Parameters:

e - entity

ontologies - The ontologies to be examined.

Returns:

A Stream of OWLClassExpressions that represent the asserted domains of e.

getRanges

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

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

Parameters:

e - entity

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

Returns:

A Stream of ranges for e.

getRanges

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

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

Parameters:

e - entity

ontologies - The ontologies to be examined for range axioms.

Returns:

A Stream of ranges for e, which have been asserted by axioms in the specified ontologies.

getDomains

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

Gets the asserted domains of e.

Parameters:

e - entity

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

Returns:

A Stream of IRIs corresponding to the domains of e (the domain of e is essentially the intersection of these IRIs).

getDomains

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

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

Parameters:

e - entity

ontologies - The ontologies to be examined.

Returns:

A Stream of IRIs that represent the asserted domains of e.

getRanges

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

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

Parameters:

e - entity

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

Returns:

A Stream of ranges for e.

getRanges

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

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

Parameters:

e - entity

ontologies - The ontologies to be examined for range axioms.

Returns:

A Stream of ranges for e, which have been asserted by axioms in the specified ontologies.

isTransitive

public static boolean isTransitive(OWLObjectPropertyExpression e,
                                   OWLOntology ontology)

Checks if e is declared transitive in the ontology.

Parameters:

ontology - ontology

e - property

Returns:

true for transitive properties

isTransitive

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

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

Parameters:

ontologies - ontologies

e - property

Returns:

true for transitive properties

isSymmetric

public static boolean isSymmetric(OWLObjectPropertyExpression e,
                                  OWLOntology ontology)

Checks if e is declared symmetric in the ontology.

Parameters:

ontology - ontology

e - property

Returns:

true for symmetric properties

isSymmetric

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

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

Parameters:

ontologies - ontologies

e - property

Returns:

true for symmetric properties

isAsymmetric

public static boolean isAsymmetric(OWLObjectPropertyExpression e,
                                   OWLOntology ontology)

Checks if e is declared asymmetric in the ontology.

Parameters:

ontology - ontology

e - property

Returns:

true for asymmetric properties

isAsymmetric

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

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

Parameters:

ontologies - ontologies

e - property

Returns:

true for asymmetric properties

isReflexive

public static boolean isReflexive(OWLObjectPropertyExpression e,
                                  OWLOntology ontology)

Checks if e is declared reflexive in the ontology.

Parameters:

ontology - ontology

e - property

Returns:

true for reflexive properties

isReflexive

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

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

Parameters:

ontologies - ontologies

e - property

Returns:

true for reflexive properties

isIrreflexive

public static boolean isIrreflexive(OWLObjectPropertyExpression e,
                                    OWLOntology ontology)

Checks if e is declared irreflexive in the ontology.

Parameters:

ontology - ontology

e - property

Returns:

true for irreflexive properties

isIrreflexive

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

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

Parameters:

ontologies - ontologies

e - property

Returns:

true for irreflexive properties

isInverseFunctional

public static boolean isInverseFunctional(OWLObjectPropertyExpression e,
                                          OWLOntology ontology)

Checks if e is declared inverse functional in the ontology.

Parameters:

ontology - ontology

e - property

Returns:

true for inverse functional properties

isInverseFunctional

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

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

Parameters:

ontologies - ontologies

e - property

Returns:

true for inverse functional properties

isFunctional

public static boolean isFunctional(OWLObjectPropertyExpression e,
                                   OWLOntology ontology)

Checks if e is declared functional in the ontology.

Parameters:

ontology - ontology

e - property

Returns:

true for functional object properties

isFunctional

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

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

Parameters:

ontologies - ontologies

e - property

Returns:

true for functional object properties

isFunctional

public static boolean isFunctional(OWLDataProperty e,
                                   OWLOntology ontology)

Checks if e is declared functional in the ontology.

Parameters:

ontology - ontology

e - property

Returns:

true for functional data properties

isFunctional

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

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

Parameters:

ontologies - ontologies

e - property

Returns:

true for functional data properties

isDefined

public static boolean isDefined(OWLClass c,
                                OWLOntology ontology)

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

Parameters:

ontology - ontology

c - class

Returns:

true for defined classes

isDefined

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

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

Parameters:

ontologies - ontologies

c - class

Returns:

true for defined classes

containsAxiom

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

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

Parameters:

ontology - ontology

a - axiom

imports - true if imports closure is included

Returns:

true if a is contained

containsAxiom

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

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

Parameters:

ontologies - ontologies

a - axiom

imports - true if imports closure is included

Returns:

true if a is contained

containsAxiomIgnoreAnnotations

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

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

Parameters:

ontology - ontology

a - axiom

imports - true if imports closure is included

Returns:

true if a is contained

containsAxiomIgnoreAnnotations

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

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

Parameters:

ontologies - ontologies

a - axiom

imports - true if imports closure is included

Returns:

true if a is contained

getAxiomsIgnoreAnnotations

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

Get matching axioms for a, ignoring annotations.

Parameters:

ontology - ontology

a - axiom

imports - true if imports closure is included

Returns:

matching axioms

axiomsIgnoreAnnotations

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

Get matching axioms for a, ignoring annotations.

Parameters:

ontology - ontology

a - axiom

imports - true if imports closure is included

Returns:

matching axioms

getDataPropertyValues

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

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

literal values

getDataPropertyValues

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

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

literal values

getObjectPropertyValues

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

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

property values

getObjectPropertyValues

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

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

property values

getNegativeDataPropertyValues

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

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

property values

getNegativeDataPropertyValues

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

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

property values

getNegativeObjectPropertyValues

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

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

property values

getNegativeObjectPropertyValues

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

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

property values

hasDataPropertyValues

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

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

true if values are present

hasDataPropertyValues

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

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

true if value present

hasObjectPropertyValues

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

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

true if value present

hasObjectPropertyValues

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

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

true if value present

hasNegativeDataPropertyValues

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

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

true if value present

hasNegativeDataPropertyValues

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

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

true if value present

hasNegativeObjectPropertyValues

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

Parameters:

i - individual

p - property to search

ontology - ontology to search

Returns:

true if value present

hasNegativeObjectPropertyValues

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

Parameters:

i - individual

p - property to search

ontologies - ontologies to search

Returns:

true if value present

hasDataPropertyValue

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

Parameters:

i - individual

p - property to search

lit - literal to search

ontology - ontology to search

Returns:

true if value present

hasDataPropertyValue

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

Parameters:

i - individual

p - property to search

lit - literal to search

ontologies - ontologies to search

Returns:

true if value present

hasObjectPropertyValue

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

Parameters:

i - individual

p - property to search

j - individual to search

ontology - ontology to search

Returns:

true if value present

hasObjectPropertyValue

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

Parameters:

i - individual

p - property to search

j - individual to search

ontologies - ontologies to search

Returns:

true if value present

hasNegativeDataPropertyValue

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

Parameters:

i - individual

p - property to search

lit - literal to search

ontology - ontology to search

Returns:

true if value present

hasNegativeDataPropertyValue

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

Parameters:

i - individual

p - property to search

lit - literal to search

ontologies - ontologies to search

Returns:

true if value present

hasNegativeObjectPropertyValue

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

Parameters:

i - individual

p - property to search

j - individual to search

ontology - ontology to search

Returns:

true if value present

hasNegativeObjectPropertyValue

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

Parameters:

i - individual

p - property to search

j - individual to search

ontologies - ontologies to search

Returns:

true if value present

getDataPropertyValues

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

Parameters:

i - individual

ontology - ontology to search

Returns:

property values

getDataPropertyValues

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

Parameters:

i - individual

ontologies - ontologies to search

Returns:

literal values

getObjectPropertyValues

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

Parameters:

i - individual

ontology - ontology to search

Returns:

property values

getObjectPropertyValues

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

Parameters:

i - individual

ontologies - ontologies to search

Returns:

property values

getNegativeObjectPropertyValues

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

Parameters:

i - individual

ontology - ontology to search

Returns:

property values

getNegativeDataPropertyValues

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

Parameters:

i - individual

ontology - ontology to search

Returns:

property values

getNegativeObjectPropertyValues

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

Parameters:

i - individual

ontologies - ontologies to search

Returns:

property values

getNegativeDataPropertyValues

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

Parameters:

i - individual

ontologies - ontologies to search

Returns:

property values

getInverses

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

Parameters:

e - object property

ontology - ontology to search

Returns:

property inverses

getInverses

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

Parameters:

e - object property

ontologies - ontologies to search

Returns:

property inverses

getInstances

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

Parameters:

e - class

ontology - ontology to search

Returns:

instances of class

getInstances

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

Parameters:

e - class

ontologies - ontologies to search

Returns:

instances of class

getTypes

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

Parameters:

e - individual

ontology - ontology to search

Returns:

types for individual

getTypes

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

Parameters:

e - individual

ontologies - ontologies to search

Returns:

types for individual