blob: 2098f73ced5dff664354cab05a609197674de8f5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
package uk.ac.ox.cs.pagoda.rules;
import org.semanticweb.HermiT.model.*;
import org.semanticweb.owlapi.model.OWLObjectProperty;
import org.semanticweb.owlapi.model.OWLOntology;
import uk.ac.ox.cs.pagoda.constraints.BottomStrategy;
import uk.ac.ox.cs.pagoda.rules.approximators.Approximator;
import uk.ac.ox.cs.pagoda.rules.approximators.OverApproxExist;
import java.util.Collection;
import java.util.HashSet;
import java.util.LinkedList;
import java.util.Set;
public class ExistentialToDisjunctive extends UpperProgram {
Set<String> inverseFuncProperties = new HashSet<String>();
@Override
public void load(OWLOntology o, BottomStrategy bottomStrategy) {
super.load(o, bottomStrategy);
for (OWLObjectProperty prop: ontology.getObjectPropertiesInSignature(true))
if (!(ontology.getInverseFunctionalObjectPropertyAxioms(prop).isEmpty()))
inverseFuncProperties.add(prop.getIRI().toString());
((RefinedOverApproxExist) m_approx).setInverseFuncProps(inverseFuncProperties);
}
@Override
protected void initApproximator() {
m_approx = new RefinedOverApproxExist();
}
}
class RefinedOverApproxExist implements Approximator {
Approximator approxExist = new OverApproxExist();
Set<String> inverseFuncProperties;
public void setInverseFuncProps(Set<String> set) {
inverseFuncProperties = set;
}
@Override
public Collection<DLClause> convert(DLClause clause, DLClause originalClause) {
DLPredicate p;
Collection<Atom> newHeadAtoms = new LinkedList<Atom>();
for (Atom headAtom: clause.getHeadAtoms())
newHeadAtoms.add(headAtom);
for (Atom headAtom: clause.getHeadAtoms()) {
p = headAtom.getDLPredicate();
if (isAtLeastOneOnInverseFuncProperties(p))
newHeadAtoms.add(headAtom);
}
if (newHeadAtoms.size() > clause.getHeadLength())
clause = DLClause.create(newHeadAtoms.toArray(new Atom[0]), clause.getBodyAtoms());
return approxExist.convert(clause, clause);
}
private boolean isAtLeastOneOnInverseFuncProperties(DLPredicate predicate) {
if (!(predicate instanceof AtLeastConcept))
return false;
AtLeastConcept atLeast = (AtLeastConcept) predicate;
if (!(atLeast.getOnRole() instanceof AtomicRole))
return false;
return atLeast.getNumber() == 1 && inverseFuncProperties.contains(((AtomicRole) atLeast.getOnRole()).getIRI());
}
}
|
