Add release notes directory and release notes for 2024-01-10 FOL. Cha…

…nge spaces in a few directory names to dashes.
BFO-ontology · Jan 30, 2024 · 541df2c · 541df2c
1 parent 2711535
commit 541df2c
Show file tree

Hide file tree

Showing 33 changed files with 15 additions and 8 deletions.
diff --git a/documentation/axiomatization pdfs/README.md b/documentation/axiomatization pdfs/README.md
diff --git a/documentation/first-order-logic-axiomatization/README.md b/documentation/first-order-logic-axiomatization/README.md
@@ -0,0 +1,6 @@
+# Directory Structure 
+
+This directory contains the first-order implementation of Basic Formal Ontology represented in a standard signature, modularized into sub-theories of BFO which are stored as pdf documents.
+These files correspond to the versions in src/common-logic and src/prover9 
+
+Release notes are available in the top level directory "release-notes"
diff --git a/...omatization pdfs/continuant-mereology.pdf → ...c-axiomatization/continuant-mereology.pdf b/...omatization pdfs/continuant-mereology.pdf → ...c-axiomatization/continuant-mereology.pdf
diff --git a/...tization pdfs/existence-instantiation.pdf → ...xiomatization/existence-instantiation.pdf b/...tization pdfs/existence-instantiation.pdf → ...xiomatization/existence-instantiation.pdf
diff --git a/...xiomatization pdfs/generic-dependence.pdf → ...gic-axiomatization/generic-dependence.pdf b/...xiomatization pdfs/generic-dependence.pdf → ...gic-axiomatization/generic-dependence.pdf
diff --git a/...mentation/axiomatization pdfs/history.pdf → ...st-order-logic-axiomatization/history.pdf b/...mentation/axiomatization pdfs/history.pdf → ...st-order-logic-axiomatization/history.pdf
diff --git a/...n/axiomatization pdfs/material-entity.pdf → ...-logic-axiomatization/material-entity.pdf b/...n/axiomatization pdfs/material-entity.pdf → ...-logic-axiomatization/material-entity.pdf
diff --git a/...iomatization pdfs/occurrent-mereology.pdf → ...ic-axiomatization/occurrent-mereology.pdf b/...iomatization pdfs/occurrent-mereology.pdf → ...ic-axiomatization/occurrent-mereology.pdf
diff --git a/documentation/axiomatization pdfs/order.pdf → ...irst-order-logic-axiomatization/order.pdf b/documentation/axiomatization pdfs/order.pdf → ...irst-order-logic-axiomatization/order.pdf
diff --git a/...ion/axiomatization pdfs/participation.pdf → ...er-logic-axiomatization/participation.pdf b/...ion/axiomatization pdfs/participation.pdf → ...er-logic-axiomatization/participation.pdf
diff --git a/...mentation/axiomatization pdfs/spatial.pdf → ...st-order-logic-axiomatization/spatial.pdf b/...mentation/axiomatization pdfs/spatial.pdf → ...st-order-logic-axiomatization/spatial.pdf
diff --git a/...on/axiomatization pdfs/spatiotemporal.pdf → ...r-logic-axiomatization/spatiotemporal.pdf b/...on/axiomatization pdfs/spatiotemporal.pdf → ...r-logic-axiomatization/spatiotemporal.pdf
diff --git a/...iomatization pdfs/specific-dependency.pdf → ...ic-axiomatization/specific-dependency.pdf b/...iomatization pdfs/specific-dependency.pdf → ...ic-axiomatization/specific-dependency.pdf
diff --git a/...n/axiomatization pdfs/temporal-region.pdf → ...-logic-axiomatization/temporal-region.pdf b/...n/axiomatization pdfs/temporal-region.pdf → ...-logic-axiomatization/temporal-region.pdf
diff --git a/...matization pdfs/universal-declaration.pdf → ...-axiomatization/universal-declaration.pdf b/...matization pdfs/universal-declaration.pdf → ...-axiomatization/universal-declaration.pdf
diff --git a/...ized relations/temporalized-relations.pdf → ...ized-relations/temporalized-relations.pdf b/...ized relations/temporalized-relations.pdf → ...ized-relations/temporalized-relations.pdf
diff --git a/release-notes/FOL-axiomatization-release-notes-2024-01-10.txt b/release-notes/FOL-axiomatization-release-notes-2024-01-10.txt
@@ -14,9 +14,9 @@ The axiom all-participation-at-process-occupied-temporal-region tightens the rel
 participation and processes, ensuring that all participation happens in the temporal region
 a process occupies.
 
-Common Logic files: 'src/common logic'
-Prover 9 files: 'src/prover9'
-Typeset: 'documentation/axiomatization pdfs'
+Common Logic files: src/common-logic
+Prover 9 files: src/prover9
+Traditional notation: documentation/first-order-logic-axiomatization/
 
 Alan Ruttenberg 2024-01-10
 

diff --git a/src/common logic/README.md → src/common-logic/README.md b/src/common logic/README.md → src/common-logic/README.md
@@ -17,4 +17,6 @@ Files in this directory reflect moduralization of BFO into sub-theories, namely:
 - Spatiotemporal Regions and the occupation of these regions
 - Participation between continuants and processes
 - Precedence relationships across temporal regions
-- Existence between entities and temporal regions
+- Existence between entities and temporal regions
+
+Release notes are available in the top level directory "release-notes"
diff --git a/src/common logic/continuant-mereology.cl → src/common-logic/continuant-mereology.cl b/src/common logic/continuant-mereology.cl → src/common-logic/continuant-mereology.cl
diff --git a/src/common logic/existence-instantiation.cl → src/common-logic/existence-instantiation.cl b/src/common logic/existence-instantiation.cl → src/common-logic/existence-instantiation.cl
diff --git a/src/common logic/generic-dependence.cl → src/common-logic/generic-dependence.cl b/src/common logic/generic-dependence.cl → src/common-logic/generic-dependence.cl
diff --git a/src/common logic/history.cl → src/common-logic/history.cl b/src/common logic/history.cl → src/common-logic/history.cl
diff --git a/src/common logic/material-entity.cl → src/common-logic/material-entity.cl b/src/common logic/material-entity.cl → src/common-logic/material-entity.cl
diff --git a/src/common logic/occurrent-mereology.cl → src/common-logic/occurrent-mereology.cl b/src/common logic/occurrent-mereology.cl → src/common-logic/occurrent-mereology.cl
diff --git a/src/common logic/order.cl → src/common-logic/order.cl b/src/common logic/order.cl → src/common-logic/order.cl
diff --git a/src/common logic/participation.cl → src/common-logic/participation.cl b/src/common logic/participation.cl → src/common-logic/participation.cl
diff --git a/...common logic/release-notes-2024-01-10.txt → ...common-logic/release-notes-2024-01-10.txt b/...common logic/release-notes-2024-01-10.txt → ...common-logic/release-notes-2024-01-10.txt
diff --git a/src/common logic/spatial.cl → src/common-logic/spatial.cl b/src/common logic/spatial.cl → src/common-logic/spatial.cl
diff --git a/src/common logic/spatiotemporal.cl → src/common-logic/spatiotemporal.cl b/src/common logic/spatiotemporal.cl → src/common-logic/spatiotemporal.cl
diff --git a/src/common logic/specific-dependency.cl → src/common-logic/specific-dependency.cl b/src/common logic/specific-dependency.cl → src/common-logic/specific-dependency.cl
diff --git a/src/common logic/temporal-region.cl → src/common-logic/temporal-region.cl b/src/common logic/temporal-region.cl → src/common-logic/temporal-region.cl
diff --git a/src/common logic/universal-declaration.cl → src/common-logic/universal-declaration.cl b/src/common logic/universal-declaration.cl → src/common-logic/universal-declaration.cl
diff --git a/src/prover9/README.md b/src/prover9/README.md
@@ -17,4 +17,6 @@ Files in this directory reflect moduralization of BFO into sub-theories, namely:
 - Spatiotemporal Regions and the occupation of these regions
 - Participation between continuants and processes
 - Precedence relationships across temporal regions
-- Existence between entities and temporal regions
+- Existence between entities and temporal regions
+
+Release notes are available in the top level directory "release-notes"