From fe6aa61687e92417eff51e0c063f2ccf967e9f6e Mon Sep 17 00:00:00 2001
From: cmungall <cjm@berkeleybop.org>
Date: Tue, 11 Jul 2023 15:43:08 -0700
Subject: [PATCH] test case for #369

---
 examples/pre-unsatisfiable/Makefile               |  4 ++++
 examples/pre-unsatisfiable/README.md              |  1 +
 examples/pre-unsatisfiable/pre-unsatisfiable.owl  | 15 +++++++++++++++
 .../pre-unsatisfiable.ptable.tsv                  |  4 ++++
 examples/pre-unsatisfiable/prefixes.yaml          |  5 +++++
 5 files changed, 29 insertions(+)
 create mode 100644 examples/pre-unsatisfiable/Makefile
 create mode 100644 examples/pre-unsatisfiable/README.md
 create mode 100644 examples/pre-unsatisfiable/pre-unsatisfiable.owl
 create mode 100644 examples/pre-unsatisfiable/pre-unsatisfiable.ptable.tsv
 create mode 100644 examples/pre-unsatisfiable/prefixes.yaml

diff --git a/examples/pre-unsatisfiable/Makefile b/examples/pre-unsatisfiable/Makefile
new file mode 100644
index 0000000..9f45aec
--- /dev/null
+++ b/examples/pre-unsatisfiable/Makefile
@@ -0,0 +1,4 @@
+BASE := pre-unsatisfiable
+include ../Makefile
+
+
diff --git a/examples/pre-unsatisfiable/README.md b/examples/pre-unsatisfiable/README.md
new file mode 100644
index 0000000..952a6cc
--- /dev/null
+++ b/examples/pre-unsatisfiable/README.md
@@ -0,0 +1 @@
+tests case where inputs are already unsatisfiable
diff --git a/examples/pre-unsatisfiable/pre-unsatisfiable.owl b/examples/pre-unsatisfiable/pre-unsatisfiable.owl
new file mode 100644
index 0000000..5dc8ee7
--- /dev/null
+++ b/examples/pre-unsatisfiable/pre-unsatisfiable.owl
@@ -0,0 +1,15 @@
+<?xml version="1.0"?>
+<rdf:RDF xmlns="http://example.org/empty.owl#"
+     xml:base="http://example.org/empty.owl"
+     xmlns:owl="http://www.w3.org/2002/07/owl#"
+     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+     xmlns:xml="http://www.w3.org/XML/1998/namespace"
+     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
+    <owl:Ontology rdf:about="http://example.org/empty.owl"/>
+</rdf:RDF>
+
+
+
+<!-- Generated by the OWL API (version 4.5.6) https://github.com/owlcs/owlapi -->
+
diff --git a/examples/pre-unsatisfiable/pre-unsatisfiable.ptable.tsv b/examples/pre-unsatisfiable/pre-unsatisfiable.ptable.tsv
new file mode 100644
index 0000000..f0cdbd6
--- /dev/null
+++ b/examples/pre-unsatisfiable/pre-unsatisfiable.ptable.tsv
@@ -0,0 +1,4 @@
+A:1	A:2	0.1	0.0	0.0	0.0
+B:2	B:1	0.1	0.0	0.0	0.0
+A:1	B:1	0.0	0.0	1.0	0.0
+A:2	B:2	0.0	0.0	1.0	0.0
diff --git a/examples/pre-unsatisfiable/prefixes.yaml b/examples/pre-unsatisfiable/prefixes.yaml
new file mode 100644
index 0000000..ddbc824
--- /dev/null
+++ b/examples/pre-unsatisfiable/prefixes.yaml
@@ -0,0 +1,5 @@
+A: http://example.org/A/
+B: http://example.org/B/
+C: http://example.org/C/
+D: http://example.org/D/
+