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

package dev;

import java.util.Iterator;

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.rdf.model.RDFNode;
import com.hp.hpl.jena.rdf.model.StmtIterator;
import com.hp.hpl.jena.reasoner.Reasoner;
import com.hp.hpl.jena.reasoner.ReasonerRegistry;
import com.hp.hpl.jena.sparql.util.Utils;
import com.hp.hpl.jena.util.FileManager;

/** Apply RDFS reasoning to data and schema */

public class rdfs extends CmdMain
{
    public static void main(String[] argv)
    {
        new rdfs(argv).mainRun() ;
    }
    
    private rdfs(String[] argv)
    {
        super(argv) ;
        super.add("simple", false) ;
        super.add("schema", true) ;
    }

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

        for ( Iterator<?> iter = super.getValues("schema").iterator(); iter.hasNext() ; )
        {
            String filename = (String)iter.next();
            FileManager.get().readModel(modelSchema, filename) ;
        }

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

        Reasoner reasoner = null ;
        if ( super.contains("simple") )
        {
            System.out.println("# Simple") ;
            reasoner = ReasonerRegistry.getRDFSSimpleReasoner() ;
        }
        else
            reasoner = ReasonerRegistry.getRDFSReasoner() ;
        
        
        
        // Fetch the rule set and create the reasoner
//        BuiltinRegistry.theRegistry.register(new Deduce());
//        Map prefixes = new HashMap();
//        List rules = loadRules((String)cl.getItem(0), prefixes);
//        Reasoner reasoner = new GenericRuleReasoner(rules);
        
        System.out.println("# Schema") ;
        modelSchema.write(System.out, "TTL") ;
        System.out.println() ;
        
        System.out.println("# Data") ;
        modelData.write(System.out, "TTL") ;
        System.out.println() ;
        
        InfModel infModel = ModelFactory.createInfModel(reasoner, modelSchema, modelData) ;
        infModel.prepare();
        
        System.out.println("# Find") ;
        StmtIterator sIter = infModel.listStatements(infModel.createResource("http://example/x"), null, (RDFNode)null) ;
        while(sIter.hasNext())
            System.out.println(sIter.nextStatement()) ;
        System.out.println() ;
        
        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() ;
    }


    @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.
 */