package io.trygvis.semantic;

import java.nio.file.Path;
import java.nio.file.Paths;
import java.util.List;
import java.util.Iterator;

import org.apache.jena.dboe.base.file.Location;
import org.apache.jena.query.Dataset;
import org.apache.jena.query.QueryExecution;
import org.apache.jena.query.QueryExecutionFactory;
import org.apache.jena.query.QuerySolution;
import org.apache.jena.query.ReadWrite;
import org.apache.jena.query.ResultSet;
import org.apache.jena.rdf.model.InfModel;
import org.apache.jena.rdf.model.Model;
import org.apache.jena.rdf.model.ModelFactory;
import org.apache.jena.rdf.model.Property;
import org.apache.jena.rdf.model.RDFNode;
import org.apache.jena.rdf.model.Resource;
import org.apache.jena.rdf.model.Statement;
import org.apache.jena.rdf.model.StmtIterator;
import org.apache.jena.reasoner.Derivation;
import org.apache.jena.reasoner.Reasoner;
import org.apache.jena.reasoner.rulesys.Builtin;
import org.apache.jena.reasoner.rulesys.BuiltinRegistry;
import org.apache.jena.reasoner.rulesys.GenericRuleReasoner;
import org.apache.jena.reasoner.rulesys.MapBuiltinRegistry;
import org.apache.jena.reasoner.rulesys.Rule;
import org.apache.jena.riot.RDFDataMgr;
import org.apache.jena.riot.RDFFormat;
import org.apache.jena.tdb2.TDB2Factory;
import org.apache.jena.update.UpdateExecutionFactory;
import org.apache.jena.update.UpdateFactory;
import org.apache.jena.update.UpdateProcessor;
import org.apache.jena.update.UpdateRequest;
import org.apache.jena.util.PrintUtil;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;
import org.slf4j.Marker;
import org.slf4j.MarkerFactory;

public class Main {
  private static Logger logger = LoggerFactory.getLogger(Main.class);
  // Why This Failure marker
  private static final Marker WTF_MARKER = MarkerFactory.getMarker("WTF");

  public static void main(String[] args) {
    try {
      Path path = Paths.get(".").toAbsolutePath().normalize();

      // Load RDF data
      String data = Paths.get(args[0]).toUri().toString(); // path.toFile().getAbsolutePath() + "/src/main/resources/data1.ttl";
      Model model = ModelFactory.createDefaultModel();
      model.read(data);

      // Load rules
      String rules = args[1]; // path.toFile().getAbsolutePath() + "/src/main/resources/student1.rules";
      Reasoner reasoner = new GenericRuleReasoner(Rule.rulesFromURL(rules));

      InfModel infModel = ModelFactory.createInfModel(reasoner, model);
      infModel.setDerivationLogging(true);
      infModel.validate();
      List<Statement> stmts = infModel.listStatements().toList();

      Model dm = infModel.getDeductionsModel();

      /*
      if (true) {
          logger.info("# statements = " + stmts.size());
          logger.info("dm.size() = " + dm.size());
      } else {
          for (StmtIterator i = infModel.listStatements(); i.hasNext(); ) {
            Statement stmt = i.nextStatement();
            logger.trace("Statememt = " + PrintUtil.print(stmt));
          }
      }
      */
      logger.info("Inferred data");
      for (StmtIterator i = dm.listStatements(); i.hasNext(); ) {
        Statement stmt = i.nextStatement();
        logger.trace("Statememt = " + PrintUtil.print(stmt));
      }
    } catch (Throwable t) {
      logger.error(WTF_MARKER, t.getMessage(), t);
    }
  }
}