Package: AxiomLoader

AxiomLoader

Coverage

1: /*
2: * JOPA
3: * Copyright (C) 2023 Czech Technical University in Prague
4: *
5: * This library is free software; you can redistribute it and/or
6: * modify it under the terms of the GNU Lesser General Public
7: * License as published by the Free Software Foundation; either
8: * version 3.0 of the License, or (at your option) any later version.
9: *
10: * This library is distributed in the hope that it will be useful,
11: * but WITHOUT ANY WARRANTY; without even the implied warranty of
12: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13: * Lesser General Public License for more details.
14: *
15: * You should have received a copy of the GNU Lesser General Public
16: * License along with this library.
17: */
18: package cz.cvut.kbss.ontodriver.owlapi;
19:
20: import cz.cvut.kbss.ontodriver.model.Assertion;
21: import cz.cvut.kbss.ontodriver.model.Axiom;
22: import cz.cvut.kbss.ontodriver.model.NamedResource;
23:
24: import java.util.Collection;
25: import java.util.Set;
26:
27: interface AxiomLoader {
28:
29: /**
30: * Loads axioms for the specified assertions (properties).
31: *
32: * @param subject Axiom subject (individual)
33: * @param assertions The assertions to load
34: * @return Matching assertion axioms
35: */
36: Collection<Axiom<?>> loadAxioms(NamedResource subject, Set<Assertion> assertions);
37:
38: /**
39: * Gets all property axioms.
40: *
41: * @param subject Property axiom subject (individual)
42: * @return All available property axioms
43: */
44: Collection<Axiom<?>> loadPropertyAxioms(NamedResource subject);
45: }