From 39b60d4225f5efa4e0287a2c6ce69d90391c69db Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Fri, 3 Jul 2015 19:09:31 +0100
Subject: Many little changes.

---
 src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java')

diff --git a/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java b/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java
index a09cf5b..116e724 100644
--- a/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java
+++ b/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java
@@ -102,16 +102,17 @@ public class QueryGraph {
 //		return axioms;
 //	}
 
-	public Set<OWLAxiom> getExistentialAxioms() {
+	public Set<OWLAxiom> getExistentialAxioms(Map<Variable, Term> assignment) {
 		if(!rollable_edges.isEmpty()) return null;
 
+		Visitor visitor = new Visitor(factory, assignment);
 		Set<OWLAxiom> axioms = new HashSet<>();
 		for(Map.Entry<Term, Set<OWLClassExpression>> entry : concepts.map.entrySet()) {
 			if(existVars.contains(entry.getKey())) {
 				OWLClassExpression conjunction =
 						factory.getOWLObjectIntersectionOf(factory.getOWLThing());
 				for(OWLClassExpression owlClassExpression : entry.getValue()) {
-					conjunction = factory.getOWLObjectIntersectionOf(conjunction, owlClassExpression);
+					conjunction = factory.getOWLObjectIntersectionOf(conjunction, owlClassExpression.accept(visitor));
 				}
 				axioms.add(factory.getOWLSubClassOfAxiom(conjunction, factory.getOWLNothing()));
 			}
-- 
cgit v1.2.3