// Path: core/src/com/clarkparsia/owlwg/testcase/EntailmentTest.java
// public interface EntailmentTest<O> extends PremisedTest<O> {
// 
// 	public Set<SerializationFormat> getConclusionFormats();
// 
// 	public String getConclusionOntology(SerializationFormat format);
// 
// 	public O parseConclusionOntology(SerializationFormat format) throws OntologyParseException;
// }
// 
// Path: core/src/com/clarkparsia/owlwg/testcase/OntologyParseException.java
// public class OntologyParseException extends Exception {
// 
// 	private static final long	serialVersionUID	= 1L;
// 
// 	public OntologyParseException() {
// 	}
// 
// 	public OntologyParseException(String message) {
// 		super( message );
// 	}
// 
// 	public OntologyParseException(Throwable cause) {
// 		super( cause );
// 	}
// 
// 	public OntologyParseException(String message, Throwable cause) {
// 		super( message, cause );
// 	}
// }
// 
// 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 java.util.EnumMap;
import org.semanticweb.owlapi.apibinding.OWLManager;
import org.semanticweb.owlapi.io.StringInputSource;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLOntologyCreationException;
import org.semanticweb.owlapi.model.OWLOntologyManager;
import com.clarkparsia.owlwg.testcase.AbstractEntailmentTest;
import com.clarkparsia.owlwg.testcase.EntailmentTest;
import com.clarkparsia.owlwg.testcase.OntologyParseException;
import com.clarkparsia.owlwg.testcase.SerializationFormat;
package com.clarkparsia.owlwg.owlapi3.testcase.impl;
 


 
/**
* <p>
* Title: OWLAPIv3 Entailment Test Case Base Class
* </p>
* <p>
* Description: Extended for positive and negative entailment cases
* </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 abstract class OwlApi3ETImpl extends AbstractEntailmentTest<OWLOntology> implements
    EntailmentTest<OWLOntology>, OwlApi3Case {
 
  private final OWLOntologyManager            manager;
  private final EnumMap<SerializationFormat, OWLOntology>  parsedConclusion;
  private final EnumMap<SerializationFormat, OWLOntology>  parsedPremise;
 
  public OwlApi3ETImpl(org.semanticweb.owl.model.OWLOntology ontology,
      org.semanticweb.owl.model.OWLIndividual i, boolean positive) {
    super( ontology, i, positive );
 
    parsedPremise = new EnumMap<SerializationFormat, OWLOntology>( SerializationFormat.class );
    parsedConclusion = new EnumMap<SerializationFormat, OWLOntology>( SerializationFormat.class );
    manager = OWLManager.createOWLOntologyManager();
  }
 
  public OWLOntologyManager getOWLOntologyManager() {
    return manager;
  }
 
  public OWLOntology parseConclusionOntology(SerializationFormat format)
// Path: core/src/com/clarkparsia/owlwg/testcase/EntailmentTest.java
// public interface EntailmentTest<O> extends PremisedTest<O> {
// 
// 	public Set<SerializationFormat> getConclusionFormats();
// 
// 	public String getConclusionOntology(SerializationFormat format);
// 
// 	public O parseConclusionOntology(SerializationFormat format) throws OntologyParseException;
// }
// 
// Path: core/src/com/clarkparsia/owlwg/testcase/OntologyParseException.java
// public class OntologyParseException extends Exception {
// 
// 	private static final long	serialVersionUID	= 1L;
// 
// 	public OntologyParseException() {
// 	}
// 
// 	public OntologyParseException(String message) {
// 		super( message );
// 	}
// 
// 	public OntologyParseException(Throwable cause) {
// 		super( cause );
// 	}
// 
// 	public OntologyParseException(String message, Throwable cause) {
// 		super( message, cause );
// 	}
// }
// 
// 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: owlapi3/src/com/clarkparsia/owlwg/owlapi3/testcase/impl/OwlApi3ETImpl.java
import java.util.EnumMap;
import org.semanticweb.owlapi.apibinding.OWLManager;
import org.semanticweb.owlapi.io.StringInputSource;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLOntologyCreationException;
import org.semanticweb.owlapi.model.OWLOntologyManager;
import com.clarkparsia.owlwg.testcase.AbstractEntailmentTest;
import com.clarkparsia.owlwg.testcase.EntailmentTest;
import com.clarkparsia.owlwg.testcase.OntologyParseException;
import com.clarkparsia.owlwg.testcase.SerializationFormat;

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


 
/**
* <p>
* Title: OWLAPIv3 Entailment Test Case Base Class
* </p>
* <p>
* Description: Extended for positive and negative entailment cases
* </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 abstract class OwlApi3ETImpl extends AbstractEntailmentTest<OWLOntology> implements
    EntailmentTest<OWLOntology>, OwlApi3Case {
 
  private final OWLOntologyManager            manager;
  private final EnumMap<SerializationFormat, OWLOntology>  parsedConclusion;
  private final EnumMap<SerializationFormat, OWLOntology>  parsedPremise;
 
  public OwlApi3ETImpl(org.semanticweb.owl.model.OWLOntology ontology,
      org.semanticweb.owl.model.OWLIndividual i, boolean positive) {
    super( ontology, i, positive );
 
    parsedPremise = new EnumMap<SerializationFormat, OWLOntology>( SerializationFormat.class );
    parsedConclusion = new EnumMap<SerializationFormat, OWLOntology>( SerializationFormat.class );
    manager = OWLManager.createOWLOntologyManager();
  }
 
  public OWLOntologyManager getOWLOntologyManager() {
    return manager;
  }
 
  public OWLOntology parseConclusionOntology(SerializationFormat format)
      throws OntologyParseException {