From 39b60d4225f5efa4e0287a2c6ce69d90391c69db Mon Sep 17 00:00:00 2001 From: RncLsn Date: Fri, 3 Jul 2015 19:09:31 +0100 Subject: Many little changes. --- src/uk/ac/ox/cs/pagoda/rules/Program.java | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/rules/Program.java') 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; private Atom getAtom(OWLObjectPropertyExpression exp, Variable x, Variable y) { if(exp instanceof OWLObjectProperty) return Atom.create(AtomicRole.create(((OWLObjectProperty) exp).toStringID()), x, y); - OWLObjectInverseOf inverseOf; - if(exp instanceof OWLObjectInverseOf && (inverseOf = - (OWLObjectInverseOf) exp).getInverse() instanceof OWLObjectProperty) + // TODO fixed, test it + OWLObjectPropertyExpression inverseOf; + if(exp instanceof OWLObjectInverseOf && (inverseOf = ( + (OWLObjectInverseOf) exp).getInverse()) instanceof OWLObjectProperty) return Atom.create(AtomicRole.create(((OWLObjectProperty) inverseOf).toStringID()), x, y); return null; } -- cgit v1.2.3