aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/rules/Program.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules/Program.java')
-rw-r--r--src/uk/ac/ox/cs/pagoda/rules/Program.java7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/rules/Program.java b/src/uk/ac/ox/cs/pagoda/rules/Program.java
index 85000e3..a0edf85 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/Program.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/Program.java
@@ -316,9 +316,10 @@ protected PredicateDependency dependencyGraph;
316 private Atom getAtom(OWLObjectPropertyExpression exp, Variable x, Variable y) { 316 private Atom getAtom(OWLObjectPropertyExpression exp, Variable x, Variable y) {
317 if(exp instanceof OWLObjectProperty) 317 if(exp instanceof OWLObjectProperty)
318 return Atom.create(AtomicRole.create(((OWLObjectProperty) exp).toStringID()), x, y); 318 return Atom.create(AtomicRole.create(((OWLObjectProperty) exp).toStringID()), x, y);
319 OWLObjectInverseOf inverseOf; 319 // TODO fixed, test it
320 if(exp instanceof OWLObjectInverseOf && (inverseOf = 320 OWLObjectPropertyExpression inverseOf;
321 (OWLObjectInverseOf) exp).getInverse() instanceof OWLObjectProperty) 321 if(exp instanceof OWLObjectInverseOf && (inverseOf = (
322 (OWLObjectInverseOf) exp).getInverse()) instanceof OWLObjectProperty)
322 return Atom.create(AtomicRole.create(((OWLObjectProperty) inverseOf).toStringID()), x, y); 323 return Atom.create(AtomicRole.create(((OWLObjectProperty) inverseOf).toStringID()), x, y);
323 return null; 324 return null;
324 } 325 }