/*
 * (c) Copyright 2008, 2009 Hewlett-Packard Development Company, LP
 * All rights reserved.
 * [See end of file]
 */

package dev;

import java.io.BufferedReader ;
import java.io.File ;
import java.util.HashMap ;
import java.util.Iterator ;
import java.util.List ;
import java.util.Map ;

import arq.cmdline.ArgDecl ;
import arq.cmdline.CmdMain ;

import com.hp.hpl.jena.rdf.model.InfModel ;
import com.hp.hpl.jena.rdf.model.Model ;
import com.hp.hpl.jena.rdf.model.ModelFactory ;
import com.hp.hpl.jena.reasoner.Reasoner ;
import com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner ;
import com.hp.hpl.jena.reasoner.rulesys.Rule ;
import com.hp.hpl.jena.sparql.util.Utils ;
import com.hp.hpl.jena.util.FileManager ;
import com.hp.hpl.jena.util.FileUtils ;

/** Apply a rule set */

public class rules extends CmdMain
{
    ArgDecl argRules = new ArgDecl(ArgDecl.HasValue, "rules", "rule") ;
    
    public static void main(String[] argv)
    {
        new rules(argv).mainRun() ;
    }
    
    private rules(String[] argv)
    {
        super(argv) ;
        super.add("rules", true) ;
    }

    @Override
    protected void exec()
    {
        try
        {
            Model modelData = ModelFactory.createDefaultModel() ;

            for ( Iterator<?> iter = super.getPositional().iterator(); iter.hasNext() ; )
            {
                String filename = (String)iter.next();
                FileManager.get().readModel(modelData, filename) ;
            }

            if ( super.getValues(argRules).size() != 0 )
            {
                System.err.println("Exactly one rules file") ;
                System.exit(1) ;
            }

            String rulesFile = super.getValue(argRules) ;

            Map<String, String> prefixes = new HashMap<String, String>();
            List<Rule> rules = loadRules(rulesFile, prefixes) ;
            Reasoner reasoner = new GenericRuleReasoner(rules);

            InfModel infModel = ModelFactory.createInfModel(reasoner, modelData) ;
            infModel.prepare();

            System.out.println("# Deductions") ;
            Model deductions = infModel.getDeductionsModel() ;
            deductions.write(System.out, "TTL") ;
            System.out.println() ;

            System.out.println("# All") ;
            infModel.write(System.out, "TTL") ;
            System.out.println() ;
        } catch (Exception ex)
        {
            ex.printStackTrace();
        }
    }

    /**
     * Load a set of rule definitions including processing of
     * comment lines and any initial prefix definition lines.
     * Also notes the prefix definitions for adding to a later inf model.
     */
    public static List<Rule> loadRules(String filename, Map<String, String> prefixes) {
        String fname = filename;
        if (fname.startsWith("file:///")) {
            fname = File.separator + fname.substring(8);
        } else if (fname.startsWith("file:/")) {
            fname = File.separator + fname.substring(6);
        } else if (fname.startsWith("file:")) {
            fname = fname.substring(5);
        }

        BufferedReader src = FileUtils.openResourceFile(fname);
        return loadRules(src, prefixes);
    }
    
    /**
     * Load a set of rule definitions including processing of
     * comment lines and any initial prefix definition lines.
     * Also notes the prefix definitions for adding to a later inf model.
     */
    public static List<Rule> loadRules(BufferedReader src, Map<String, String> prefixes) {
        Rule.Parser parser = Rule.rulesParserFromReader(src);
        List<Rule> rules = Rule.parseRules(parser);
        prefixes.putAll(parser.getPrefixMap());
        return rules;
    }

    @Override
    protected String getCommandName()
    {
        return Utils.className(this) ;
    } 
}

/*
 * (c) Copyright 2008, 2009 Hewlett-Packard Development Company, LP
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 * 3. The name of the author may not be used to endorse or promote products
 *    derived from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */