public boolean hasRelation(OWLNamedIndividual subject,
			OWLObjectPropertyExpression property, OWLNamedIndividual object) throws CloneNotSupportedException {
		// TODO Auto-generated method stub
		Tableau tableau = new Tableau(importClosure, factory);
		tableau.check();
		if(tableau.edges.containsKey(subject) && tableau.edges.get(subject).containsKey(property) && tableau.edges.get(subject).get(property).contains(object))
			return true;
		return false;
	}