added docs

CONTRIBUTING.md

@@ -0,0 +1 @@
+See the [Noctua contributors guide](https://github.com/geneontology/noctua/blob/master/CONTRIBUTING.md)

README.md

@@ -2,4 +2,4 @@ A server for [Noctua](https://github.com/geneontology/noctua/)
 
 To build and launch a server, see [INSTRUCTIONS.md](INSTRUCTIONS.md)
 
-
+For specifications, see [specs/](specs)

specs/README.md

@@ -0,0 +1,3 @@
+This directory contains specifications for the Noctua-Minerva modeling system
+
+ * [owl-model](owl-model.md)

specs/owl-model.md

@@ -0,0 +1,28 @@
+
+## Noctua Models in OWL
+
+A Noctua Model (NM) is a collection of OWL axioms that fit within a
+defined subset of OWL, and follow a set of conventions for describing evidential 
+
+### Core Axiom Types
+
+ * ClassAssertion (rdf:type)
+ * ObjectPropertyAssertion (triples)
+
+### Class Constructs
+
+ * SomeValuesFrom
+ * IntersectionOf
+ * UnionOf
+
+### Axiom Annotations
+
+## LEGO Models
+
+A LEGO Model (LM) is a NM that consists of individuals instantiating
+GO activity classes, making use of a set of LEGO relations, in addition to classes in other ontologies. The
+core information in a LM is conveyed by these acitivity individuals.
+
+
+
+