From 17bd9beaf7f358a44e5bf36a5855fe6727d506dc Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Tue, 10 May 2022 18:17:06 +0100
Subject: [pagoda] Move project to Scala

This commit includes a few changes:
- The repository still uses Maven to manage dependency but it is now a
  Scala project.
- The code has been ported from OWLAPI 3.4.10 to 5.1.20
- A proof of concept program using both RSAComb and PAGOdA has been
  added.
---
 .../pagoda/reasoner/light/RDFoxAnswerTuples.java   | 117 ---------------------
 1 file changed, 117 deletions(-)
 delete mode 100644 src/uk/ac/ox/cs/pagoda/reasoner/light/RDFoxAnswerTuples.java

(limited to 'src/uk/ac/ox/cs/pagoda/reasoner/light/RDFoxAnswerTuples.java')

diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/light/RDFoxAnswerTuples.java b/src/uk/ac/ox/cs/pagoda/reasoner/light/RDFoxAnswerTuples.java
deleted file mode 100644
index f823232..0000000
--- a/src/uk/ac/ox/cs/pagoda/reasoner/light/RDFoxAnswerTuples.java
+++ /dev/null
@@ -1,117 +0,0 @@
-package uk.ac.ox.cs.pagoda.reasoner.light;
-
-import org.semanticweb.HermiT.model.Constant;
-import org.semanticweb.HermiT.model.Individual;
-import org.semanticweb.HermiT.model.Term;
-import uk.ac.ox.cs.JRDFox.JRDFStoreException;
-import uk.ac.ox.cs.JRDFox.model.GroundTerm;
-import uk.ac.ox.cs.JRDFox.store.TupleIterator;
-import uk.ac.ox.cs.pagoda.query.AnswerTuple;
-import uk.ac.ox.cs.pagoda.query.AnswerTuples;
-import uk.ac.ox.cs.pagoda.util.Utility;
-import uk.ac.ox.cs.pagoda.util.disposable.DisposedException;
-
-public class RDFoxAnswerTuples extends AnswerTuples {
-
-	long multi; 
-	TupleIterator m_iter; 
-	String[] m_answerVars; 
-	
-	public RDFoxAnswerTuples(String[] answerVars, TupleIterator iter) {
-		m_answerVars = answerVars;
-		m_iter = iter; 
-		reset(); 
-	}
-
-	public static Term getHermitTerm(GroundTerm t) {
-		if(t instanceof uk.ac.ox.cs.JRDFox.model.Individual) {
-			uk.ac.ox.cs.JRDFox.model.Individual individual = (uk.ac.ox.cs.JRDFox.model.Individual) t;
-			return Individual.create(individual.getIRI());
-		}
-		else {
-			uk.ac.ox.cs.JRDFox.model.Literal literal = ((uk.ac.ox.cs.JRDFox.model.Literal) t);
-			return Constant.create(literal.getLexicalForm(), literal.getDatatype().getIRI());
-		}
-	}
-
-	@Override
-	public boolean isValid() {
-		if(isDisposed()) throw new DisposedException();
-
-		return multi != 0;
-	}
-
-	@Override
-	public int getArity() {
-		if(isDisposed()) throw new DisposedException();
-
-		try {
-			return m_iter.getArity();
-		} catch (JRDFStoreException e) {
-			e.printStackTrace();
-			return -1;
-		}
-	}
-
-	@Override
-	public void moveNext() {
-		if(isDisposed()) throw new DisposedException();
-
-		try {
-			multi = m_iter.getNext();
-		} catch (JRDFStoreException e) {
-			e.printStackTrace();
-		}
-	}
-
-	@Override
-	public void dispose() {
-		super.dispose();
-		m_iter.dispose();
-	}
-	
-	@Override
-	public AnswerTuple getTuple() {
-		if(isDisposed()) throw new DisposedException();
-
-		return new AnswerTuple(m_iter, m_answerVars.length); 
-	}
-
-	@Override
-	public void reset() {
-		if(isDisposed()) throw new DisposedException();
-
-		try {
-			multi = m_iter.open();
-		} catch (JRDFStoreException e) {
-			e.printStackTrace();
-		} 		
-	}
-
-	@Override
-	public boolean contains(AnswerTuple t) {
-		if(isDisposed()) throw new DisposedException();
-
-		Utility.logError("Unsupported operation in RDFoxAnswerTuples"); 
-		return false;
-	}
-
-	@Override
-	public void remove() {
-		if(isDisposed()) throw new DisposedException();
-
-		Utility.logError("Unsupported operation in RDFoxAnswerTuples"); 
-	}
-
-	@Override
-	public String[] getAnswerVariables() {
-		if(isDisposed()) throw new DisposedException();
-
-		return m_answerVars;
-	}
-
-	protected void finalize() {
-		m_iter.dispose();
-	}
-	
-}
-- 
cgit v1.2.3