// Path: core/src/com/clarkparsia/owlwg/testcase/SerializationFormat.java
// public enum SerializationFormat {
// 
// 	/**
// 	 * OWL 2 Functional-Style Syntax
// 	 */
// 	FUNCTIONAL(Individual.FUNCTIONAL, FUNCTIONAL_INPUT_ONTOLOGY, FUNCTIONAL_PREMISE_ONTOLOGY, FUNCTIONAL_CONCLUSION_ONTOLOGY, FUNCTIONAL_NONCONCLUSION_ONTOLOGY),
// 	/**
// 	 * OWL 2 XML Syntax
// 	 */
// 	OWLXML(Individual.OWLXML, OWLXML_INPUT_ONTOLOGY, OWLXML_PREMISE_ONTOLOGY, OWLXML_CONCLUSION_ONTOLOGY, OWLXML_NONCONCLUSION_ONTOLOGY),
// 	/**
// 	 * OWL 2 RDF/XML Syntax
// 	 */
// 	RDFXML(Individual.RDFXML, RDFXML_INPUT_ONTOLOGY, RDFXML_PREMISE_ONTOLOGY, RDFXML_CONCLUSION_ONTOLOGY, RDFXML_NONCONCLUSION_ONTOLOGY);
// 
// 	private final TestVocabulary.DatatypeProperty	conclusion;
// 	private final TestVocabulary.DatatypeProperty	input;
// 	private final TestVocabulary.Individual			i;
// 	private final TestVocabulary.DatatypeProperty	nonconclusion;
// 	private final TestVocabulary.DatatypeProperty	premise;
// 
// 	private SerializationFormat(TestVocabulary.Individual i, TestVocabulary.DatatypeProperty input,
// 			TestVocabulary.DatatypeProperty premise, TestVocabulary.DatatypeProperty conclusion,
// 			TestVocabulary.DatatypeProperty nonconclusion) {
// 		this.i = i;
// 		this.input = input;
// 		this.premise = premise;
// 		this.conclusion = conclusion;
// 		this.nonconclusion = nonconclusion;
// 	}
// 
// 	public OWLDataProperty getConclusionOWLDataProperty() {
// 		return conclusion.getOWLDataProperty();
// 	}
// 
// 	public OWLDataProperty getNonConclusionOWLDataProperty() {
// 		return nonconclusion.getOWLDataProperty();
// 	}
// 
// 	public OWLIndividual getOWLIndividual() {
// 		return i.getOWLIndividual();
// 	}
// 
// 	public OWLDataProperty getPremiseOWLDataProperty() {
// 		return premise.getOWLDataProperty();
// 	}
// 
// 	public OWLDataProperty getInputOWLDataProperty() {
// 		return input.getOWLDataProperty();
// 	}
// }


import static java.lang.String.format;
import java.net.URI;
import java.util.logging.Logger;
import org.semanticweb.owl.io.StringInputSource;
import org.semanticweb.owl.model.OWLOntologyCreationException;
import org.semanticweb.owl.model.OWLOntologyManager;
import com.clarkparsia.owlwg.testcase.SerializationFormat;
package com.clarkparsia.owlwg.owlapi2.testcase.impl;





/**
 * <p>
 * Title: OWLAPIv2 Imports Helper
 * </p>
 * <p>
 * Description: Static implementation used to load imports for a test case into
 * the ontology manager
 * </p>
 * <p>
 * Copyright: Copyright &copy; 2009
 * </p>
 * <p>
 * Company: Clark & Parsia, LLC. <a
 * href="http://clarkparsia.com/"/>http://clarkparsia.com/</a>
 * </p>
 * 
 * @author Mike Smith &lt;msmith@clarkparsia.com&gt;
 */
public class ImportsHelper {

	private final static Logger	log;

	static {
		log = Logger.getLogger( ImportsHelper.class.getCanonicalName() );
	}

	public static void loadImports(OwlApi2Case t) throws OWLOntologyCreationException {
		final OWLOntologyManager manager = t.getOWLOntologyManager();

		for( URI u : t.getImportedOntologies() ) {
			if( !manager.contains( u ) ) {
// Path: core/src/com/clarkparsia/owlwg/testcase/SerializationFormat.java
// public enum SerializationFormat {
// 
// 	/**
// 	 * OWL 2 Functional-Style Syntax
// 	 */
// 	FUNCTIONAL(Individual.FUNCTIONAL, FUNCTIONAL_INPUT_ONTOLOGY, FUNCTIONAL_PREMISE_ONTOLOGY, FUNCTIONAL_CONCLUSION_ONTOLOGY, FUNCTIONAL_NONCONCLUSION_ONTOLOGY),
// 	/**
// 	 * OWL 2 XML Syntax
// 	 */
// 	OWLXML(Individual.OWLXML, OWLXML_INPUT_ONTOLOGY, OWLXML_PREMISE_ONTOLOGY, OWLXML_CONCLUSION_ONTOLOGY, OWLXML_NONCONCLUSION_ONTOLOGY),
// 	/**
// 	 * OWL 2 RDF/XML Syntax
// 	 */
// 	RDFXML(Individual.RDFXML, RDFXML_INPUT_ONTOLOGY, RDFXML_PREMISE_ONTOLOGY, RDFXML_CONCLUSION_ONTOLOGY, RDFXML_NONCONCLUSION_ONTOLOGY);
// 
// 	private final TestVocabulary.DatatypeProperty	conclusion;
// 	private final TestVocabulary.DatatypeProperty	input;
// 	private final TestVocabulary.Individual			i;
// 	private final TestVocabulary.DatatypeProperty	nonconclusion;
// 	private final TestVocabulary.DatatypeProperty	premise;
// 
// 	private SerializationFormat(TestVocabulary.Individual i, TestVocabulary.DatatypeProperty input,
// 			TestVocabulary.DatatypeProperty premise, TestVocabulary.DatatypeProperty conclusion,
// 			TestVocabulary.DatatypeProperty nonconclusion) {
// 		this.i = i;
// 		this.input = input;
// 		this.premise = premise;
// 		this.conclusion = conclusion;
// 		this.nonconclusion = nonconclusion;
// 	}
// 
// 	public OWLDataProperty getConclusionOWLDataProperty() {
// 		return conclusion.getOWLDataProperty();
// 	}
// 
// 	public OWLDataProperty getNonConclusionOWLDataProperty() {
// 		return nonconclusion.getOWLDataProperty();
// 	}
// 
// 	public OWLIndividual getOWLIndividual() {
// 		return i.getOWLIndividual();
// 	}
// 
// 	public OWLDataProperty getPremiseOWLDataProperty() {
// 		return premise.getOWLDataProperty();
// 	}
// 
// 	public OWLDataProperty getInputOWLDataProperty() {
// 		return input.getOWLDataProperty();
// 	}
// }


// Path: core/src/com/clarkparsia/owlwg/owlapi2/testcase/impl/ImportsHelper.java
import static java.lang.String.format;
import java.net.URI;
import java.util.logging.Logger;
import org.semanticweb.owl.io.StringInputSource;
import org.semanticweb.owl.model.OWLOntologyCreationException;
import org.semanticweb.owl.model.OWLOntologyManager;
import com.clarkparsia.owlwg.testcase.SerializationFormat;

package com.clarkparsia.owlwg.owlapi2.testcase.impl;





/**
 * <p>
 * Title: OWLAPIv2 Imports Helper
 * </p>
 * <p>
 * Description: Static implementation used to load imports for a test case into
 * the ontology manager
 * </p>
 * <p>
 * Copyright: Copyright &copy; 2009
 * </p>
 * <p>
 * Company: Clark & Parsia, LLC. <a
 * href="http://clarkparsia.com/"/>http://clarkparsia.com/</a>
 * </p>
 * 
 * @author Mike Smith &lt;msmith@clarkparsia.com&gt;
 */
public class ImportsHelper {

	private final static Logger	log;

	static {
		log = Logger.getLogger( ImportsHelper.class.getCanonicalName() );
	}

	public static void loadImports(OwlApi2Case t) throws OWLOntologyCreationException {
		final OWLOntologyManager manager = t.getOWLOntologyManager();

		for( URI u : t.getImportedOntologies() ) {
			if( !manager.contains( u ) ) {
				String str = t.getImportedOntology( u, SerializationFormat.RDFXML );