All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.semanticweb.owlapi.search.Searcher Maven / Gradle / Ivy

There is a newer version: 5.5.1
Show newest version
/* 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 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.*;

/**
 * A collection of static search utilities.
 * 
 * @author ignazio
 */
public final class Searcher {

    private Searcher() {}

    /**
     * Retrieve literals from a collection of assertions.
     * 
     * @param axioms
     *        axioms
     * @param p
     *        optional property to match. Null means all.
     * @return literals
     */
    @Nonnull
    public static Collection values(@Nonnull Collection axioms,
        @Nullable OWLDataPropertyExpression p) {
        Set literals = new HashSet<>();
        for (OWLDataPropertyAssertionAxiom ax : axioms) {
            if (p == null || ax.getProperty().equals(p)) {
                literals.add(ax.getObject());
            }
        }
        return literals;
    }

    /**
     * Retrieve objects from a collection of assertions.
     * 
     * @param axioms
     *        axioms
     * @param p
     *        optional property to match. Null means all.
     * @return objects
     */
    @Nonnull
    public static Collection values(@Nonnull Collection axioms,
        @Nullable OWLObjectPropertyExpression p) {
        Set objects = new HashSet<>();
        for (OWLObjectPropertyAssertionAxiom ax : axioms) {
            if (p == null || ax.getProperty().equals(p)) {
                objects.add(ax.getObject());
            }
        }
        return objects;
    }

    /**
     * Retrieve literals from a collection of negative assertions.
     * 
     * @param axioms
     *        axioms
     * @param p
     *        optional property to match. Null means all.
     * @return literals
     */
    @Nonnull
    public static Collection negValues(@Nonnull Collection axioms,
        @Nullable OWLDataPropertyExpression p) {
        Set literals = new HashSet<>();
        for (OWLNegativeDataPropertyAssertionAxiom ax : axioms) {
            if (p == null || ax.getProperty().equals(p)) {
                literals.add(ax.getObject());
            }
        }
        return literals;
    }

    /**
     * Retrieve objects from a collection of negative assertions.
     * 
     * @param axioms
     *        axioms
     * @param p
     *        optional property to match. Null means all.
     * @return objects
     */
    @Nonnull
    public static Collection negValues(
        @Nonnull Collection axioms, @Nullable OWLObjectPropertyExpression p) {
        Set objects = new HashSet<>();
        for (OWLNegativeObjectPropertyAssertionAxiom ax : axioms) {
            if (p == null || ax.getProperty().equals(p)) {
                objects.add(ax.getObject());
            }
        }
        return objects;
    }

    /**
     * Retrieve classes from class assertions.
     * 
     * @param axioms
     *        axioms
     * @return classes
     */
    @Nonnull
    public static Collection types(@Nonnull Collection axioms) {
        Set objects = new HashSet<>();
        for (OWLClassAssertionAxiom ax : axioms) {
            objects.add(ax.getClassExpression());
        }
        return objects;
    }

    /**
     * Retrieve individuals from class assertions.
     * 
     * @param axioms
     *        axioms
     * @return individuals
     */
    @Nonnull
    public static Collection instances(@Nonnull Collection axioms) {
        Set objects = new HashSet<>();
        for (OWLClassAssertionAxiom ax : axioms) {
            objects.add(ax.getIndividual());
        }
        return objects;
    }

    /**
     * Retrieve inverses from a collection of inverse axioms.
     * 
     * @param axioms
     *        axioms to check
     * @param p
     *        property to match; not returned in the set
     * @return inverses of p
     */
    @Nonnull
    public static Collection inverse(
        @Nonnull Collection axioms, @Nonnull OWLObjectPropertyExpression p) {
        List toReturn = new ArrayList<>();
        for (OWLInverseObjectPropertiesAxiom ax : axioms) {
            if (ax.getFirstProperty().equals(p)) {
                toReturn.add(ax.getSecondProperty());
            } else {
                toReturn.add(ax.getFirstProperty());
            }
        }
        return toReturn;
    }

    /**
     * Retrieve annotation values from annotations
     * 
     * @param annotations
     *        annotations
     * @return annotation values
     */
    @Nonnull
    public static Collection values(@Nonnull Collection annotations) {
        return values(annotations, null);
    }

    /**
     * Retrieve annotation values from annotations
     * 
     * @param annotations
     *        annotations
     * @param p
     *        optional annotation property to filter. Null means all.
     * @return annotation values
     */
    @Nonnull
    public static Collection values(@Nonnull Collection annotations,
        @Nullable OWLAnnotationProperty p) {
        Set toReturn = new HashSet<>();
        for (OWLAnnotation ax : annotations) {
            if (p == null || ax.getProperty().equals(p)) {
                toReturn.add(ax.getValue());
            }
        }
        return toReturn;
    }

    /**
     * Retrieve annotations from a collection of axioms. For regular axioms,
     * their annotations are retrieved; for annotation assertion axioms, their
     * asserted annotation is retrieved as well.
     * 
     * @param axioms
     *        axioms
     * @return annotations
     */
    @Nonnull
    public static Collection annotations(@Nonnull Collection axioms) {
        return annotations(axioms, null);
    }

    /**
     * Retrieve annotations from a collection of annotation assertion axioms.
     * 
     * @param axioms
     *        axioms
     * @param p
     *        optional annotation property to filter. Null means all.
     * @return annotations
     */
    @Nonnull
    public static Collection annotationObjects(@Nonnull Collection axioms,
        @Nullable OWLAnnotationProperty p) {
        Set toReturn = new HashSet<>();
        for (OWLAnnotationAssertionAxiom ax : axioms) {
            assert ax != null;
            OWLAnnotation c = ax.getAnnotation();
            if (p == null || c.getProperty().equals(p)) {
                toReturn.add(c);
            }
        }
        return toReturn;
    }

    /**
     * Retrieve annotations from a collection of annotation assertion axioms.
     * 
     * @param axioms
     *        axioms
     * @return annotations
     */
    @Nonnull
    public static Collection annotationObjects(@Nonnull Collection axioms) {
        Set toReturn = new HashSet<>();
        for (OWLAnnotationAssertionAxiom ax : axioms) {
            assert ax != null;
            toReturn.add(ax.getAnnotation());
        }
        return toReturn;
    }

    /**
     * Retrieve the annotation from an annotation assertion axiom.
     * 
     * @param axiom
     *        axiom
     * @param p
     *        optional annotation property to filter. Null means all.
     * @return annotations
     */
    public static OWLAnnotation annotationObject(@Nonnull OWLAnnotationAssertionAxiom axiom,
        @Nullable OWLAnnotationProperty p) {
        if (p == null || axiom.getProperty().equals(p)) {
            return axiom.getAnnotation();
        }
        return null;
    }

    /**
     * Retrieve annotations from a collection of axioms. For regular axioms,
     * their annotations are retrieved; for annotation assertion axioms, their
     * asserted annotation is retrieved as well.
     * 
     * @param axioms
     *        axioms
     * @param p
     *        optional annotation property to filter. Null means all.
     * @return annotations
     */
    @Nonnull
    public static Collection annotations(@Nonnull Collection axioms,
        @Nullable OWLAnnotationProperty p) {
        Set toReturn = new HashSet<>();
        for (OWLAxiom ax : axioms) {
            assert ax != null;
            Set c = annotations(ax, p);
            toReturn.addAll(c);
        }
        return toReturn;
    }

    /**
     * Retrieve annotations from an axiom. For regular axioms, their annotations
     * are retrieved; for annotation assertion axioms, their asserted annotation
     * is retrieved as well.
     * 
     * @param axiom
     *        axiom
     * @param p
     *        optional annotation property to filter. Null means all.
     * @return annotations
     */
    @Nonnull
    public static Set annotations(@Nonnull OWLAxiom axiom, @Nullable OWLAnnotationProperty p) {
        Set set = new HashSet<>();
        if (axiom instanceof OWLAnnotationAssertionAxiom) {
            if (p == null || ((OWLAnnotationAssertionAxiom) axiom).getProperty().equals(p)) {
                set.add(((OWLAnnotationAssertionAxiom) axiom).getAnnotation());
            }
        }
        if (p != null) {
            set.addAll(axiom.getAnnotations(p));
        } else {
            set.addAll(axiom.getAnnotations());
        }
        return set;
    }

    /**
     * Retrieve equivalent entities from axioms, including individuals from
     * sameAs axioms. A mixture of axiom types can be passed in, as long as the
     * entity type they contain is compatible with the return type for the
     * collection.
     * 
     * @param 
     *        returned type
     * @param axioms
     *        axioms
     * @return equivalent entities
     */
    @Nonnull
    @SuppressWarnings("unchecked")
    public static  Collection equivalent(@Nonnull Collection axioms) {
        return (Collection) equivalent(axioms, OWLObject.class);
    }

    /**
     * Retrieve equivalent entities from axioms, including individuals from
     * sameAs axioms. A mixture of axiom types can be passed in, as long as the
     * entity type they contain is compatible with the return type for the
     * collection.
     * 
     * @param 
     *        returned type
     * @param axioms
     *        axioms
     * @param type
     *        type contained in the returned collection
     * @return equivalent entities
     */
    @Nonnull
    public static  Collection equivalent(@Nonnull Collection axioms,
        @SuppressWarnings("unused") @Nonnull Class type) {
        Set toReturn = new HashSet<>();
        for (OWLAxiom ax : axioms) {
            assert ax != null;
            Set c = equivalent(ax);
            toReturn.addAll(c);
        }
        return toReturn;
    }

    /**
     * Retrieve equivalent entities from an axiom, including individuals from
     * sameAs axioms.
     * 
     * @param axiom
     *        axiom
     * @param 
     *        type contained in the returned collection
     * @return equivalent entities
     */
    @Nonnull
    public static  Set equivalent(@Nonnull OWLAxiom axiom) {
        return axiom.accept(new EquivalentVisitor(true));
    }

    /**
     * Retrieve disjoint entities from axioms, including individuals from
     * differentFrom axioms. A mixture of axiom types can be passed in, as long
     * as the entity type they contain is compatible with the return type for
     * the collection.
     * 
     * @param 
     *        returned type
     * @param axioms
     *        axioms
     * @return disjoint entities
     */
    @Nonnull
    @SuppressWarnings("unchecked")
    public static  Collection different(@Nonnull Collection axioms) {
        return (Collection) different(axioms, OWLObject.class);
    }

    /**
     * Retrieve disjoint entities from axioms, including individuals from
     * differentFrom axioms. A mixture of axiom types can be passed in, as long
     * as the entity type they contain is compatible with the return type for
     * the collection.
     * 
     * @param 
     *        returned type
     * @param axioms
     *        axioms
     * @param type
     *        type contained in the returned collection
     * @return disjoint entities
     */
    @Nonnull
    public static  Collection different(@Nonnull Collection axioms,
        @SuppressWarnings("unused") @Nonnull Class type) {
        Set toReturn = new HashSet<>();
        for (OWLAxiom ax : axioms) {
            assert ax != null;
            Set c = different(ax);
            toReturn.addAll(c);
        }
        return toReturn;
    }

    /**
     * Retrieve disjoint entities from an axiom, including individuals from
     * differentFrom axioms.
     * 
     * @param 
     *        returned type
     * @param axiom
     *        axiom
     * @return disjoint entities
     */
    @Nonnull
    public static  Set different(@Nonnull OWLAxiom axiom) {
        return axiom.accept(new EquivalentVisitor(false));
    }

    /**
     * Retrieve the sub part of axioms, i.e., subclass or subproperty. A mixture
     * of axiom types can be passed in, as long as the entity type they contain
     * is compatible with the return type for the collection.
     * 
     * @param 
     *        returned type
     * @param axioms
     *        axioms
     * @return sub expressions
     */
    @Nonnull
    @SuppressWarnings("unchecked")
    public static  Collection sub(@Nonnull Collection axioms) {
        return (Collection) sub(axioms, OWLObject.class);
    }

    /**
     * Retrieve the sub part of axioms, i.e., subclass or subproperty. A mixture
     * of axiom types can be passed in, as long as the entity type they contain
     * is compatible with the return type for the collection.
     * 
     * @param 
     *        returned type
     * @param axioms
     *        axioms
     * @param type
     *        type contained in the returned collection
     * @return sub expressions
     */
    @Nonnull
    public static  Collection sub(@Nonnull Collection axioms,
        @SuppressWarnings("unused") @Nonnull Class type) {
        List toReturn = new ArrayList<>();
        for (OWLAxiom ax : axioms) {
            assert ax != null;
            C c = sub(ax);
            toReturn.add(c);
        }
        return toReturn;
    }

    /**
     * Retrieve the sub part of an axiom, i.e., subclass or subproperty. A
     * mixture of axiom types can be passed in, as long as the entity type they
     * contain is compatible with the return type for the collection.
     * 
     * @param 
     *        returned type
     * @param axiom
     *        axiom
     * @return sub expressions
     */
    @Nonnull
    public static  C sub(@Nonnull OWLAxiom axiom) {
        return axiom.accept(new SupSubVisitor(false));
    }

    /**
     * Retrieve the super part of axioms, i.e., superclass or superproperty. A
     * mixture of axiom types can be passed in, as long as the entity type they
     * contain is compatible with the return type for the collection.
     * 
     * @param 
     *        returned type
     * @param axioms
     *        axioms
     * @param type
     *        type contained in the returned collection
     * @return sub expressions
     */
    @Nonnull
    public static  Collection sup(@Nonnull Collection axioms,
        @SuppressWarnings("unused") @Nonnull Class type) {
        List toReturn = new ArrayList<>();
        for (OWLAxiom ax : axioms) {
            assert ax != null;
            C c = sup(ax);
            toReturn.add(c);
        }
        return toReturn;
    }

    /**
     * Retrieve the super part of axioms, i.e., superclass or superproperty. A
     * mixture of axiom types can be passed in, as long as the entity type they
     * contain is compatible with the return type for the collection.
     * 
     * @param 
     *        returned type
     * @param axioms
     *        axioms
     * @return sub expressions
     */
    @Nonnull
    @SuppressWarnings("unchecked")
    public static  Collection sup(@Nonnull Collection axioms) {
        return (Collection) sup(axioms, OWLObject.class);
    }

    /**
     * Retrieve the super part of an axiom, i.e., superclass or superproperty. A
     * mixture of axiom types can be passed in, as long as the entity type they
     * contain is compatible with the return type for the collection.
     * 
     * @param 
     *        returned type
     * @param axiom
     *        axiom
     * @return sub expressions
     */
    @Nonnull
    public static  C sup(@Nonnull OWLAxiom axiom) {
        return axiom.accept(new SupSubVisitor(true));
    }

    /**
     * Retrieve the domains from domain axioms. A mixture of axiom types can be
     * passed in.
     * 
     * @param 
     *        returned type
     * @param axioms
     *        axioms
     * @return sub expressions
     */
    @Nonnull
    @SuppressWarnings("unchecked")
    public static  Collection domain(@Nonnull Collection axioms) {
        return (Collection) domain(axioms, OWLObject.class);
    }

    /**
     * Retrieve the domains from domain axioms. A mixture of axiom types can be
     * passed in.
     * 
     * @param 
     *        returned type
     * @param axioms
     *        axioms
     * @param type
     *        type contained in the returned collection
     * @return sub expressions
     */
    @Nonnull
    public static  Collection domain(@Nonnull Collection axioms,
        @SuppressWarnings("unused") @Nonnull Class type) {
        List toReturn = new ArrayList<>();
        for (OWLAxiom ax : axioms) {
            assert ax != null;
            C c = domain(ax);
            toReturn.add(c);
        }
        return toReturn;
    }

    /**
     * Retrieve the domains from domain axioms. A mixture of axiom types can be
     * passed in.
     * 
     * @param 
     *        returned type
     * @param axiom
     *        axiom
     * @return sub expressions
     */
    @Nonnull
    public static  C domain(@Nonnull OWLAxiom axiom) {
        return axiom.accept(new DomainVisitor());
    }

    /**
     * Retrieve the ranges from range axioms. A mixture of axiom types can be
     * passed in.
     * 
     * @param 
     *        returned type
     * @param axioms
     *        axioms
     * @return sub expressions
     */
    @Nonnull
    @SuppressWarnings("unchecked")
    public static  Collection range(@Nonnull Collection axioms) {
        return (Collection) range(axioms, OWLObject.class);
    }

    /**
     * Retrieve the ranges from range axioms. A mixture of axiom types can be
     * passed in.
     * 
     * @param 
     *        returned type
     * @param axioms
     *        axioms
     * @param type
     *        type contained in the returned collection
     * @return sub expressions
     */
    @Nonnull
    public static  Collection range(@Nonnull Collection axioms,
        @SuppressWarnings("unused") @Nonnull Class type) {
        List toReturn = new ArrayList<>();
        for (OWLAxiom ax : axioms) {
            assert ax != null;
            C c = range(ax);
            toReturn.add(c);
        }
        return toReturn;
    }

    /**
     * Retrieve the ranges from a range axiom. A mixture of axiom types can be
     * passed in.
     * 
     * @param 
     *        returned type
     * @param axiom
     *        axiom
     * @return sub expressions
     */
    @Nonnull
    public static  C range(@Nonnull OWLAxiom axiom) {
        return axiom.accept(new RangeVisitor());
    }

    /**
     * Transform a collection of ontologies to a collection of IRIs of those
     * ontologies. Anonymous ontologies are skipped.
     * 
     * @param ontologies
     *        ontologies to transform
     * @return collection of IRIs for the ontologies.
     */
    @Nonnull
    public static Collection ontologyIRIs(Iterable ontologies) {
        Collection list = new ArrayList<>();
        for (OWLOntology o : ontologies) {
            list.add(o.getOntologyID());
        }
        return ontologyIRIs(list);
    }

    /**
     * Transform a collection of ontology ids to a collection of IRIs of those
     * ontology ids. Anonymous ontology ids are skipped.
     * 
     * @param ids
     *        ontology ids to transform
     * @return collection of IRIs for the ontology ids.
     */
    @Nonnull
    public static Collection ontologyIRIs(Collection ids) {
        Collection list = new ArrayList<>();
        for (OWLOntologyID id : ids) {
            if (id.getOntologyIRI().isPresent()) {
                list.add(id.getOntologyIRI().get());
            }
        }
        return list;
    }
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy