3 files changed, 32 insertions, 3 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderWithGap.java b/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderWithGap.java
index 67d07a8..555f0af 100644
--- a/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderWithGap.java
+++ b/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderWithGap.java
@@ -2,6 +2,7 @@ package uk.ac.ox.cs.pagoda.tracking;
 
 import java.util.Collection;
 import java.util.LinkedList;
+import java.util.Set;
 
 import org.semanticweb.HermiT.model.AnnotatedEquality;
 import org.semanticweb.HermiT.model.Atom;
@@ -10,6 +11,7 @@ import org.semanticweb.HermiT.model.AtomicRole;
 import org.semanticweb.HermiT.model.DLClause;
 import org.semanticweb.HermiT.model.Equality;
 import org.semanticweb.HermiT.model.Variable;
+import org.semanticweb.owlapi.model.IRI;
 import org.semanticweb.owlapi.model.OWLClass;
 import org.semanticweb.owlapi.model.OWLObjectProperty;
 import org.semanticweb.owlapi.model.OWLOntology;
@@ -44,8 +46,10 @@ public class TrackingRuleEncoderWithGap extends TrackingRuleEncoder {
                         equalityRelatedClauses.add(DLClause.create(headAtom, bodyAtom)); 
                 }
                 
-                Variable Y = Variable.create("Y"); 
-                for (OWLObjectProperty prop: onto.getObjectPropertiesInSignature(true)) {
+                Variable Y = Variable.create("Y");
+                Set<OWLObjectProperty> setOfProperties = onto.getObjectPropertiesInSignature(true); 
+                setOfProperties.add(onto.getOWLOntologyManager().getOWLDataFactory().getOWLObjectProperty(IRI.create(Namespace.INEQUALITY)));
+                for (OWLObjectProperty prop: setOfProperties) {
                         String propIRI = prop.getIRI().toString();
                         binaryPredicates.add(propIRI); 
                         AtomicRole trackingRole = AtomicRole.create(propIRI + "_tn"); 
diff --git a/src/uk/ac/ox/cs/pagoda/util/Utility.java b/src/uk/ac/ox/cs/pagoda/util/Utility.java
index cb05de4..0edfac2 100644
--- a/src/uk/ac/ox/cs/pagoda/util/Utility.java
+++ b/src/uk/ac/ox/cs/pagoda/util/Utility.java
@@ -26,7 +26,7 @@ import org.semanticweb.HermiT.model.Atom;
 

 public class Utility {

         

-        private static final Logger LOGS = null; // Logger.getLogger(""); 

+        private static final Logger LOGS = Logger.getLogger(""); // null; //  

         

         public static final String JAVA_FILE_SEPARATOR = "/";

         public static final String FILE_SEPARATOR = System.getProperty("file.separator");

diff --git a/test/uk/ac/ox/cs/pagoda/junit/ClauseTester.java b/test/uk/ac/ox/cs/pagoda/junit/ClauseTester.java
index d23f186..ff98b3c 100644
--- a/test/uk/ac/ox/cs/pagoda/junit/ClauseTester.java
+++ b/test/uk/ac/ox/cs/pagoda/junit/ClauseTester.java
@@ -8,6 +8,7 @@ import org.semanticweb.HermiT.model.AtomicConcept;
 import org.semanticweb.HermiT.model.AtomicRole;
 import org.semanticweb.HermiT.model.DLClause;
 import org.semanticweb.HermiT.model.Equality;
+import org.semanticweb.HermiT.model.Individual;
 import org.semanticweb.HermiT.model.Variable;
 import org.semanticweb.owlapi.apibinding.OWLManager;
 import org.semanticweb.owlapi.model.OWLOntology;
@@ -17,7 +18,31 @@ import uk.ac.ox.cs.pagoda.approx.Clause;
 import uk.ac.ox.cs.pagoda.approx.Clausifier;
 
 public class ClauseTester {
+        
+        public void test_clause(Atom[] headAtoms, Atom[] bodyAtoms) {
+                OWLOntologyManager m = OWLManager.createOWLOntologyManager(); 
+                OWLOntology emptyOntology = null; 
+                try {
+                        emptyOntology = m.createOntology(); 
+                } catch (Exception e) {
+                        e.printStackTrace();
+                        fail("failed to create a new ontology"); 
+                }
+                Clause c = new Clause(Clausifier.getInstance(emptyOntology), DLClause.create(headAtoms, bodyAtoms));
+                System.out.println(c.toString()); 
+        }
 
+        @Test 
+        public void test_nominal() {
+                Variable x = Variable.create("X"); 
+                AtomicRole r = AtomicRole.create("r");
+                Individual o = Individual.create("o"); 
+                Atom[] bodyAtoms = new Atom[] { Atom.create(r, x, o) }; 
+                AtomicConcept A = AtomicConcept.create("A");
+                Atom[] headAtoms = new Atom[] { Atom.create(A, x) };
+                test_clause(headAtoms, bodyAtoms);
+        }
+        
         @Test
         public void test_simple() {
                 Variable x = Variable.create("X"), y1 = Variable.create("y1"), y2 = Variable.create("y2");