org.semanticweb.owlapi.search.EntitySearcher Maven / Gradle / Ivy
/* This file is part of the OWL API.
* The contents of this file are subject to the LGPL License, Version 3.0.
* Copyright 2014, The University of Manchester
*
* This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
* This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
* You should have received a copy of the GNU General Public License along with this program. If not, see http://www.gnu.org/licenses/.
*
* Alternatively, the contents of this file may be used under the terms of the Apache License, Version 2.0 in which case, the provisions of the Apache License Version 2.0 are applicable instead of those above.
* Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at
* http://www.apache.org/licenses/LICENSE-2.0
* Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. */
package org.semanticweb.owlapi.search;
import static org.semanticweb.owlapi.model.parameters.Imports.EXCLUDED;
import static org.semanticweb.owlapi.model.parameters.Imports.INCLUDED;
import static org.semanticweb.owlapi.search.Filters.subAnnotationWithSub;
import static org.semanticweb.owlapi.search.Filters.subAnnotationWithSuper;
import static org.semanticweb.owlapi.search.Filters.subDataPropertyWithSub;
import static org.semanticweb.owlapi.search.Filters.subDataPropertyWithSuper;
import static org.semanticweb.owlapi.search.Filters.subObjectPropertyWithSub;
import static org.semanticweb.owlapi.search.Filters.subObjectPropertyWithSuper;
import java.util.ArrayList;
import java.util.Collection;
import java.util.HashSet;
import java.util.List;
import java.util.Set;
import javax.annotation.Nonnull;
import javax.annotation.Nullable;
import org.semanticweb.owlapi.model.IRI;
import org.semanticweb.owlapi.model.OWLAnnotation;
import org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom;
import org.semanticweb.owlapi.model.OWLAnnotationProperty;
import org.semanticweb.owlapi.model.OWLAnnotationSubject;
import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.model.OWLDataProperty;
import org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom;
import org.semanticweb.owlapi.model.OWLDataPropertyExpression;
import org.semanticweb.owlapi.model.OWLDataRange;
import org.semanticweb.owlapi.model.OWLEntity;
import org.semanticweb.owlapi.model.OWLIndividual;
import org.semanticweb.owlapi.model.OWLLiteral;
import org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom;
import org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom;
import org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom;
import org.semanticweb.owlapi.model.OWLObjectPropertyExpression;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLPropertyExpression;
import org.semanticweb.owlapi.model.parameters.AxiomAnnotations;
import org.semanticweb.owlapi.util.OWLAxiomSearchFilter;
import com.google.common.collect.LinkedListMultimap;
import com.google.common.collect.Multimap;
/**
* Convenience methods moved from OWLEntity and its subinterfaces.
*
* @author ignazio
*/
public class EntitySearcher {
/**
* 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
*
* @param e entity
* @param ontology The ontology to be examined for annotation assertion axioms
* @return The annotations that participate directly in an annotation assertion whose subject is
* an IRI corresponding to the IRI of e.
*/
@Nonnull
public static Collection getAnnotations(@Nonnull OWLEntity e,
@Nonnull OWLOntology ontology) {
return getAnnotations(e.getIRI(), 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.
*
* @param e entity
* @param ontology The ontology to be examined for annotation assertion axioms
* @return The annotations that participate directly in an annotation assertion whose subject is
* an IRI corresponding to the IRI of e.
*/
@Nonnull
public static Collection getAnnotations(@Nonnull OWLAnnotationSubject e,
@Nonnull OWLOntology ontology) {
return Searcher.annotations(ontology.getAnnotationAssertionAxioms(e));
}
/**
* 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.
*
* @param e entity
* @param ontology The ontology to examine for annotation axioms
* @param annotationProperty The annotation property
* @return A set of {@code OWLAnnotation} objects that have the specified URI.
*/
@Nonnull
public static Collection getAnnotations(@Nonnull OWLEntity e,
@Nonnull OWLOntology ontology, @Nonnull OWLAnnotationProperty annotationProperty) {
return getAnnotations(e.getIRI(), ontology, 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.
*
* @param e entity
* @param ontology The ontology to examine for annotation axioms
* @param annotationProperty The annotation property
* @return A set of {@code OWLAnnotation} objects that have the specified URI.
*/
@Nonnull
public static Collection getAnnotations(@Nonnull OWLAnnotationSubject e,
@Nonnull OWLOntology ontology, @Nonnull OWLAnnotationProperty annotationProperty) {
return Searcher.annotations(ontology.getAnnotationAssertionAxioms(e), 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.
*
* @param e entity
* @param ontologies The ontologies to examine for annotation axioms
* @param annotationProperty The annotation property
* @return A set of {@code OWLAnnotation} objects that have the specified URI.
*/
@Nonnull
public static Collection getAnnotations(@Nonnull OWLAnnotationSubject e,
@Nonnull Iterable ontologies,
@Nonnull OWLAnnotationProperty annotationProperty) {
Set toReturn = new HashSet<>();
for (OWLOntology o : ontologies) {
assert o != null;
toReturn.addAll(getAnnotations(e, o, annotationProperty));
}
return toReturn;
}
/**
* 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.
*
* @param e entity
* @param ontologies The ontologies to examine for annotation axioms
* @param annotationProperty The annotation property
* @return A set of {@code OWLAnnotation} objects that have the specified URI.
*/
@Nonnull
public static Collection getAnnotations(@Nonnull OWLEntity e,
@Nonnull Iterable ontologies,
@Nonnull OWLAnnotationProperty annotationProperty) {
Set toReturn = new HashSet<>();
for (OWLOntology o : ontologies) {
assert o != null;
toReturn.addAll(getAnnotations(e, o, annotationProperty));
}
return toReturn;
}
/**
* Obtains the annotations on e where the annotation has the specified annotation property; this
* is restricted to the object of annotation assertion axioms.
*
* @param e entity
* @param ontology The ontology to examine for annotation axioms
* @param annotationProperty The annotation property
* @return A set of {@code OWLAnnotation} objects that have the specified URI.
*/
@Nonnull
public static Collection getAnnotationObjects(@Nonnull OWLEntity e,
@Nonnull OWLOntology ontology, @Nullable OWLAnnotationProperty annotationProperty) {
return getAnnotationObjects(e.getIRI(), ontology, annotationProperty);
}
/**
* Obtains the annotations on e; this is restricted to the object of annotation assertion
* axioms.
*
* @param e entity
* @param ontology The ontology to examine for annotation axioms
* @return A set of {@code OWLAnnotation} objects that have the specified URI.
*/
@Nonnull
public static Collection getAnnotationObjects(@Nonnull OWLEntity e,
@Nonnull OWLOntology ontology) {
return getAnnotationObjects(e.getIRI(), ontology, null);
}
/**
* Obtains the annotations on e; this is restricted to the object of annotation assertion
* axioms.
*
* @param e entity
* @param ontologies The ontologies to examine for annotation axioms
* @return A set of {@code OWLAnnotation} objects that have the specified URI.
*/
@Nonnull
public static Collection getAnnotationObjects(@Nonnull OWLEntity e,
@Nonnull Iterable ontologies) {
return getAnnotationObjects(e.getIRI(), ontologies, null);
}
/**
* Obtains the annotations on e where the annotation has the specified annotation property; this
* is restricted to the object of annotation assertion axioms.
*
* @param e entity
* @param ontology The ontology to examine for annotation axioms
* @param annotationProperty The annotation property. If null, any annotation property will
* match.
* @return A set of {@code OWLAnnotation} objects that have the specified URI.
*/
@Nonnull
public static Collection getAnnotationObjects(@Nonnull OWLAnnotationSubject e,
@Nonnull OWLOntology ontology, @Nullable OWLAnnotationProperty annotationProperty) {
return Searcher.annotationObjects(ontology.getAnnotationAssertionAxioms(e),
annotationProperty);
}
/**
* Obtains the annotations on e where the annotation has the specified annotation property; this
* is restricted to the object of annotation assertion axioms.
*
* @param e entity
* @param ontologies The ontologies to examine for annotation axioms
* @param annotationProperty The annotation property. If null, any annotation property will
* match.
* @return A set of {@code OWLAnnotation} objects that have the specified URI.
*/
@Nonnull
public static Collection getAnnotationObjects(@Nonnull OWLAnnotationSubject e,
@Nonnull Iterable ontologies,
@Nullable OWLAnnotationProperty annotationProperty) {
Set toReturn = new HashSet<>();
for (OWLOntology o : ontologies) {
assert o != null;
toReturn.addAll(getAnnotationObjects(e, o, annotationProperty));
}
return toReturn;
}
/**
* Obtains the annotations on e where the annotation has the specified annotation property; this
* is restricted to the object of annotation assertion axioms.
*
* @param e entity
* @param ontologies The ontologies to examine for annotation axioms
* @param annotationProperty The annotation property
* @return A set of {@code OWLAnnotation} objects that have the specified URI.
*/
@Nonnull
public static Collection getAnnotationObjects(@Nonnull OWLEntity e,
@Nonnull Iterable ontologies,
@Nonnull OWLAnnotationProperty annotationProperty) {
Set toReturn = new HashSet<>();
for (OWLOntology o : ontologies) {
assert o != null;
toReturn.addAll(getAnnotationObjects(e, o, annotationProperty));
}
return toReturn;
}
/**
* @param e entity
* @param ontology the ontology to use
* @return the annotation assertion axioms about e in the provided ontology
*/
@Nonnull
public static Collection getAnnotationAssertionAxioms(
@Nonnull OWLEntity e, @Nonnull OWLOntology ontology) {
return getAnnotationAssertionAxioms(e.getIRI(), ontology);
}
/**
* @param e entity
* @param ontology the ontology to use
* @return the annotation assertion axioms about e in the provided ontology
*/
@Nonnull
public static Collection getAnnotationAssertionAxioms(
@Nonnull OWLAnnotationSubject e, @Nonnull OWLOntology ontology) {
return ontology.getAnnotationAssertionAxioms(e);
}
/**
* Gets the properties which are asserted to be sub-properties of e in the specified ontology.
*
* @param e entity
* @param ontology The ontology to be examined for {@code SubAnnotationPropertyOf} axioms.
* @return A set of properties such that for each property {@code p} the {@code ontology}
* contains an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static Collection getSubProperties(
@Nonnull OWLAnnotationProperty e, @Nonnull OWLOntology ontology) {
return Searcher.sub(ontology.filterAxioms(subAnnotationWithSuper, e, EXCLUDED));
}
/**
* Gets the properties which are asserted to be sub-properties of e in the specified ontology.
*
* @param e entity
* @param ontology The ontology to be examined for {@code SubAnnotationPropertyOf} axioms.
* @param imports if true include imports closure
* @return A set of properties such that for each property {@code p} one of the ontologies in
* {@code ontologies} contains an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static Collection getSubProperties(
@Nonnull OWLAnnotationProperty e, @Nonnull OWLOntology ontology, boolean imports) {
return Searcher
.sub(ontology.filterAxioms(subAnnotationWithSuper, e, imports ? INCLUDED : EXCLUDED));
}
/**
* Gets the properties which are asserted to be sub-properties of e in the specified ontology.
*
* @param e entity
* @param ontologies The ontologies to be examined for {@code SubAnnotationPropertyOf} axioms.
* @return A set of properties such that for each property {@code p} one of the ontologies in
* {@code ontologies} contains an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static Collection getSubProperties(
@Nonnull OWLAnnotationProperty e, @Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getSubProperties(e, o));
}
return collection;
}
/**
* Gets the annotation properties which are asserted to be super-properties of e in the
* specified ontology.
*
* @param e annotation property
* @param ontology The ontology to be examined for SubProperty axioms.
* @return A set of properties such that for each property {@code p} {@code ontology} contains
* an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static Collection getSuperProperties(
@Nonnull OWLAnnotationProperty e, @Nonnull OWLOntology ontology) {
return Searcher.sup(ontology.filterAxioms(subAnnotationWithSub, e, EXCLUDED));
}
/**
* Gets the annotation properties which are asserted to be super-properties of e in the
* specified ontology.
*
* @param e annotation property
* @param ontology The ontology to be examined for {@code SubAnnotationPropertyOf} axioms.
* @param imports if true include imports closure
* @return A set of properties such that for each property {@code p} {@code ontology} or its
* imports closure contains an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static Collection getSuperProperties(
@Nonnull OWLAnnotationProperty e, @Nonnull OWLOntology ontology, boolean imports) {
return Searcher
.sup(ontology.filterAxioms(subAnnotationWithSub, e, imports ? INCLUDED : EXCLUDED));
}
/**
* Gets the properties which are asserted to be super-properties of e in the specified ontology.
*
* @param e entity
* @param ontologies The ontologies to be examined for {@code SubAnnotationPropertyOf} axioms.
* @return A set of properties such that for each property {@code p} one of the ontologies in
* {@code ontologies} contains an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static Collection getSuperProperties(
@Nonnull OWLAnnotationProperty e, @Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getSuperProperties(e, o));
}
return collection;
}
/**
* Gets the properties which are asserted to be sub-properties of e in the specified ontology.
*
* @param e entity
* @param ontology The ontology to be examined for SubProperty axioms.
* @return A set of properties such that for each property {@code p} the {@code ontology}
* contains an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static Collection getSubProperties(
@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology ontology) {
return Searcher.sub(ontology.filterAxioms(subObjectPropertyWithSuper, e, EXCLUDED));
}
/**
* Gets the properties which are asserted to be sub-properties of e in the specified ontology.
*
* @param e entity
* @param imports if true include imports closure
* @param ontology The ontology to be examined for SubProperty axioms.
* @return A set of properties such that for each property {@code p} one of the ontologies in
* {@code ontology} imports closure contains an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static Collection getSubProperties(
@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology ontology, boolean imports) {
return Searcher.sub(
ontology.filterAxioms(subObjectPropertyWithSuper, e, imports ? INCLUDED : EXCLUDED));
}
/**
* Gets the properties which are asserted to be sub-properties of e in the specified ontology.
*
* @param e entity
* @param ontologies The ontologies to be examined for SubProperty axioms.
* @return A set of properties such that for each property {@code p} one of the ontologies in
* {@code ontologies} contains an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static Collection getSubProperties(
@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getSubProperties(e, o));
}
return collection;
}
/**
* Gets the properties which are asserted to be sub-properties of e in the specified ontology.
*
* @param e entity
* @param ontology The ontology to be examined for {@code SubPropertyOf} axioms.
* @param type of property
* @return A set of properties such that for each property {@code p} the {@code ontology}
* contains an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static
Collection
getSubProperties(@Nonnull P e,
@Nonnull OWLOntology ontology) {
return Searcher.sub(ontology.filterAxioms(subPropertiesFilter(e), e, EXCLUDED));
}
protected static
OWLAxiomSearchFilter subPropertiesFilter(
P e) {
if (e.isDataPropertyExpression()) {
return subDataPropertyWithSuper;
}
if (e.isObjectPropertyExpression()) {
return subObjectPropertyWithSuper;
}
return subAnnotationWithSuper;
}
/**
* Gets the properties which are asserted to be sub-properties of e in the specified ontology.
*
* @param e entity
* @param ontology The ontology to be examined for {@code SubPropertyOf} axioms.
* @param imports if true include imports closure
* @param
type of property
* @return A set of properties such that for each property {@code p} one of the ontologies in
* the {@code ontology} imports closure contains an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static
Collection
getSubProperties(@Nonnull P e,
@Nonnull OWLOntology ontology, boolean imports) {
return Searcher
.sub(ontology.filterAxioms(subPropertiesFilter(e), e, imports ? INCLUDED : EXCLUDED));
}
/**
* Gets the properties which are asserted to be sub-properties of e in the specified ontology.
*
* @param e entity
* @param ontologies The ontologies to be examined for {@code SubPropertyOf} axioms.
* @param
type of property
* @return A set of properties such that for each property {@code p} in the set, it is the case
* that {@code ontology} contains an {@code SubPropertyOf(p, e)} axiom where {@code e}
* refers to e.
* @since 3.2
*/
@Nonnull
public static
Collection
getSubProperties(@Nonnull P e,
@Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getSubProperties(e, o));
}
return collection;
}
/**
* Gets the properties which are asserted to be super-properties of e in the specified ontology.
*
* @param e property
* @param ontology The ontology to be examined for {@code SubPropertyOf} axioms.
* @param
type of property
* @return A set of properties such that for each property {@code p} {@code ontology} contains
* an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static
Collection
getSuperProperties(@Nonnull P e,
@Nonnull OWLOntology ontology) {
return Searcher.sup(ontology.filterAxioms(superPropertiesFilter(e), e, EXCLUDED));
}
protected static
OWLAxiomSearchFilter superPropertiesFilter(
P e) {
if (e.isDataPropertyExpression()) {
return subDataPropertyWithSub;
}
if (e.isObjectPropertyExpression()) {
return subObjectPropertyWithSub;
}
return subAnnotationWithSub;
}
/**
* Gets the properties which are asserted to be super-properties of e in the specified ontology.
*
* @param e property
* @param ontology The ontology to be examined for {@code SubPropertyOf} axioms.
* @param imports if true include imports closure
* @param
type of property
* @return A set of properties such that for each property {@code p} one of the ontologies in
* {@code ontology} imports closure contains an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static
Collection
getSuperProperties(@Nonnull P e,
@Nonnull OWLOntology ontology, boolean imports) {
return Searcher
.sub(ontology.filterAxioms(superPropertiesFilter(e), e, imports ? INCLUDED : EXCLUDED));
}
/**
* Gets the properties which are asserted to be super-properties of e in the specified
* ontologies.
*
* @param e property
* @param ontologies The ontologies to be examined for {@code SubPropertyOf} axioms.
* @param
type of property
* @return A set of properties such that for each property {@code p} one of {@code ontologies}
* contains an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static
Collection
getSuperProperties(@Nonnull P e,
@Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getSuperProperties(e, o));
}
return collection;
}
/**
* Gets the properties which are asserted to be super-properties of e in the specified ontology.
*
* @param e entity
* @param ontology The ontology to be examined for {@code SubPropertyOf} axioms.
* @return A set of properties such that for each property {@code p} {@code ontology} contains
* an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static Collection getSuperProperties(
@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology ontology) {
return Searcher.sup(ontology.filterAxioms(subObjectPropertyWithSub, e, EXCLUDED));
}
/**
* Gets the properties which are asserted to be super-properties of e in the specified ontology.
*
* @param e entity
* @param ontology The ontology to be examined for {@code SubPropertyOf} axioms.
* @param imports if true include imports closure
* @return A set of properties such that for each property {@code p} one of the ontologies in
* {@code ontology} imports closure contains an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static Collection getSuperProperties(
@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology ontology, boolean imports) {
return Searcher
.sup(ontology.filterAxioms(subObjectPropertyWithSub, e, imports ? INCLUDED : EXCLUDED));
}
/**
* Gets the properties which are asserted to be super-properties of e in the specified ontology.
*
* @param e entity
* @param ontologies The ontologies to be examined for {@code SubPropertyOf} axioms.
* @return A set of properties such that for each property {@code p} one of the ontologies in
* {@code ontologies} contains an {@code SubPropertyOf(p, e)} axiom.
* @since 3.2
*/
@Nonnull
public static Collection getSuperProperties(
@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getSuperProperties(e, o));
}
return collection;
}
/**
* Gets the properties which are asserted to be sub-properties of e in the specified ontology.
*
* @param e entity
* @param ontology The ontology to be examined for {@code SubAnnotationPropertyOf} axioms.
* @return A set of properties such that for each property {@code p} in the set, it is the case
* that {@code ontology} contains an {@code SubPropertyOf(p, e)} axiom where {@code e}
* refers to e.
* @since 3.2
*/
@Nonnull
public static Collection getSubProperties(
@Nonnull OWLDataPropertyExpression e, @Nonnull OWLOntology ontology) {
return Searcher.sub(ontology.filterAxioms(subDataPropertyWithSuper, e, EXCLUDED));
}
/**
* Gets the properties which are asserted to be sub-properties of e in the specified ontology.
*
* @param e entity
* @param ontology The ontology to be examined for {@code SubAnnotationPropertyOf} axioms.
* @param imports if true include imports closure
* @return A set of properties such that for each property {@code p} in the set, it is the case
* that {@code ontology} contains an {@code SubPropertyOf(p, e)} axiom where {@code e}
* refers to e.
* @since 3.2
*/
@Nonnull
public static Collection getSubProperties(
@Nonnull OWLDataPropertyExpression e, @Nonnull OWLOntology ontology, boolean imports) {
return Searcher
.sub(ontology.filterAxioms(subDataPropertyWithSuper, e, imports ? INCLUDED : EXCLUDED));
}
/**
* Gets the properties which are asserted to be sub-properties of e in the specified ontology.
*
* @param e entity
* @param ontologies The ontologies to be examined for {@code SubAnnotationPropertyOf} axioms.
* @return A set of properties such that for each property {@code p} in the set, it is the case
* that {@code ontology} contains an {@code SubPropertyOf(p, e)} axiom where {@code e}
* refers to e.
* @since 3.2
*/
@Nonnull
public static Collection getSubProperties(
@Nonnull OWLDataPropertyExpression e, @Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getSubProperties(e, o));
}
return collection;
}
/**
* Gets the properties which are asserted to be sub-properties of e in the specified ontology.
*
* @param e entity
* @param ontology The ontology to be examined for {@code SubAnnotationPropertyOf} axioms.
* @return A set of properties such that for each property {@code p} in the set, it is the case
* that {@code ontology} contains an {@code SubPropertyOf(p, e)} axiom where {@code e}
* refers to e.
* @since 3.2
*/
@Nonnull
public static Collection getSuperProperties(
@Nonnull OWLDataPropertyExpression e, @Nonnull OWLOntology ontology) {
return Searcher.sup(ontology.filterAxioms(subDataPropertyWithSub, e, EXCLUDED));
}
/**
* Gets the properties which are asserted to be sub-properties of e in the specified ontology.
*
* @param e entity
* @param ontology The ontology to be examined for {@code SubAnnotationPropertyOf} axioms.
* @param imports if true include imports closure
* @return A set of properties such that for each property {@code p} in the set, it is the case
* that {@code ontology} contains an {@code SubPropertyOf(p, e)} axiom where {@code e}
* refers to e.
* @since 3.2
*/
@Nonnull
public static Collection getSuperProperties(
@Nonnull OWLDataPropertyExpression e, @Nonnull OWLOntology ontology, boolean imports) {
return Searcher
.sup(ontology.filterAxioms(subDataPropertyWithSub, e, imports ? INCLUDED : EXCLUDED));
}
/**
* Gets the properties which are asserted to be sub-properties of e in the specified ontology.
*
* @param e entity
* @param ontologies The ontologies to be examined for {@code SubAnnotationPropertyOf} axioms.
* @return A set of properties such that for each property {@code p} in the set, it is the case
* that {@code ontology} contains an {@code SubPropertyOf(p, e)} axiom where {@code e}
* refers to e.
* @since 3.2
*/
@Nonnull
public static Collection getSuperProperties(
@Nonnull OWLDataPropertyExpression e, @Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getSuperProperties(e, o));
}
return collection;
}
/**
* Gets the classes which have been asserted to be superclasses of e in the specified
* ontology.
*
* @param e entity
* @param ontology The ontology to be examined
* @return A {@code Set} of {@code OWLClassExpression}s that represent the superclasses of e,
* which have been asserted in the specified ontology.
*/
@Nonnull
public static Collection getSuperClasses(@Nonnull OWLClass e,
@Nonnull OWLOntology ontology) {
return Searcher.sup(ontology.getSubClassAxiomsForSubClass(e));
}
/**
* Gets the classes which have been asserted to be superclasses of e in the specified
* ontologies.
*
* @param e entity
* @param ontologies The ontologies to be examined.
* @return A set of {@code OWLClassExpressions}s that represent the super classes of e
*/
@Nonnull
public static Collection getSuperClasses(@Nonnull OWLClass e,
@Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getSuperClasses(e, o));
}
return collection;
}
/**
* Gets the classes which have been asserted to be subclasses of e in the specified
* ontology.
*
* @param e entity
* @param ontology The ontology which should be examined for subclass axioms.
* @return A {@code Set} of {@code OWLClassExpression}s that represent the asserted subclasses
* of e.
*/
@Nonnull
public static Collection getSubClasses(@Nonnull OWLClass e,
@Nonnull OWLOntology ontology) {
return Searcher.sub(ontology.getSubClassAxiomsForSuperClass(e));
}
/**
* Gets the classes which have been asserted to be subclasses of e in the specified
* ontologies.
*
* @param e entity
* @param ontologies The ontologies which should be examined for subclass axioms.
* @return A {@code Set} of {@code OWLClassExpression}s that represent the asserted subclasses
* of e.
*/
@Nonnull
public static Collection getSubClasses(@Nonnull OWLClass e,
@Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getSubClasses(e, o));
}
return collection;
}
/**
* Gets the classes which have been asserted to be equivalent with e by axioms in the specified
* ontology.
*
* @param e entity
* @param ontology The ontology to be examined for axioms
* @return A {@code Set} of {@code OWLClassExpression}s that represent the equivalent classes of
* e, that have been asserted in the specified ontology.
*/
@Nonnull
public static Collection getEquivalentClasses(@Nonnull OWLClass e,
@Nonnull OWLOntology ontology) {
Collection equivalent =
Searcher.equivalent(ontology.getEquivalentClassesAxioms(e));
equivalent.remove(e);
return equivalent;
}
/**
* Gets the classes which have been asserted to be equivalent with e by axioms in the specified
* ontologies.
*
* @param e entity
* @param ontologies The ontologies to be examined for axioms
* @return A {@code Set} of {@code OWLClassExpression}s that represent the equivalent classes of
* e, that have been asserted in the specified ontologies.
*/
@Nonnull
public static Collection getEquivalentClasses(@Nonnull OWLClass e,
@Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getEquivalentClasses(e, o));
}
return collection;
}
/**
* Gets the classes which have been asserted to be disjoint with e by axioms in the specified
* ontology.
*
* @param e entity
* @param ontology The ontology to search for disjoint class axioms
* @return A {@code Set} of {@code OWLClassExpression}s that represent the disjoint classes of
* e.
*/
@Nonnull
public static Collection getDisjointClasses(@Nonnull OWLClass e,
@Nonnull OWLOntology ontology) {
return Searcher.different(ontology.getDisjointClassesAxioms(e));
}
/**
* Gets the classes which have been asserted to be disjoint with e by axioms in the specified
* ontologies.
*
* @param e entity
* @param ontologies The ontologies to search for disjoint class axioms
* @return A {@code Set} of {@code OWLClassExpression}s that represent the disjoint classes of
* e.
*/
@Nonnull
public static Collection getDisjointClasses(@Nonnull OWLClass e,
@Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getDisjointClasses(e, o));
}
return collection;
}
/**
* Gets the individuals asserted to be different to e in the specified ontology.
*
* @param e individual
* @param ontology The ontology to search for different individuals
* @return A {@code Set} of different {@code OWLIndividual}s.
*/
@Nonnull
public static Collection getDifferentIndividuals(@Nonnull OWLIndividual e,
@Nonnull OWLOntology ontology) {
return Searcher.different(ontology.getDifferentIndividualAxioms(e));
}
/**
* Gets the individuals asserted to be different to e in the specified ontologies.
*
* @param e individual
* @param ontologies The ontologies to search for different individuals
* @return A {@code Set} of different {@code OWLIndividual}s.
*/
@Nonnull
public static Collection getDifferentIndividuals(@Nonnull OWLIndividual e,
@Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getDifferentIndividuals(e, o));
}
return collection;
}
/**
* Gets the individuals asserted to be same as e in the specified ontology.
*
* @param e individual
* @param ontology The ontology to search for same individuals
* @return A {@code Set} of same {@code OWLIndividual}s.
*/
@Nonnull
public static Collection getSameIndividuals(@Nonnull OWLIndividual e,
@Nonnull OWLOntology ontology) {
Collection equivalent =
Searcher.equivalent(ontology.getSameIndividualAxioms(e));
equivalent.remove(e);
return equivalent;
}
/**
* Gets the individuals asserted to be same as e in the specified ontologies.
*
* @param e individual
* @param ontologies The ontologies to search for same individuals
* @return A {@code Set} of same {@code OWLIndividual}s.
*/
@Nonnull
public static Collection getSameIndividuals(@Nonnull OWLIndividual e,
@Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getSameIndividuals(e, o));
}
return collection;
}
/**
* Gets the data properties which have been asserted to be equivalent with e by axioms in the
* specified ontology.
*
* @param e entity
* @param ontology The ontology to be examined for axioms
* @return A {@code Set} of {@code OWLDataPropertyExpression}s that represent the data
* properties equivalent to e, that have been asserted in the specified ontology.
*/
@Nonnull
public static Collection getEquivalentProperties(
@Nonnull OWLDataProperty e, @Nonnull OWLOntology ontology) {
Collection equivalent =
Searcher.equivalent(ontology.getEquivalentDataPropertiesAxioms(e));
equivalent.remove(e);
return equivalent;
}
/**
* Gets the data properties which have been asserted to be equivalent with e by axioms in the
* specified ontologies.
*
* @param e entity
* @param ontologies The ontologies to be examined for axioms
* @return A set of {@code OWLDataPropertyExpression}s that represent the data properties
* equivalent to e, that have been asserted in the specified ontologies.
*/
@Nonnull
public static Collection getEquivalentProperties(
@Nonnull OWLDataProperty e, @Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getEquivalentProperties(e, o));
}
return collection;
}
/**
* Gets the properties which have been asserted to be equivalent with e by axioms in the
* specified ontology.
*
* @param e entity
* @param ontology The ontology to be examined for axioms
* @param type of property
* @return A {@code Set} of {@code OWLPropertyExpression}s that represent the properties
* equivalent to e, that have been asserted in the specified ontology.
*/
@Nonnull
public static
Collection
getEquivalentProperties(
@Nonnull P e, @Nonnull OWLOntology ontology) {
if (e.isDataPropertyExpression()) {
return Searcher
.equivalent(ontology.getEquivalentDataPropertiesAxioms((OWLDataProperty) e));
}
return Searcher.equivalent(
ontology.getEquivalentObjectPropertiesAxioms((OWLObjectPropertyExpression) e));
}
/**
* Gets the properties which have been asserted to be equivalent with e by axioms in the
* specified ontologies.
*
* @param e entity
* @param ontologies The ontologies to be examined for axioms
* @param
type of property
* @return A {@code Set} of {@code OWLPropertyExpression}s that represent the properties
* equivalent to e, that have been asserted in the specified ontologies.
*/
@Nonnull
public static
Collection
getEquivalentProperties(
@Nonnull P e, @Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getEquivalentProperties(e, o));
}
return collection;
}
/**
* Gets the data properties which have been asserted to be disjoint with e in the specified
* ontology.
*
* @param e entity
* @param ontology The ontology to search for disjoint data properties axioms
* @return A {@code Set} of {@code OWLDataPropertyExpression}s that represent the data
* properties disjoint with e.
*/
@Nonnull
public static Collection getDisjointProperties(
@Nonnull OWLDataProperty e, @Nonnull OWLOntology ontology) {
return Searcher.different(ontology.getDisjointDataPropertiesAxioms(e));
}
/**
* Gets the data properties which have been asserted to be disjoint with e in the specified
* ontologies.
*
* @param e entity
* @param ontologies The ontologies to search for disjoint axioms
* @return A {@code Set} of {@code OWLDataPropertyExpression}s that represent the data
* properties disjoint with e.
*/
@Nonnull
public static Collection getDisjointProperties(
@Nonnull OWLDataProperty e, @Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getDisjointProperties(e, o));
}
return collection;
}
/**
* Gets the properties which have been asserted to be disjoint with e in the specified ontology.
*
* @param e entity
* @param ontology The ontology to search for disjoint property axioms
* @param type of property
* @return A {@code Set} of {@code OWLPropertyExpression}s that represent the properties
* disjoint with e.
*/
@Nonnull
public static
Collection
getDisjointProperties(
@Nonnull P e, @Nonnull OWLOntology ontology) {
if (e.isDataPropertyExpression()) {
return Searcher
.different(ontology.getDisjointDataPropertiesAxioms((OWLDataProperty) e));
}
return Searcher
.different(ontology.getDisjointObjectPropertiesAxioms((OWLObjectPropertyExpression) e));
}
/**
* Gets the properties which have been asserted to be disjoint with e in the specified
* ontologies.
*
* @param e entity
* @param ontologies The ontologies to search for disjoint property axioms
* @param
type of property
* @return A {@code Set} of {@code OWLPropertyExpression}s that represent the properties
* disjoint with e.
*/
@Nonnull
public static
Collection
getDisjointProperties(
@Nonnull P e, @Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getDisjointProperties(e, o));
}
return collection;
}
/**
* A convenience method that examines the axioms in the specified ontology and returns the class
* expressions corresponding to equivalent classes of e.
*
* @param e entity
* @param ontology The ontology to be examined for axioms
* @return A {@code Set} of {@code OWLClassExpression}s that represent the equivalent classes of
* e, that have been asserted in the specified ontology.
*/
@Nonnull
public static Collection getEquivalentProperties(
@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology ontology) {
Collection equivalent =
Searcher.equivalent(ontology.getEquivalentObjectPropertiesAxioms(e));
equivalent.remove(e);
return equivalent;
}
/**
* A convenience method that examines the axioms in the specified ontologies and returns the
* class expressions corresponding to equivalent classes of e.
*
* @param e entity
* @param ontologies The ontologies to be examined for axioms
* @return A {@code Set} of {@code OWLClassExpression}s that represent the equivalent classes of
* e, that have been asserted in the specified ontologies.
*/
@Nonnull
public static Collection getEquivalentProperties(
@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getEquivalentProperties(e, o));
}
return collection;
}
/**
* Gets the object properties which have been asserted to be disjoint with e in the specified
* ontology.
*
* @param e entity
* @param ontology The ontology to search for disjoint axioms
* @return A {@code Set} of {@code OWLObjectPropertyExpression}s that represent the object
* properties disjoint with e.
*/
@Nonnull
public static Collection getDisjointProperties(
@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology ontology) {
return Searcher.different(ontology.getDisjointObjectPropertiesAxioms(e));
}
/**
* Gets the object properties which have been asserted to be disjoint with e in the specified
* ontologies.
*
* @param e entity
* @param ontologies The ontologies to search for disjoint axioms
* @return A {@code Set} of {@code OWLObjectPropertyExpression}s that represent the object
* properties disjoint with e.
*/
@Nonnull
public static Collection getDisjointProperties(
@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getDisjointProperties(e, o));
}
return collection;
}
/**
* Gets the individuals that have been asserted to be an instance of e by axioms in the
* specified ontology.
*
* @param e entity
* @param ontology The ontology to be examined for class assertion axioms that assert an
* individual to be an instance of e.
* @return A {@code Set} of {@code OWLIndividual}s that represent the individual that have been
* asserted to be an instance of e.
*/
@Nonnull
public static Collection getIndividuals(@Nonnull OWLClass e,
@Nonnull OWLOntology ontology) {
return Searcher.instances(ontology.getClassAssertionAxioms(e));
}
/**
* Gets the individuals that have been asserted to be an instance of e by axioms in the
* specified ontologies.
*
* @param e entity
* @param ontologies The ontologies to be examined for class assertion axioms that assert an
* individual to be an instance of e.
* @return A {@code Set} of {@code OWLIndividual}s that represent the individual that have been
* asserted to be an instance of e.
*/
@Nonnull
public static Collection getIndividuals(@Nonnull OWLClass e,
@Nonnull Iterable ontologies) {
List list = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
list.addAll(getIndividuals(e, o));
}
return list;
}
/**
* Gets the axioms in the specified ontology that contain e in their signature.
*
* @param e entity
* @param ontology The ontology that will be searched for axioms
* @return The axioms in the specified ontology whose signature contains e.
*/
@Nonnull
public static Collection getReferencingAxioms(@Nonnull OWLEntity e,
@Nonnull OWLOntology ontology) {
return ontology.getReferencingAxioms(e, EXCLUDED);
}
/**
* Gets the axioms in the specified ontology and possibly its imports closure that contain e in
* their signature.
*
* @param e entity
* @param ontology The ontology that will be searched for axioms
* @param includeImports If {@code true} then axioms in the imports closure will also be
* returned, if {@code false} then only the axioms in the specified ontology will be
* returned.
* @return The axioms in the specified ontology whose signature contains e.
*/
@Nonnull
public static Collection getReferencingAxioms(@Nonnull OWLEntity e,
@Nonnull OWLOntology ontology, boolean includeImports) {
return ontology.getReferencingAxioms(e, includeImports ? INCLUDED : EXCLUDED);
}
/**
* Gets the asserted domains of e.
*
* @param e entity
* @param ontology The ontology that should be examined for axioms which assert a domain of e
* @return A set of {@code OWLClassExpression}s corresponding to the domains of e (the domain of
* e is essentially the intersection of these class expressions).
*/
@Nonnull
public static Collection getDomains(@Nonnull OWLDataProperty e,
@Nonnull OWLOntology ontology) {
return Searcher.domain(ontology.getDataPropertyDomainAxioms(e));
}
/**
* Gets the asserted domains of e by examining the axioms in the specified ontologies.
*
* @param e entity
* @param ontologies The ontologies to be examined.
* @return A set of {@code OWLClassExpression}s that represent the asserted domains of e.
*/
@Nonnull
public static Collection getDomains(@Nonnull OWLDataProperty e,
@Nonnull Iterable ontologies) {
List list = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
list.addAll(getDomains(e, o));
}
return list;
}
/**
* Gets the asserted domains of e.
*
* @param e entity
* @param ontology The ontology that should be examined for axioms which assert a domain of e
* @return A set of {@code OWLClassExpression}s corresponding to the domains of e (the domain of
* e is essentially the intersection of these class expressions).
*/
@Nonnull
public static Collection getDomains(@Nonnull OWLObjectPropertyExpression e,
@Nonnull OWLOntology ontology) {
return Searcher.domain(ontology.getObjectPropertyDomainAxioms(e));
}
/**
* Gets the ranges of e that have been asserted in the specified ontology.
*
* @param e entity
* @param ontology The ontology to be searched for axioms which assert a range for e.
* @return A set of ranges for e.
*/
@Nonnull
public static Collection getRanges(@Nonnull OWLDataProperty e,
@Nonnull OWLOntology ontology) {
return Searcher.range(ontology.getDataPropertyRangeAxioms(e));
}
/**
* Gets the asserted ranges of e by examining the axioms in the specified ontologies.
*
* @param e entity
* @param ontologies The ontologies to be examined for range axioms.
* @return A set of ranges for e, which have been asserted by axioms in the specified
* ontologies.
*/
@Nonnull
public static Collection getRanges(@Nonnull OWLDataProperty e,
@Nonnull Iterable ontologies) {
List list = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
list.addAll(getRanges(e, o));
}
return list;
}
/**
* Gets the asserted domains of e by examining the axioms in the specified ontologies.
*
* @param e entity
* @param ontologies The ontologies to be examined.
* @return A set of {@code OWLClassExpression}s that represent the asserted domains of e.
*/
@Nonnull
public static Collection getDomains(@Nonnull OWLObjectPropertyExpression e,
@Nonnull Iterable ontologies) {
List list = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
list.addAll(getDomains(e, o));
}
return list;
}
/**
* Gets the ranges of e that have been asserted in the specified ontology.
*
* @param e entity
* @param ontology The ontology to be searched for axioms which assert a range for e.
* @return A set of ranges for e.
*/
@Nonnull
public static Collection getRanges(@Nonnull OWLObjectPropertyExpression e,
@Nonnull OWLOntology ontology) {
return Searcher.range(ontology.getObjectPropertyRangeAxioms(e));
}
/**
* Gets the asserted ranges of e by examining the axioms in the specified ontologies.
*
* @param e entity
* @param ontologies The ontologies to be examined for range axioms.
* @return A set of ranges for e, which have been asserted by axioms in the specified
* ontologies.
*/
@Nonnull
public static Collection getRanges(@Nonnull OWLObjectPropertyExpression e,
@Nonnull Iterable ontologies) {
List list = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
list.addAll(getRanges(e, o));
}
return list;
}
/**
* Gets the asserted domains of e.
*
* @param e entity
* @param ontology The ontology that should be examined for axioms which assert a domain of e
* @return A set of {@code IRI}s corresponding to the domains of e (the domain of e is
* essentially the intersection of these IRIs).
*/
@Nonnull
public static Collection getDomains(@Nonnull OWLAnnotationProperty e,
@Nonnull OWLOntology ontology) {
return Searcher.domain(ontology.getAnnotationPropertyDomainAxioms(e));
}
/**
* Gets the asserted domains of e by examining the axioms in the specified ontologies.
*
* @param e entity
* @param ontologies The ontologies to be examined.
* @return A set of {@code IRI}s that represent the asserted domains of e.
*/
@Nonnull
public static Collection getDomains(@Nonnull OWLAnnotationProperty e,
@Nonnull Iterable ontologies) {
List list = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
list.addAll(getDomains(e, o));
}
return list;
}
/**
* Gets the ranges of e that have been asserted in the specified ontology.
*
* @param e entity
* @param ontology The ontology to be searched for axioms which assert a range for e.
* @return A set of ranges for e.
*/
@Nonnull
public static Collection getRanges(@Nonnull OWLAnnotationProperty e,
@Nonnull OWLOntology ontology) {
return Searcher.range(ontology.getAnnotationPropertyRangeAxioms(e));
}
/**
* Gets the asserted ranges of e by examining the axioms in the specified ontologies.
*
* @param e entity
* @param ontologies The ontologies to be examined for range axioms.
* @return A set of ranges for e, which have been asserted by axioms in the specified
* ontologies.
*/
@Nonnull
public static Collection getRanges(@Nonnull OWLAnnotationProperty e,
@Nonnull Iterable ontologies) {
List list = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
list.addAll(getRanges(e, o));
}
return list;
}
/**
* Checks if e is declared transitive in o.
*
* @param o ontology
* @param e property
* @return true for transitive properties
*/
public static boolean isTransitive(@Nonnull OWLObjectPropertyExpression e,
@Nonnull OWLOntology o) {
return !o.getTransitiveObjectPropertyAxioms(e).isEmpty();
}
/**
* Checks if e is declared transitive in a collection of ontologies.
*
* @param ontologies ontologies
* @param e property
* @return true for transitive properties
*/
public static boolean isTransitive(@Nonnull OWLObjectPropertyExpression e,
@Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (isTransitive(e, o)) {
return true;
}
}
return false;
}
/**
* Checks if e is declared symmetric in o.
*
* @param o ontology
* @param e property
* @return true for symmetric properties
*/
public static boolean isSymmetric(@Nonnull OWLObjectPropertyExpression e,
@Nonnull OWLOntology o) {
return !o.getSymmetricObjectPropertyAxioms(e).isEmpty();
}
/**
* Checks if e is declared symmetric in a collection of ontologies.
*
* @param ontologies ontologies
* @param e property
* @return true for symmetric properties
*/
public static boolean isSymmetric(@Nonnull OWLObjectPropertyExpression e,
@Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (isSymmetric(e, o)) {
return true;
}
}
return false;
}
/**
* Checks if e is declared asymmetric in o.
*
* @param o ontology
* @param e property
* @return true for asymmetric properties
*/
public static boolean isAsymmetric(@Nonnull OWLObjectPropertyExpression e,
@Nonnull OWLOntology o) {
return !o.getAsymmetricObjectPropertyAxioms(e).isEmpty();
}
/**
* Checks if e is declared asymmetric in a collection of ontologies.
*
* @param ontologies ontologies
* @param e property
* @return true for asymmetric properties
*/
public static boolean isAsymmetric(@Nonnull OWLObjectPropertyExpression e,
@Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (isAsymmetric(e, o)) {
return true;
}
}
return false;
}
/**
* Checks if e is declared reflexive in o.
*
* @param o ontology
* @param e property
* @return true for reflexive properties
*/
public static boolean isReflexive(@Nonnull OWLObjectPropertyExpression e,
@Nonnull OWLOntology o) {
return !o.getReflexiveObjectPropertyAxioms(e).isEmpty();
}
/**
* Checks if e is declared reflexive in a collection of ontologies.
*
* @param ontologies ontologies
* @param e property
* @return true for reflexive properties
*/
public static boolean isReflexive(@Nonnull OWLObjectPropertyExpression e,
@Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (isReflexive(e, o)) {
return true;
}
}
return false;
}
/**
* Checks if e is declared irreflexive in o.
*
* @param o ontology
* @param e property
* @return true for irreflexive properties
*/
public static boolean isIrreflexive(@Nonnull OWLObjectPropertyExpression e,
@Nonnull OWLOntology o) {
return !o.getIrreflexiveObjectPropertyAxioms(e).isEmpty();
}
/**
* Checks if e is declared irreflexive in a collection of ontologies.
*
* @param ontologies ontologies
* @param e property
* @return true for irreflexive properties
*/
public static boolean isIrreflexive(@Nonnull OWLObjectPropertyExpression e,
@Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (isIrreflexive(e, o)) {
return true;
}
}
return false;
}
/**
* Checks if e is declared inverse functional in o.
*
* @param o ontology
* @param e property
* @return true for inverse functional properties
*/
public static boolean isInverseFunctional(@Nonnull OWLObjectPropertyExpression e,
@Nonnull OWLOntology o) {
return !o.getInverseFunctionalObjectPropertyAxioms(e).isEmpty();
}
/**
* Checks if e is declared inverse functional in a collection of ontologies.
*
* @param ontologies ontologies
* @param e property
* @return true for inverse functional properties
*/
public static boolean isInverseFunctional(@Nonnull OWLObjectPropertyExpression e,
@Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (isInverseFunctional(e, o)) {
return true;
}
}
return false;
}
/**
* Checks if e is declared functional in o.
*
* @param o ontology
* @param e property
* @return true for functional object properties
*/
public static boolean isFunctional(@Nonnull OWLObjectPropertyExpression e,
@Nonnull OWLOntology o) {
return !o.getFunctionalObjectPropertyAxioms(e).isEmpty();
}
/**
* Checks if e is declared functional in a collection of ontologies.
*
* @param ontologies ontologies
* @param e property
* @return true for functional object properties
*/
public static boolean isFunctional(@Nonnull OWLObjectPropertyExpression e,
@Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (isFunctional(e, o)) {
return true;
}
}
return false;
}
/**
* Checks if e is declared functional in o.
*
* @param o ontology
* @param e property
* @return true for functional data properties
*/
public static boolean isFunctional(@Nonnull OWLDataProperty e, @Nonnull OWLOntology o) {
return !o.getFunctionalDataPropertyAxioms(e).isEmpty();
}
/**
* Checks if e is declared functional in a collection of ontologies.
*
* @param ontologies ontologies
* @param e property
* @return true for functional data properties
*/
public static boolean isFunctional(@Nonnull OWLDataProperty e,
@Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (isFunctional(e, o)) {
return true;
}
}
return false;
}
/**
* Checks if c is defined (is included in equivalent axioms) in o.
*
* @param o ontology
* @param c class
* @return true for defined classes
*/
public static boolean isDefined(@Nonnull OWLClass c, @Nonnull OWLOntology o) {
return !o.getEquivalentClassesAxioms(c).isEmpty();
}
/**
* Checks if c is defined (is included in equivalent axioms) in a collection of ontologies.
*
* @param ontologies ontologies
* @param c class
* @return true for defined classes
*/
public static boolean isDefined(@Nonnull OWLClass c,
@Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (isDefined(c, o)) {
return true;
}
}
return false;
}
/**
* Checks if o contains axiom a, with or without imports closure.
*
* @param o ontology
* @param a axiom
* @param imports true if imports closure is included
* @return true if a is contained
*/
public static boolean containsAxiom(@Nonnull OWLAxiom a, @Nonnull OWLOntology o,
boolean imports) {
return o.containsAxiom(a, imports ? INCLUDED : EXCLUDED,
AxiomAnnotations.CONSIDER_AXIOM_ANNOTATIONS);
}
/**
* Checks if any of the ontologies contains axiom a, with or without imports closure.
*
* @param ontologies ontologies
* @param a axiom
* @param imports true if imports closure is included
* @return true if a is contained
*/
public static boolean containsAxiom(@Nonnull OWLAxiom a,
@Nonnull Iterable ontologies, boolean imports) {
for (OWLOntology o : ontologies) {
assert o != null;
if (containsAxiom(a, o, imports)) {
return true;
}
}
return false;
}
/**
* Checks if o contains axiom a, with or without imports closure, ignoring annotations.
*
* @param o ontology
* @param a axiom
* @param imports true if imports closure is included
* @return true if a is contained
*/
public static boolean containsAxiomIgnoreAnnotations(@Nonnull OWLAxiom a,
@Nonnull OWLOntology o, boolean imports) {
return o.containsAxiom(a, imports == true ? INCLUDED : EXCLUDED,
AxiomAnnotations.IGNORE_AXIOM_ANNOTATIONS);
}
/**
* Checks if any of the ontologies contains axiom a, with or without imports closure.
*
* @param ontologies ontologies
* @param a axiom
* @param imports true if imports closure is included
* @return true if a is contained
*/
public static boolean containsAxiomIgnoreAnnotations(@Nonnull OWLAxiom a,
@Nonnull Iterable ontologies, boolean imports) {
for (OWLOntology o : ontologies) {
assert o != null;
if (containsAxiomIgnoreAnnotations(a, o, imports)) {
return true;
}
}
return false;
}
/**
* Get matching axioms for a, ignoring annotations.
*
* @param o ontology
* @param a axiom
* @param imports true if imports closure is included
* @return matching axioms
*/
public static Collection getAxiomsIgnoreAnnotations(@Nonnull OWLAxiom a,
@Nonnull OWLOntology o, boolean imports) {
return o.getAxiomsIgnoreAnnotations(a, imports == true ? INCLUDED : EXCLUDED);
}
/**
* @param i individual
* @param p property to search
* @param ontology ontology to search
* @return literal values
*/
@Nonnull
public static Collection getDataPropertyValues(@Nonnull OWLIndividual i,
@Nonnull OWLDataPropertyExpression p, @Nonnull OWLOntology ontology) {
return Searcher.values(ontology.getDataPropertyAssertionAxioms(i), p);
}
/**
* @param i individual
* @param p property to search
* @param ontologies ontologies to search
* @return literal values
*/
@Nonnull
public static Collection getDataPropertyValues(@Nonnull OWLIndividual i,
@Nonnull OWLDataPropertyExpression p, @Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getDataPropertyValues(i, p, o));
}
return collection;
}
/**
* @param i individual
* @param p property to search
* @param ontology ontology to search
* @return property values
*/
@Nonnull
public static Collection getObjectPropertyValues(@Nonnull OWLIndividual i,
@Nonnull OWLObjectPropertyExpression p, @Nonnull OWLOntology ontology) {
return Searcher.values(ontology.getObjectPropertyAssertionAxioms(i), p);
}
/**
* @param i individual
* @param p property to search
* @param ontologies ontologies to search
* @return property values
*/
@Nonnull
public static Collection getObjectPropertyValues(@Nonnull OWLIndividual i,
@Nonnull OWLObjectPropertyExpression p, @Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getObjectPropertyValues(i, p, o));
}
return collection;
}
/**
* @param i individual
* @param p property to search
* @param ontology ontology to search
* @return property values
*/
@Nonnull
public static Collection getNegativeDataPropertyValues(@Nonnull OWLIndividual i,
@Nonnull OWLDataPropertyExpression p, @Nonnull OWLOntology ontology) {
return Searcher.negValues(ontology.getNegativeDataPropertyAssertionAxioms(i), p);
}
/**
* @param i individual
* @param p property to search
* @param ontologies ontologies to search
* @return property values
*/
@Nonnull
public static Collection getNegativeDataPropertyValues(@Nonnull OWLIndividual i,
@Nonnull OWLDataPropertyExpression p, @Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getNegativeDataPropertyValues(i, p, o));
}
return collection;
}
/**
* @param i individual
* @param p property to search
* @param ontology ontology to search
* @return property values
*/
@Nonnull
public static Collection getNegativeObjectPropertyValues(
@Nonnull OWLIndividual i, @Nonnull OWLObjectPropertyExpression p,
@Nonnull OWLOntology ontology) {
return Searcher.negValues(ontology.getNegativeObjectPropertyAssertionAxioms(i), p);
}
/**
* @param i individual
* @param p property to search
* @param ontologies ontologies to search
* @return property values
*/
@Nonnull
public static Collection getNegativeObjectPropertyValues(
@Nonnull OWLIndividual i, @Nonnull OWLObjectPropertyExpression p,
@Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getNegativeObjectPropertyValues(i, p, o));
}
return collection;
}
/**
* @param i individual
* @param p property to search
* @param ontology ontology to search
* @return true if values are present
*/
public static boolean hasDataPropertyValues(@Nonnull OWLIndividual i,
OWLDataPropertyExpression p, @Nonnull OWLOntology ontology) {
return !Searcher.values(ontology.getDataPropertyAssertionAxioms(i), p).isEmpty();
}
/**
* @param i individual
* @param p property to search
* @param ontologies ontologies to search
* @return true if value present
*/
public static boolean hasDataPropertyValues(@Nonnull OWLIndividual i,
@Nonnull OWLDataPropertyExpression p, @Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (hasDataPropertyValues(i, p, o)) {
return true;
}
}
return false;
}
/**
* @param i individual
* @param p property to search
* @param ontology ontology to search
* @return true if value present
*/
public static boolean hasObjectPropertyValues(@Nonnull OWLIndividual i,
@Nonnull OWLObjectPropertyExpression p, @Nonnull OWLOntology ontology) {
return !Searcher.values(ontology.getObjectPropertyAssertionAxioms(i), p).isEmpty();
}
/**
* @param i individual
* @param p property to search
* @param ontologies ontologies to search
* @return true if value present
*/
public static boolean hasObjectPropertyValues(@Nonnull OWLIndividual i,
@Nonnull OWLObjectPropertyExpression p, @Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (hasObjectPropertyValues(i, p, o)) {
return true;
}
}
return false;
}
/**
* @param i individual
* @param p property to search
* @param ontology ontology to search
* @return true if value present
*/
public static boolean hasNegativeDataPropertyValues(@Nonnull OWLIndividual i,
@Nonnull OWLDataPropertyExpression p, @Nonnull OWLOntology ontology) {
return !Searcher.negValues(ontology.getNegativeDataPropertyAssertionAxioms(i), p).isEmpty();
}
/**
* @param i individual
* @param p property to search
* @param ontologies ontologies to search
* @return true if value present
*/
public static boolean hasNegativeDataPropertyValues(@Nonnull OWLIndividual i,
@Nonnull OWLDataPropertyExpression p, @Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (hasNegativeDataPropertyValues(i, p, o)) {
return true;
}
}
return false;
}
/**
* @param i individual
* @param p property to search
* @param ontology ontology to search
* @return true if value present
*/
public static boolean hasNegativeObjectPropertyValues(@Nonnull OWLIndividual i,
@Nonnull OWLObjectPropertyExpression p, @Nonnull OWLOntology ontology) {
return !Searcher.negValues(ontology.getNegativeObjectPropertyAssertionAxioms(i), p)
.isEmpty();
}
/**
* @param i individual
* @param p property to search
* @param ontologies ontologies to search
* @return true if value present
*/
public static boolean hasNegativeObjectPropertyValues(@Nonnull OWLIndividual i,
@Nonnull OWLObjectPropertyExpression p, @Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (hasNegativeObjectPropertyValues(i, p, o)) {
return true;
}
}
return false;
}
/**
* @param i individual
* @param p property to search
* @param lit literal to search
* @param ontology ontology to search
* @return true if value present
*/
public static boolean hasDataPropertyValue(@Nonnull OWLIndividual i,
@Nonnull OWLDataPropertyExpression p, @Nonnull OWLLiteral lit,
@Nonnull OWLOntology ontology) {
return Searcher.values(ontology.getDataPropertyAssertionAxioms(i), p).contains(lit);
}
/**
* @param i individual
* @param p property to search
* @param lit literal to search
* @param ontologies ontologies to search
* @return true if value present
*/
public static boolean hasDataPropertyValue(@Nonnull OWLIndividual i,
@Nonnull OWLDataPropertyExpression p, @Nonnull OWLLiteral lit,
@Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (hasDataPropertyValue(i, p, lit, o)) {
return true;
}
}
return false;
}
/**
* @param i individual
* @param p property to search
* @param j individual to search
* @param ontology ontology to search
* @return true if value present
*/
public static boolean hasObjectPropertyValue(@Nonnull OWLIndividual i,
@Nonnull OWLObjectPropertyExpression p, @Nonnull OWLIndividual j,
@Nonnull OWLOntology ontology) {
return Searcher.values(ontology.getObjectPropertyAssertionAxioms(i), p).contains(j);
}
/**
* @param i individual
* @param p property to search
* @param j individual to search
* @param ontologies ontologies to search
* @return true if value present
*/
public static boolean hasObjectPropertyValue(@Nonnull OWLIndividual i,
@Nonnull OWLObjectPropertyExpression p, @Nonnull OWLIndividual j,
@Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (hasObjectPropertyValue(i, p, j, o)) {
return true;
}
}
return false;
}
/**
* @param i individual
* @param p property to search
* @param lit literal to search
* @param ontology ontology to search
* @return true if value present
*/
public static boolean hasNegativeDataPropertyValue(@Nonnull OWLIndividual i,
@Nonnull OWLDataPropertyExpression p, @Nonnull OWLLiteral lit,
@Nonnull OWLOntology ontology) {
return Searcher.negValues(ontology.getNegativeDataPropertyAssertionAxioms(i), p)
.contains(lit);
}
/**
* @param i individual
* @param p property to search
* @param lit literal to search
* @param ontologies ontologies to search
* @return true if value present
*/
public static boolean hasNegativeDataPropertyValue(@Nonnull OWLIndividual i,
@Nonnull OWLDataPropertyExpression p, @Nonnull OWLLiteral lit,
@Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (hasNegativeDataPropertyValue(i, p, lit, o)) {
return true;
}
}
return false;
}
/**
* @param i individual
* @param p property to search
* @param j individual to search
* @param ontology ontology to search
* @return true if value present
*/
public static boolean hasNegativeObjectPropertyValue(@Nonnull OWLIndividual i,
@Nonnull OWLObjectPropertyExpression p, @Nonnull OWLIndividual j,
@Nonnull OWLOntology ontology) {
return Searcher.negValues(ontology.getNegativeObjectPropertyAssertionAxioms(i), p)
.contains(j);
}
/**
* @param i individual
* @param p property to search
* @param j individual to search
* @param ontologies ontologies to search
* @return true if value present
*/
public static boolean hasNegativeObjectPropertyValue(@Nonnull OWLIndividual i,
@Nonnull OWLObjectPropertyExpression p, @Nonnull OWLIndividual j,
@Nonnull Iterable ontologies) {
for (OWLOntology o : ontologies) {
assert o != null;
if (hasNegativeObjectPropertyValue(i, p, j, o)) {
return true;
}
}
return false;
}
/**
* @param i individual
* @param ontology ontology to search
* @return property values
*/
@Nonnull
public static Multimap getDataPropertyValues(
@Nonnull OWLIndividual i, @Nonnull OWLOntology ontology) {
Multimap map = LinkedListMultimap.create();
for (OWLDataPropertyAssertionAxiom ax : ontology.getDataPropertyAssertionAxioms(i)) {
map.put(ax.getProperty(), ax.getObject());
}
return map;
}
/**
* @param i individual
* @param ontologies ontologies to search
* @return literal values
*/
@Nonnull
public static Multimap getDataPropertyValues(
@Nonnull OWLIndividual i, @Nonnull Iterable ontologies) {
Multimap collection = LinkedListMultimap.create();
assert collection != null;
for (OWLOntology o : ontologies) {
assert o != null;
collection.putAll(getDataPropertyValues(i, o));
}
return collection;
}
/**
* @param i individual
* @param ontology ontology to search
* @return property values
*/
@Nonnull
public static Multimap getObjectPropertyValues(
@Nonnull OWLIndividual i, @Nonnull OWLOntology ontology) {
Multimap map = LinkedListMultimap.create();
for (OWLObjectPropertyAssertionAxiom ax : ontology.getObjectPropertyAssertionAxioms(i)) {
map.put(ax.getProperty(), ax.getObject());
}
return map;
}
/**
* @param i individual
* @param ontologies ontologies to search
* @return property values
*/
@Nonnull
public static Multimap getObjectPropertyValues(
@Nonnull OWLIndividual i, @Nonnull Iterable ontologies) {
Multimap map = LinkedListMultimap.create();
for (OWLOntology o : ontologies) {
map.putAll(getObjectPropertyValues(i, o));
}
return map;
}
/**
* @param i individual
* @param ontology ontology to search
* @return property values
*/
@Nonnull
public static Multimap getNegativeObjectPropertyValues(
@Nonnull OWLIndividual i, @Nonnull OWLOntology ontology) {
Multimap map = LinkedListMultimap.create();
for (OWLNegativeObjectPropertyAssertionAxiom ax : ontology
.getNegativeObjectPropertyAssertionAxioms(i)) {
map.put(ax.getProperty(), ax.getObject());
}
return map;
}
/**
* @param i individual
* @param ontology ontology to search
* @return property values
*/
@Nonnull
public static Multimap getNegativeDataPropertyValues(
@Nonnull OWLIndividual i, @Nonnull OWLOntology ontology) {
Multimap map = LinkedListMultimap.create();
for (OWLNegativeDataPropertyAssertionAxiom ax : ontology
.getNegativeDataPropertyAssertionAxioms(i)) {
map.put(ax.getProperty(), ax.getObject());
}
return map;
}
/**
* @param i individual
* @param ontologies ontologies to search
* @return property values
*/
@Nonnull
public static Multimap getNegativeObjectPropertyValues(
@Nonnull OWLIndividual i, @Nonnull Iterable ontologies) {
Multimap map = LinkedListMultimap.create();
for (OWLOntology o : ontologies) {
map.putAll(getNegativeObjectPropertyValues(i, o));
}
return map;
}
/**
* @param i individual
* @param ontologies ontologies to search
* @return property values
*/
@Nonnull
public static Multimap getNegativeDataPropertyValues(
@Nonnull OWLIndividual i, @Nonnull Iterable ontologies) {
Multimap map = LinkedListMultimap.create();
for (OWLOntology o : ontologies) {
map.putAll(getNegativeDataPropertyValues(i, o));
}
return map;
}
/**
* @param e object property
* @param ontology ontology to search
* @return property inverses
*/
@Nonnull
public static Collection getInverses(
@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology ontology) {
return Searcher.inverse(ontology.getInverseObjectPropertyAxioms(e), e);
}
/**
* @param e object property
* @param ontologies ontologies to search
* @return property inverses
*/
@Nonnull
public static Collection getInverses(
@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable ontologies) {
Collection collection = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
collection.addAll(getInverses(e, o));
}
return collection;
}
/**
* @param e class
* @param ontology ontology to search
* @return instances of class
*/
@Nonnull
public static Collection getInstances(@Nonnull OWLClassExpression e,
@Nonnull OWLOntology ontology) {
return Searcher.instances(ontology.getClassAssertionAxioms(e));
}
/**
* @param e class
* @param ontologies ontologies to search
* @return instances of class
*/
@Nonnull
public static Collection getInstances(@Nonnull OWLClassExpression e,
@Nonnull Iterable ontologies) {
Collection list = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
list.addAll(getInstances(e, o));
}
return list;
}
/**
* @param e individual
* @param ontology ontology to search
* @return types for individual
*/
@Nonnull
public static Collection getTypes(@Nonnull OWLIndividual e,
@Nonnull OWLOntology ontology) {
return Searcher.types(ontology.getClassAssertionAxioms(e));
}
/**
* @param e individual
* @param ontologies ontologies to search
* @return types for individual
*/
@Nonnull
public static Collection getTypes(@Nonnull OWLIndividual e,
@Nonnull Iterable ontologies) {
Collection list = new ArrayList<>();
for (OWLOntology o : ontologies) {
assert o != null;
list.addAll(getTypes(e, o));
}
return list;
}
}