fixed some bugs

1 files changed, 2 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoder.java b/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoder.java
index 3a01e19..f3cc937 100644
--- a/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoder.java
+++ b/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoder.java
@@ -239,6 +239,8 @@ public abstract class TrackingRuleEncoder {
                         return AtomicRole.create(Namespace.EQUALITY + suffix);
                 else if (p instanceof Inequality) 
                         return AtomicRole.create(Namespace.INEQUALITY + suffix);
+                else if (p instanceof DatatypeRestriction)
+                        return AtomicConcept.create(((DatatypeRestriction) p).getDatatypeURI() + suffix);
                 else {
                         Utility.logDebug("strange DL predicate appeared ... " + p, 
                                         "the program paused here in TrackingRuleEncoderDisj.java");