test case for #369

INCATools · Jul 11, 2023 · fe6aa61 · fe6aa61
1 parent 8743bcb
commit fe6aa61
Show file tree

Hide file tree

Showing 5 changed files with 29 additions and 0 deletions.
diff --git a/examples/pre-unsatisfiable/Makefile 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
@@ -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
@@ -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
@@ -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
@@ -0,0 +1,5 @@
+A: http://example.org/A/
+B: http://example.org/B/
+C: http://example.org/C/
+D: http://example.org/D/
+