// Path: jena/src/main/java/org/openprovenance/jena/TripleStore.java
// public static String OPMO_NS="http://openprovenance.org/model/opmo#";
// 
// Path: jena/src/main/java/org/openprovenance/jena/TripleStore.java
// public static String OPMV_NS="http://purl.org/net/opmv/ns#";


import static org.openprovenance.jena.TripleStore.OPMO_NS;
import static org.openprovenance.jena.TripleStore.OPMV_NS;
import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;
import com.hp.hpl.jena.ontology.OntClass;
import com.hp.hpl.jena.ontology.OntModel;
import com.hp.hpl.jena.query.Query;
import com.hp.hpl.jena.query.QueryExecution;
import com.hp.hpl.jena.query.QueryExecutionFactory;
import com.hp.hpl.jena.query.QueryFactory;
import com.hp.hpl.jena.query.ResultSet;
import com.hp.hpl.jena.query.ResultSetFormatter;
import com.hp.hpl.jena.rdf.model.InfModel;
import com.hp.hpl.jena.rdf.model.Model;
import com.hp.hpl.jena.rdf.model.Model;
import com.hp.hpl.jena.rdf.model.ModelFactory;
import com.hp.hpl.jena.rdf.model.ModelFactory;
import com.hp.hpl.jena.rdf.model.Resource;
import com.hp.hpl.jena.reasoner.Reasoner;
import com.hp.hpl.jena.reasoner.ValidityReport;
import com.hp.hpl.jena.vocabulary.RDFS;
package org.openprovenance.jena;






public class Jena1Test extends TestCase {

    public static String PC1_NS="http://www.ipaw.info/pc1/";

    public Jena1Test (String testName) {
        super(testName);
    }


    public void testOPMV1() {

        TripleStore ts= new TripleStore();
        ts.setUp();


        ts.loadOPMVOntology();


        // read the files
        ts.readFile( "file:src/test/resources/pc1-time.n3", "N3" );

        
        // print validation report
        ValidityReport report = ts.validate();
        ts.printIterator( report.getReports(), "Validation Results" );


        Model model=ts.getModel();

        // print superclasses
// Path: jena/src/main/java/org/openprovenance/jena/TripleStore.java
// public static String OPMO_NS="http://openprovenance.org/model/opmo#";
// 
// Path: jena/src/main/java/org/openprovenance/jena/TripleStore.java
// public static String OPMV_NS="http://purl.org/net/opmv/ns#";


// Path: jena/src/test/java/org/openprovenance/jena/Jena1Test.java
import static org.openprovenance.jena.TripleStore.OPMO_NS;
import static org.openprovenance.jena.TripleStore.OPMV_NS;
import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;
import com.hp.hpl.jena.ontology.OntClass;
import com.hp.hpl.jena.ontology.OntModel;
import com.hp.hpl.jena.query.Query;
import com.hp.hpl.jena.query.QueryExecution;
import com.hp.hpl.jena.query.QueryExecutionFactory;
import com.hp.hpl.jena.query.QueryFactory;
import com.hp.hpl.jena.query.ResultSet;
import com.hp.hpl.jena.query.ResultSetFormatter;
import com.hp.hpl.jena.rdf.model.InfModel;
import com.hp.hpl.jena.rdf.model.Model;
import com.hp.hpl.jena.rdf.model.Model;
import com.hp.hpl.jena.rdf.model.ModelFactory;
import com.hp.hpl.jena.rdf.model.ModelFactory;
import com.hp.hpl.jena.rdf.model.Resource;
import com.hp.hpl.jena.reasoner.Reasoner;
import com.hp.hpl.jena.reasoner.ValidityReport;
import com.hp.hpl.jena.vocabulary.RDFS;

package org.openprovenance.jena;






public class Jena1Test extends TestCase {

    public static String PC1_NS="http://www.ipaw.info/pc1/";

    public Jena1Test (String testName) {
        super(testName);
    }


    public void testOPMV1() {

        TripleStore ts= new TripleStore();
        ts.setUp();


        ts.loadOPMVOntology();


        // read the files
        ts.readFile( "file:src/test/resources/pc1-time.n3", "N3" );

        
        // print validation report
        ValidityReport report = ts.validate();
        ts.printIterator( report.getReports(), "Validation Results" );


        Model model=ts.getModel();

        // print superclasses
        Resource c = model.getResource( OPMV_NS + "Artifact" );         