From afb949a595bf351d4c9f1a8984ed82edbd13b725 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Tue, 30 Jun 2015 10:28:09 +0100 Subject: Small changes. --- src/uk/ac/ox/cs/pagoda/hermit/RuleHelper.java | 14 ++------------ 1 file changed, 2 insertions(+), 12 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/hermit/RuleHelper.java') diff --git a/src/uk/ac/ox/cs/pagoda/hermit/RuleHelper.java b/src/uk/ac/ox/cs/pagoda/hermit/RuleHelper.java index 476fbec..530b97f 100644 --- a/src/uk/ac/ox/cs/pagoda/hermit/RuleHelper.java +++ b/src/uk/ac/ox/cs/pagoda/hermit/RuleHelper.java @@ -1,16 +1,6 @@ package uk.ac.ox.cs.pagoda.hermit; -import org.semanticweb.HermiT.model.AnnotatedEquality; -import org.semanticweb.HermiT.model.Atom; -import org.semanticweb.HermiT.model.AtomicRole; -import org.semanticweb.HermiT.model.DLClause; -import org.semanticweb.HermiT.model.DLPredicate; -import org.semanticweb.HermiT.model.Equality; -import org.semanticweb.HermiT.model.Inequality; -import org.semanticweb.HermiT.model.NodeIDLessEqualThan; -import org.semanticweb.HermiT.model.NodeIDsAscendingOrEqual; -import org.semanticweb.HermiT.model.Term; -import org.semanticweb.HermiT.model.Variable; +import org.semanticweb.HermiT.model.*; import uk.ac.ox.cs.pagoda.MyPrefixes; import uk.ac.ox.cs.pagoda.util.Namespace; @@ -47,7 +37,7 @@ public class RuleHelper { boolean lastSpace = true; for (Atom headAtom: clause.getHeadAtoms()) { if ((atomText = getText(headAtom)) == null) continue; - if (!lastSpace) buf.append(" v "); + if (!lastSpace) buf.append(" | "); buf.append(atomText); lastSpace = false; } -- cgit v1.2.3