cz.cvut.kbss.ontodriver.owlapi.AxiomLoader Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of ontodriver-owlapi Show documentation

OWLAPI-based implementation of the OntoDriver API

The newest version!

/*
 * JOPA
 * Copyright (C) 2024 Czech Technical University in Prague
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 3.0 of the License, or (at your option) any later version.
 *
 * This library 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
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library.
 */
package cz.cvut.kbss.ontodriver.owlapi;

import cz.cvut.kbss.ontodriver.model.Assertion;
import cz.cvut.kbss.ontodriver.model.Axiom;
import cz.cvut.kbss.ontodriver.model.NamedResource;

import java.util.Collection;
import java.util.Set;

interface AxiomLoader {

    /**
     * Loads axioms for the specified assertions (properties).
     *
     * @param subject    Axiom subject (individual)
     * @param assertions The assertions to load
     * @return Matching assertion axioms
     */
    Collection> loadAxioms(NamedResource subject, Set assertions);

    /**
     * Gets all property axioms.
     *
     * @param subject Property axiom subject (individual)
     * @return All available property axioms
     */
    Collection> loadPropertyAxioms(NamedResource subject);
}