initial version

1 files changed, 37 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/approx/Clausifier.java b/src/uk/ac/ox/cs/pagoda/approx/Clausifier.java
new file mode 100644
index 0000000..ee23def
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/approx/Clausifier.java
@@ -0,0 +1,37 @@
+package uk.ac.ox.cs.pagoda.approx;
+
+import java.util.HashMap;
+import java.util.HashSet;
+import java.util.Set;
+
+import org.semanticweb.HermiT.model.DLClause;
+import org.semanticweb.owlapi.model.OWLDataFactory;
+import org.semanticweb.owlapi.model.OWLDataProperty;
+import org.semanticweb.owlapi.model.OWLOntology;
+
+public class Clausifier {
+
+        OWLDataFactory factory; 
+        Set<String> dataProperties = new HashSet<String>();
+
+        private Clausifier(OWLOntology ontology) {
+                factory = ontology.getOWLOntologyManager().getOWLDataFactory(); 
+                for (OWLDataProperty dataProperty: ontology.getDataPropertiesInSignature(true))
+                        dataProperties.add(dataProperty.toStringID()); 
+        }
+        
+        public Clause clasuify(DLClause clause) {
+                return new Clause(this, clause); 
+        }
+        
+        private static HashMap<OWLOntology, Clausifier> AllInstances = new HashMap<OWLOntology, Clausifier>();  
+        
+        public static Clausifier getInstance(OWLOntology onto) {
+                Clausifier c = AllInstances.get(onto);
+                if (c != null) return c; 
+                c = new Clausifier(onto); 
+                AllInstances.put(onto, c);
+                return c; 
+        }
+        
+}