initial version

3 files changed, 1026 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java b/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java
new file mode 100644
index 0000000..11b0c75
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java
@@ -0,0 +1,383 @@
+package uk.ac.ox.cs.pagoda.query.rollup;
+
+import java.util.HashMap;
+import java.util.HashSet;
+import java.util.Iterator;
+import java.util.Map;
+import java.util.Set;
+
+import org.semanticweb.HermiT.model.Atom;
+import org.semanticweb.HermiT.model.AtomicConcept;
+import org.semanticweb.HermiT.model.AtomicRole;
+import org.semanticweb.HermiT.model.Constant;
+import org.semanticweb.HermiT.model.Individual;
+import org.semanticweb.HermiT.model.Term;
+import org.semanticweb.HermiT.model.Variable;
+import org.semanticweb.owlapi.model.IRI;
+import org.semanticweb.owlapi.model.OWLAxiom;
+import org.semanticweb.owlapi.model.OWLClass;
+import org.semanticweb.owlapi.model.OWLClassExpression;
+import org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx;
+import org.semanticweb.owlapi.model.OWLDataAllValuesFrom;
+import org.semanticweb.owlapi.model.OWLDataExactCardinality;
+import org.semanticweb.owlapi.model.OWLDataFactory;
+import org.semanticweb.owlapi.model.OWLDataHasValue;
+import org.semanticweb.owlapi.model.OWLDataMaxCardinality;
+import org.semanticweb.owlapi.model.OWLDataMinCardinality;
+import org.semanticweb.owlapi.model.OWLDataSomeValuesFrom;
+import org.semanticweb.owlapi.model.OWLIndividual;
+import org.semanticweb.owlapi.model.OWLLiteral;
+import org.semanticweb.owlapi.model.OWLNamedIndividual;
+import org.semanticweb.owlapi.model.OWLObjectAllValuesFrom;
+import org.semanticweb.owlapi.model.OWLObjectComplementOf;
+import org.semanticweb.owlapi.model.OWLObjectExactCardinality;
+import org.semanticweb.owlapi.model.OWLObjectHasSelf;
+import org.semanticweb.owlapi.model.OWLObjectHasValue;
+import org.semanticweb.owlapi.model.OWLObjectIntersectionOf;
+import org.semanticweb.owlapi.model.OWLObjectMaxCardinality;
+import org.semanticweb.owlapi.model.OWLObjectMinCardinality;
+import org.semanticweb.owlapi.model.OWLObjectOneOf;
+import org.semanticweb.owlapi.model.OWLObjectPropertyExpression;
+import org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom;
+import org.semanticweb.owlapi.model.OWLObjectUnionOf;
+import org.semanticweb.owlapi.model.OWLOntology;
+
+public class QueryGraph {
+        
+        Set<Variable> freeVars = new HashSet<Variable>(); 
+        Set<Variable> existVars = new HashSet<Variable>(); 
+        Set<Individual> constants = new HashSet<Individual>();
+        
+        MultiMap<Term, OWLClassExpression> concepts = new MultiMap<Term, OWLClassExpression>();
+        MultiMap<Term, ObjectEdge> rollable_edges = new MultiMap<Term, ObjectEdge>();
+        MultiMap<Term, ObjectEdge> edges = new MultiMap<Term, ObjectEdge>();
+        OWLOntology ontology; 
+        OWLDataFactory factory; 
+        
+        public QueryGraph(Atom[] bodyAtoms, String[] distinguishedVars, OWLOntology onto) {
+                for (String vName: distinguishedVars)
+                        freeVars.add(Variable.create(vName));
+                
+                ontology = onto; 
+                factory = onto.getOWLOntologyManager().getOWLDataFactory(); 
+                
+                for (Atom atom: bodyAtoms) {
+                        if (atom.getArity() == 1) {
+                                updateExistentiallyVariables(atom.getArgumentVariable(0)); 
+                                IRI iri = IRI.create(((AtomicConcept) atom.getDLPredicate()).getIRI()); 
+                                if (ontology.containsClassInSignature(iri))
+                                        concepts.add(atom.getArgument(0), factory.getOWLClass(IRI.create(((AtomicConcept) atom.getDLPredicate()).getIRI())));
+                        }
+                        else if (atom.getArity() == 2) {
+                                updateExistentiallyVariables(atom.getArgumentVariable(0)); 
+                                updateExistentiallyVariables(atom.getArgumentVariable(1)); 
+                                if (atom.getArgument(0).equals(atom.getArgument(1)) && atom.getArgument(0) instanceof Variable) {
+                                        concepts.add(atom.getArgument(0), factory.getOWLObjectHasSelf(factory.getOWLObjectProperty(IRI.create(((AtomicRole) atom.getDLPredicate()).getIRI()))));
+                                }
+                                else createEdges(atom.getArgument(0), (AtomicRole) atom.getDLPredicate(), atom.getArgument(1));
+                        }
+                }
+                
+                rollup(); 
+        }
+        
+        private void updateExistentiallyVariables(Variable argumentVariable) {
+                if (freeVars.contains(argumentVariable)) return ; 
+                existVars.add(argumentVariable);
+        }
+
+        public void createEdges(Term u, AtomicRole r, Term v) {
+                if (ontology.containsDataPropertyInSignature(IRI.create(r.getIRI()))) {
+//                      edges.add(u, new DataEdge(r, v));
+                        Constant c = (Constant) v; 
+                        OWLLiteral l = factory.getOWLLiteral(c.getLexicalForm(), c.getDatatypeURI());  
+                        concepts.add(u, factory.getOWLDataHasValue(factory.getOWLDataProperty(IRI.create(r.getIRI())), l));
+                }
+                else {
+                        boolean rollable = existVars.contains(u) || existVars.contains(v);
+                        
+                        ObjectEdge edge = new ObjectEdge(r, v, false);
+                        if (rollable) {
+                                rollable_edges.add(u, edge);
+                                edge = new ObjectEdge(r, u, true);
+                                rollable_edges.add(v, edge);
+                        }
+                        else edges.add(u, edge);
+                        
+                }
+        }
+        
+        private void rollup() {
+                for (boolean updated = true; updated; ) {
+                        updated = false; 
+                        
+                        Set<ObjectEdge> set; 
+                        for (Variable var: existVars) {
+                                if ((set = rollable_edges.map.get(var)) != null && set.size() == 1) {
+                                        updated = true; 
+                                        ObjectEdge edge = set.iterator().next();
+                                        rollupEdge(edge.v, edge.p.getInverseProperty().getSimplified(), var, true);
+                                        set.clear();
+                                }
+                        }
+                        if (updated) continue; 
+                        
+                        for (Variable var: existVars) {
+                                set = rollable_edges.map.get(var); 
+                                if (set == null) continue; 
+                                for (Iterator<ObjectEdge> iter = set.iterator(); iter.hasNext(); ) {
+                                        ObjectEdge edge = iter.next(); 
+                                        if (constants.contains(edge.v) || freeVars.contains(edge.v)) {
+                                                updated = true; 
+                                                rollupEdge(var, edge.p, edge.v, false);
+                                                iter.remove();
+                                        }
+                                }
+                        }
+                }
+                
+        }
+
+        private void rollupEdge(Term u, OWLObjectPropertyExpression op, Term v, boolean inverse) {
+                if (existVars.contains(v)) {
+                        concepts.add(u, factory.getOWLObjectSomeValuesFrom(op, factory.getOWLObjectIntersectionOf(concepts.get(v)))); 
+                }
+                else {
+                        OWLIndividual obj = getOWLIndividual(v); 
+                        concepts.add(u, factory.getOWLObjectHasValue(op, obj));
+                }
+                
+                if (inverse) 
+                        removeRollableEdge(u, op, v);
+                else 
+                        removeRollableEdge(v, op.getInverseProperty().getSimplified(), u);
+        }
+        
+        private void removeRollableEdge(Term u, OWLObjectPropertyExpression op, Term v) {
+                Set<ObjectEdge> set = rollable_edges.get(u);
+                ObjectEdge edge; 
+                if (set != null)
+                        for (Iterator<ObjectEdge> iter = set.iterator(); iter.hasNext(); ) {
+                                edge = iter.next(); 
+                                if (edge.p.equals(op) && edge.v.equals(v)) iter.remove(); 
+                        }
+        }
+        
+        OWLNamedIndividual getOWLIndividual(Term t) {
+                if (freeVars.contains(t))
+                        return new VariableIndividual((Variable) t);
+                else if (t instanceof Variable)
+                        return null; 
+                else 
+                        return factory.getOWLNamedIndividual(IRI.create(((Individual) t).getIRI())); 
+        }
+
+        class ObjectEdge {
+                OWLObjectPropertyExpression p;
+                Term v; 
+                
+                public ObjectEdge(AtomicRole r, Term t, boolean inverse) {
+                        p = factory.getOWLObjectProperty(IRI.create(r.getIRI())); 
+                        if (inverse) p = p.getInverseProperty();
+                        v = t; 
+
+                }
+        }
+
+        class MultiMap<K, V> {
+                
+                HashMap<K, Set<V>> map = new HashMap<K, Set<V>>(); 
+                
+                void add(K key, V value) {
+                        Set<V> list = map.get(key); 
+                        if (list == null)
+                                map.put(key, list = new HashSet<V>());
+                        list.add(value); 
+                }
+
+                public Set<V> get(K v) {
+                        return map.get(v); 
+                }
+
+                public boolean isEmpty() {
+                        for (Map.Entry<K, Set<V>> entry: map.entrySet()) 
+                                if (!entry.getValue().isEmpty())
+                                        return false; 
+                        return true;
+                }
+                
+        }
+
+        public Set<OWLAxiom> getPropertyAssertions(Map<Variable, Term> assignment) {
+                OWLIndividual sub, obj;
+                Set<OWLAxiom> axioms = new HashSet<OWLAxiom>(); 
+                for (Map.Entry<Term, Set<ObjectEdge>> entry: edges.map.entrySet()) {
+                        sub = factory.getOWLNamedIndividual(IRI.create(getIndividual(entry.getKey(), assignment).getIRI())); 
+                        for (ObjectEdge edge: entry.getValue()) {
+                                obj = factory.getOWLNamedIndividual(IRI.create(getIndividual(edge.v, assignment).getIRI())); 
+                                axioms.add(factory.getOWLObjectPropertyAssertionAxiom(edge.p, sub, obj)); 
+                        }
+                }
+                return axioms; 
+        }
+        
+        public Set<OWLAxiom> getAssertions(Map<Variable, Term> assignment) {
+                if (!rollable_edges.isEmpty()) return null; 
+                
+                OWLIndividual sub;
+                Visitor visitor = new Visitor(factory, assignment); 
+                Set<OWLAxiom> axioms = getPropertyAssertions(assignment);
+                for (Map.Entry<Term, Set<OWLClassExpression>> entry: concepts.map.entrySet()) {
+                        if (existVars.contains(entry.getKey())) continue; 
+                        sub = factory.getOWLNamedIndividual(IRI.create(getIndividual(entry.getKey(), assignment).getIRI()));
+                        for (OWLClassExpression clsExp: entry.getValue()) {
+                                axioms.add(factory.getOWLClassAssertionAxiom(clsExp.accept(visitor), sub)); 
+                        }
+                }
+                return axioms; 
+        }
+
+        private Individual getIndividual(Term key, Map<Variable, Term> assignment) {
+                if (key instanceof Individual) 
+                        return (Individual) key; 
+                else 
+                        return (Individual) assignment.get(key);
+        }
+}
+
+class Visitor implements OWLClassExpressionVisitorEx<OWLClassExpression> {
+
+        OWLDataFactory factory; 
+        Map<Variable, Term> assignment; 
+        
+        public Visitor(OWLDataFactory factory, Map<Variable, Term> assignment) {
+                this.factory = factory; 
+                this.assignment = assignment; 
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLClass ce) {
+                // TODO Auto-generated method stub
+                return ce;
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLObjectIntersectionOf ce) {
+                Set<OWLClassExpression> clsExps = new HashSet<OWLClassExpression>();
+                OWLClassExpression newExp; 
+                boolean updated = false; 
+                for (OWLClassExpression clsExp: ce.asConjunctSet()) {
+                        clsExps.add(newExp = clsExp.accept(this)); 
+                        if (newExp != clsExp) updated = true; 
+                }
+                        
+                if (updated) return factory.getOWLObjectIntersectionOf(clsExps); 
+                else return ce;
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLObjectUnionOf ce) {
+                // TODO Auto-generated method stub
+                return ce;
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLObjectComplementOf ce) {
+                // TODO Auto-generated method stub
+                return ce;
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLObjectSomeValuesFrom ce) {
+                OWLClassExpression newFiller = ce.getFiller().accept(this); 
+                if (newFiller == ce.getFiller()) return ce;
+                return factory.getOWLObjectSomeValuesFrom(ce.getProperty(), newFiller); 
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLObjectAllValuesFrom ce) {
+                // TODO Auto-generated method stub
+                return ce;
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLObjectHasValue ce) {
+                if (ce.getFiller() instanceof VariableIndividual) {
+                        Individual c = (Individual) assignment.get(((VariableIndividual) ce.getFiller()).var); 
+                        OWLIndividual l = factory.getOWLNamedIndividual(IRI.create(c.getIRI())); 
+                        return factory.getOWLObjectHasValue(ce.getProperty(), l); 
+                }
+                return ce;
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLObjectMinCardinality ce) {
+                // TODO Auto-generated method stub
+                return ce;
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLObjectExactCardinality ce) {
+                // TODO Auto-generated method stub
+                return ce;
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLObjectMaxCardinality ce) {
+                // TODO Auto-generated method stub
+                return ce;
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLObjectHasSelf ce) {
+                // TODO Auto-generated method stub
+                return ce;
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLObjectOneOf ce) {
+                // TODO Auto-generated method stub
+                return ce;
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLDataSomeValuesFrom ce) {
+                // TODO Auto-generated method stub
+                return ce;
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLDataAllValuesFrom ce) {
+                // TODO Auto-generated method stub
+                return ce;
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLDataHasValue ce) {
+                if (ce.getFiller() instanceof VariableConstant) {
+                        Constant c = (Constant) assignment.get(((VariableConstant) ce.getFiller()).var); 
+                        OWLLiteral l = factory.getOWLLiteral(c.getLexicalForm(), c.getDatatypeURI()); 
+                        return factory.getOWLDataHasValue(ce.getProperty(), l); 
+                }
+                return ce;
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLDataMinCardinality ce) {
+                // TODO Auto-generated method stub
+                return ce;
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLDataExactCardinality ce) {
+                // TODO Auto-generated method stub
+                return ce;
+        }
+
+        @Override
+        public OWLClassExpression visit(OWLDataMaxCardinality ce) {
+                // TODO Auto-generated method stub
+                return ce;
+        }
+        
+}
\ No newline at end of file
diff --git a/src/uk/ac/ox/cs/pagoda/query/rollup/VariableConstant.java b/src/uk/ac/ox/cs/pagoda/query/rollup/VariableConstant.java
new file mode 100644
index 0000000..3140fa4
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/query/rollup/VariableConstant.java
@@ -0,0 +1,227 @@
+package uk.ac.ox.cs.pagoda.query.rollup;
+
+import java.util.Set;
+
+import org.semanticweb.HermiT.model.Variable;
+import org.semanticweb.owlapi.model.OWLAnnotationValueVisitor;
+import org.semanticweb.owlapi.model.OWLAnnotationValueVisitorEx;
+import org.semanticweb.owlapi.model.OWLAnonymousIndividual;
+import org.semanticweb.owlapi.model.OWLClass;
+import org.semanticweb.owlapi.model.OWLClassExpression;
+import org.semanticweb.owlapi.model.OWLDataProperty;
+import org.semanticweb.owlapi.model.OWLDataVisitor;
+import org.semanticweb.owlapi.model.OWLDataVisitorEx;
+import org.semanticweb.owlapi.model.OWLDatatype;
+import org.semanticweb.owlapi.model.OWLEntity;
+import org.semanticweb.owlapi.model.OWLLiteral;
+import org.semanticweb.owlapi.model.OWLNamedIndividual;
+import org.semanticweb.owlapi.model.OWLObject;
+import org.semanticweb.owlapi.model.OWLObjectProperty;
+import org.semanticweb.owlapi.model.OWLObjectVisitor;
+import org.semanticweb.owlapi.model.OWLObjectVisitorEx;
+
+class VariableConstant implements OWLLiteral {
+        
+        /**
+         * 
+         */
+        private static final long serialVersionUID = 5089014375729171030L;
+        Variable var; 
+
+        public VariableConstant(Variable v) {
+                var = v; 
+        }
+
+        @Override
+        public Set<OWLEntity> getSignature() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLAnonymousIndividual> getAnonymousIndividuals() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLClass> getClassesInSignature() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLDataProperty> getDataPropertiesInSignature() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLObjectProperty> getObjectPropertiesInSignature() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLNamedIndividual> getIndividualsInSignature() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLDatatype> getDatatypesInSignature() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLClassExpression> getNestedClassExpressions() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public void accept(OWLObjectVisitor visitor) {
+                // TODO Auto-generated method stub
+                
+        }
+
+        @Override
+        public <O> O accept(OWLObjectVisitorEx<O> visitor) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public boolean isTopEntity() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public boolean isBottomEntity() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public int compareTo(OWLObject arg0) {
+                // TODO Auto-generated method stub
+                return 0;
+        }
+
+        @Override
+        public boolean containsEntityInSignature(OWLEntity owlEntity) {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public void accept(OWLAnnotationValueVisitor visitor) {
+                // TODO Auto-generated method stub
+                
+        }
+
+        @Override
+        public <O> O accept(OWLAnnotationValueVisitorEx<O> visitor) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public boolean isRDFPlainLiteral() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public String getLiteral() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public OWLDatatype getDatatype() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public boolean hasLang() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public String getLang() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public boolean hasLang(String lang) {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public boolean isInteger() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public int parseInteger() throws NumberFormatException {
+                // TODO Auto-generated method stub
+                return 0;
+        }
+
+        @Override
+        public boolean isBoolean() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public boolean parseBoolean() throws NumberFormatException {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public boolean isDouble() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public double parseDouble() throws NumberFormatException {
+                // TODO Auto-generated method stub
+                return 0;
+        }
+
+        @Override
+        public boolean isFloat() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public float parseFloat() throws NumberFormatException {
+                // TODO Auto-generated method stub
+                return 0;
+        }
+
+        @Override
+        public void accept(OWLDataVisitor visitor) {
+                // TODO Auto-generated method stub
+                
+        }
+
+        @Override
+        public <O> O accept(OWLDataVisitorEx<O> visitor) {
+                // TODO Auto-generated method stub
+                return null;
+        } 
+        
+}
diff --git a/src/uk/ac/ox/cs/pagoda/query/rollup/VariableIndividual.java b/src/uk/ac/ox/cs/pagoda/query/rollup/VariableIndividual.java
new file mode 100644
index 0000000..53288e5
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/query/rollup/VariableIndividual.java
@@ -0,0 +1,416 @@
+package uk.ac.ox.cs.pagoda.query.rollup;
+
+import java.util.Map;
+import java.util.Set;
+
+import org.semanticweb.HermiT.model.Variable;
+import org.semanticweb.owlapi.model.EntityType;
+import org.semanticweb.owlapi.model.IRI;
+import org.semanticweb.owlapi.model.OWLAnnotation;
+import org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom;
+import org.semanticweb.owlapi.model.OWLAnnotationProperty;
+import org.semanticweb.owlapi.model.OWLAnonymousIndividual;
+import org.semanticweb.owlapi.model.OWLAxiom;
+import org.semanticweb.owlapi.model.OWLClass;
+import org.semanticweb.owlapi.model.OWLClassExpression;
+import org.semanticweb.owlapi.model.OWLDataProperty;
+import org.semanticweb.owlapi.model.OWLDataPropertyExpression;
+import org.semanticweb.owlapi.model.OWLDatatype;
+import org.semanticweb.owlapi.model.OWLEntity;
+import org.semanticweb.owlapi.model.OWLEntityVisitor;
+import org.semanticweb.owlapi.model.OWLEntityVisitorEx;
+import org.semanticweb.owlapi.model.OWLIndividual;
+import org.semanticweb.owlapi.model.OWLIndividualVisitor;
+import org.semanticweb.owlapi.model.OWLIndividualVisitorEx;
+import org.semanticweb.owlapi.model.OWLLiteral;
+import org.semanticweb.owlapi.model.OWLNamedIndividual;
+import org.semanticweb.owlapi.model.OWLNamedObjectVisitor;
+import org.semanticweb.owlapi.model.OWLObject;
+import org.semanticweb.owlapi.model.OWLObjectProperty;
+import org.semanticweb.owlapi.model.OWLObjectPropertyExpression;
+import org.semanticweb.owlapi.model.OWLObjectVisitor;
+import org.semanticweb.owlapi.model.OWLObjectVisitorEx;
+import org.semanticweb.owlapi.model.OWLOntology;
+
+class VariableIndividual implements OWLNamedIndividual {
+        
+        /**
+         * 
+         */
+        private static final long serialVersionUID = 3002966246639516395L;
+        Variable var; 
+
+        public VariableIndividual(Variable v) {
+                var = v; 
+        } 
+        
+        @Override
+        public boolean isNamed() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public boolean isAnonymous() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public OWLNamedIndividual asOWLNamedIndividual() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public OWLAnonymousIndividual asOWLAnonymousIndividual() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLClassExpression> getTypes(OWLOntology ontology) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLClassExpression> getTypes(Set<OWLOntology> ontologies) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Map<OWLObjectPropertyExpression, Set<OWLIndividual>> getObjectPropertyValues(
+                        OWLOntology ontology) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLIndividual> getObjectPropertyValues(
+                        OWLObjectPropertyExpression property, OWLOntology ontology) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public boolean hasObjectPropertyValue(OWLObjectPropertyExpression property,
+                        OWLIndividual individual, OWLOntology ontology) {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public boolean hasDataPropertyValue(OWLDataPropertyExpression property,
+                        OWLLiteral value, OWLOntology ontology) {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public boolean hasNegativeObjectPropertyValue(
+                        OWLObjectPropertyExpression property, OWLIndividual individual,
+                        OWLOntology ontology) {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public Map<OWLObjectPropertyExpression, Set<OWLIndividual>> getNegativeObjectPropertyValues(
+                        OWLOntology ontology) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Map<OWLDataPropertyExpression, Set<OWLLiteral>> getDataPropertyValues(
+                        OWLOntology ontology) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLLiteral> getDataPropertyValues(
+                        OWLDataPropertyExpression property, OWLOntology ontology) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Map<OWLDataPropertyExpression, Set<OWLLiteral>> getNegativeDataPropertyValues(
+                        OWLOntology ontology) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public boolean hasNegativeDataPropertyValue(
+                        OWLDataPropertyExpression property, OWLLiteral literal,
+                        OWLOntology ontology) {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public Set<OWLIndividual> getSameIndividuals(OWLOntology ontology) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLIndividual> getDifferentIndividuals(OWLOntology ontology) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public String toStringID() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public void accept(OWLIndividualVisitor visitor) {
+                // TODO Auto-generated method stub
+                
+        }
+
+        @Override
+        public <O> O accept(OWLIndividualVisitorEx<O> visitor) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLEntity> getSignature() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLAnonymousIndividual> getAnonymousIndividuals() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLClass> getClassesInSignature() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLDataProperty> getDataPropertiesInSignature() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLObjectProperty> getObjectPropertiesInSignature() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLNamedIndividual> getIndividualsInSignature() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLDatatype> getDatatypesInSignature() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLClassExpression> getNestedClassExpressions() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public void accept(OWLObjectVisitor visitor) {
+                // TODO Auto-generated method stub
+                
+        }
+
+        @Override
+        public <O> O accept(OWLObjectVisitorEx<O> visitor) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public boolean isTopEntity() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public boolean isBottomEntity() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public int compareTo(OWLObject arg0) {
+                // TODO Auto-generated method stub
+                return 0;
+        }
+
+        @Override
+        public boolean containsEntityInSignature(OWLEntity owlEntity) {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public EntityType<?> getEntityType() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public <E extends OWLEntity> E getOWLEntity(EntityType<E> entityType) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public boolean isType(EntityType<?> entityType) {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public Set<OWLAnnotation> getAnnotations(OWLOntology ontology) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLAnnotation> getAnnotations(OWLOntology ontology,
+                        OWLAnnotationProperty annotationProperty) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(
+                        OWLOntology ontology) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public boolean isBuiltIn() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public boolean isOWLClass() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public OWLClass asOWLClass() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public boolean isOWLObjectProperty() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public OWLObjectProperty asOWLObjectProperty() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public boolean isOWLDataProperty() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public OWLDataProperty asOWLDataProperty() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public boolean isOWLNamedIndividual() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public boolean isOWLDatatype() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public OWLDatatype asOWLDatatype() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public boolean isOWLAnnotationProperty() {
+                // TODO Auto-generated method stub
+                return false;
+        }
+
+        @Override
+        public OWLAnnotationProperty asOWLAnnotationProperty() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLAxiom> getReferencingAxioms(OWLOntology ontology) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public Set<OWLAxiom> getReferencingAxioms(OWLOntology ontology,
+                        boolean includeImports) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public void accept(OWLEntityVisitor visitor) {
+                // TODO Auto-generated method stub
+                
+        }
+
+        @Override
+        public <O> O accept(OWLEntityVisitorEx<O> visitor) {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public IRI getIRI() {
+                // TODO Auto-generated method stub
+                return null;
+        }
+
+        @Override
+        public void accept(OWLNamedObjectVisitor visitor) {
+                // TODO Auto-generated method stub
+                
+        }
+        
+}