From d71035e6f10b3775191ad134d92f897044a592d8 Mon Sep 17 00:00:00 2001 From: yzhou Date: Fri, 1 May 2015 21:04:30 +0100 Subject: fixed some bugs --- src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoder.java | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoder.java') 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"); -- cgit v1.2.3