commit 7c8e17ec5900c187b9b1b02519cfd9d6046eec4c
Author: sjkillen <4724387+sjkillen@users.noreply.github.com>
Date:   Sat Jun 25 09:16:00 2022 -0600

    Initial commit

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..2447e82
--- /dev/null
+++ b/README.md
@@ -0,0 +1,2 @@
+# clingo-hmknf-test
+Proof of concept Clingo 5 extended to support reasoning with an ontology under Hybrid MKNF KB semantics