diff options
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules/Program.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/rules/Program.java | 7 |
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 | } |
